Technical Books
Standard Agent Runtime: The Missing Layer Where Agents Actually Run
Formal Foundations for Reliable Multi-Agent Systems
Published, 2025
Complete specification of K-12/G-9/M-7 with formal proofs, implementation patterns, and production deployment guidance. The foundational text for building reliable agent systems.
Contents:
- • Part I: The Problem (why agents fail)
- • Part II: K-12 Episode Kernel (12 slots, 7 laws)
- • Part III: G-9 Graph Kernel (9 slots, 3 axioms)
- • Part IV: M-7 Market Kernel (7 primitives)
- • Part V: Bisimulation Proofs
- • Part VI: Rosetta Stone Translations (13 formal systems)
- • Part VII: Production Deployment
Audience:
Researchers, staff engineers, CTOs evaluating formal foundations for agent systems.
Designing Production Agent Systems: Reliability, Observability, and Determinism for Real-World AI
Published, 2025
Production patterns for agent systems including deterministic replay, exactly-once semantics, CRDT memory, and compliance-by-construction approaches. Practical guide with tested code examples.
Contents:
- • Part I: Production Requirements
- • Part II: Deterministic Replay (reconstructing any execution)
- • Part III: Exactly-Once Semantics (idempotency patterns)
- • Part IV: CRDT-Based Memory (distributed state)
- • Part V: Ledger-First Observability (audit trails)
- • Part VI: Policy Enforcement (ABAC patterns)
- • Part VII: Deployment Architectures
Audience:
Platform engineers, SREs, architects building production agent systems.
Auditable AI: Mathematical Foundations for Compliant-by-Construction Agent Systems
Published, 2025
Formal mappings of global AI regulations (GDPR, EU AI Act, CCPA) to kernel invariants with tested implementations and cryptographic evidence generation. The compliance engineer's guide to AI systems.
Contents:
- • Part I: Compliance-by-Construction Methodology
- • Part II: GDPR Mappings (197 clauses)
- • Part III: EU AI Act Requirements
- • Part IV: CCPA/CPRA Compliance
- • Part V: Sector-Specific Standards
- • Part VI: Evidence Generation
- • Part VII: Audit Automation
Audience:
Compliance engineers, legal teams, CTOs managing regulatory requirements.
All books are open source and built with Effect.ts