⊢
Aletheia
Typed assertion and evidence engine
A Rust-first assertion/evidence substrate for agentic decision systems, with explicit claims, provenance, confidence, temporal validity, and deterministic validation boundaries.
Rust
Formal Methods
Evidence
Agent Boundaries
Repository record
What exists now
- Typed entities, assertions, evidence, confidence, and provenance
- Typestate-gated approval model for high-risk actions
- TLA+ and Lean specifications alongside Rust crates
Scope boundary
The repository explicitly keeps broker writes out of the current version; agents may propose, while deterministic kernels validate.