Institutions keep records of who may act, what is owned, what is owed, and which rules govern a decision. Across jurisdictions, those records must remain usable by authorities with different laws and responsibilities. This research develops the rules and operations for doing that: composing requirements, executing authorized changes, pricing and clearing claims, and resolving disputes.
Rules and execution
A transaction can satisfy one jurisdiction’s requirements and fail another’s. How Compliance Composes develops a way to combine evaluated requirements while retaining their sources, applicability, and continuing duties. Each authority can inspect the combined record and make its own decision.
Lex gives rules a language. It represents exceptions, priority, legal time, authority, and decisions that belong to a person. A rule can change without rewriting the history of what happened under it. Conflicting rules and competing interpretations become explicit parts of the decision record.
Op: Compliance-Carrying Operations connects authorization with execution. Typed instructions carry authority and obligations through execution. Payment can be partial, an operation can stop, and work can resume without losing the unpaid balance or the record of what has already occurred.
Claims and their transformations
A loan, a share, a delivery obligation, and an event contract all specify an economic right or duty. The Claim as Primitive expresses a claim through a finite payoff program, evaluation dates, and payment terms. It separates the amount owed from the market’s price for that obligation and from the evidence of payment.
Claims also change form. They can split, combine, transfer, or move into a different program. Admissible Obligation Transitions develops the conditions for those changes to preserve obligations, payment attribution, and unfinished instructions. This gives different instruments a common account of what must survive a transformation.
Recourse connects claims, evidence, consent, decisions, stays, and execution records. The dispute record follows an obligation from the contested act through an award and the subsequent recovery process.
Networks, markets, and title
Recognition connects institutions operating under different authorities. Accession Networks studies how common accession instruments can establish the relations and terms otherwise negotiated pair by pair. The question is how a recognition network can grow without requiring every participant to negotiate separately with every other participant.
Event-Collect BFT develops consensus for event-dependent execution. Participants agree on the ledger update while retaining the evidence and obligations needed to complete the operation.
Three papers study pricing and risk. One-Way Coupling of Prediction Markets to Automated Market Makers lets prediction signals affect automated prices and examines how fees, trade limits, and sponsor funding control manipulation. Central Counterparty Risk in Automated Markets accounts for liquidation price impact, the timing of cash, loss allocation, and settlement-asset feedback when computing clearing resources. Parlay Identification of Ising Couplings studies the dependence encoded in joint event prices.
Allocated Title applies the record of rights and obligations to identified physical gold. It follows title, payments, delivery, shortages, and returns through changes in ownership and custody.
Supporting work
The technical companions and design studies examine identity, rule priority, aggregate safety, portable compliance evidence, routes between jurisdictions, operational knowledge, and intelligent assets. The background papers and notes develop the broader institutional models and focused constructions behind the programme.
The Mass Technical Specification and Technical Architecture Brief describe the system architecture and its interfaces. Raeez Lorgat’s writing develops the wider arguments about institutions, markets, governance, and technology.