Kernel-level consent state machine for brain–computer interfaces — no_std, zero-alloc, #![forbid(unsafe_code)], formally bounded (Kani), with optional guardian co-authorisation.
rust embedded state-machine protocol interop cbor neural-networks fuzzing bci deterministic no-std safety-critical neural-interface cognitive-os consent-protocols axonos realtime-systems-embedded
-
Updated
Jun 6, 2026 - Rust