Essays & Whitepapers
Formal research on programmable institutions — multi-harbored entities, compliance-carrying execution, and proof-producing sovereign infrastructure. Each paper stands alone; together they compose a single architectural arc.
- 2026 Two Harnesses and a Limit There are two ways to make an AI agent safe: fence the model, or fence the world. The second turns out to be what makes a network of jurisdictions neutral, too.
- 2026 Op: A Typed Bytecode for Compliance-Carrying Operations A deterministic, proof-producing bytecode for institutional workflows. Typed effects, scoped compensation, typed suspension, linear-and-locked resources, and a signed commitment protocol. Lex-to-Op verdict preservation is mechanized for a scoped admissible skeleton. PDF
- 2026 Lex: A Logic for Jurisdictional Rules A dependently-typed logic for encoding compliance rules - defeasible priority, temporal stratification, authority modals, and typed discretion holes marking exactly where computation stops and a human must decide. PDF
- 2025 Competitive Topologies A response to Schmidt and Sorota’s “This is No Way to Rule a Country”
- 2025 MoxieBFT: A Byzantine Consensus Protocol with Event-Completeness Commitments A Byzantine fault-tolerant consensus protocol extended with event-completeness commitments: proposed blocks are bound to the completeness of an event's observation history, so finality and event resolution are inseparable. PDF
- 2025 Liquidity Aggregation on Exchange Graphs Routing and aggregation of liquidity across a graph of heterogeneous exchanges; pricing, execution guarantees, and path selection under slippage and counterparty constraints. PDF
- 2025 One-Way Coupling of Prediction Markets to Automated Market Makers A construction in which prediction-market prices asymmetrically inform an AMM's pricing curve without round-trip contamination - informative without manipulable. PDF
- 2025 Parlay Identification of Ising Couplings in Correlated Binary Event Markets Ising-model inference of pairwise and higher-order couplings between correlated binary events, using parlay-trade observations as inputs. PDF
- 2025 Programmable Institutions Why institutional infrastructure must become software - and what happens when it does. PDF