- tines-core's crate docs carry the spec §8 compatibility policy, as the README does. - tines-bt: the module and BluerRadio::new docs claimed an optional or empty allowlist. The allowlist is exactly the configured peer (F3). - tines: the poll loop called Store::flush "infallible". It returns a Result, and a failure is logged and retried on the next schedule. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>