← Projects
⊢

Aletheia

Earlier graph-intelligence research

Earlier graph-intelligence research into typed assertions, provenance, confidence and validation boundaries. CliqueMap is Assertion Labs’ flagship evidence and knowledge-graph technology.

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.