⊢

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

Prototype