About
Res Agentica: Coordination After the Absent Master is a trilogy on verification, production, and governance. Its central argument is that trust is a consequence of expensive verification — and that as verification costs collapse, the constitutional question becomes not whether to replace trust with proof, but how to bound proof with mercy.
The urgency is structural, not speculative. Autonomous systems already compose across organizational boundaries at speeds and scales that no court, regulator, or auditor can perceive in real time. Each bilateral link may be valid; the failure arises only from the composition — and no single authority authored it. The institutions built to govern human coordination assume human tempo, human-interpretable records, and identifiable authors. When the dominant coordination is no longer human, those assumptions do not weaken — they cease to apply. What replaces them must work at the speed and compositionality of the coordination it governs, or the cost of failure will fall on those who never chose the composition.
Three volumes develop the argument: Similes of Symmetry on the structure of truth, Factor Prime on the structure of value, and The Sovereign Syntax on the structure of freedom. The Codex presents the governing logic and the dependency chain across all three.
The problem of coordination after the absent master spans epistemology, economics, and political theory; the work follows it across all three.
A companion volume, The Proofs, provides the formal mathematical foundations — thirty-one anchors in a sheaf-theoretic framework, several with machine-checked proofs in Lean 4. The research program behind the trilogy comprises papers on compositional semantic failure, predicate invention under sheaf constraints, protocol design for heterogeneous coordination, and a public benchmark for coherence testing. Each paper carries explicit disconfirmation conditions and maturity labels; the claim ledger is published alongside the work.
The trilogy's normative conclusions are developed into a set of constitutional proposals for computational governance, specifying structural separations, standing conditions, and implementation phases.