← Home

Writing

Institutions, Claims, and Markets

• 2026 Institutional Computation What must a program retain to carry out an institution's authorized work?
• 2026 Rules, Evidence, and Local Decisions How can evaluated rules combine while preserving evidence, disagreement, and authority?
• 2026 Claims and Continuing Obligations How do obligations survive calculation, payment, interruption, and changes of program?
• 2026 Recognition Across Independent Authorities When can one authority use another's evidence, and what must remain local?
• 2026 Prices, Information, and Clearing Risk What can prices reveal, and which resources support trading and clearing?
• 2026 Title, Remedies, and Institutional Change What must remain accounted for when assets move, disputes arise, or institutions change?
• 2026 When Institutional Programs Work Together Which compatibility conditions let local programs complete a common task?

Infrastructure

• 2025 Sensoria Protocols for the study of consciousness.
• 2025 LICC A laboratory for coordination science.
• 2026 One Entity in Many Jurisdictions The research programme in one essay.
• 2025 Programmable Institutions Institutions as reproducible infrastructure.
• 2025 Special Economic Zones in a Box A network model for economic zones.
• 2025 Moxie A clearing and settlement layer for claims and their derivatives.

Mathematics

• 2017 Algebraic D-Modules Lecture notes for MIT 18.769 (Pavel Etingof).
• 2017 Infinite-Dimensional Lie Algebras Lecture notes for MIT 18.747 (Pavel Etingof).

Built Environment

• 2025 Smart Buildings A programmable operating system for the built environment.
• 2025 Prefabricated Construction
• 2025 Archai Primitives for land and community ownership.

Claims clearing and settlement

• 2026 The Claim as Primitive A finite payoff language separates observed outcomes, amounts owed, payment evidence, and market pricing.
• 2026 Admissible Obligation Transitions Authorized changes preserve obligations, payment attribution, and unfinished instructions when records split, combine, or move between programs.
• 2026 Event-Collect BFT Consensus over event-dependent execution preserves unresolved evidence and payments under explicit fault, availability, cryptographic, and provider assumptions.
• 2026 One-Way Coupling of Prediction Markets to Automated Market Makers Prediction signals adjust automated prices. Fees, trade limits, and sponsor funding bound manipulation while retaining a response to forecasts.
• 2026 Central Counterparty Risk in Automated Markets Liquidation price impact, loss allocation, timely cash, and settlement-asset feedback determine the resources needed for clearing.
• 2026 Parlay Identification of Ising Couplings Joint event prices identify pair dependence under stated observation conditions. Statistical and numerical bounds distinguish pricing laws from physical probabilities.

Programming Languages

• 2026 Lex A logic for rules, authority, time, and discretion.
• 2026 Op A bytecode for proof-carrying institutional workflows.