Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.
rust open-science formal-methods reproducibility state-machines hypothesis-testing traceability software-architecture systems-programming knowledge-representation systems-engineering runtime-verification research-software ai-governance reasoning-systems deterministic-systems systems-research negative-knowledge ess-mai executable-prior-art
-
Updated
Sep 14, 2026 - Rust