28 foundational papers sit above 61 domain records. The registry separates proof/status labels from the welfare-beta table's measurement classifications; the Domain Tables remain the source of truth for canonical welfare-beta values, admitted simulation intervals, and the 61-domain aggregate.
The welfare-beta labels on these cards are pulled from the canonical Domain Tables data source. Domain Tables remains the audit surface for admitted simulation intervals, annual industry revenue (Π, capital pi), annual system-welfare loss (ΔW, delta W), and the working-paper aggregate release status.
Classification is a working-paper status label, not peer-reviewed canon and not proof that every jurisdiction has already adopted the repair. The bounded Game-Change theorem applies when the institutional problem is clear enough to identify the parties, incentives, missing system cost, and available rule change; country pages document implementation paths where the evidence exists. Domain Tables use measurement categories for βW rows; this page uses theorem-status categories, so the counts are not expected to match. Boundary/comparator records stay visible for completeness but are labeled separately from ordinary intractability records. The full βW breakdown remains on Domain Tables. Crosswalk: ordinary intractability records are institutional market-failure cases. Boundary/comparator records are tracked because they have a theorem-status label, but βW may be below threshold, denominator treatment may be limited, or the row may be displayed mainly for comparison.
Bounded Game-Change: scope of the claim
The bounded Game-Change result applies to institutional problems whose moving parts can be specified: the parties, the incentives, the missing system cost, and the rule change that could alter the payoff. Physical, chemical, and biological floors are outside that repair claim. A rule change can make a better outcome reachable; adoption, implementation, and equilibrium selection still depend on the jurisdiction and the actors.
Count crosswalk
Plain-language version: Domain Tables answers "what is the measured welfare-beta row?" and Domain Theorems answers "what proof/status label does that same domain carry?" Both pages use the same 61 studied-domain corpus and the same 13 impossibility records. Domain Tables is the measurement view: 29 intractability + 19 boundary/comparator. Domain Theorems is the proof-status view: 37 ordinary intractability + 11 boundary/comparator. The 8-row shift is classification, not a second corpus: those records are theorem-status intractability cases but measurement-boundary rows because welfare beta is below threshold, denominator treatment is limited, or the row is comparative.
Use this page as the theorem-status registry. Use Domain Tables as the measurement table for canonical βW, admitted simulation intervals, annual revenue Π, ΔW, and the aggregate release status. The pages classify the same 61 studied-domain corpus through different lenses, so a theorem-status count is not required to equal a measurement-category count.
Proof-status table
This table is the status legend for the registry below. It separates deductive proof status, empirical measurement status, and boundary records before the reader opens individual theorem cards.
Term definitions used across the registry. A theorem is a claim derived deductively from stated axioms; the deduction, not any single dataset, carries the result. A proposition is a subsidiary deductive result stated and used inside a theorem statement. A conjecture is a claim believed to hold but not yet proved; the broad Game-Change claim remains open, while the bounded claim applies only when the parties, incentives, missing system cost, and available rule change can be specified. A calibration is a numerical βW value fitted from source data under a stated model; it is a measurement, not a deductive consequence of the axioms. An estimate is a point or interval figure carried with its source trace and uncertainty, not a proved quantity. An open item is a claim flagged as unresolved or awaiting source verification. A comparator or boundary record is retained for scope control: its βW is below threshold, its denominator treatment is limited, or it is shown mainly for contrast, so it is labeled separately from ordinary intractability records.
Status
Count
Evidence Surface
How To Read It
Foundational
28
Canonical proof and study records
Theory foundation for the 61 studied-domain corpus
Impossibility
14
Axioms plus physical, chemical, biological, informational, or equivalent floor
Constraint classification; not an implementation claim
Ordinary intractability
32
Theorem statement plus βW measurement row and repair path where available
Institutional market-failure cases with a possible rule-change path
Boundary / comparator
2
Theorem-status label retained, but βW is below threshold, limited, or comparative
Controls and scope boundaries; prevents cherry-picking