Kernel-level consent state machine for brain–computer interfaces — no_std, zero-alloc, #![forbid(unsafe_code)], formally bounded (Kani), with optional guardian co-authorisation.
-
Updated
Jun 6, 2026 - Rust
Kernel-level consent state machine for brain–computer interfaces — no_std, zero-alloc, #![forbid(unsafe_code)], formally bounded (Kani), with optional guardian co-authorisation.
The AxonOS Consent Protocol — specification and reference implementation. no_std, zero-alloc, forbid(unsafe): bounded CBOR codec, exhaustive consent state machine, StimGuard for brain–computer interfaces. All AxonOS.
Hard real-time Rust microkernel for brain-computer interfaces. #![no_std] on Cortex-M, EDF scheduling with Kani-verified WCRT bounds, zero-copy intent path, capability-based privacy by construction. ABI v1 — tandem with axonos-sdk.
Rust SDK for building applications on AxonOS — a real-time operating system for brain-computer interfaces. Provides intent APIs, capability-based permissions, and deterministic execution.
Canonical technical standard and architecture manual for AxonOS: deterministic BCI software, neural permissions, consent, validation, and governance.
Public entry point for the AxonOS project — an open operating layer for brain-computer interfaces.
🧠 Become the Brain OS — a local-only cognitive-firewall game: allow derived intent, block raw cognition, distortions, revoked consent and artifacts across the mind↔world boundary. Scenarios, daily seed, challenge-a-friend. A game about the real AxonOS real-time OS. No sensor, no neural data.
Reference-hardware validation record for AxonOS: raw timing traces, deterministic post-processing, and reproducible L2 evidence artifacts.
Python SDK for AxonOS — RFC-0006 intent wire format and capability model, byte-compatible with the Rust reference.
Verified conformance vectors + multi-language codecs for AxonOS wire formats (RFC-0006, RFC-0005). Rust ≡ Python ≡ C ≡ JS ≡ Java, byte-identical.
Cognitive operating-system layer for brain-computer-interface software infrastructure.
Add a description, image, and links to the axonos topic page so that developers can more easily learn about it.
To associate your repository with the axonos topic, visit your repo's landing page and select "manage topics."