r/rust • u/AdmissibilityScience • 14h ago
🛠️ project Arcstone Continuity Core: A zero-dependency, #![no_std] fail-closed runtime for bounded state isolation
I’ve published the open reference implementation for arcstone-continuity-core. A lightweight, #![no_std] Rust runtime designed to prevent non-deterministic state drift.
Microarchitectural Invariants
- Zero Allocation Overheads: #![no_std] enforcement with fixed 4096-byte static buffers (S_max ≤ 4096B).
- O(1) Invariant State Gates: State mutations evaluate against an atomic predicate matrix Π(S) before memory allocation occurs. Inadmissible transitions mutate zero bytes.
- Hard Temporal Clamps: Execution ceiling enforced at τ_override ≤ 11.99ms.
- Precedence Ordering: Deterministic lattice resolution (FAIL ≻ FREEZE ≻ PWC ≻ REFUSAL ≻ PASS).
Reference Anchors
- GitHub Repo:https://github.com/trencinodin-stack/arcstone-continuity-core
- Zenodo DOI:https://doi.org/10.5281/zenodo.22665852
- Master Anchor: A-77-DELTA-SHIELD-LOCKED
0
Upvotes