About
Res Agentica: Coordination After the Absent Master is a trilogy on verification, production, and governance. Its central argument is that costly verification helped make trust institutionally necessary. As selected claims become cheaper to check, the question is not whether proof abolishes trust, but which forms of authority proof can discipline and where proof itself must be bounded by mercy.
The urgency is structural, not speculative. Autonomous systems can already compose across organizational boundaries faster than ordinary review can reconstruct their acts. Human institutions choose objectives, grant permissions, and remain responsible, while a bounded computational process may complete the situated judgment and terminate before contest begins. The constitutional problem is to preserve a surviving principal, usable evidence, and effective remedy across that difference in tempo.
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 their constitutional sequence, objections, and unresolved remainders without treating one volume as a deduction from another.
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 companion — thirty-two primary anchors and six sub-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.
The verifier developed alongside this research is available as the Bulla package, separately licensed for product use: Try Bulla →