Auditable AI
Mathematical Foundations for Compliant-by-Construction Agent Systems
Reveals how all AI regulations are trying to express the same mathematical invariants—and provides the implementation that satisfies them all automatically.
Read Online →
Designing Production Agent Systems
Reliability, Observability, and Determinism for Real-World AI
The comprehensive guide to building agent systems that actually work in production using Effect.ts patterns.
Read Online →
The Standard Agent Runtime
K-12, G-9, and M-7: The Missing Layer Where Agents Actually Run
Mathematical foundations for agent coordination, workflow orchestration, and cross-organizational safety.
Read Online → Formal Specifications →