Sobre implementación de archivo base de datos Arduino

Sí es compilable. Es más, algún forero llegó a probarlo un poco y parece que funcionaba. Lo "difícil" es declarar un FDB, pues la librería no es sólo una clase, sino que es una plantilla que construye la clase en torno a la definición de nuestro registro. Trae un ejemplo si no mal recuerdo, que puede ayudar bastante a entender cómo manejarla.

Efectivamente, cuando la creé pensé con bastante detenimiento las posibles situaciones, pero ahora la tenía un poco olvidada, y he pecado de "autodesconfianza" con esa situación que citabas. Máxime cuando sí que descubrí un bug previamente (el de tamaño de registro inferior a cuatro bytes).