Evidence-carrying control system for powerful AI agents, featuring epistemic MVCC, authority graphs, progressive ATP evidence, and decision-sensitive introspection in pure safe Rust.
formal-verification causal-inference ai-safety metacognition structured-concurrency ai-alignment commit-reveal safe-rust agent-control authority-graph asupersync frankensuite provable-safety epistemic-mvcc introspective-compression
-
Updated
Sep 7, 2026 - Rust