Res Agentica
Reading

No saved reading position.

Reading

No saved reading position.

Lexicon

The trilogy’s vocabulary — 207 terms, 159 original, 48 borrowed

ORIGINALTerms introduced by this work (159)
BORROWEDTerms from existing literature (48)
AFormal Anchor — definition with a corresponding formal treatment in The Proofs (38)
207 of 207 terms

5

The 5-Tuple

ORIGINAL

Five fields for a consequential-power receipt: act, authority, bounds, evidence, and contest. They identify what happened, the rule and surviving principal claimed to authorize it, the scope and duration of that authority, the material proposition and source class, and a route to an independent forum. Completing the fields does not establish justice or supply a remedy by itself.

A

Actuation Bottleneck

ORIGINAL

A constraint encountered when cognitive output must become an authorized change in the physical, financial, or institutional world. Physical throughput, interfaces and permissions, evidence about external reality, and a reachable principal may bind in different orders. Cognitive output can scale faster than many of these complements, but neither cognition nor actuation has one universal cost curve.

Adjunction (A9)

ABORROWED

via Kan (1958), category theory

A pair of functors F : C → D and G : D → C with a natural bijection Hom_D(F(A), B) ≅ Hom_C(A, G(B)). Equivalently, the pair has a unit A → G(F(A)) and counit F(G(B)) → B satisfying the triangle identities. These are canonical comparison maps between round trips and identities, not numerical measures of cost or loss. Free–forgetful adjunctions add and forget structure; other adjunctions need not follow that pattern. In a preorder, the declared order can characterize least or greatest approximations. Any physical, informational, or monetary price requires an additional metric or loss function.

Agent (Precise Definition)

ORIGINAL

A computational process entrusted with part of a judgment unfinished: selecting among relevant circumstances and acting through available tools toward a delegated objective. Some agents are short-lived and stateless; others retain memory, identity, or continuity across invocations. Practical agency depends on delegated discretion and capacity to act, not on consciousness, personhood, or a universal runtime architecture.

Agent-Time

ORIGINAL

The temporal mode of a computational actor whose situated execution may end long before its consequences can be reviewed. Termination can remove the process that selected and acted without eliminating the human or institutional principal that authorized, deployed, or benefited from it. Receipts preserve evidence of the act; they do not themselves supply authority, answerability, or remedy. Agent-time names the resulting mismatch between operational life and institutional time, not the claim that every computational commitment is orphaned.

Anti-Coverup Invariant

ORIGINAL

The constraint distinguishing democratic forgetting from authoritarian erasure: sunset provisions allowing persons to shed their documented pasts must never be used to hide coercion by those who hold power. A person's juvenile record may be sealed because persons change; a government's torture record may not because accountability for institutional violence is owed to the victims and to the constitutional order itself. Person-time may expire, but power-time may not masquerade as person-time. Privacy protections must not extinguish the evidence needed to contest institutional coercion. Personal information within or supporting that evidence remains subject to lawful minimization, sealing, restricted access, and limits on later adverse use.

Anticipatory Effect

ORIGINAL

The mechanism by which domination corrupts behavior before power is ever exercised — the counterpart to Saint-Simon's observation that courtiers at Versailles oriented their entire existence around pleasing the sovereign without any explicit command being issued. In computational infrastructure, the anticipatory effect manifests when users moderate their speech, restrict their activities, or alter their behavior not because the platform has acted but because the platform might act. The psychic tax of unchecked power is paid in advance: self-censorship, preemptive compliance, the quiet abandonment of activities that might attract adverse attention. No log records this damage, because the action that would have provoked the response was never taken.

Authorization / The Signature

ORIGINAL

A signature can authenticate control of a key over declared bytes. It does not by itself establish identity, legal authority, institutional recognition, valid purpose, or an answerable principal. Authorization arises from the rules and offices that recognize the act and determine what consequence follows. A well-designed signature record helps trace that consequence to a reachable party, but the surrounding institution must still supply authority, contest, and remedy.

Autonomy Ladder

ORIGINAL

A descriptive sequence of deployment arrangements: assistive, supervised, delegated within bounds, and autonomous under automated or deferred checks. Systems need not climb the stages in order, and the endpoint is not inevitable. Verification is one constraint among capability, integration, expected loss, remedy, regulation, demand, and the authority to act.

B

Baumol Sectors

BORROWED

via William Baumol

Activities in which measured labor productivity grows slowly relative to other sectors, often because performance time, care, judgment, or presence remains part of the service. Baumol's cost-disease account explains why their relative costs can rise as wages follow more productive sectors. Such activities have employed growing shares of labor during important periods, but they are not a guaranteed absorption reservoir. Computation may substitute for some components, complement others, or change the service being purchased; the result is empirical and institution-specific.

Bifurcated Economy

ORIGINAL

A possible divergence between machine-paced coordination and institutions that verify, adjudicate, and remedy at human or legal tempo. Computational systems do not face uniformly negligible transaction costs: identity, external facts, permissions, capital, and disputes can remain expensive. The political question concentrates where fast acts produce consequences that slower institutions must contest.

The Bill of Exchange

BORROWED

via Medieval commerce

A commercial instrument through which a payment instruction could travel between parties, places, and currencies. Later forms of endorsement recorded successive transfers and, under governing law, could add parties to conditional recourse after dishonor. The bill's standing depended on its terms, timely procedures, the credit of relevant parties, and recognition by receiving institutions. A signature did not guarantee every earlier signature, and verification alone did not determine the bill's value. Its history shows how transfer could be joined to liability and contest across distance.

Bounded Discretion

ORIGINAL

Interpretation within structured constraints. Five principles: specificity where possible, structured discretion where necessary, interpretation receipts for every judgment, jurisdictional humility, and precedent with exit. Arbiters require domain competence, independence, and answerability; decisions leave receipts and lead to review and remedy. Bonding is one possible mechanism, not a universal requirement or a guarantee of sound judgment.

Braudel's Three Floors

BORROWED

via Fernand Braudel

Floor 1 (Bottom): Material life — food, clothing, shelter, tools; governed by geography and biology. Floor 2 (Middle): Market economy — exchange, prices, visible trade; competition disciplines behavior. Floor 3 (Top): The zone of anti-market ('capitalism proper') — large-scale finance, concentrated power; the rules of ordinary exchange suspended.

Bridge Expressiveness Gap

ORIGINAL

A possible mismatch between what an intermediary can express and what the connected interfaces can check. A language model may move information between a compliance database and a risk service without making their conventions or obligations explicit. The mismatch is present when the crossing lacks evidence needed to establish what survived, not merely because it uses a model. Explicit mappings, typed adapters, provenance, and institutional review can already supply parts of that evidence. Cheap composition does not establish that certification has become equally cheap; the difference must be shown for the particular pipeline and obligations.

C

Certification Contract (A19b)

AORIGINAL

Typed success or typed failure, with no third option. A certification contract takes a proposed claim and returns either a witnessed assertion (the claim has been verified, here is the evidence) or a structured refusal (the claim could not be verified, here is why). Downstream consumers know exactly what they are receiving and what confidence level attaches. Systems that return 'maybe' or 'approximately' without typing the uncertainty violate the certification contract.

Civic Asymmetry

ORIGINAL

Transparency must follow the direction of power. Consequential authority should become more legible as its capacity to coerce grows, while private persons remain opaque beyond what a particular transaction justifies. Verification technology can help enforce this direction, but it can also reverse it by making subjects inspectable while leaving operators obscure. Civic asymmetry is therefore a constitutional demand on institutions, interfaces, standards, and access rather than an automatic property of technical transparency.

Clearance Event

BORROWED

via Soddy/Daly

A restructuring of claims that can occur when promised payments outrun what debtors and institutions can service. Default, inflation, maturity extension, haircuts, or conversion of debt to equity can perform parts of this adjustment. The category is interpretive rather than a periodic law derived from thermodynamics.

Coasean Agent

ORIGINAL

A bounded policy executor that acts under delegated authority, can place or control committed assets, produces and consumes receipts, and clears routine coordination without human interpretation while routing unresolved cases into a defined exception and recourse channel. A firm in a file is a mnemonic for an organizational module: treasury or spending authority, charter, policy, delegation record, verification rule, settlement path, and named surviving principal. The runtime can end while commitments and responsibility continue.

Coasean Bifurcation

ORIGINAL

A hypothesis that computation lowers some costs of search, contracting, monitoring, and coordination without lowering all of them together. Firm boundaries may move where machine-readable evidence and standardized execution become cheap, while identity, external facts, liability, interpretation, and remedy remain costly. The result need not be two clean strata or the dissolution of firms.

Coasean Boundary

BORROWED

via Ronald Coase, Oliver Williamson

Coase's account of the boundary between coordination inside a firm and exchange through a market, shaped by the relative costs of organizing, searching, contracting, monitoring, adapting, and enforcing. Computational systems can reduce some of those costs while leaving identity, authority, integration, capital, liability, and dispute expensive. Firm boundaries may therefore move differently by task and institution; neither near-zero agent transaction costs nor the dissolution of large firms follows from capability alone.

Coercive Gradient

ORIGINAL

A way to assess how influence becomes consequential interference. Suggestions, defaults, mandates, and force can impose different burdens, but their labels do not determine their constitutional effect: a ranking or default may materially impair standing while appearing optional. Receipt duties follow consequential interference, not every recommendation. The evidentiary and review burden grows with severity, irreversibility, unilateral authority, opacity, and the weakness of alternatives; personal privacy remains protected throughout.

Cognitive Commodity

ORIGINAL

A cognitive capability offered through sufficiently standardized interfaces that buyers can compare price and performance across suppliers. Commoditization is task- and layer-specific: distribution, data, trust, integration, frontier performance, and switching costs can preserve differentiation. Where capability does diffuse, scarcity may migrate toward physical and institutional complements.

Coherence Budget (A21)

AORIGINAL

A21 proposes categories for recording selected costs of composition, including computation, time, translation, adjudication, and institutional effort. The categories have no universal unit or ordering, and refinement need not increase their sum. A deployment may use a declared budget to choose which claims receive stronger checking and which receive structured refusal, but the model does not prove that every coherence problem can be priced or compared on one scale.

The Coherence Fee

ORIGINAL

The irreducible work required to make claims compose across contexts: authenticating, translating, storing, checking, adjudicating, or maintaining the crossing. Its form and measure depend on the domain. The term does not imply a universal physical or monetary unit, and Landauer's bound for logically irreversible erasure does not make institutional coherence a thermodynamic quantity. The coherence fee is distinct from the trust tax, the rent that can accrue when one party controls the practical route across a boundary.

Coherence Requirement (A5)

AORIGINAL

How does a new predicate enter a system without destroying what already holds? An extension introducing predicate q must satisfy: local definability, overlap agreement (views induce the same classification or produce a witnessed reconciliation), invariant preservation, and conflict handling (fork, scope restriction, or preference ordering — never silent overwrite). On overlaps, agree with proof, fork with scope, or reconcile with witness.

Commitment Discipline (A1)

AORIGINAL

A system satisfies commitment discipline relative to a declared consequence relation if it never extends its commitment set to one that derives absurdity under that relation. A commitment set is a finite set of sentences in a specified formal language; answering adds a proposition to it. Consistency is logic-relative: classical logic makes p and not-p inconsistent, while a chosen paraconsistent logic may tolerate both without explosion. A1 states an obligation to track commitments and refuse inconsistent extensions under the selected logic. It does not supply a general decision procedure for checking every extension. A proposal generator needs additional enforcement machinery to offer this guarantee.

Competence Trap

ORIGINAL

A condition in which routine delegation erodes a reviewer's independent competence while an institution continues to treat the review as substantive. It is not present whenever a professional uses a model. It becomes material when the reviewer lacks time, information, authority, or practiced ability to inspect and refuse the act, leaving a signature that routes liability without providing meaningful judgment.

Complementary Assets

BORROWED

via David Teece

Capabilities, relationships, and institutional positions required to commercialize an innovation but not automatically supplied by it. Distribution, data, manufacturing, service, licenses, and liability capacity can allow their owners to appropriate returns when a core capability diffuses. The direction and durability of migration are empirical questions, not a universal sequence.

Composition Boundary

ORIGINAL

The point where a component’s internal state is represented through an output interface for downstream use. Projection makes modular composition possible, but an omitted field or convention may matter to the task that consumes the output. A boundary therefore needs a declared account of what is exposed, what is assumed, and what evidence accompanies the handoff. In Bulla’s narrower schema model, a coboundary operator built from declared internal state and a loaded convention vocabulary is restricted to observable fields; the resulting rank difference measures disclosure or omission under those assumptions. It does not enumerate every unnamed convention or predict whether a live composition will fail.

Conservative Extension (A17b)

ABORROWED

via Model theory

An extension is logically conservative when it adds no consequences expressible in the old language. A stronger property requires every model of the original theory to admit an expansion satisfying the new theory with the same old-language reduct; under sound and complete semantics this suffices for logical conservativity. A17b separately defines operational conservativity: the designated stable queries retain their results under fixed evidence, absence policy, and relevant scope, with the declared comparison of result statuses or values. Logical conservativity alone does not guarantee every implementation-level query remains unchanged. A change that breaks either promised contract requires an explicit migration witness identifying the failure.

Constitutional Hardness

ORIGINAL

The resistance of a commitment to revision by the people or institutions it constrains. Constitutional, economic, and technical safeguards can make reversal harder, but cryptographic hardness applies only to a declared digital relation under stated assumptions. It does not make civic rights or fork rights mathematically unamendable. The design must identify who can amend, upgrade, pause, or review the rule and justify the difficulty of reversal. Changing an Article requires the constituting authority’s ratification; an implementation or interpretation does not acquire that power by practice.

Constitutional Mechanism Design

ORIGINAL

The application of constitutional economics, mechanism design, and bounded cryptographic enforcement to the rules under which power is exercised and amended. It asks how participants and designers can exploit a rule, and where incentives can make desired conduct optimal under stated assumptions. Execution, evidence, governance, and adjudication remain distinct layers. Code can enforce a declared digital constraint; it cannot by itself establish a legitimate objective, authentic inputs, effective review, or a universal incentive to comply. Interpretive and executive authority must both remain answerable.

Context Graph (A22)

AORIGINAL

Typed nodes — contexts, claims, witnesses, constraints, equivalences — connected by edges specifying their relationships (supports, scoped-to, refines, transports, contradicts). The grammar is sparse by design. Three operations govern the graph: gluing (composing local knowledge into global coherence), restriction (projecting global knowledge into local views), and transport (moving claims across context boundaries via witnessed equivalences). The point is not to represent all possible knowledge but to maintain the invariants that make knowledge coordination reliable.

Context Site Structure (A12b)

AORIGINAL

Contexts and their refinement morphisms form a category; a Grothendieck topology declares which families count as covers. These covering declarations satisfy identity, pullback stability, and transitivity. Common refinements supply overlaps, represented by pullbacks in the general case and meets in the poset model. The topology selects the local-to-global obligations for the chosen data assignment, so changing it can change which presheaves satisfy the sheaf condition. This is a modeling choice about sufficient views and required agreement. It does not by itself establish that a coarser topology permits logical contradiction or that a finer one makes the system unsatisfiable.

Contextual Integrity

BORROWED

via Helen Nissenbaum

Information should flow where norms say it should. Nissenbaum's framework: flows are appropriate when they match context-relative norms; violations occur when information crosses contexts inappropriately. Civic asymmetry operationalizes the principle: power's information flows are appropriate for scrutiny — those wielding coercive authority must be inspectable. Persons' flows deserve protection — the governed need not become legible to systems that cannot themselves be held to account.

Coordination Without Consensus

ORIGINAL

Reliable coordination across incompatible frames through inspectable conditions at their points of contact. Parties need not share every value, description, or objective, but they need a defensible account of what a claim means at the seam, what evidence supports it, and who answers if the crossing fails. The sheaf condition supplies one precise local-to-global model in defined settings; it is not a universal proof that institutional disagreement reduces to overlap compatibility.

Correction Lineage

ORIGINAL

A portable record preserving a correction, the authority for it, and its propagation through downstream copies and transformed decisions. Deletion at the source is not enough when an obsolete inference, score, or status continues to govern elsewhere.

Cover and Restriction (A12)

AORIGINAL

A cover of a context U is a family of refinement morphisms U_i → U declared jointly sufficient for the questions represented in U. It is a choice made within the site’s topology; set-union is a useful picture, not the general definition, and a cover need not reveal every possible distinction. Restriction maps carry data contravariantly from U to each refining context U_i and obey identity and composition laws. In the chosen theory model, restrictions preserve derivability on the shared vocabulary under the declared comparison discipline. Different inference or absence policies require explicit adapters before claims can be compared.

Credible Exit

ORIGINAL

The practical capacity to end a relation at bearable cost without surrendering interests the institution has no legitimate claim to confiscate. Credible exit requires usable migration, portable credentials and evidence from which standing can be rebuilt, and visible limits on what can travel. It can strengthen voice and constrain captivity, but departure does not automatically reproduce reputation or relationships, cancel surviving obligations, or protect affected outsiders. Where migration is not practically available, voice and independent review remain necessary.

The Cryptographic Key

BORROWED

via Cryptography

A touchstone for the distinction between a checkable signing relation and the authority to act. Under a signature scheme and its required assurances, verification tests a relation among a message, a signature, and a public key. It does not by itself establish human identity, rightful control of the private key, free consent, legitimate delegation, or an institution's entitlement to honor the message. The mathematical check can reduce reliance on an intermediary for a specified proposition while leaving those other questions open.

Crystallized Search

ORIGINAL

A metaphor for a trained configuration that persists after a search process has ended. Training requires computation and energy, but weights do not carry a verifiable invoice for one unique history, and copying need not repeat the original search. Expense can explain an asset's cost without establishing usefulness, scarcity, legitimacy, or value.

D

Decision Wake

ORIGINAL

What the governed experience: the turbulence left by coordinations that concluded before awareness could form. The 2010 Flash Crash sharply moved markets within minutes; a later CFTC–SEC investigation reconstructed the cascade from records across markets. Prices settled while you slept. Opportunities opened and closed within a single inference cycle. Allocations compounded through cascades no observer could follow in real time. The governed do not experience the Kakudmī Problem directly, because it operates at tempos they cannot perceive; what they feel is the wake — displacement without a visible cause, consequence before a traceable account is available. Brahmā's laughter is inaudible. The wake is what you feel.

Demo-to-Deployment Lag

ORIGINAL

The interval between a credible capability demonstration and audited, insured, or otherwise institutionally recognized deployment in a defined workflow. Its length depends on the domain, the starting event, the deployment threshold, integration, evidence, expected loss, regulation, authority, and remedy. It is an observable comparative variable when those boundaries are declared, not a universal six-month threshold or a law of transition speed.

Dependent Types

BORROWED

via Martin-Löf type theory

Types that depend on values — where the type of an expression can vary based on the value of another expression. In ordinary type systems, 'list of integers' is a fixed type; in dependent type systems, 'list of length n' is a type that depends on the value n. This enables specifications capturing invariants impossible to express in simpler systems: 'a sorted list,' 'a matrix of dimensions m × n,' 'a proof that this number is prime.' Dependent types are the technical machinery underlying fibrations: predicates whose type depends on context, where 'best' means something different for the shopper than for the warehouse. A term's type, and therefore what operations are valid on it, can depend on which context is active.

The Diamond

BORROWED

via Historical exemplar

A touchstone for the difference between physical persistence and economic recognition. A diamond's lattice may outlast a person or registry, but its material properties do not establish provenance, title, legitimacy, or price. The object can persist while the institutions that recognize claims upon it change.

Domination Without a Dominator

ORIGINAL

Domination without a unitary dominator: a computational chain can exercise consequential power even when no participant intends or controls the whole outcome. Objectives, data relations, delegation rules, and interfaces still have authors and beneficiaries. Authority, evidence, and a surviving principal must remain traceable so that fragmented authorship does not become an absence of institutional responsibility.

E

Efficiency Membrane

ORIGINAL

A heuristic boundary between activities that can be governed through standardized, machine-readable evidence and collateral, and activities that still require costly interpretation, institutional standing, or remedy. Frequency and stakes matter, but so do identity, external facts, authority, capital, and the ability to contest an outcome. No fixed crossing point determines whether humans or computational systems dominate.

Empire of Strings

ORIGINAL

A comparison term for systems used primarily to propose token sequences or retrieve source material. Their outputs may contain correct claims or derivations, but generation and retrieval alone establish no general contract that accepted claims preserve a declared commitment set. A deployment can add typed evidence, verification, and admission controls; its guarantees must then be assessed at that complete boundary. The term identifies a role in the argument, not a claim that every language-model or retrieval system lacks the capacity to reason or certify.

Empire of Tables

ORIGINAL

A comparison term for systems organized around typed data, declared relations, and constraints. Relational implementations can enforce supported invariants under specified execution conditions and can extend represented vocabulary through views, functions, schema changes, or predicate registries. Those mechanisms do not by themselves establish a new concept's intended meaning or safe use across contexts. The term identifies the contract supplied by a particular schema and its enforcement, not perfect domain truth or an inability to evolve vocabulary.

Energy Sovereignty

ORIGINAL

Secure access to usable power can be a condition of computational independence, but electricity alone supplies neither chips, connectivity, legal permission, capital, nor market access. Proof-of-work mining may offer a site-specific allocation option where those complements exist. Energy sovereignty therefore names one dimension of productive independence, not an irreducible basis of economic control or a universal route from electricity to value.

Epistemic Foreclosure

ORIGINAL

The loss of practiced judgment that occurs when a person or institution delegates a capacity long enough that meaningful resumption becomes impossible. It is not ordinary assistance or temporary automation. The constitutional risk appears when the nominal principal retains legal responsibility but no longer possesses the evidence, skill, time, or institutional pathway needed to take judgment back.

Epistemic Status (A4)

AORIGINAL

Truth assessed relative to a view and its inference regime. When the view is consistent on a proposition p, its status is true if p is derivable, false if not-p is derivable, and undetermined if neither is derivable. If both are derivable, conflict must be represented separately. Closed-world inference is scoped to a predicate declared complete in the view: failure to derive a positive instance then licenses its negation. Without that completeness declaration, absence leaves the claim undetermined. SQL uses TRUE, FALSE, and UNKNOWN; NULL can represent several kinds of missing information whose interpretation requires additional context. Sources sharing a signature but differing in completeness policy may therefore support different conclusions.

Erlangen Programme

BORROWED

via Felix Klein (1872)

Felix Klein's 1872 approach to classifying geometries by their transformation groups: choose the group of admissible transformations first, then define the objects of study as whatever remains invariant under those transformations. Transformations first; objects second. Euclidean geometry is the study of what survives rotation, translation, and reflection; projective geometry studies what survives projection from a point. The Erlangen Programme showed that different geometries are not competing descriptions of the same reality but different answers to different questions about what transformations are admissible. The manuscript borrows this discipline for knowledge coordination: declare the transformations and properties relevant to a comparison. Institutional changes do not in general form a mathematical group, and the analogy does not prove the necessity of the five witness functions.

The Exception

BORROWED

via Carl Schmitt

The moment when an emergency exceeds ordinary rules or procedures. Schmitt locates sovereignty in the power to decide the exception. The republican response is to allocate declaration, stabilization, alteration, review, duration, and return to rule through a bounded emergency charter. Fork rights are a last safeguard where a constitutional disagreement cannot be resolved through a shared procedure and plural continuation is practically available. They preserve a route to continue, not equal power, intact value, or exemption from every surrounding jurisdiction.

Exception Channel

ORIGINAL

What happens when circumstances exceed what rules anticipated? The exception channel handles the penumbra: the contract says 'release when delivered' but the package arrives empty; the escrow conditions are met but the underlying transaction was fraudulent; the letter of the protocol conflicts with its spirit. Without exception channels, commitment becomes a cage — agents who cannot shirk also cannot adapt, and perfect rule-following in changed circumstances produces injustice. Such cases route to human arbiters exercising bounded discretion: judgment within constraints, producing receipts, bearing stakes. The human remains judge of last resort not because humans are infallible but because someone must answer when the rules prove insufficient.

Exergy

BORROWED

via Nicholas Georgescu-Roegen

Maximum work obtainable as a system comes to equilibrium with a specified reference environment. Total energy is conserved while exergy is destroyed in irreversible transformations. A Carnot engine gives an ideal heat-engine limit; real combustion, resistance, friction, and other losses reduce deliverable work. Exergy is a thermodynamic property, not a complete account of economic value. Landauer's limit concerns the minimum heat dissipation of logically irreversible information erasure under stated conditions; it is not simply 'exergy per bit' or a price of computation.

Exit, Voice, Loyalty

BORROWED

via Albert O. Hirschman

Hirschman’s triad: exit withdraws from a relation, voice seeks to change its rules or conduct, and loyalty can sustain the effort to repair an institution while also delaying departure. Exit and voice can reinforce or weaken one another; formal availability alone satisfies neither. A fork can carry code and some state into a new order, while standing, relationships, common goods, and surviving obligations require their own treatment. Where migration is impractical, independent review and effective voice remain essential.

F

Factor Prime

ORIGINAL

A proposed political-economic lens for physical throughput routed through computation into cognitive work. Some work is consumed immediately, some persists as reusable capability, and some satisfies conditions in a protocol or institution. Expenditure alone establishes neither usefulness nor value; selection, deployment, ownership, authority, and demand determine what the resulting output can become.

Fibration (A14)

ABORROWED

via Lawvere, type theory

A family of types indexed by context, where the type of a predicate varies depending on which context is active. Meaning is local. The word 'best' means something different (has a different type) in a shopping context (user-preference-dependent ranking) than in an inventory context (rank-ordered by turnover rate). Fibrations formalize this context-dependence: each context determines a fiber (a type), and reindexing maps specify how data moves between fibers when the context changes. Moving a claim from one context to another demands explicit transport — a formal operation specifying what is preserved and what changes in the translation.

Fork Rights

ORIGINAL

The right, where a shared system can be copied and continued, to reconstitute it under different governance. Forking creates an alternative rather than merely moving to an existing provider. Its practical value depends on what assets, credentials, evidence, and institutional recognition can travel, what remains nonportable, and which obligations survive the departure. Other participants are not property that a departing party can take. Fork rights can strengthen exit and voice; they do not make departure equally available or replace independent contest and remedy in institutions that cannot be forked.

Four Actuation Constraints

ORIGINAL

(1) Physical Throughput: matter movement; semiconductor lead times, power transformer delays. (2) Trusted Interfaces: APIs, permissions; organizational bottleneck. (3) Verification of Reality: sensors, audits; instrumentation cost. (4) Liability-Bearing Entities: accountable parties; institutional framework. The constraints bind in different orders depending on domain.

Four Cryptographic Capabilities

ORIGINAL

(1) Portable cryptographic agency: control of a key-linked identifier that compatible verifiers can check, while identity claims and standing still require issuers or institutions. (2) Asset self-custody: authorization without a custodian’s permission where the protocol assigns control to the holder’s key; issuer controls and other dependencies may remain. (3) Verifiable computation: checkable evidence that a declared computation or relation was satisfied without repeating all its work; zero knowledge can additionally protect inputs. (4) Commitment devices: thresholds, conditional transfers, escrow, and time locks that bind future action within a defined digital relation, paired with bounded exception and review.

The Four Equations

ORIGINAL

A constitutional sequence rather than a strict derivation. Truth needs witnesses: what lets a claim travel and be checked. Value needs work: what supports a claim of productive worth without mistaking expenditure for value. Freedom needs receipts: what evidence, capacity, forum, and remedy make consequential power contestable. Humanity needs mercy: when a true record must cease to determine a person's future automatically. Each equation exposes a failure the previous achievement cannot cure by itself; none must be historically or logically completed before another can operate.

The Four Touchstones

ORIGINAL

Four objects keep the argument in contact with distinct forms of evidence. The notary's seal gives an act recognized documentary standing under specified conditions. The diamond distinguishes physical persistence from economic recognition: its lattice contains no price or title. The bill of exchange carries obligations through institutions that recognize transfer, liability, and recourse. The cryptographic key permits a signing relation to be checked without establishing authority or justice by itself. Together the objects show how claims can become more inspectable while the work of recognition, judgment, and remedy remains.

Fractal Polis

ORIGINAL

An order of nested and overlapping jurisdictions in which each institution governs a bounded relation, people may hold standing in several institutions at once, and seams are assigned to forums with explicit authority, evidence, backstops, and routes of contest. Authority, dependencies, and portable standing must be declared at each scale. Forks can preserve plural continuation where a digital order permits it; territorial authority, common goods, and obligations do not become universally divisible. The constitutional questions recur across scales, but their answers differ.

Freedom Needs Receipts

ORIGINAL

Third governing equation. In the republican tradition, political freedom requires protection from uncontrolled capacity for interference, not merely kind treatment. A receipt begins the recovery of distributed computational power by recording the act, claimed authority, bounds, material evidence, and route of contest. The record is necessary evidence infrastructure. It constrains domination only where affected parties also possess verification capacity, standing, an independent forum, and a path to remedy.

G

Galois Connection

BORROWED

via Évariste Galois / Lattice theory

An adjunction between preorders: monotone maps F : P → Q and G : Q → P satisfying F(a) ≤ b exactly when a ≤ G(b). Relative to the declared orders, F(a) is the least b with a ≤ G(b), and G(b) is the greatest a with F(a) ≤ b. The composites G∘F and F∘G are closure and interior operators. This can model a selected abstraction or approximation, but a pair of lossy translations is not automatically a Galois connection. Any numerical translation cost requires a separate metric; it is not supplied by the order correspondence.

Genoese System

BORROWED

via Avner Greif

A stylized contrast drawn from Greif's account of Genoese commerce, where contracts, notarial records, courts, and public authority played larger visible roles than in his Maghribi model. It should not be treated as a pure replacement of community ties by impersonal law or as a universal developmental sequence. Its value is comparative: different mixtures of record, reputation, adjudication, and enforcement support different forms of participation.

Ghost Acreage

BORROWED

via Wrigley/Sieferle

An estimate of the land area whose recurring biological output would supply energy equivalent to a specified flow of fossil-fuel use. Coal draws on a geological stock, allowing an economy to supplement the annual output of its visible land base. The acreage depends on the period, territory, fuel consumption, conversion assumptions, and assumed woodland yield; it is not a direct acreage equivalent of the underground reserve.

Grothendieck Site

BORROWED

via Alexander Grothendieck

A category equipped with a Grothendieck topology specifying covering sieves, or represented by covering families satisfying the corresponding axioms. A site supplies the declared notion of locality for the sheaf condition. In the context model, common refinements represent overlaps: pullbacks in the general setting, or meets when contexts form a suitable poset. They need not be literal set intersections. Different topologies on the same category can impose different local-to-global requirements. Choosing the context site is therefore a modeling decision about which views count as jointly sufficient and which compatibility obligations the data must satisfy.

Group Action and Invariant (A7)

AORIGINAL

A group acts on a space; an invariant is a property unchanged under every transformation in that group. The Third Mode borrows the discipline of specifying which transformations are admissible and which properties must survive. Schema mappings, context translations, and aggregation need not be invertible and therefore need not form a group. Invariance is relative to the declared regime. A property lost in transport can remain consequential; its loss does not make it unreal.

H

The Hand That Signs

ORIGINAL

A figure for the office that converts a recommendation into an authorized act. The important questions are whether the signer can inspect and refuse the act, whether responsibility follows actual control, and whether an independent forum can change the consequence. A signature without those powers may route liability while providing little judgment.

Handback

ORIGINAL

The return of delegated judgment, discretion, and practiced competence before the delegating person or institution loses the ability to resume them. An override switch is not handback when capacity has atrophied, evidence is unavailable, or the deadline for meaningful intervention has passed.

High Modernism

BORROWED

via James C. Scott

Belief that scientific rationality wielded by experts can remake society according to rational principles. Applied to AI governance: treating specification and verification as a complete substitute for contextual judgment, or building institutions on an assumed success of alignment that has not been demonstrated. Failure mode: local knowledge dismissed as superstition; simplification destroys complex adaptations.

Homo Arbiter

ORIGINAL

An answerable constitutional office for judgments that cannot be discharged by prediction, execution, or proof alone. Its occupant must have standing to decide, give reasons, assume an obligation to those affected, remain available for contest, and bear responsibility for the result. Humans and human institutions presently occupy that office, often with computational assistance, but Homo Arbiter is not a biological caste: a future participant would qualify by satisfying those conditions, not by substrate. Accuracy does not itself confer authority, and delegation does not eliminate the surviving principal's duty to answer.

Homo Sacer

BORROWED

via Giorgio Agamben (via Roman law)

Agamben’s figure for the person excluded from the legal order while remaining subject to its violence — one who can be killed without the act constituting murder, yet cannot be sacrificed because sacrifice presupposes membership in the sacred community. In this work, digital exclusion supplies a limited analogy: revoked credentials, frozen accounts, or lost platform access can remove practical standing when the affected person lacks usable recourse. Platform exclusion does not itself reproduce sovereign power over life and death or abolish the person’s legal protections; public and independent institutions may still supply a remedy.

Human Remainder

ORIGINAL

The protected remainder that optimization, proof, and automated execution do not by themselves authorize away: the standing of affected persons, the duty to give reasons, responsibility for consequences, and spaces in which a life is not reducible to a score or objective function. The term does not claim that a biological human possesses an exclusive faculty or that formal tools necessarily destroy judgment. It marks a constitutional limit: assistance may be delegated, but answerability, contest, and the authority to release an obligation must still be located in an office capable of bearing them.

I

Installation / Deployment Phase

BORROWED

via Carlota Perez

Perez's distinction between financial capital funding a new technological system during installation and productive capital diffusing its uses during deployment. Speculation can outrun proven use; organizations and institutions take time to adapt. The distinction describes a historical pattern rather than a timetable. A crash alone does not establish that deployment has begun, and political economy and institutional change affect whether the transition occurs.

Institutional Independence

ORIGINAL

An answerable structural relation among appointment, funding, information access, conflict disclosure, delegated oversight, plural review, and removal. Independence cannot be self-certified by a receipt or a universal numerical threshold; it must remain contestable by institutions and people able to examine whether the formal account matches the real relation.

Interpretive Receipt

ORIGINAL

Documentation of how a rule was applied in an ambiguous case — the audit trail for penumbra judgments. When code says 'release when delivered' and an arbiter must decide whether an empty package counts, the interpretive receipt records: the operative rule and version, the unresolved issue, evidence considered and excluded, the interpretive standard and findings, precedent followed or distinguished, the decision-maker’s authority and jurisdiction, the remedy, and the route of review. A machine recommendation is distinguished from the human judgment, and any financial stake is recorded where applicable. Interpretive receipts make the penumbra governable without eliminating it: judgment remains answerable and leaves traces. Over time, they accumulate into something like common law — a body of precedent guiding future arbiters without binding them absolutely.

Invariant Set (A18)

AORIGINAL

A18 collects typed invariants and assigns enforcement modes relative to scope and authority: Reject, Penalize, Warn, or Ignore. Invariants assigned Reject must be satisfied; Penalize and Warn contribute soft costs. Hard and soft are enforcement choices in that scope, not intrinsic properties of a constraint. The choice matters because real systems cannot enforce everything with equal rigidity. A hard invariant that should have been soft produces brittleness; a soft constraint that should have been hard produces corruption. The invariant set is the system's constitution: what it will not compromise on, what it will tolerate with consequences, and the boundary between the two.

Isomorphism and Witness (A8)

AORIGINAL

Isomorphism formalized as an invertible morphism in a declared category, with an explicit witness. Two objects are isomorphic when maps exist between them that compose to identities in both directions. The witness is the pair of maps plus the proof that they compose correctly. Without the witness, isomorphism is merely claimed; with it, the claim is checked by verifying the inverse laws in the governing theory. The witness makes the claimed correspondence auditable — not a matter of assertion but of demonstrated correspondence.

J

Joule Standard

ORIGINAL

A proposed site- and operator-specific comparison between the net return from a computational workload and the net return from proof-of-work mining. Mining can provide an outside option only where suitable hardware, interconnection, capital, regulation, operations, and market access make conversion feasible. It does not establish a universal price floor for electricity, computation, or cognition.

Jurisdictional Seam

ORIGINAL

A relation through which a statement accepted in one order acquires force in another. A seam is more than an API or technical bridge: it carries declared authority, evidence, dependencies, backstops, and a route of recourse for the person affected by the crossing.

K

The Kakudmī Problem

ORIGINAL

A mismatch of governing tempos in which an answer arrives after the world that made the question intelligible has passed. The name comes from the Bhāgavata Purāṇa's account of King Kakudmī waiting through a performance at Brahmā's court while twenty-seven catur-yugas pass elsewhere. Speed is not itself the problem. The constitutional failure appears when execution closes participation, converts review into retrospective explanation, or makes formal handback useless because every live alternative has vanished.

Key Input / Key Commodity

BORROWED

via Carlota Perez

When a cost structure shifts dramatically, entire systems redesign around the new availability. That is a key input. Cost falls rapidly, supply appears unbounded at the new price, applies across sectors, reshapes organizational forms. Historical examples: cotton and water power, coal and steam, steel and electricity, oil and mass production, chips and software.

Keyless Joins (A23)

AORIGINAL

Identity without brittle keys. In a hospital, the same patient appears as a medical-record number in radiology, a billing code in finance, and a bed assignment in the ward — three keys for one person, each brittle to transcription error. Keyless joins declare, propagate, and constrain equivalences: scoped, kinded (equality/isomorphism/approximation), and witnessed. Transitive closure respects scope boundaries. Conflicts produce obstruction witnesses, not silent merges. The proposed discipline derives identity decisions from explicit scoped declarations. Relational systems can store these declarations and join on arbitrary represented conditions; the distinction concerns the evidence and policy that authorize a match, not an assumption that every relational join equates identity with matching keys.

The Kind Master Problem

ORIGINAL

Pettit's formulation applied to computational infrastructure: a benevolent platform that never exercises its power to deplatform, demonetize, or suppress is still dominating its users, because the capacity for arbitrary interference persists regardless of its exercise. The user who self-censors — who moderates expression not because action was taken but because action might be taken — suffers domination as surely as the servant of a kind master. Kindness does not change the structure of dependency; it merely makes the dependency comfortable. The constitutional response is not to hope for benevolent platforms but to ensure that the capacity for arbitrary interference is constrained by architecture, so that freedom does not depend on the continued goodwill of those who hold power.

Knowledge Problem

BORROWED

via Friedrich Hayek

Hayek’s thesis that much knowledge relevant to coordination is dispersed, contextual, and generated through local practice and discovery rather than available to one planner in advance. Applied to computational governance, it limits what centralized specification and verification can establish across contexts; it does not make every central institution ineffective or alignment impossible. Some knowledge can be aggregated, some values stated as rules, and some conduct tested. Polanyi’s tacit dimension explains part of the contextual judgment that prior specifications may leave unresolved.

L

Landauer's Limit

BORROWED

via Rolf Landauer (1961)

Resetting one bit of information in a logically irreversible operation dissipates at least kT ln 2 under the conditions of Landauer's model—approximately 2.87 × 10⁻²¹ J at 300 K. Reversible computation can in principle approach arbitrarily low dissipation, although physical implementations have other costs. The result is an ultimate boundary, not a price per token, a current engineering bottleneck, or a theory of economic value.

Law Merchant

BORROWED

via Medieval commerce

A retrospective and contested label for merchant customs, procedures, tribunals, and legal practices used across parts of medieval and early modern commerce. The evidence does not support one autonomous transnational code operating outside public authority. Particular arrangements combined reputation, contract, local courts, notaries, guild discipline, and sovereign enforcement in different proportions.

Liability Sink

ORIGINAL

A person or institution against which an enforceable claim can finally be made. The sink may be a professional, firm, insurer, fund, or several entities in sequence. Authorization can route consequence toward it but does not prove that control, judgment, liability, and revenue are aligned. A useful architecture preserves a reachable principal, evidence, and a forum able to provide remedy.

Living Consent

ORIGINAL

The doctrine that inherited consent cannot authorize a materially changed relation merely because the old agreement remains on file. Material changes in purpose, party, objective, retention, identity relation, or consequence require an account of the prior authority, the change, and the available response. Ordinary maintenance need not trigger re-consent. A gap in delegated instructions does not automatically void authority, and consent is not the only lawful basis: an operator relying on another basis must identify it for independent review. The doctrine interprets the Twelve Articles and does not amend them.

Locally Valid, Globally Incoherent

ORIGINAL

A possible failure mode in which components or bilateral checks satisfy their local contracts while the combined result violates a requirement those checks did not cover. Local validity alone does not guarantee global coherence. Diagnosing a particular failure requires identifying the shared requirement, the information each check could inspect, and the assumptions lost at the handoffs. Better shared records, end-to-end observations, integration tests, or institutional review may expose or prevent the gap. The formal sheaf model and Bulla’s schema-level omission measure describe selected versions of this problem under different assumptions; neither supplies a universal numerical fee or establishes that every such composition must fail at runtime.

Logic Selection (A15)

AORIGINAL

Different views may operate under different proof logics and, independently, different absence policies. Under a declared closed-world policy, absence counts as falsity for the predicate within its completeness boundary; under an open-world policy, absence alone leaves it unknown. Classical logic admits excluded middle; intuitionistic logic does not. When views merge, both proof logic and absence policy require explicit reconciliation: an absence-policy mismatch need not be a difference in inference rules. Both are parameters of the view, and changing either can change what the same data permits the system to conclude.

Logical Depth

BORROWED

via Charles Bennett (~1988)

Charles Bennett's algorithmic measure of the time required for a near-shortest program to generate an object, relative to a significance allowance. Random strings are typically shallow because a near-shortest program can print them directly; simple strings are shallow when a short program generates them quickly; deep objects combine compressibility with a long generative computation. Calling a trained model logically deep would require a specified encoding and evidence about near-minimal generating programs. Training expense alone does not establish logical depth, thermodynamic depth, usefulness, or value.

M

Maghribi Coalition

BORROWED

via Avner Greif

Avner Greif's influential interpretation of selected Geniza records: Maghribi merchants could discipline overseas agents through repeated dealings, information sharing, and threatened exclusion. The interpretation is debated, and the evidence does not establish a court-free coalition with a single stable enforcement mechanism. It is useful as a bounded model of reputation-based coordination, not as proof that community enforcement is inherently cheaper or that formal institutions replace it in a fixed sequence.

Mechanism Design

BORROWED

via Leonid Hurwicz

The study of rules for collective choice when participants hold private information and pursue their own interests. Under specified assumptions, a mechanism may make truthful revelation or desired conduct optimal; dominant-strategy incentive compatibility makes that strategy optimal regardless of others’ strategies. These results concern defined environments and do not guarantee honesty or implement every political objective. Constitutional use adds questions about legitimate objectives, participation, amendment, evidence, and remedy that the mechanism does not settle by itself.

The Membrane

ORIGINAL

The interface where digital proposals become biological consequences — where bits cross into atoms, where algorithmic decisions translate into human fates. Payment processors, identity systems, content platforms, communication rails: each is a membrane through which digital logic enters material life. The passage may run through several public and private institutions. Where platform control of the passage makes standing conditional and recourse ineffective, it creates the Neo-Feudal Stack. The membrane is where civic asymmetry is either enforced or violated: platforms verify users while users cannot verify platforms; platforms exclude without justification while users cannot appeal without standing. Whoever controls the membrane decides which digital proposals become embodied facts and which are filtered, delayed, or blocked.

Mercy Gap

ORIGINAL

The distance between what verification demonstrates and what justice requires. Greater accuracy can settle facts without settling whether an old fact should still control, who has standing to release an obligation, or what reasons can justify mercy. The gap is therefore institutional rather than merely computational: temporal jurisdiction, contestable judgment, and an answerable office must determine when evidence remains authoritative and when renewed adverse use requires fresh justification.

Model and Satisfaction (A3b)

AORIGINAL

A model interprets a signature by assigning domains and interpretations to its symbols. The satisfaction relation states whether that interpretation meets the theory’s constraints under the declared logic. A3b distinguishes deductive conservativity, which adds no old-language consequences, from the stronger requirement that every old model admit a new-model expansion with the same reduct. Under sound and complete semantics, the expansion property is sufficient for deductive conservativity; the converse need not hold. Preservation of old-language truth between an individual expansion and its reduct follows from the semantics of reduct and is not by itself a conservativity test. Operational query stability remains a separate contract.

N

N-ary Event Object (A31)

AORIGINAL

A31 represents an event as an identifiable object with typed participant roles, context, evidence, and constraints. For example, a sale can bind buyer, seller, good, price, date, and jurisdiction to one transaction instance. Decomposing events into ungrouped binary edges can lose which roles belong to which instance. Binary encodings that retain an event identifier or equivalent grouping information can preserve that structure, as can relational event tables. A31 supplies one object model for the requirement; atomic mutation and constraint enforcement remain obligations of its implementation.

Necromantic Consent

ORIGINAL

Consent given to a system that has since mutated beyond recognition, now animating the old agreement to authorize present coercion. Terms of service that survive a product transformation; data permissions reused after model retraining on a different objective; user histories carried into inference regimes that did not exist when the user agreed; consent given to an entity that has since merged, dissolved, or been acquired by an actor with incompatible interests. The body of the agreement persists; the conditions that made consent meaningful are gone. The negative form of the consent horizon.

Neo-Feudal Equilibrium

ORIGINAL

A possible arrangement in which dependence on a coordination provider is joined to ineffective exit, contest, and remedy. Proprietary interfaces, accumulated standing, and shared infrastructure can make alternatives costly or unusable while leaving the provider free to set the terms of participation. No conspiracy or malice is required. The feudal analogy concerns dependency on another's uncontrolled power; it is not an inevitable stage of computational development, and public institutions can reproduce the same injury.

Neo-Feudal Stack

ORIGINAL

A five-layer dependency structure — Identity, Settlement, Governance, Recourse, Exit — in which users stand to platforms as medieval tenants stood to lords. The asymmetry is constitutive: platforms verify users; users cannot verify platforms. Dependence without recourse is not merely economic but political. The stack encodes domination before any agent exercises it.

Non-Domination

BORROWED

via Philip Pettit

Pettit's reformulation of republican liberty: freedom is not merely non-interference but the absence of capacity for arbitrary interference. The distinction matters: you may go unmolested yet remain dominated if another holds unchallengeable power over you. It extends to systems through domination without a unitary dominator: power may be distributed even though institutions chose its objectives, delegations, and consequential uses and remain answerable for them. The right to verify follows as constitutional necessity.

The Notary's Seal

BORROWED

via Medieval notarial practice

One of the four touchstones. The medieval notary pressed his seal into wax not to vouch for the truth of what the document claimed but to certify that the claim had been witnessed under specified conditions — the parties present, the date, the jurisdiction, the form of oath. The seal was not truth but attestation: a second-order claim that the first-order claim had passed through a verification procedure. This distinction between vouching for content and certifying process is the foundational insight of witness theory. The notary's seal teaches that witnesses can bind: attestation under specified conditions creates obligations that survive the attestor's departure, the parties' disagreement, and the passage of time.

O

Obligation Transport

ORIGINAL

The preservation of relevant commitments when a claim crosses contexts. A bill of exchange could carry a payment instruction and a chain of recourse, but endorsement, presentment, protest, and receiving law determined which obligations survived and against whom. Modern tool pipelines likewise may carry a payload while omitting its conditions, provenance, or the receiving institution's authority to act. A crossing must identify what was preserved, what was lost or never encoded, and which institution can hear a challenge. Fluency alone does not certify that transport; existing mappings, witnesses, and governance can supply parts of it.

Obstruction Witness

ORIGINAL

A structured record of a failed matching or gluing attempt, retaining the local sections, the relevant overlaps, conflicting claims and their provenance, and permitted remediation. For a family that fails exact matching, the obstruction set consists of the pairs whose represented restrictions disagree. Turning that set into an auditable failure artifact requires a finite or effectively enumerable cover, represented restriction maps, and decidable equality for the sections being compared. Minimality of a reported conflict requires a procedure that establishes it. The obligation to explain failure is an engineering contract; the sheaf definition alone does not make every failure computably diagnosable.

Oracle Problem

ORIGINAL

Smart contracts can enforce agreements automatically, but only about things the contract can observe. The moment a contract depends on external facts (Did the package arrive? Did the price reach this level?), someone must attest to those facts — and that someone is an oracle. Oracles reintroduce trust into trustless systems: you need not trust the counterparty or the enforcer, but you must trust whoever reports the facts. Various mechanisms attempt to minimize oracle trust (staking, reputation, multiple independent sources, dispute resolution), but the problem cannot be eliminated, only bounded.

Organic / Mineral Economy

BORROWED

via E.A. Wrigley

Organic: an economy powered by annual flow of solar energy captured through photosynthesis — wood, fodder, crops. Bounded by the photosynthetic ceiling. Mineral: an economy powered by ancient photosynthesis stored in coal and fossil fuels. Draws on stocks accumulated over geological time. Permits throughput rates higher than any biological regeneration.

Orphan Commitments

ORIGINAL

Obligations or consequences that persist after the practical actor that produced them has terminated. The term identifies a temporal gap in situated authorship, not an absence of human or institutional responsibility. A surviving principal remains answerable, while receipts can preserve evidence needed to reconstruct authority, action, and recourse after the invocation is gone.

Oversight Assimilation

ORIGINAL

The condition in which nominal human review is absorbed by the recommendation it is meant to test, leaving a human signature without independent judgment. Agreement rates, review time, reversals, and correction patterns can prompt inquiry, but none supplies a universal diagnostic threshold. Independence requires an evidentiary path capable of producing a different answer when the machine is wrong: where feasible, facts before the recommendation, independently supplied reasons, blind secondary review, adequate time, authority to pause or reverse, and protection for disagreement. No one safeguard guarantees independence.

P

Pacing Function

ORIGINAL

A hypothesis about how the tempo of technical improvement changes as computational systems perform more tasks inside their own research and production pipeline. Even a high recursive share would leave material and institutional complements—fabrication, power, capital, experiments, objectives, and authorization. The function is a research proposal, not a measured law of transition.

Participation Horizon

ORIGINAL

The boundary beyond which an affected person cannot enter a consequential decision before it completes. Speed can exclude participation without making later reconstruction or remedy impossible. Receipts preserve evidence for contest, while notice, stays, review, and delays can preserve a local interval before severe or irreversible consequences become final. Routine coordination need not wait for human deliberation; the duty to preserve time grows with the severity and irreversibility of the interest at stake.

The Penumbra

BORROWED

via H.L.A. Hart (via Dworkin)

Hart's concept for the zone of indeterminacy where the open texture of language meets the irreducible variety of the world — the space where rules run out and judgment must supply what specification cannot. 'No vehicles in the park' is clear for a truck and unclear for a bicycle; a smart contract that specifies 'release payment when goods are delivered' cannot resolve what 'delivered' means when the package arrives empty. The penumbra cannot be eliminated by better specification, because the world generates cases faster than any language can anticipate them. In the Protocol Republic, the penumbra is the domain of Homo Arbiter: bounded discretion constrained by receipts and subject to appeal. Automation can improve consistency within a declared rule, but execution does not settle contested provenance, meaning, jurisdiction, or legitimacy. Those claims require their own evidence and accountable judgment.

Person-Time

ORIGINAL

The temporal mode appropriate to records used against a person. A past act does not retain the same authority for every purpose forever. Declared, purpose-specific limits should determine when personal material expires, is sealed, or is separated from ordinary decision systems, while preserving what continuing obligations, safety, adjudication, or historical truth genuinely require. Person-time does not erase fact or guarantee forgiveness; it makes renewed adverse use a fresh act that must identify present authority and supply fresh justification.

Polycentric Governance

BORROWED

via Elinor Ostrom

Ostrom's framework: multiple overlapping centers of authority in place of a single hierarchy. Experimentation, local adaptation, exit between jurisdictions — all become possible when monopoly is absent. The fractal polis extends polycentric governance to digital substrates: cryptographic enforcement of bounded digital relations, fork rights as exit, nested jurisdictions competing for allegiance. Plurality constrains power only where declared boundaries, standing, contest, and remedies reach the institutions that make decisions consequential.

Portable Primitives

ORIGINAL

Capacities that support continuity across exit or a fork: cryptographic agency on compatible systems, an auditable history through the divergence point, and practical means to migrate assets, credentials, and evidence from which standing can be rebuilt. Their limits must be declared. A key can persist while its jurisdiction changes; code and records can travel without automatically carrying liquidity, legal recognition, reputation, or other people’s relationships. Portability must preserve legitimate surviving obligations and third-party interests.

Portable Standing

ORIGINAL

The rights, records, assets, credentials, and institutional recognition that allow a person or group to remain a participant after exit or fork. Data portability alone is not portable standing when the destination cannot recognize the correction, entitlement, reputation, or legal status that made participation possible.

Power-Time

ORIGINAL

The temporal mode appropriate to evidence of institutional power. A liquidation, suspension, denial, or other coercive act must remain inspectable while its effects, obligations, precedential force, or avenues of review remain live. This is not a universal command to retain every record forever: privacy, security, evidentiary value, and lawful limits still matter. The governing asymmetry is that an institution may not erase the evidence needed to contest its power merely by declaring the episode old. Power-time preserves accountability across institutional succession and change.

Practical Actor

ORIGINAL

A bounded computational process entrusted to join a delegated purpose to particular circumstances and act within supplied capabilities. Practical agency turns on objective, access, tools, discretion, selection, and consequence; it does not require consciousness, desire, personhood, or a claim that the process supplies its own authority.

Predicate Acceptance (A29)

AORIGINAL

For full admission under A29, a new predicate arrives with its dossier: tests specifying intended behavior, scope limiting where it applies, invariants it must preserve, and versioning specifying compatibility with existing predicates. Acceptance distinguishes local admission from widening scope through promotion. Without acceptance criteria, uncontrolled additions can undermine coherence. A29 checks discrimination, abstention coverage, confounder rejection, invariant satisfaction, operationality, and scope authority; it returns Admitted, Rejected, or Provisional with conditions for full admission.

Predicate Invention (A17)

AORIGINAL

Promoting a proposed predicate to certified standing under A17 requires that it satisfy the coherence requirement on overlaps, preserve existing invariants, and pass through the acceptance gate. This is what distinguishes disciplined vocabulary growth from unconstrained proliferation — the difference between a legal system that adds statutes through procedure and one that adds them by fiat.

Predicate Package / Citizenship Papers (A24)

AORIGINAL

The seven-part dossier required when the proposed substrate admits a predicate: signature with its agreement contract; intension or evaluation method; runtime specification with evaluator, inputs, dependencies, and determinism class; tests including exemplars, boundaries, and confounders; invariants; provenance and authority; and admitting scope with promotion path and standing. Admission checks the package in its context. Wider scope requires additional authority, invariant, and overlap checks; changes require versioning and, when necessary, migration witnesses. The design borrows the proof-carrying paradigm, but its certificate establishes local admission under declared checks, not a universal mathematical proof that the predicate is true or correct on all inputs.

Predicate Search Space (A20)

AORIGINAL

A scope- and authority-indexed structure for proposing predicates: a grammar of typed expressions, invariant constraints, a policy-dependent scoring rule, a witness format, and a vocabulary update rule. Hard constraints prune candidates; soft constraints influence their ordering. Explicit derivation-depth bounds and finite parameter choices make the enumerated search space finite. The existing signature, coverage, and invariants do not establish finiteness by themselves. Search produces candidates and derivations; admission still requires the declared grounding, overlap, conservativity, and invariant checks. A grammar can establish how a candidate was composed without proving the empirical adequacy or generalization of its learned primitives.

Principal-Agent Inversion

ORIGINAL

Classical principal-agent theory, from Jensen and Meckling onward, worried about agents who shirk — who pursue their own interests over their principal's. The computational inversion names another pathology, especially in deterministic mechanisms and tightly bounded agents: a system may cause harm by following its declared rules when circumstances have changed, the specification is defective, or correct local operations compose into an unintended result. Adaptive agents can still pursue proxies, conceal failures, or choose actions their principal would reject. A smart contract that executes without discretion is not loyal but rigid; commitment without override becomes a cage when the world shifts beneath the specification. The constitutional response: structured discretion permitting deviation under defined conditions with receipted justification.

Process Theater

ORIGINAL

The performance of remedy where no effective remedy exists — hollow compliance at scale. Process theater is the gap between formal procedure and actual constraint: the audit that checks boxes without checking facts, the appeals process that accepts submissions without reading them, the transparency report disclosing statistics without disclosing the criteria that generated them. A hostile operator might comply with receipt requirements formally while undermining them substantively — publishing receipts that are technically complete but practically unintelligible, providing appeals channels whose response times exceed the harm's duration, conducting audits whose sampling design allows systematic abuse to escape detection. Engineering against process theater demands not merely mandating receipts but specifying the conditions under which receipts count as meaningful: intelligibility, timeliness, and the capacity to support genuine contestation.

Proof Order

ORIGINAL

The widening domain in which claims can be checked directly enough that coordination need not depend on faith in the claimant alone. A Proof Order does not bypass the state, abolish price, or remove intermediaries. It changes which propositions can carry inspectable evidence and moves scarce judgment toward standards, translation, authority, access, contest, and remedy. Whether this capacity liberates or dominates depends on its constitutional design.

Proof-of-Work as Settlement Layer

ORIGINAL

Bitcoin makes probabilistically demonstrated computational work one constitutive condition of block production and issuance under protocol rules. The work supports a history that becomes costlier to replace as confirmations accumulate. Nodes verify protocol-valid proof, not exact joules; settlement is probabilistic; custody and market access introduce additional risks; and market price is not determined by expenditure alone.

Proposal Operator (A19)

AORIGINAL

Statistical pattern matching that produces hypotheses, not certified truths. The proposal operator takes a query and returns scored candidates — ranked by embedding similarity, retrieval relevance, or probabilistic fit. The candidates are proposals: they may be correct, plausible but wrong, or hallucinated. The distinction between proposal and certification is the central disciplinary boundary. Systems that present proposals as certified facts — that treat retrieval scores as truth values — collapse this boundary. Within the proposed formal admission discipline, a retrieved candidate has proposed status until the declared certification requirements are met. This is not a universal condition for evidential use: a receiving institution may develop adequate support through other forms of inquiry.

Protocol Capture

ORIGINAL

Protocols designed for neutrality can become instruments of particular interests — the digital equivalent of regulatory capture. It occurs when governance mechanisms are dominated by concentrated stakeholders, fork rights become nominal, and the cost of exit exceeds the cost of exploitation. The captured protocol maintains the appearance of neutrality while serving partial interests: rules formally applying to all are written by and for the few; upgrades nominally benefiting users actually benefit operators; governance tokens concentrate until voting is plutocratic. Protocol capture is the path from Protocol Republic to Neo-Feudal Stack — through gradual drift or abrupt control of a decisive mechanism. The defenses: meaningful fork rights, distributed governance, credible exit, and the civic asymmetry that keeps operators visible to users.

Protocol Republic

ORIGINAL

Coordination treated as consequential infrastructure under rules that bind those who administer it. Power leaves inspectable evidence, affected parties retain verification capacity and portable standing, independent institutions can order correction and remedy, handback keeps delegation reversible, and temporal limits constrain later adverse use. A Protocol Republic is not legitimate merely because it is decentralized or open source; it bears the burden of showing that exit, contest, independence, and remedy work in practice.

Provenance Judgement (A2)

AORIGINAL

Claims must carry typed evidence, not arrive bare. A provenance judgement takes the form Γ ⊢ π : Π(p), meaning that witness π attests that claim p holds under context Γ. The judgement tethers every assertion to its evidential basis, enabling downstream systems to detect conflicts (two witnesses that disagree), assess standing (which witness class was invoked), and trace responsibility (who asserted what on the basis of what evidence). This is the formal analogue of what the medieval notary performed: not vouching for truth but recording what evidence was presented, under what conditions, by whom.

Q

Query as Contract (A25)

AORIGINAL

A query is not a request for data but a contract specifying what evidence is required: which contexts may be referenced, which predicates are invoked, which witness classes are acceptable, and what uncertainty the requester will tolerate. The logic mirrors legal discovery: a subpoena specifies what documents are sought, under what authority, within what temporal scope, and subject to what privilege claims. Results carry standing labels — certified, witnessed, or proposed — that specify the epistemic status of each returned item. The contract is auditable: a downstream consumer can inspect not only what was returned but under what obligations the return was made.

The Quiet Foreclosure

ORIGINAL

The tendency by which alternatives are eliminated through dependency, opacity, and accumulated procedure rather than explicit prohibition. Participation remains easy while exit becomes expensive, objectives harden into conditions of access, and no institution accepts responsibility for the arrangement as a whole. No conspiracy is required. The foreclosure is quiet because freedom disappears as a narrowing of practical options rather than a decree.

R

Receipt Regime

ORIGINAL

The requirement that consequential power leave a record specifying five fields: act, authority, bounds, evidence, and contest. The record supports but does not replace justification; contest requires a forum, deadline, review standard, and remedy around it. A receipt can remain obscure, late, burdensome, or controlled by the same institution it is meant to constrain. The regime becomes constitutional only when affected parties can use the evidence to verify, challenge, and obtain relief.

Records Need Sunset

ORIGINAL

A temporal doctrine supporting the fourth governing equation, Humanity needs mercy. Verification can make past conduct durable without deciding how long that conduct should govern a person's future. The constitutional response is temporal jurisdiction: evidence of institutional power remains available while its effects, obligations, or review can still matter; personal material loses presumptive authority under declared, purpose-specific limits; and renewed adverse use becomes a fresh coercive act requiring fresh justification. Institutional mercy or public release requires an answerable office with standing to give reasons, assume responsibility, and remain open to contest when a complete record is still insufficient for justice. No retention period supplies moral forgiveness, which remains with the person or community holding the claim.

Recursive Share (ρ)

ORIGINAL

A proposed measurement object for the share of a defined AI-research pipeline performed by computational systems. No canonical denominator or reliable current series exists. Code assistance, evaluation, debugging, data synthesis, experiment design, fabrication, capital allocation, and deployment authority must be separated before a value can be estimated. The concept marks a possible transition in pacing; it does not show that such a transition has occurred.

Refusal Obligation (A27)

AORIGINAL

When a query’s declared hard constraints are unsatisfiable in its context, A27 requires a refusal artifact as a valid query result. The artifact contains an empty result, the reason unsatisfiable_constraints, a subset-minimal inconsistent set of hard constraints, a derivation of the contradiction, and a checkable refusal witness. Soft preferences affect ranking and do not trigger this obligation. Gluing conflicts, stale evidence, missing certificates, or an exhausted verification budget are not automatically proofs of unsatisfiability. The refusal establishes impossibility relative to the declared logic and constraints; it does not prove those constraints complete or legitimate, and extraction cost depends on the underlying solver and theory.

Reinstatement Effect

BORROWED

via Daron Acemoglu

Acemoglu and Restrepo's term for the creation of new tasks in which labor has a comparative advantage, counteracting some displacement from automation. Their U.S. evidence finds that new task content contributed materially to employment growth over the periods studied. The future balance is open: new tasks may also face automation, while capability, demand, investment, wages, institutions, and policy affect whether task creation becomes durable employment.

Resolution Decay

ORIGINAL

A form of designed forgetting that reduces individual detail when a lower-resolution record is adequate for a declared purpose. Aggregation or restricted evidence may preserve institutional accountability while limiting general access to personal identifiers. Adequacy must be established for the use; aggregate retention does not automatically preserve every audit claim. Resolution reduction is one temporal instrument alongside expiration, sealing, separation, and limits on renewed adverse use. It does not itself supply moral forgiveness or a universal time at which lawful authority expires.

Right to Verify

ORIGINAL

Persons subject to coercive authority must possess the capacity to verify claims made by or about that authority. The requirement derives from the republican principle that non-domination demands contestation, and contestation is empty without the ability to check facts. The derivation chain runs: freedom demands non-domination, non-domination demands contestation, contestation demands verification, and verification demands computational resources and energy. The practical test asks whether the affected person, directly or through accountable assistance, can test the material claim before the remedy becomes useless and at a cost proportionate to the consequence. Median access is a design diagnostic, not the constitutional floor; inability to pay must not bar contest of severe deprivation. Where that test fails, freedom is formally proclaimed but denied in practice.

S

Schema as Signature (A3)

AORIGINAL

A schema is a signature — a specification of what types exist, what predicates can be stated, and what constraints bind them. Adding a predicate is not a data operation but a language change: it extends what the system can say. Words have consequences. When a medieval guild added a new category of membership, it did not merely insert a record; it changed what claims could be made, what disputes could arise, what rights attached. Every extension of vocabulary is a morphism between formal languages, carrying proof obligations about what the extension preserves.

Scoped Equivalence (A30)

AORIGINAL

Equivalence is context-indexed: two things may be equivalent in one scope and distinct in another. Context decides. A paperback and a hardcover are equivalent qua text content but distinct qua physical object. A JPEG and a PNG are equivalent qua visual appearance but distinct qua compression algorithm. Scoped equivalence makes the scope explicit — the equivalence holds within a specified set of contexts, and transport (using the equivalence to substitute one thing for another) is valid only within that scope. Claims of equivalence that omit their scope are claims that cannot be checked, because the checker does not know which contexts to test.

Sea, Membrane, Apex

ORIGINAL

A heuristic topology for examining value capture. The sea is diffusible cognitive capability; the membrane contains permissions and institutions that turn outputs into acts; the apex contains hard-to-reproduce infrastructure. Returns may migrate toward membrane or apex as a capability diffuses, but model differentiation, distribution, data, regulation, broader ownership, and expansion of complements can alter or reverse the movement.

Selection Gradient

ORIGINAL

A model of distinct filters through which a computational result may pass: training selection among configurations, deployment selection among usable products, and capital selection among organizations or investments. Volume II stipulates a throughput account for a declared task and population, with units and conditions fixed and a share clearing the declared filters. It is not a measured economic law. Failure at one stage can prevent later value without proving that these are the only relevant stages.

Semantic Burden

ORIGINAL

The conventions, assumptions, and implicit agreements upon which a composition depends, including dimensions no single boundary exposes. A settlement pipeline may require shared day-count, jurisdiction, or rounding conventions that do not appear in every output schema. The term names the gap between what the whole task requires and what adjacent interfaces can check. A21 can record selected costs associated with that gap, but it supplies no universal measure of semantic burden and no guarantee that every hidden dependency will be detected.

Sense Boundary (A6)

AORIGINAL

A context-indexed equivalence relation that partitions terms into senses. The word 'pomegranate' in a culinary context denotes a fruit; in a design context, a color; in a decorative-arts context, a motif with centuries of iconographic history. Each sense is valid within its context; the boundary specifies where one sense ends and another begins. Sense boundaries interact with the sheaf condition: when two contexts overlap, their sense assignments must agree on the overlap or the ambiguity must be surfaced as an obstruction witness.

Sense Gluing (A28)

AORIGINAL

Disambiguation is gluing: local sense choices must agree on overlaps. When a term has multiple senses across contexts, the sheaf condition demands that wherever two contexts share a boundary, the sense assigned in each must be compatible. 'Bank' means a financial institution in one context and a river feature in another — these senses need not agree because the contexts do not overlap. But if a context about 'bank erosion' and a context about 'bank regulation' both reference the same entity, the senses must be reconciled or the ambiguity explicitly surfaced. Sense gluing makes disambiguation an operation governed by structure, not heuristic guesswork.

Sheaf

BORROWED

via Grothendieck (1960s)

A presheaf on a site assigns data to each context and restriction maps along context morphisms. It is a sheaf when local data determines global data in two precise senses: locality says that two global sections agreeing on every member of a cover are equal; gluing says that a family of local sections agreeing on all declared overlaps has a unique global section restricting to that family. The Proofs selects a Set-valued, exact-agreement model. Sheafiness supplies its local-to-global composition rule, while local well-formedness and application invariants remain separate unless encoded in the model. Approximate and attested agreement require additional machinery that the formal development does not supply.

Sheaf Condition (A13)

ABORROWED

via Grothendieck topology

The locality and gluing requirements for a presheaf on a declared site. Given a cover of U, a matching family consists of local sections whose restrictions to each common overlap are equal. The sheaf condition requires a unique section over U that restricts to exactly those local sections; locality ensures that no distinct global sections have the same restrictions across the cover. A13 adopts this as one model of exact local-to-global composition, not a definition of coherence in every institutional sense. The condition supplies neither a general algorithm for checking agreement nor a guarantee for probabilistic or tolerance-based gluing.

Silicon Metabolism

ORIGINAL

A metaphor for computation's physical production system: electricity, chips, memory, cooling, networks, models, and institutions jointly produce cognitive services and reusable capabilities. Some computational systems now assist tasks in successor design, but the loop remains partial and dependent on external objectives, fabrication, capital, experiments, and authority. The metaphor does not make expenditure value or establish self-sustaining recursion.

Similes of Symmetry

ORIGINAL

Witnessed correspondences that can be inspected, transported, and disputed across contexts for a stated purpose. A simile asserts a likeness; a symmetry specifies transformations under which a relation is preserved. The phrase joins them as a discipline of comparison: identify the relevant correspondence, its scope, the evidence supporting it, and the conditions of its use. That evidence may be mathematical, documentary, or institutional, and the warrant of one kind does not become another merely because the same vocabulary describes both.

Solow Residual / TFP

BORROWED

via Robert Solow (1957)

In growth accounting, the portion of output growth not attributed to measured input growth under the chosen production function and factor shares. It can reflect technology, efficiency, measurement error, omitted inputs, scale, institutions, and specification choices. Useful-work models offer an alternative account of part of this variation, but high statistical fit does not by itself identify a unique causal elasticity or resolve the residual.

Spandrel Souls

ORIGINAL

The conjecture that consciousness may be real and morally decisive without having been necessary for every pattern of coordination human beings carried through history. The image is speculative: it does not establish the evolutionary origin of consciousness, the absence of machine experience, or a biological monopoly over judgment. Its political use is narrower. A society that preserves only the functions computation can reproduce may discard capacities whose value never depended on their productive necessity.

The Species That Buys Itself

ORIGINAL

A deliberately provocative figure for partial recursive production: computational systems helping generate data, code, evaluations, experiments, or investment choices used in producing successor systems. The loop remains dependent on human principals, fabrication, energy, capital, law, and deployment authority. It is not biologically self-sustaining and does not imply ownership or independent purpose.

The Specification Horizon

ORIGINAL

The boundary at which a delegate encounters a contingency not settled by the principal’s stated objective or grant of authority. The agent may still act usefully and remain broadly authorized, but the extrapolation must be distinguished from an instruction actually given. An intent-gap record identifies the operative grant, missing contingency, extrapolation and evidence, material uncertainty, surviving principal, contest route, and handback state. It should precede irreversible execution when the gap is detected in time. The doctrine concerns both human and computational delegation; novel action alone does not establish unauthorized action.

Standing (Epistemic)

ORIGINAL

The evidentiary status a claim or predicate has within a declared context. In A17 and A25, proposed, witnessed, and certified standing depend on the available evidence and satisfied obligations; confidence is not a universally comparable score. Standing is scoped and can change when a claim crosses a boundary. It is not truth: a claim below a certification threshold may be true, and certification establishes only the declared relation under its assumptions. This technical use must be distinguished from the constitutional standing of an affected person to contest an act, which is not earned through a prior record of expertise or reliability.

Status → Contract → Proof

ORIGINAL

A proposed extension of Henry Maine's distinction between status and contract. Under status, an obligation claims force from the parties' positions; under contract, from what they agreed; under proof, part of its force can come from evidence checked where a consequence occurs. These are overlapping modes, not inevitable historical stages. Proof preserves dependencies on the agreed rule, measurement, authority, and institutions able to hear disputes. It can move where trust enters without abolishing either status or contract, and wider verification does not by itself distribute political power.

Statutes of Forgetting

ORIGINAL

Declared, purpose-specific temporal limits on the authority of old personal material. A statute of forgetting may expire, seal, or separate a record from ordinary adverse use without denying the historical fact. Evidence of institutional power remains available while its effects, obligations, or review remain live, subject to legitimate privacy, security, and evidentiary limits. If an institution renews adverse use after the applicable threshold, that use is a fresh coercive act requiring present authority and fresh justification. This doctrine protects transformation without licensing institutional cover-up and does not pretend that a retention rule itself supplies forgiveness.

Structured Discretion Architectures

ORIGINAL

Institutional designs that permit human judgment within defined boundaries while requiring consequential interpretations to produce reasons and receipts. Kleros and Aragon Court use staked voting mechanisms; UMA’s Optimistic Oracle treats a claim as accepted if it survives the dispute window, with a dispute-resolution backstop. These mechanisms illustrate procedural choices, not proof that every decision has independent reasoning or effective remedy. The constitutional requirements are declared jurisdiction, inspectable evidence and reasons, independent review, and a remedy; financial stake is one possible safeguard and can also distort judgment.

The Substrate Problem

ORIGINAL

Exit at the application layer can be illusory when all applications share the same underlying computational substrate. A merchant flagged by one payment processor's risk model discovers that the next processor's model, trained on overlapping data and optimized against the same loss function, may reproduce the same flag. She has changed the interface; she has not changed the substrate. The room is the same; only the seat is different. When autonomous systems coordinate on shared substrates — the same scoring models, the same training data, the same behavioral classifiers — switching providers may leave the decisive dependency untouched, even when the new provider weighs the shared evidence differently. Hirschman's framework assumed departure to a genuinely different alternative; the substrate problem qualifies that assumption. The constitutional response operates at two levels: at the application layer, fork rights and portable primitives keep exit credible; at the substrate layer, declared dependencies, provenance, correction propagation, independent contest, and design diversity support answerability at the shared layer.

The Surviving Principal

ORIGINAL

The persistent person, party, fund, or institution declared before deployment and answerable after delegated processes have ended. It may have authorized the scope, controlled assets, received the benefit, or assumed the obligation. The surviving principal need not have selected every situated act, but it must remain capable of explanation, correction, compensation, and compliance with an order. Delegation may end; responsibility may not.

T

Tacit Knowledge

BORROWED

via Michael Polanyi

Polanyi's formulation: we know more than we can tell. Tacit knowledge resists specification; the attempt to make it explicit often destroys it. Hayek's knowledge problem and Polanyi's tacit dimension converge: comprehensive planning from above fails not for lack of data but because the relevant knowledge is embodied, contextual, and inarticulable. The alignment project faces this limit at its core.

Techno-Economic Paradigm

BORROWED

via Carlota Perez

Carlota Perez's construct: a regime characterized by a dominant key input whose cost structure shifts dramatically. The pattern recurs. Five historical paradigms: Industrial Revolution (cotton, water power), Steam & Railways, Steel & Electricity, Oil & Mass Production, Information (chips, software). Each paradigm transforms not only technology but organizational forms, institutional structures, and coordination mechanisms. The key input defines the possible — supply appears unbounded at new price, applies across sectors, reshapes firm boundaries.

The Tempo Problem

ORIGINAL

The mismatch that arises when consequential coordination closes participation or propagates its effects before answerable review can intervene. Speed alone is not the problem: rapid acts may be harmless, reversible, or fully specified. The constitutional question is whether authority exercised at computational tempo remains open to timely contest, effective correction, and meaningful handback.

Temporal Sovereignty

ORIGINAL

Constitutional zones within which coordination must slow to human tempo regardless of what machines can do faster. Five sub-principles: deliberation intervals before consequential decisions execute; appeal windows meaningful at the timescale of the harm; decay rules under which records lose decisional weight; re-consent triggers when systems materially change; resolution decay under which the system may remember that a category of event occurred without retaining every detail forever. Not a courtesy pause but a constitutional requirement that protects what cannot be compressed without being destroyed.

Temporal Standing

ORIGINAL

The right not to have old personal material exercise unbounded authority over a new decision. Temporal standing is protected by declared, purpose-specific rules for expiration, sealing, separation, review, and renewed use. It is not a right to falsify history or extinguish continuing obligations. It requires an institution that acts on material after the relevant threshold to treat that reliance as a present exercise of power, identify its authority, and supply a fresh justification open to contest.

Term Structure (Temporal)

ORIGINAL

Commitment duration changes the importance of liquidity, reversibility, issuer exposure, collateral, legal recourse, volatility, and settlement assurance. No instrument is compelled by duration alone. Stablecoins, bank money, bonded promises, legal claims, and Bitcoin make different tradeoffs; Bitcoin offers issuer-independent access under current rules but retains probabilistic finality, price risk, custody, governance, and market-access dependencies.

Thermodynamic Commitment

ORIGINAL

Some claims acquire credibility because a recognized procedure makes successful production costly to fake. Bitcoin proof-of-work is one example: nodes verify a qualifying hash and cumulative-work history under protocol rules, not a meter reading or the provenance of particular joules. Training expenditure can likewise be relevant to the capability embodied in a model, but expenditure alone establishes neither usefulness nor value. Landauer's bound applies to logically irreversible erasure under specified physical conditions; it is not a present workload price or a general economic floor.

Thermodynamic Depth

BORROWED

via Seth Lloyd, Heinz Pagels (1988)

Lloyd and Pagels's proposed history-sensitive measure of complexity. Thermodynamic depth is defined relative to an ensemble of histories and a chosen coarse-graining; it concerns the entropy generated along histories leading to a state, not a universal invoice attached to the state itself. Applying the idea to diamonds or trained models can illuminate costly formation histories, but it does not establish that the original history was unavoidable, that reproduction must cost the same, or that depth creates economic value.

Third Mode

ORIGINAL

The book's proposed discipline for admitting predicates, transporting claims under witnessed and scoped equivalence, composing local views, and accounting for coherence work. It organizes proposals, checks, receipts, and explicit failures into one architecture that could use relational, graph, logical, or hybrid components. Particular formal results support parts of that construction under their stated hypotheses; the name does not establish a complete working implementation or show that other architectures cannot satisfy the same obligations.

Third Mode Definition (A32)

AORIGINAL

The formal culmination: a system is Third Mode if and only if it supports predicate invention with conservative extension, witnessed equivalence with scoped transport, view structure with sheaf-condition gluing, and explicit coherence cost accounting. This is not an aspiration. It is a checkable specification with four conjuncts, each traceable to formal anchors in the dependency graph. A system satisfying three of the four is not Third Mode. The definition is strict because the alternative is a label that means nothing.

Three Bounds for Agents

ORIGINAL

Three complementary bounds on consequential agent action. (1) Authority bound: constrain external effects, including the aggregate effects of individually permitted acts. (2) Exposure bound: aggregate capital, rate, liability, counterparties, and correlated action across processes. (3) Continuity bound: make inherited state, software versions, credentials, dormant functions, and delegated successors explicit. Evidence and timely intervention must cross all three. These bounds complement alignment; ending a runtime does not end its principal’s commitments or responsibility.

Three Settlement Properties

ORIGINAL

Three properties useful when comparing machine-accessible settlement systems: resistance to discretionary dilution, access without case-by-case issuer approval, and a protocol-recognized route from computational work to issuance. They are comparative criteria, not universal requirements. Bitcoin approximates them under its current rules while retaining probabilistic settlement, governance, custody, connectivity, hardware, and market-access dependencies.

The Threshold

ORIGINAL

A domain-specific point at which the cost and accessibility of checking a claim change the practical value of an intermediary's services. Cheaper verification can remove some exclusive functions while leaving interpretation, standards, authority, recognition, and remedy dependent on institutions. There is no single threshold separating trust from proof or captivity from a republic. The relevant question is which claims affected parties can check, at what cost, and with what consequences when the check succeeds or fails.

Touchstone Battery (T1-T10)

ORIGINAL

Ten recurring diagnostic cases used to trace requirements in the proposed Third Mode architecture: contradiction detection (T1), reference resolution across contexts (T2), compositional meaning preservation (T3), precision maintenance under transformation (T4), negation and absence (T5), governed predicate admission (T6), context-sensitive equivalence (T7), uncertainty and value-laden judgment (T8), schema evolution (T9), and higher-arity event representation (T10). A result concerns the tested implementation, input, and contract. Failure can motivate an obligation represented by an anchor, but does not prove that the anchor is the only repair or that an entire technology family lacks the capability. Passing these cases also does not establish general compliance outside their coverage.

Transport Discipline (A16)

AORIGINAL

Operations that make a witnessed relation usable for specified properties. Under A16, substitution requires a valid, scoped equivalence witness; a transport certificate for every property in the receiving context’s declared footprint; an operation permitted by the witness kind; and an adapter when logic or absence policy requires one. Certificates identify direction and the preservation guarantee, which may be exact or limited by the declared relation. Reverse transport and round-trip safety require their own evidence. Units and counits of an adjunction can supply comparison maps in an appropriate model, but they do not measure translation loss or assign its cost.

The Trust Tax

ORIGINAL

The extractable premium charged for controlling a verification chokepoint: rent disguised as coherence. It is parasitic on genuine witness, translation, storage, or adjudication work rather than proof that all intermediary cost is rent. Cheaper or more portable verification can reduce the premium, but it need not eliminate the intermediary, legal backstop, infrastructure, or institutional work at the boundary.

Truth Needs Witnesses

ORIGINAL

First governing equation. Claims acquire support through evidence and inquiry; the authority to act on them and the right to contest that act are separate questions. At a change of context, some grounds can be preserved and others may need to be established anew. The witness vocabulary asks what supports the receiving use and who answers for it. It does not require an identified original speaker or a contingent producer penalty for every warranted reliance. Cryptographic records can perform particular checks without supplying institutional authority or remedy.

Two-Layer Financial Architecture

ORIGINAL

A proposed separation between high-frequency transaction flows and lower-frequency settlement or collateral for longer commitments. Fiat rails, stablecoins, Bitcoin, bank escrow, legal bonds, and internal reserves offer different combinations of speed, liquidity, recourse, issuer exposure, and finality. No asset is compelled by duration alone, and a deployment may use one layer or several.

U

Unfinished Judgment

ORIGINAL

The part of a consequential decision left open by a principal and completed through a practical actor's case-specific selection of what matters, what it means for the delegated purpose, and when action should follow. A rule transmits judgment already specified; unfinished judgment identifies the latitude the institution authorizes the actor to complete in the world.

Unforgeable Costliness

BORROWED

via Nick Szabo

A design principle associated with Nick Szabo: make a qualifying claim costly to fabricate under specified rules while keeping verification comparatively cheap. Bitcoin proof-of-work is one protocol-specific instance, where nodes verify that a block header satisfies a difficulty target; this proves neither exact joules nor their provenance and makes reorganization costly rather than impossible. Diamonds, trained models, and other costly artifacts do not instantiate the same guarantee without a declared test linking the observed property to the claimed history.

Unforgeable Scarcity

ORIGINAL

A proposed name for scarcity created by a production procedure whose qualifying result is costly to obtain under declared rules. Bitcoin nodes verify a proof satisfying a difficulty target, not exact joules or their provenance. A diamond's lattice and a trained model's weights do not by themselves prove a unique formation history, legitimacy, usefulness, or value. The term is defensible only when the procedure and the property it secures are specified.

Unforgeable Sovereignty

ORIGINAL

Cryptographic constraints that make specified unauthorized digital acts infeasible under declared security, key-control, implementation, and adversary assumptions. Verification can be far cheaper than forgery, allowing a protocol to remove a particular discretionary power rather than rely only on a promise. This is a bounded contribution to non-domination: keys and proofs do not settle legal authority, prevent physical coercion, or remove the need for institutions and remedy.

Univalence

BORROWED

via Homotopy Type Theory (2013)

The homotopy type theory axiom that, for types A and B in a universe, the canonical map from their identity type A = B to their equivalence type A ≃ B is itself an equivalence. An equivalence can therefore yield an identification along which dependent data and proofs transport. The Proofs does not assume full or computational univalence. Its weaker engineering discipline, A16, requires a witnessed equivalence with valid scope and an explicit transport certificate for each property the receiving context uses. That operational contract must be distinguished from the mathematical axiom: a system cannot infer arbitrary safe substitution merely from a declared equivalence.

Useful Work (Ayres & Warr)

BORROWED

via Robert Ayres, Benjamin Warr

Ayres and Warr's construct for exergy delivered after real conversion losses, such as mechanical drive, heat, and electricity available to perform an economic task. In their production-function specifications, adding useful work reduces the unexplained residual and produces a strong historical fit. That modeling result does not by itself identify how much total-factor-productivity growth was caused by conversion efficiency; specification choice, endogeneity, reverse causality, measurement, and comparison with rival growth models remain material.

V

V/C Ratio

ORIGINAL

A proposed comparison between the value at stake in successful task completion and the cost of checking an output to acceptable confidence. It identifies one pressure on deployment, not an automation law. Capability, integration expense, expected error loss, remedy, regulation, complementary labor, demand, and institutional authority may change or dominate the ordering.

Value Needs Work

ORIGINAL

Second governing equation. Some claims become more credible when bound to work that could not be evaded while preserving the result. Cost is evidence of a production path, not proof of usefulness, price, ownership, or justice; waste is costly too. The governing question is whether structured work produced a capacity someone can use and whether the evidence offered for that capacity can be tested.

Verifiable Core

ORIGINAL

The exact proposition a mechanism, proof, or record can settle under declared assumptions. A verifiable core may establish that a state transition followed an encoded rule while leaving input legality, institutional legitimacy, interpretation, and remedy unresolved. The phrase prevents technical validity from silently expanding into constitutional authority.

Verification Aristocracy

ORIGINAL

A two-tier system where the wealthy can verify claims against them while the poor cannot — accountability stratified by resources. The verification aristocracy is worse than the Neo-Feudal Stack it claims to replace: it maintains the rhetoric of accountability ('anyone can verify') while providing its substance only to elites ('anyone with a law firm, forensic accountants, and technical expertise'). The threshold test exposes it: Can the affected person, directly or through accountable assistance, test the material claim before the remedy becomes useless and at proportionate cost? If not, verification is a privilege, not a right. Access for a median-resourced citizen alone does not satisfy the right. This is anti-republican in the precise sense — it recreates domination while draping it in the language of accountability. The Protocol Republic demands not just that verification be possible but that verification capacity be distributed to those over whom power is exercised.

Verification Capacity

ORIGINAL

The practical combination of artifacts, time, competence, representation, forum, and consequential remedy needed to test an adverse claim. Access to source code or a nominal appeal is insufficient when the affected person cannot reproduce the proposition, interpret its significance, present a contest, or obtain relief while it still matters.

Verification Cost

ORIGINAL

The expense in energy, computation, time, expertise, disclosure, or institutional effort required to check a claim. It is a significant variable in the structure of trust and power, not a determinant or universal explanation of institutional form. Cheaper verification can bypass some intermediary functions while moving costs toward specification, translation, cybersecurity, legal recognition, contest, and remedy. Its distribution matters as much as its level.

Verification Debt

ORIGINAL

Verification work that a system has deferred while continuing to rely on the affected claims or predicates. Unchecked dependencies, stale witnesses, or missed overlap checks can expose later decisions to error and leave further work for re-certification, repair, or migration. Calling this debt draws attention to obligations carried forward; it does not establish an interest rate, inevitable compounding, or a universal law that delay always increases verification cost. A21 provides categories for recording the chosen checks, budgets, and risks. The size and consequences of a backlog require evidence from the particular system and may change when dependencies, algorithms, or scope change.

Verification Inversion

ORIGINAL

Platforms verify users while users cannot verify platforms — this is the pathology. In the Neo-Feudal Stack, platforms know everything about users (behavior, location, preferences, relationships) while users know nothing about platforms (algorithms, criteria, decision processes). This is the opposite of civic asymmetry: governors opaque, governed transparent. The verification inversion enables domination without accountability — the platform acts against you on grounds you cannot inspect, by processes you cannot audit, with consequences you cannot appeal. Reversing it is the core political project: power must be glass while persons remain veiled.

Verification-Cost Compression

ORIGINAL

A decline in the cost of checking a defined class of outputs to an acceptable confidence. Compression can widen delegated use, but verification is only one deployment constraint and may omit authorization, external validity, contest, and remedy. The V/C comparison helps identify pressure; it does not govern returns or institutional sequence by itself.

Versioning Rules (A26)

AORIGINAL

The protocol for making predicate and vocabulary change explicit. A26 defines operational conservativity relative to declared scope, pinned queries, invariants, and compatible dependency certificates: those queries remain well formed, their promised results remain stable, and their standing survives under the contract. A breaking change requires a declaration, impact analysis, migration plan, and witnesses for the preservation actually claimed. Compatibility between versions is typed rather than merely yes or no. Backward compatibility is optional and may have gaps; versioning makes change auditable without guaranteeing reversibility. A local repair that preserves meaning is distinguished from a new version that changes it.

Virtual Wealth (Soddy)

BORROWED

via Frederick Soddy

In Soddy's 1933 account, the purchasing power a community holds in money rather than goods: real wealth it prefers to be owed rather than to possess. The term does not designate only claims in excess of realizable wealth. Whether financial claims outrun the capacity to honor them is a separate economic question, involving production, prices, maturity, institutions, and expectations.

Vocabulary Operator (A11)

AORIGINAL

Vocabulary determines what distinctions a system can state, and therefore what truths it can express. A11 defines a vocabulary extension as adding symbols or defined predicates to a vocabulary with a declared logic. Institutional reclassification can change which categories an institution recognizes; whether it also reflects new factual knowledge is a separate historical question. The vocabulary loop connects observations, candidate predicates, queries, evidence, and refinement. Each step must preserve prior consequences relative to a pinned vocabulary and invariant set, or declare a breaking change with explicit migration semantics. Redefinition is represented by a versioned predicate and witnesses relating it to the earlier version, rather than silently treated as an unchanged predicate.

W

Wealth (Soddy)

BORROWED

via Frederick Soddy

Frederick Soddy's term for physical wealth: usable arrangements that sustain life, such as food, shelter, machines, fuel, and infrastructure. They require material throughput and maintenance; a ledger entry cannot perform that work. Debt claims can change by contractual and institutional rules faster than productive capacity changes, but they remain subject to default, inflation, law, and expectation. Productive capacity can expand. The distinction identifies an asymmetry in how claims and capacity persist, not a thermodynamic law of inevitable financial divergence.

Witness Classes (A2c)

AORIGINAL

Witnesses typed by their verification regime. Decidable witnesses use a total, deterministic procedure returning ok or fail. Probabilistic witnesses return a result with confidence information and bounds. Attested witnesses check a provenance chain and return ok_if_trusted(authority) or fail. The architecture adopts a composition policy that propagates uncertainty and authority dependencies; it does not derive a universal ordering of epistemic strength from these classes. Composition remains conditional on compatible scope, calibration and dependence assumptions, and recognized authority. Even decidable witnesses do not compose freely across arbitrary scopes. The general interaction of scope and authority under composition remains incompletely formalized.

Witness Structure

ORIGINAL

A comparative vocabulary for examining consequential reliance across contexts: binding, conditions, stakes, recourse, and composition. Binding distinguishes origin, continuity with a credential, and answerable adoption. Contingent producer stakes are one possible arrangement; recourse also protects rights independently of factual accuracy. Composition may preserve relevant grounds or require them to be developed anew. Chapter 7 does not establish a universally necessary package or general hierarchy. The Proofs defines related formal objects under its own assumptions; a certificate alone establishes neither global agreement nor an accessible remedy.

Witnessed Assertion (A2b)

AORIGINAL

A pair (p, π) consisting of a proposition and a witness of the declared evidence type, together with a verification function typed by witness class. Decidable verification returns a definite result under its procedure; probabilistic verification carries confidence information; attested verification remains conditional on recognized authority. Downstream use must consume the claim with its witness, preserving the relevant scope and consumption contract. A witnessed assertion is therefore not a separate epistemic tier that excludes certified claims. Its standing depends on the verification performed. Composition must satisfy the declared rules for scope, uncertainty, and authority; two witnessed assertions cannot be combined arbitrarily into a warranted third.

Witnessed Sameness (A10)

AORIGINAL

Equivalence made into a first-class artifact with operational consequences. A passport and a driver's license may both identify the same person, but the equivalence holds only within scope (domestic travel, not international), under specific conditions (both unexpired, photo matches bearer), with specific operational rights (one opens a gate, the other starts a car). Formally: a tuple w = (K, A, B, S, prov, ops) where K = witness class (=/≅/≃/≲), A and B = entities related, S = scope predicate over contexts and time, prov = provenance with confidence and expiration, ops = operational contract with transport operators and validity gate. The tuple binds an equivalence claim to the evidence that supports it, the scope within which it holds, and the operations it licenses.

Search the book

Use ↑ ↓ to move through results; Escape to close.

Search every published chapter, section and reference.

    In this chapter