Authority, rules, and institutional changes

How Compliance Composes asks how requirements from several jurisdictions combine. Its results distinguish applicable grades from exemption and non-applicability. A composition theorem applies to its stated domain and hypotheses; a receiving institution must still establish which rules apply and which evidence it accepts.

Programmable Institutions studies authorized changes to institutional records and the obligations that continue through them. Lex supplies a rule logic with priority, legal time, authority, and explicit human decisions. Op addresses typed execution, evidence, compensation, and bilateral signed commitment. Their formal results distinguish the modeled fragments from the broader language and deployment obligations.

These questions extend across organizational boundaries. The Sovereign Jurisdiction Network develops typed records, authorized changes, corridor evidence, and continuing duties. It separates paper proofs and finite model evidence from the assumptions required of an institutional implementation. Accession Networks identifies conditions under which common accession instruments establish the same relations and terms as bilateral negotiation. Recognition, consent, refusal, inspection, and administration remain part of those conditions.

Obligations and market execution

The Claim as Primitive separates observations, amounts owed, payment evidence, and pricing in a finite payoff language. Admissible Obligation Transitions then asks how records can split, combine, or move between programs while preserving obligations and unfinished instructions. Its construction states the class of transitions and continuation duties it covers.

Event-Collect BFT concerns consensus when execution depends on events and evidence that may remain unresolved. Its guarantees carry explicit fault, availability, cryptographic, and provider assumptions.

The next three papers address different market questions. One-Way Coupling of Prediction Markets to Automated Market Makers studies the conditions for a prediction market to affect an automated market maker through the selected coupling construction. Central Counterparty Risk in Automated Markets develops margin and clearing risk under specified execution policies. Its adaptive analysis identifies the permitted observations and finite policy class; wider policy classes require their own arguments. Parlay Identification of Ising Couplings examines what correlated binary-event market observations identify about an Ising model and how changing outcome laws affect inference.

Title and dispute resolution

Allocated Title carries the analysis into physical assets, custody records, and the legal conditions for title and enforcement. Recourse treats dispute resolution and the conditions for carrying an outcome into execution. Their legal and institutional premises must be checked for the relevant instrument and jurisdiction.

Reading the evidence

A proved result establishes the conclusion stated under its hypotheses. A finite model or executable supplement establishes the behavior of the construction it actually checks. Institutional adoption, provider performance, and runtime acceptance require their own evidence. The papers mark these boundaries individually.

The article and PDF links in the catalogue identify the current editions. Where a paper supplies a public supplement, its download link and reproduction record accompany that paper. The publication manifest records the source, web, PDF, and supplement hashes for this set.