Sources and Their Jurisdictions

Gödel's incompleteness results concern sufficiently expressive formal systems under stated assumptions. They sharpen the trilogy's respect for formal limits, but they do not prove that legal penumbras or constitutional disagreement are instances of incompleteness.

Church's undecidability result belongs to computability theory. It helps mark the difference between a problem lacking an algorithmic solution and an institution choosing to reserve a matter for judgment. The Mercy Threshold does not follow from the theorem.

Turing gives a model of effective computation and an independent route to undecidability. The work defines a technical boundary. It does not by itself identify the moral or constitutional boundary of computation.

The propositions-as-types correspondence connects proofs and programs in particular logical and computational settings. It motivates constructive treatments in The Proofs. It does not make historical witness institutions and software identical structures.

Tarski's account of logical consequence belongs to the formal background against which claims of validity should be stated. It is a discipline on the word follows, not a theory of political legitimacy.

The standard foundation for categories, functors, natural transformations, limits, and adjunctions used throughout the formal companion.

A compact introduction to categorical language, useful before the formal chapters on invariants, morphisms, and adjunctions.

An applied account of compositional modeling. It demonstrates how categorical tools can organize systems without implying that one categorical model is canonical for every institutional domain.

A practitioner-oriented route into schemas, data migration, and compositional structure. The trilogy borrows methods of explicit translation rather than political conclusions.

The principal history behind the trilogy's use of the bill of exchange. It supports an account of changing commercial practice and legal form, not a claim that medieval merchants consciously implemented a modern witness theory.

A corrective account of negotiation, protest, liability, and recourse. It is especially useful for separating transfer from authentication and historical practice from later doctrinal consolidation.

Braudel's scale of observation informs the trilogy's attention to material conditions that outlast events. The method is an influence. It does not establish verification cost as the single hidden variable of Mediterranean commerce.

A social history of measures and the interests embedded in standards. Kula helps reveal measurement as an institution of power without implying that every standard is merely a chokepoint or rent.

Scott's account of legibility and administrative simplification supplies the strongest counterpressure on cheap verification. Making a population visible can aid provision, extraction, or domination. The political question is who becomes legible to whom and for what purpose.

Coase explains why activities move between market and firm when using the price mechanism is costly. Volume II extends the inquiry toward verification while retaining bargaining, management, and contracting costs that verification cannot absorb.

Transaction-cost economics provides a demanding alternative explanation for organizational form. Verification cost matters only if it identifies variation that the broader governance framework does not already explain.

Barzel's treatment of measurement cost is the nearest economic precursor to the trilogy's verification-cost argument. It is a source of pressure on any claim of novelty.

Ostrom studies durable self-governance under specific social and material conditions. Her design principles are comparative findings, not a checklist that makes a blockchain or DAO legitimate.

The account of freedom as non-domination grounds the Kind Master Problem. The trilogy extends the question to composed computational power while retaining the need to identify human and institutional responsibility.

Arendt's treatment of action, promise, and forgiveness informs the distinction between automatic consequence and a new beginning. It does not prove that an algorithm can never recommend or administer a rule of release.

Dworkin supplies a major account of rights and legal interpretation. He strengthens the claim that hard cases are not implementation noise while leaving open how computational assistance may participate in interpretation.

Lessig's account of architecture as a modality of regulation is a direct ancestor of the Membrane. The trilogy adds a constitutional demand for standing, evidence, contest, and remedy where architecture acquires consequential force.

Pasquale documents opacity in scoring and information institutions. The receipt regime answers part of that problem, while the book also warns that disclosure without capacity or power redistribution may accomplish little.

An influential argument for expiration and the social value of forgetting. The Mercy Threshold adds purpose-specific authority, independent review, and the distinction between durable evidence of power and later adverse use against a person.

The standard defines approved digital-signature algorithms and necessary assurances. A valid verification result concerns signed data, a public key, and a claimed signatory under those assurances. Institutional authorization and legitimate purpose remain external.

The foundational treatment of zero-knowledge interactive proofs. Selective proof can reduce disclosure, but the construction does not determine which proposition an institution may demand.

Bitcoin demonstrates verifiable state transition and costly history revision under a declared protocol and threat model. It does not establish identity, legal title, governance legitimacy, or a general theory of value.

Landauer identifies a thermodynamic lower bound associated with logically irreversible erasure under stated physical conditions. The result does not make institutional verification cost, the coherence fee, or market value a thermodynamic quantity.

The GDPR supplies enforceable rights and duties concerning access, storage limitation, erasure, explanation, and review. Those protections depend on legal institutions and contain exceptions. They are neither automatic nor toothless by definition.

Simon provides a foundational account of designed systems, bounded rationality, and the relation between an artifact's purpose and its environment. Chapters 1 and 5 are the relevant movements. The Codex's unfinished judgment begins where a delegated process must join those two under incomplete specification.

Russell offers a strong technical counterargument to fixed-objective optimization through assistance under uncertainty about human preferences. Better alignment can reduce harm. It does not remove the institutional questions of authority, standing, and responsibility.

A review of automation bias and complacency. It supports the handback problem by showing why nominal human availability does not guarantee effective oversight.

A taxonomy of technical safety problems including side effects, reward hacking, oversight, exploration, and distribution shift. These are engineering problems adjacent to the constitutional argument, not substitutes for it.

Borges supplies the image of total information becoming practically useless. The story illuminates the difference between record abundance and navigable evidence. It is not an argument for the receipt regime.

Rilke informs the language of transformation and attention. His presence is tonal and ethical rather than doctrinal.

Illich distinguishes tools that enlarge practical autonomy from systems that manufacture dependence. The distinction informs the trilogy's treatment of captivity while leaving its constitutional machinery to be argued elsewhere.