Vocabulary and proof notation, in plain language

Investment returns above (or below) what a benchmark or risk model would predict for that security over the period — the 'alpha' left after known risk factors are removed.

In finance, alpha is the return an investment earns above what its risk alone would predict — the extra a stock delivers that a standard risk model cannot explain. If a model says a stock should return 8% for its risk and it returns 11%, the 3% is alpha. In the asset-pricing tests here, 'no alpha' means a portfolio's returns are fully accounted for by known risk factors, with nothing left over.

Economist and philosopher who argued that standard welfare economics rests on too narrow an informational base — it leaves out freedoms, capabilities, and how well-being is distributed. The Missing System Theory makes a related argument: it names one specific thing the standard framework leaves out (system welfare) and proves it cannot be recovered from the parties' payoffs. Sen is an intellectual ancestor of that critique, not a counter to it.

Kenneth Arrow's result (1951) showing there is no perfect way to combine many individuals' rankings into a single social ranking without giving up some basic fairness condition — turning many preferences into one collective choice always requires trade-offs or value judgments. It is the reason aggregate welfare figures are planner-relative rather than objective.

One hundredth of a percentage point (0.01%). 200 basis points means 2 percentage points.

An empirical statistical regularity about the distribution of leading digits in many real-world datasets — cited, like Zipf's Law, as an example of a pattern called a 'law' because it is widely observed before it is formally derived.

A behavioral model of addiction as cue-triggered, state-dependent choice: information absorbed in a 'cold' state has no effect once an environmental cue triggers the 'hot' state — which is why disclosure alone cannot change addicted behavior at scale.

Plain-text spelling of β_W: annual system-welfare loss divided by annual industry revenue. The ratio is valid only when the harm and the revenue use the same domain, same time period, and same activity boundary. beta-W = 1 is the welfare-neutral threshold.

The formal version of Game-Change: for a clearly specified institutional game with enough information to identify the parties, incentives, missing system cost, and available rule change, a welfare-improving transformation exists.

A prediction-scoring rule used in Decision Accounting for Field 16 forecasts. For a binary prediction with stated probability p and observed outcome o, the Brier loss is (p - o)².

In Decision Accounting, Field 16 should make a claim scoreable by stating the predicted event, probability or confidence, time horizon, resolution criteria, resolution source, and scoring rule. Averaged across decisions, Brier scoring shows whether a decision-maker's stated confidence matches outcomes over time.

A mechanism is budget-balanced when the transfers among participants net to zero, so it needs no outside subsidy to run.

CAPM — the standard finance model that prices an asset by how much risk it adds to a market portfolio. In the SAPM canon, CAPM is treated as the non-priced-system special case of a welfare-augmented pricing model.

Capital Asset Pricing Model — the standard finance model that prices an asset by how much risk it adds to a market portfolio.

A number is capture-sensitive when regulatory capture can move it through its own inputs. The welfare figures are built from shadow prices — the assumed worth of a life, of clean air, of a stable climate — and those prices are set by institutions the harming industry may have captured. A captured price-setter can value the harm too low, so the measured welfare loss comes out understated. The weak point is the input: you can shrink the bill not by causing less harm but by capturing whoever decides what the harm is worth. (The welfare-ledger paper calls this the 'capture-in-the-input problem.')

The incentive created when a person's future pay and promotion depend on how evaluators judge them, pushing them to act as evaluators expect rather than as the facts warrant.

The marginal, causal form of the welfare beta, written β_W(Π) = −dW/dΠ: the system welfare destroyed by one more dollar of annual industry revenue — one more unit of activity — at the current margin. Because system welfare W falls as revenue Π rises, dW/dΠ is negative; the minus sign makes the damage a positive number.

How it differs from the average form. β_W = ΔW / Π (see Welfare beta) is an accounting ratio: a domain's total annual system-welfare loss divided by its total annual revenue. It describes the domain as it currently stands and needs no counterfactual — it is arithmetic on measured totals. β_W(Π) = −dW/dΠ is a derivative: it describes what one more, or one less, unit of activity does, and it requires an estimate of how W responds to Π. When damage is proportional to activity — W falls in a straight line with Π — the two coincide, and one coefficient serves both. When damage is nonlinear — thresholds, tipping points, or a dirtier marginal unit — they diverge, and the average ratio understates the harm of expansion.

When to use which. Use the average β_W = ΔW / Π to state a domain's standing cost and to rank domains: the domain tables, System-Welfare-Adjusted GDP, and the impossibility / intractability / control classification. Use the causal β_W(Π) = −dW/dΠ for a decision about a change: whether to permit more or less activity, and where to set a corrective tax or fee, which should match marginal damage, not average damage. Oil and Gas uses the marginal form because the incremental barrel — flared, deeper, or past an ecological threshold — destroys more welfare than the average barrel, so the average ratio would understate the cost of drilling more.

Evidence burden. The average ratio is a measured fact given the domain, time period, and activity boundary. The causal derivative is an estimated counterfactual: it must defend that the revenue change causes the welfare change rather than merely moving with it, and is reported as causal only when that identification argument is stated.

Legal scholar Guido Calabresi's rule (from accident law): responsibility for a harm should fall on whichever party could have prevented or reduced it at the lowest total cost. Used across the seven Conflictoring lanes to pick which actor should move.

The deliberate design of how options are presented to a decision-maker — defaults, ordering, framing — which shapes choices without removing them.

The idea, from economist Ronald Coase, that if property rights are clear and bargaining is cheap, the people affected by a harm can negotiate a fix among themselves — a factory and the downstream fishermen striking their own deal over pollution — without a regulator stepping in. It breaks down when there are too many affected parties to get to the table, or when the harmed party (like the public at large) has no seat at all.

Mancur Olson's point (1965): when a benefit is spread thinly across many people, each individual's stake is too small to justify the effort of organizing, so a diffuse group fails to act even when collective action would pay.

Shared resources — fisheries, aquifers, forests, grazing land — that many parties can draw from and that no single party owns, which makes them prone to overuse. The setting for Ostrom's self-governance work.

Working out how an outcome changes when you change one input and hold everything else fixed — the economist's 'what happens to X if Y goes up?' For example, how the corrective charge should change if the estimated harm doubles. It is about the direction and size of a response, not a single fixed number.

A market state in which prices balance supply and demand across all goods and no participant can do better by acting differently at those prices.

An idealized economy where there is a market — a price you can buy and sell at — for every possible outcome and risk, including insurance for every contingency. In that limit nothing is left unpriced, so competitive markets reach fully efficient outcomes. Real economies are never complete: there is no market in 'system welfare' itself, which is why the harm slips through.

A. Shinnikov and O. Shinnikova's TRIZ-based conflict-resolution algorithm, adapted here to captured institutional games. TRIZ means the theory of inventive problem solving. In SAPM/PST use, Conflictoring is an eight-step diagnostic: name the parties A and B and the affected system C; classify the current outcome; verify the three Private-Systemic Tension axioms; compute β_W and welfare cost; estimate crossover time T^∗; map the response ladder; select the minimum sufficient intervention; and verify escape to a higher-system-welfare outcome. The seven implementation lanes used on this site are employees or whistleblowers, CEOs and boards, plaintiff attorneys, shareholders, regulators, policymakers, and communities and the affected public (the harmed party acting directly — Ostrom-style community self-governance of a commons, consumer boycotts and divestment, and civil-society organizing).

A situation where players share a resource and each one directly feels the crowding — rush-hour traffic, where every extra driver on your road slows your own commute; a packed beach; a shared wifi network. The 'system cost' (congestion) is already inside each player's own payoff, so nothing is hidden the way it is in a Hollow Win.

An accounting entry that offsets another — a deduction line booked against a headline figure so the total is reported net of it. System-Welfare-Adjusted GDP subtracts a system-welfare contra account from GDP.

Same as Control group: a studied SAPM domain whose measured beta-W is already below 1 in the current table.

Same as Control group: a studied SAPM domain whose measured beta-W is already below 1 in the current table.

The third SAPM taxonomy bin, alongside impossibility and intractability. A control-group domain is a studied domain whose measured beta-W is already below 1 in the current table. Control-group domains keep the panel honest by showing that the method can produce low-beta results when the measured welfare loss is smaller than revenue. Private Equity in Healthcare (beta-W 0.61) carries the Control tag; Defense Procurement is pending reconciliation. Other below-threshold domains such as Nuclear Power (0.5) and Gig Economy (0.39) serve the same comparator role within their constraint classes.

A result that follows immediately from a theorem already proved — a direct consequence you get almost for free once the main result is in hand.

The (0,0,1) outcome: the mirror of Corrosive Win-Lose — the second party gains while the first party and the system both lose.

The (0,1,0) outcome: one party gains while the other party and the system both lose — private gain paid for out of both the counterparty and the shared system.

What a firm pays to raise money: interest on its debt (cost of debt), the return equity investors demand (cost of equity), and the blended average of the two (weighted average cost of capital, or WACC).

What would have happened under the road not taken — here, the honest report that was never filed; because it is never observed, no contract can reward it.

A measure of whether two things move together. Positive covariance means when one rises the other tends to rise too; negative means they move in opposite directions; near zero means they are unrelated. In finance it matters because assets that move together concentrate risk — one shock hits them all at once.

Decision Accounting — a 17-field, reconstruction-capable governance record for materially consequential organizational decisions.

The value that simply vanishes — gains from trades that never happen — when a market is distorted. If a monopoly or a price-fixing scheme pushes prices above the competitive level, some buyers who would gladly have paid the true cost are priced out; those mutually beneficial trades don't occur, and that lost value is deadweight loss. No one captures it; it is destroyed.

DA — a 17-field, reconstruction-capable governance record for materially consequential organizational decisions and a management-science system for improving decisions over time. It documents who decided, what was decided, when, where, why, on what evidence and authority, with what uncertainty and prediction, and with what system-welfare effect. The record-quality standard is that the decision record should be accurate, full, defensible, well reasoned, evidence-grounded, legally practical, and candid about uncertainty and tradeoffs. It compares predicted outcomes with actual outcomes, uses Brier-score prediction discipline, and teaches decision-makers to use data as evidence: document why the decision was made and why the chosen path was selected. It is useful for management strategy, recordkeeping, legal defense, board materials, shareholder records, auditors, regulators, and internal management. Current Decision Accounting study evidence models a cost-of-capital channel: the paper reports GE4 calibration at 88-136 basis points and frames a 100-300-basis-point spread as a testable business-case range. The earnings effect depends on capital structure and is not stated as a universal percentage. Its core record has 17 fields: 1 WHO, 2 WHAT, 3 WHEN, 4 WHERE, 5 WHY, 6 EVIDENCE, 7 AUTHORITY, 8 TRAINING, 9 REVIEW, 10 STAKEHOLDERS, 11 CONSEQUENCES, 12 CONSTRAINTS, 13 UNCERTAINTY, 14 COMMUNICATION, 15 ALTERNATIVES, 16 PREDICTION, and 17 SYSTEM WELFARE. Around that record sit anti-gaming diagnostics, including the Gaming Signature Index, and timestamped Merkle-tree integrity. Once a decision record is timestamped, it is permanent and cannot be modified; later clarification or correction must be made through a new timestamped record linked to the original. The author envisions implementation through enterprise workflow and recordkeeping systems. The core intuition is the algebra-class rule: showing your work improves the work.

The pre-decisional or contemporaneous artifact that reconstructs the reasoning behind a materially consequential organizational decision: who decided, what was decided, when, where, why, under what authority, with what evidence, what was predicted, and what system consequence was accepted. Once timestamped, the original decision record is permanent. It cannot be edited, corrected, or modified; a later clarification, correction, or reversal must be made as a new timestamped record linked to the original. A strong decision record is accurate, full, defensible, well reasoned, evidence-grounded, legally practical, and candid about uncertainty and tradeoffs.

The EU Digital Operational Resilience Act — the European regulation setting information-and-communications-technology risk and resilience requirements for financial firms, with personal accountability for senior managers.

A return a party earns purely from an advantage others lack, above what the activity costs. Here, the one-time edge the first firm to disclose its system-welfare impact enjoys, which fades once disclosure is mandatory.

Arising from within a system's own workings or incentives rather than imposed from outside — an endogenous result is a consequence of the setup, not a hidden input.

Plain-text spelling of η: regulatory feedback coupling in the T^∗ diagnostic.

Before the fact — assessed or committed to in advance, before the outcome is known. Contrast ex post.

After the fact — assessed once the outcome is known. A misreport detected ex post is caught after the decision and its results are in.

Imposed on a system from outside it — for example, a price set by an outside planner. Contrast endogenous.

Goods whose quality is known only after use (a meal, a service). Contrast search goods, verifiable before purchase.

A cost (or benefit) from a transaction that lands on someone who was not part of it. When a factory pollutes a river, the deal between the factory and its buyers works fine for both of them, but the fishermen downstream bear a cost nobody at the table paid for — that uncounted cost is a negative externality. Externalities are the classic reason a privately good deal can still harm the wider world.

A standard finance model (abbreviated FFC4) that explains a stock's returns using four risk factors: the overall market, company size (small vs. large firms), value (cheap vs. expensive stocks), and momentum (recent winners vs. losers). Named after economists Fama, French, and Carhart. Researchers 'control for FFC4' to check whether a new signal — here, welfare-beta — moves returns beyond these well-known factors, or is just repackaging them.

The Financial Accounting Standards Board — the body that writes the accounting rules US companies follow in their financial statements. Its international counterpart is the IASB.

ALTERNATIVES — the strongest options considered and rejected, what each was expected to produce, and why it was declined.

PREDICTION — the forecast field. It records the expected outcome before the decision is finalized, the deadline or time horizon, and the trigger that lets later review compare prediction to outcome.

SYSTEM WELFARE — the structural field that records the decision's net effect on the broader system beyond the direct parties. It asks the decision-maker to identify the affected system, define its boundary, and estimate what the decision does to that system: the environment, financial-system integrity, market trust, public health, participant lifespan, institutional capacity, intergenerational fiscal fairness, or another shared support system. Where the System Asset Pricing Model applies, Field 17 estimates ΔW and β_W using the same domain, same time period, and same activity boundary as the revenue denominator. It also asks whether the game can be changed: is the constraint physical, chemical, biological, informational, or institutional, and can Conflictoring identify a minimum sufficient rule change through employees or whistleblowers, CEOs and boards, plaintiff attorneys, shareholders, regulators, or policymakers? Policy Lab helps translate that analysis into statutes, regulators, filing paths, and reform routes.

The first of the two Welfare theorems: every competitive-market equilibrium is Pareto efficient. It holds only when markets are complete and there are no unpriced externalities — the condition MST identifies as generally unmet for system welfare.

When a government's own revenue depends on the system-degrading industry, the government behaves like a party to the Hollow Win rather than a referee — enforcement shrinks its own tax base.

Reforming a government's finances so public revenue no longer depends on a harmful industry, removing the state's built-in incentive to protect that industry's revenue. The repair when fiscal capture is the mechanism.

A Decision Accounting record-quality test for material decisions. The record must be contemporaneous, attributable, reviewable, and complete enough for an outside reviewer to reconstruct the decision before resources were committed.

The test asks whether the record shows who decided, what was decided, when, where, why, under what authority, using what evidence, with what prediction, and with what system-welfare effect. It also screens whether the record is accurate, full, defensible, well reasoned, evidence-grounded, legally practical, and candid about uncertainty and tradeoffs. In the canon, it is a fast record-completeness screen.

A flow is an amount measured per period (harm per year); a stock is a cumulative total accumulated over time (a multi-year cleanup bill). Dividing a stock by an annual flow mixes units and is not a valid annual ratio.

See Welfare theorems — the two results (First and Second) that competitive markets, under strong conditions including complete markets and no unpriced externalities, reach efficient outcomes.

A rule change that makes a destructive game produce a better system-welfare outcome. In plain English: if the damage comes from rules, incentives, records, or legal permissions, then changing those rules can change the result. The formal theorem covers institutional games where the parties, information, incentives, and available rule changes are clear enough to define the repair.

GSI — an automated anti-gaming diagnostic for Decision Accounting records. It compares a DA record with firm historical records, peer-firm records, advisor templates, industry association forms, and repeated internal phrasing.

High similarity triggers review. The GSI targets boilerplate, template reuse, strategic ambiguity, backfilled specificity, and records whose language is inconsistent with decision-specific reasoning.

Group Decision Support System — negotiation software that takes each side's payoffs and issue weights and returns the trade-offs and a recommended agreement.

A finance control variable capturing the return difference between environmentally clean ('green') and polluting ('brown') firms, used to check that a measured effect is not just a stand-in for climate exposure.

GDSS — negotiation software that takes each side's payoffs and issue weights and returns the trade-offs and a recommended agreement. The infrastructure of modern deal-making; W-blind unless extended to carry the system-welfare coordinate.

Henry Hansmann's theory that who owns an enterprise — and therefore bears its residual risk — determines who is accountable for its outcomes.

A (c,a,b) = (0,1,1) outcome in the 8-outcome Missing System Theory taxonomy: both private decision-makers gain while the system-welfare coordinate degrades — c=0 means the system is not preserved, with no floor on how far its welfare can fall. It names the result classification: both private ledgers can show gain while system welfare falls.

The International Accounting Standards Board — the body that writes the international accounting standards companies follow in their financial statements. Its US counterpart is the FASB.

One of the three SAPM taxonomy bins: impossibility, intractability, and control group. In SAPM domain papers, an impossibility theorem starts with a hard physical, chemical, biological, thermodynamic, or informational relationship and then applies the operational test: after the strongest realistic institutional reform package, the modeled beta-W floor remains above 1. PFAS is a chemical example: C-F bond stability, persistence, bioaccumulation, and existing contamination explain the floor, and the modeled claim is that liability, phase-outs, substitution, water rules, and cleanup can reduce PFAS damage but still cannot push beta-W below the welfare-neutral threshold. The older general meaning of impossibility theorem still applies in the background: no rule, procedure, or mechanism in a specified class can satisfy a stated set of conditions at the same time.

A mechanism is incentive-compatible when acting honestly (or in the intended way) is each participant's own best strategy, so no one gains by misreporting.

A condition that no party ends up worse off than its no-deal (disagreement) alternative, so each is willing to take part in the mechanism.

A situation in which one party to a transaction knows more than the other — for example, the seller knows the product's true quality and the buyer does not.

One of the three SAPM taxonomy bins: impossibility, intractability, and control group. Intractability means the market failure is hard to solve inside the current institutional game, while institutional redesign can in principle move the domain below the welfare-neutral threshold. The operational test is beta-W after reform. If the right rule architecture, enforcement design, liability rule, procurement rule, disclosure rule, protocol-governance change, or market-design change can push beta-W below 1, the domain is intractability rather than impossibility. Some intractability domains still involve physical or biological relationships. Tobacco has nicotine biology, but tobacco-control and harm-reduction regimes can move measured settings below beta-W = 1. Proof-of-Stake currently measures beta-W 2.13, but quadratic staking, identity-bounded governance, validator concentration limits, and disclosure can move the reformed case below 1.

ISO/IEC 42001 — the international management-system standard for artificial intelligence, giving organizations a certifiable framework for governing AI risk.

The credit-rating business model in which the company being rated pays the agency for its rating, creating a built-in incentive to give favorable ratings.

Pronounced k-star. Conflictoring activation threshold: the minimum number of independent reform channels that must move at the same time to convert a Hollow Win into a system-preserving outcome. A low k^∗ means one or two channels can change the game. A high k^∗ means reform needs coordinated pressure across several channels.

A bargaining solution (Kalai and Smorodinsky, 1975) that scales each party's agreed share to their best-possible ('ideal') outcome, so that if the total pie grows, each party's share grows with it.

A canonical regulation model (Laffont and Tirole) in which a regulator designs a contract for a firm that privately knows its own costs; widely used to study optimal regulation under hidden information, and used here to derive the fiscal-capture threshold rather than assume it.

The London Interbank Offered Rate — a benchmark interest rate set from banks' daily submissions and used to price trillions of dollars of contracts worldwide; it was the subject of a major manipulation scandal and has since been phased out.

One-time reallocations of wealth that do not depend on anyone's later choices, so they shift who has what without distorting incentives. The transfers the Second Welfare Theorem assumes.

Same as Causal welfare beta: the marginal form β_W(Π) = −dW/dΠ — the system welfare destroyed by one more dollar of industry revenue — as distinct from the average ratio β_W = ΔW / Π. Use the marginal form for decisions about changing the level of activity (permits, corrective taxes); use the average form to state and rank a domain's standing cost.

The Maneuvering Characteristics Augmentation System — an automated flight-control feature on the Boeing 737 MAX that pushed the aircraft's nose down based on sensor readings; its single-sensor design was implicated in two fatal crashes.

The branch of economics (Hurwicz, Maskin, Myerson) that designs the rules of a fixed game — auctions, contracts, taxes — to steer self-interested players toward a desired outcome. It optimizes within a structure rather than changing the structure, which is what Game-Change does.

The (0,0,0) outcome: both private parties lose and the system degrades too — everyone worse off, including the shared system.

Two parties can make a deal that is privately efficient for both and destructive to the system around them, and no analysis of the deal itself can fully detect that damage from the parties' payoffs alone. Agent payoffs can reflect some system pressure through regulation, liability, reputation, taxes, or future business risk, but they do not fully determine system welfare without an independent system-welfare measurement channel. Formally, this is System Independence: the system-welfare coordinate W is not a function of the parties' payoffs (there is no increasing g with W = g(u1, u2)), so the two-party payoff space is structurally incomplete — its exclusion is a property of how the payoff space is built, not an oversight to be patched case by case.

A concrete next step for a practitioner: pick one material decision, complete all 17 fields in the Decision Accounting template before approval, attach evidence and source status, fill Field 15 with the alternatives considered, fill Field 16 with the forecast, deadline, and review trigger, fill Field 17 with the system-welfare analysis, then route the complete decision record to the reviewer, board, auditor, regulator, procurement owner, or policy actor who can test it.

Missing System Theory — two parties can make a deal that is privately efficient for both and destructive to the system around them, and no analysis of the deal itself can fully detect that damage from the parties' payoffs alone. Agent payoffs can reflect some system pressure, but they do not fully determine system welfare without an independent system-welfare measurement channel.

A result (Myerson and Satterthwaite, 1983) proving that when a buyer and a seller each privately know how much the thing is worth to them, no bargaining rule can guarantee they always trade whenever trade would benefit both — some worthwhile deals inevitably fall through. It is a limit on efficient bargaining between two informed parties, which is a different limit from the Missing System Theory (a system whose welfare is not in the payoffs at all).

A Nash equilibrium is a combination of strategies — one for each player — where no player can do better by changing their own strategy while everyone else keeps theirs fixed. Each player's choice is a best response to what the others are doing, so nobody has a unilateral incentive to deviate. It's a point of mutual consistency, not necessarily a point of mutual benefit. That last distinction is the crux: an equilibrium is stable in the sense that it holds together once reached, but stability says nothing about whether the outcome is good for the players collectively. The Prisoner's Dilemma is the canonical illustration: each suspect is better off confessing no matter what the other does, so both confess — that pair of choices is the Nash equilibrium, because neither can improve by unilaterally staying silent. Yet had both stayed silent, each would have done better. The equilibrium holds together, but it is jointly worse than an available alternative — mutual consistency without mutual benefit.

A market in which a single producer can serve the whole demand more cheaply than several could, so competition does not naturally arise.

NPV — the worth today of a stream of future costs or benefits, after discounting each future amount back to present dollars because a dollar later is worth less than a dollar now. A stock (a lump sum), not a per-year flow.

The US National Institute of Standards and Technology AI Risk Management Framework — a published, voluntary framework for identifying and managing risks in AI systems.

Games outside Private-Systemic Tension. In these games, the private Pareto frontier can include outcomes where private efficiency and system preservation move together. Examples include complete-market settings where the system-welfare coordinate is priced and traded; cooperatives, mutuals, nonprofits, or foundations when residual control is assigned to the affected patron or mission class; and Nordic positive-control cases such as Estonia's e-governance transparency, Sweden's open-records system, and Norway's sovereign wealth fund governance.

Sociologist Charles Perrow's argument that in complex, tightly coupled systems some accidents are effectively inevitable, arising from interactions no one could fully foresee.

Sociologist Diane Vaughan's term (from her Challenger analysis) for how a repeatedly accepted lower standard gradually comes to seem normal until it produces disaster.

Net present value — the worth today of a stream of future costs or benefits, discounted back to present dollars. A one-time total, not an annual flow.

The common unit of account other values are converted into for comparison — here the private-payoff (dollar) unit, so a welfare loss can be subtracted from a private gain.

A corollary of System Independence: because system welfare W is not a function of the parties' payoffs, it is also absent from the financial statements firms file — off the ledger by construction. The barrier is that W is excluded from disclosure, not that it is hard to estimate: a firm can derive its own β_W from the published library of 61 studied market failures with AI in under an hour.

Two things are orthogonal when they are independent — varying one tells you nothing about the other; they sit on different axes. When two constraints 'bind on orthogonal axes,' they limit different things and do not overlap.

Elinor Ostrom, the political economist (and Nobel laureate) who showed that communities can successfully govern shared resources — fisheries, forests, irrigation systems — through their own rules, without either privatizing them or handing them to the state. Her work is why 'communities and the affected public' is one of the Conflictoring lanes: the harmed community can sometimes organize and manage the commons itself.

The first Missing System Theory axiom (Axiom 1): the two parties share a private gain to pursue — there is a deal both prefer to no deal. Without it there is no bargain and no Hollow Win.

A Pareto improvement is a change that makes at least one person better off and no one worse off. An outcome is Pareto-efficient when no such improvement is left — you cannot help anyone without hurting someone. Named after Vilfredo Pareto. The catch the Missing System Theory exposes: a deal can be Pareto-efficient for the two parties while the wider system it damages was never counted as one of the parties.

Per- and polyfluoroalkyl substances — long-lasting synthetic 'forever chemicals' used in industry that persist in the environment and human body and are expensive to clean up. Their carbon-fluorine (C-F) bond is among the strongest in chemistry, which is why they do not break down.

A tax set equal to the harm an activity does to others, so whoever causes the harm has to pay for it — named after the economist Arthur Pigou. A carbon tax is the textbook case: if burning a ton of coal does a certain dollar amount of climate damage, a Pigouvian tax charges that amount per ton, so the polluter faces the true social cost. It works only if a regulator can measure the harm and is free to impose the charge. ('Pigouvian' and 'Pigovian' are the same word.)

A number is planner-relative when its value depends on value judgments that no market supplies — above all the shadow prices the accounting assumes, like the dollar value put on a human life or on a ton of carbon. Markets do not reveal those prices; a 'planner' (a policymaker or social evaluator) has to choose them, and different reasonable choices give different totals. So the System-Welfare-Adjusted GDP figure is not one objective number — it is a level relative to the price set assumed, which is why it is reported with a sensitivity band rather than as a settled measurement. (After Arrow: turning many separate harms into one social total always takes value judgments.)

A United-States-first triage tool that turns a domain's β_W measurement into a concrete reform route: it names the candidate public actor (agency, board, docket, legislative committee, or procurement reviewer), the legal hook, a first action, a model-rule template, a verification status, and the implementation evidence needed to test a game change. Drawn from the studied domains; it does not itself certify local law, agency authority, transferability, or remedy availability.

Plain-language statement: private markets cannot fully price what they collectively destroy. Technical statement: when system welfare W is not fully determined by the bilateral parties' payoff functions, the unmeasured welfare damage sits outside the bilateral price equation by construction. The law is derived as a corollary of W-Independence in the Missing System Theory and is falsified by a large-scale private activity whose bilateral price formation fully incorporates system welfare without externally maintained rule architecture.

Economist Andrea Prat's 2005 result: making a decision visible to a known evaluator can push the decision-maker to report what that evaluator rewards (conformism) instead of the truth. The multi-audience Conflictoring design is the response.

Committing in advance, in writing, to exactly what will be measured and what result would count as success or failure, before the outcome is known — so a test cannot be reinterpreted after the fact.

The problem that arises when one party (the principal — say, shareholders, or the public) relies on another (the agent — say, a manager, or a regulator) to act on its behalf, while the agent has its own interests and better information. The agent may not do what the principal actually wants, and the principal cannot fully see or control it.

Private-Systemic Tension (PST) is the game condition used in the Missing System Theory: along the private Pareto frontier, any move that increases one party's private payoff while keeping the other party at least whole lowers system welfare W. In plain English, the available bargains make private improvement come out of the shared system's hide. PST is the structure that makes the Missing System Theory bite. Hollow Win is the outcome classification: a = 1 and b = 1 while c = 0. In the measured SAPM table, β_W above 1 is an operational evidence flag for severe system-welfare loss in a studied domain; the formal PST definition remains the frontier tradeoff above.

A method for running a blockchain in which participants lock up ('stake') their own coins to earn the right to validate transactions, instead of solving energy-intensive puzzles as in Bitcoin's proof-of-work.

The branch of economics that analyzes political actors — voters, regulators, legislators — as self-interested agents responding to incentives, rather than as neutral servants of the public good.

An idealized setting where people only trade goods they already own, with no production and no effect on anyone outside the trade — two kids swapping an apple for a cookie, collectors trading cards. Everyone ends up at least as well off and no wider system is touched, so the Missing System Theory does not apply.

The first design requirement for a W-aware platform: an independent system-welfare monitoring channel — accept a W-signal from a source outside the negotiating parties and outside their payoff reports (e.g., a third-party monitor or benchmark administrator).

The second W-aware requirement: a pre-decision Decision Accounting record — before commitment, record the alternatives (Field 15), a scoreable prediction (Field 16), and the system-welfare consequence (Field 17) alongside the parties' outcomes.

The third W-aware requirement: trajectory detection — compute T^∗, the model-derived horizon at which accumulated system loss overtakes private gain (linear model T^∗ = δ/(ηλ)).

The welfare gain from ending or reducing a Hollow Win after implementation costs are counted. In a domain case, it is the avoidable system-welfare loss that a rule change can recover, net of transition costs. In the aggregate SAPM work, it names the recoverable portion of the annual system-welfare loss across studied domains.

The country-translation companion to Policy Lab: it takes a named game-change action and maps it to a local reviewer, authority, and first move, translating the research program into action in a given jurisdiction. Policy Lab supplies the United-States-first policy design; Reform Pathfinder handles translation to other countries.

Structuring an activity to exploit gaps or differences between rules or jurisdictions in order to avoid a regulation's intended bite.

A boundary condition in the Bounded Repair-Regular Game-Change Theorem. A Hollow Win is Repair-Regular when the parties, incentives, missing system cost, and available rule change can be specified well enough to design a welfare-improving game transformation. Typical repair levers include liability, tax, disclosure, procurement, licensing, audit rights, enforcement, capital-market repricing, or statutory rule changes.

The condition under which truthful recording of a decision's system-welfare consequence is the reporter's best response: pL ≥ κ, meaning the expected penalty for lying (detection probability p times liability L) is at least the cost κ of recording the truth (Decision Accounting paper, Proposition D.1).

The party that receives whatever surplus is left, or covers whatever deficit remains, after all other claims are paid — the bearer of residual risk, which is why ownership ties to accountability.

The leftover gain or loss a party bears after all fixed claims are paid; owners are the residual risk-bearers.

An event — a lawsuit, disclosure, settlement, or regulation — that suddenly forces a firm's previously hidden system-welfare harm into visible, priced view.

The Rubinstein (1982) alternating-offers model: two parties take turns making offers and delay is costly, which yields a determinate predicted split.

Goods whose quality a buyer can verify before purchase (a screen's size). Contrast experience goods, whose quality is known only after use.

The second of the two Welfare theorems: any Pareto-efficient allocation can be achieved as a competitive equilibrium given suitable lump-sum transfers.

The dollar value assigned to something that has no market price — a stand-in price for a good that is never actually bought or sold. There is no market where you can buy a human life, a ton of carbon in the atmosphere, or an hour of a commuter's time, so to weigh those things in a calculation an economist assigns each a value: roughly $10 million for a statistical life, a set dollar figure per ton of CO2, and so on. Because the number is chosen rather than read off a market, reasonable people can pick different shadow prices — which is exactly why totals built from them are planner-relative (they depend on whose values you plug in) and capture-sensitive (a captured agency can set the price too low).

SAPM result μ^∗ = 1 / β_W. It converts a measured welfare beta into a control price: how much system-welfare correction is required per dollar of private activity under the stated domain, time-period, and activity boundary.

Cookbook use: first measure β_W for the domain on the same boundary. Then compute μ^∗ = 1 / β_W. Then design the control package so the regulated activity moves toward the welfare-preserving boundary identified by the measurement. In a fishing-license example, β_W tells the regulator how much ecosystem damage each dollar of fishing revenue creates; μ^∗ tells the regulator how strict the license cap, quota, fee, monitoring requirement, or restoration obligation must be to keep private harvest within the system's carrying capacity.

Controls can include license caps, quotas, moratoria, taxes, fees, levies, liability shifts, private rights of action, enforcement actions, criminal liability, inspections, certification, registries, filing duties, procurement rules, contract conditions, grant conditions, disclosure duties, reporting, audit trails, monitoring, independent verification, safety standards, performance requirements, subsidies, transition funds, guarantees, insurance conditions, bond covenants, investor screens, lending covenants, listing rules, treaty obligations, sanctions, import restrictions, and due-diligence mandates.

A cooperative-game rule (Shapley, 1953) that divides joint gains by each party's average marginal contribution across all possible orderings of the group.

Profiting when a security's price falls, by selling borrowed shares and buying them back later at a lower price. A short-seller bets a price will drop.

A Missing System Theory result showing that β_W can determine the direction (sign) and the ordering (rank) of welfare effects without assuming strong commensurability — without requiring that all goods be placed on one common cardinal scale.

Shares of companies in industries widely seen as objectionable — tobacco, alcohol, gambling — often used as a control category in return studies because they have historically earned abnormal returns.

A measure of how lopsided a set of outcomes is. Returns with positive skew have occasional big gains and many small losses (like a lottery ticket); negative skew has occasional big losses and many small gains (like selling insurance). 'More positive skew' means the rare surprises tend to be to the upside.

The dollar estimate of the damage caused by emitting one additional ton of carbon dioxide — covering future harms like heat, floods, crop loss, and health effects. It is a shadow price for carbon, used to weigh climate policy, and like all shadow prices it is chosen rather than read off a market, so different studies produce different figures.

The Social Science Research Network — a widely used online repository where scholars post working papers before or instead of formal journal publication.

The (1,0,0) outcome: the system is preserved while both private parties lose. The system survives but no one privately gains.

Regulatory capture through lobbying, funding, and the revolving door, named after economist George Stigler — a regulator gradually co-opted by the industry it oversees. Distinct from fiscal capture, which runs through the regulator's own revenue dependence.

The assumption that all goods and harms share a single cardinal measuring scale, so any two can be traded off on one ruler. The Sign-Rank Theorem shows β_W does not need this.

Sociologist Ronald Burt's idea that whoever sits between otherwise-disconnected parties (in a 'structural hole') gains brokerage power — here, the concern that whoever controls what gets recorded gains that power.

When a rule bans a specific product, the industry does not exit but switches to a substitute that performs the same economic function while dodging the banned feature — often a more potent or harder-to-monitor version. A rule that names a product feature can be escaped; a rule that names the function cannot.

The (1,0,1) outcome: the mirror — the second party gains and the system is preserved while the first party bears the cost.

The (1,1,0) outcome: one party gains and the system is preserved while the other party bears the cost — a private loss that keeps the system whole.

System Asset Pricing Model (SAPM) is the measurement and pricing architecture for system-welfare harm. Its basic measure is β_W = ΔW / Π: annual system-welfare loss divided by annual industry revenue on the same domain, time-period, and activity boundary.

In the applied domain tables, ΔW is annual system-welfare loss and Π is annual industry revenue. β_W < 0 means the activity improves system welfare under the stated measurement. β_W = 0 means no measured system effect. 0 < β_W < 1 means system-welfare loss is smaller than annual revenue. β_W = 1 is the welfare-neutral threshold: one dollar of annual welfare loss per dollar of annual revenue. β_W > 1 means annual system-welfare loss exceeds annual industry revenue.

SAPM also supplies control quantities. The shadow price μ^∗ = 1 / β_W gives a control price: how much system-welfare correction is required per dollar of private activity under the stated boundary. System-adjusted payoff is Πˢᴬ = Π - μ^∗·ΔW. The System Welfare Line, System Efficiency Ratio, and crossover time T^∗ extend the same measurement discipline into policy and finance analogues.

The third Missing System Theory axiom (Axiom 3): the parties' activity actually moves system welfare W, so the deal changes the system rather than leaving it untouched.

The key Missing System Theory axiom (Axiom 2): the system holds interests not reducible to the parties' — market integrity, institutional continuity, ecological capacity are system-level interests no individual party holds in full (formally, I_C ⊄ ∪ I_i). From this axiom, together with Axioms 1 and 3, the paper proves W-Independence (Proposition 2): that system welfare W is not a function of the parties' payoffs, so knowing everything both sides received still tells you nothing about whether the system survived. The axiom is the structural premise; 'W is not a function of the payoffs' is the derived theorem, not the axiom restated.

The welfare of the shared system affected by a decision. In the Decision Accounting source text, Field 17 covers fiscal, competitive, regulatory, social, and ecological system effects. In SAPM and System-Welfare-Adjusted GDP work, the same idea is measured through channels such as mortality, morbidity, public health, safety, climate damage, ecosystem loss, cleanup cost, productivity loss, future damage, financial-system integrity, benchmark integrity, market trust, regulatory capacity, institutional capacity, fiscal capacity, intergenerational burden, and enforcement capacity.

In the Missing System Theory, system welfare is W: the coordinate the bilateral payoff vector does not carry. The taxonomy uses c = 1{W >= W₀} as the binary preservation indicator. In Decision Accounting, Field 17 asks the decision-maker to identify the affected system, define its boundary, and estimate the decision's effect on that system. In SAPM, system welfare becomes measurable as ΔW and β_W when the welfare loss and revenue denominator use the same domain, same time period, and same activity boundary.

System-adjusted payoff (Πˢᴬ) is a party's private payoff after the system-welfare damage the outcome causes is priced and subtracted — private gain measured net of what it costs the shared system. Source definition (Missing System Theory, Appendix D.3, Definition 15): Πˢᴬ = Π − μ·(W_C − W), where Π is the private payoff, W is system welfare at the outcome, W_C is the reference system-welfare level, so (W_C − W) = ΔW is the system-welfare shortfall, and μ is the shadow price placed on system welfare. Reading: an outcome with high private payoff but low system welfare has a low Πˢᴬ — the private gain is expensive in system terms. A negative Πˢᴬ means the outcome destroys more system welfare than it creates in private gain.

Which shadow price. Two choices of μ appear in the canon, and both are the same Definition 15. (1) Frontier-efficient price μ^∗ = 1 / β_W — used in the negotiation and Group Decision Support System examples, where Πˢᴬ = Π − μ^∗·ΔW prices the welfare gap (W_C − W) at the rate the Private-Systemic Frontier implies. (2) Unit price μ = 1 — used as welfare-adjusted revenue in the domain tables, where Πˢᴬ = Π − ΔW = Π(1 − β_W), with ΔW = β_W·Π the annual welfare loss; Ultra-Processed Food reports Πˢᴬ = Π(1 − β_W) and Sovereign Debt reports Πˢᴬ = −$128.5B/yr. State which shadow price is in use when reporting a Πˢᴬ.

Marginal form: dΠˢᴬ = dΠ(1 − μβ_W) — the next dollar of private gain is welfare-creating only while μβ_W < 1. Finance analogue: Πˢᴬ is to a system-welfare externality what risk-adjusted return is to market risk — the payoff discounted by the cost it imposes, here on the shared system rather than on the market portfolio.

GDP minus a new system-welfare contra account: the sum of ΔW (annual welfare loss) across the studied domains. The contra account is the framework's value added — a national-accounting line that GDP never had — so output is reported net of the welfare it destroys. Each domain's ΔW is measured with the System Asset Pricing Model.

Crossover time — how long until system damage reaches the parties' own balance sheet. In the executive diagnostic, T^∗ = δ/(ηλ): remaining private surplus divided by feedback coupling times annual welfare-loss rate.

Preferences (Gul and Pesendorfer) under which merely having a tempting option on the menu is costly — it takes self-control to resist — so a person can genuinely prefer a smaller menu that removes the temptation.

In cooperative game theory, the set of outcomes that no subgroup could improve on by breaking away — allocations stable against every coalition.

A cooperative-game solution (Schmeidler, 1969) that picks the allocation minimizing the largest coalition's dissatisfaction, then the next largest, and so on.

The Tier 2 (stronger) Missing System Theory result: adding Axiom 4 (a privately efficient deal beats no-deal for everyone) and Private-Systemic Tension, every privately efficient outcome degrades the system. Tier 1 says W can't be read off the payoffs; Tier 2 says the efficient deals actively harm the system.

The dollar figure used to value preventing one expected death, so safety and health policies can be weighed in money. It is not the price of any specific person's life; it is inferred from how much people actually pay, or demand, for small changes in risk (for instance, extra wages for riskier jobs) and scaled up. US agencies use roughly $10 million. Because it is a chosen figure, any welfare total that depends on it is planner-relative.

A landmark auction and allocation design (abbreviated VCG, after Vickrey, Clarke, and Groves) that makes telling the truth about what you value the smart strategy, by charging each participant the cost their participation imposes on everyone else. It is a pillar of mechanism design — but it optimizes over the participants' stated values, so it inherits the blind spot the Missing System Theory describes: a system with no participant to speak for it is not in the objective.

The system-welfare coordinate. W records the welfare of the shared system affected by a decision: fiscal capacity, competitive integrity, regulatory capacity, social welfare, ecological capacity, financial-system integrity, benchmark integrity, public health, safety, mortality, morbidity, climate damage, ecosystem loss, cleanup cost, productivity loss, future damage, market trust, institutional capacity, intergenerational burden, or enforcement capacity.

A platform that carries the system-welfare coordinate — displaying W, β_W, the system-adjusted payoff, T^∗, and the outcome classification alongside the party payoffs — as opposed to a W-blind platform that sees only the parties' payoffs.

A platform that sees only the parties' payoffs and so cannot detect system welfare from its inputs — the structural condition the Missing System Theory identifies in standard negotiation software.

The Tier 1 (weaker) Missing System Theory result: the system-welfare coordinate W cannot be written as a function of the parties' payoffs, so it is unrecoverable from party-level data alone. Also called the information-exclusion result.

An externally sourced measurement of system welfare W fed into a platform — not derived from, and not controllable by, the negotiating parties. The input R1 requires.

The weaker assumption that welfare effects can be signed (given a direction) and ranked (ordered), without placing them on one common cardinal scale. What the Sign-Rank Theorem shows is sufficient.

For every $1 of annual industry revenue Π, how many dollars of system welfare are destroyed in the same domain, same time period, and same activity boundary. Also written β_W or beta-W.

The two Fundamental Theorems of Welfare Economics — the formal statement of Adam Smith's invisible hand. The First says every competitive-market equilibrium is Pareto efficient: no one can be made better off without making someone worse off. The Second says any Pareto-efficient outcome can be reached as a competitive equilibrium given suitable initial transfers. Both hold only under strong conditions — chief among them complete markets with no unpriced externalities. In the Missing System Theory frame this is the boundary: the welfare theorems describe the idealized limit where even system welfare would be priced and traded, which real economies generally do not reach.

The (c,a,b) = (1,1,1) outcome: both private parties gain and the system coordinate is preserved. The only outcome where private success and system welfare hold together — the target a W-aware platform steers toward.

A situation where one side's gain is exactly the other side's loss, so there is no shared surplus to protect — poker (the pot is fixed), a coin-flip bet, a chess match. The total stays constant; the players only fight over how it is divided. Because there is no mutual gain, it falls outside the Missing System Theory.

An empirical statistical regularity (word-frequency rank patterns) that holds broadly across data before any deductive proof — cited as an analogy for an observed-but-not-yet-derived 'law.'

Welfare beta — annual system-welfare loss divided by annual industry revenue. Canonical formula: β_W = ΔW / Π, where ΔW is annual system-welfare loss and Π is annual industry revenue, never profit. The ratio is valid only when ΔW and Π use the same domain, same time period, and same activity boundary. β_W = 1 is the welfare-neutral threshold used in the impossibility and intractability classifications. This ΔW / Π form is the average ratio; for the marginal, causal form β_W = −dW/dΠ — the welfare destroyed by one more dollar of revenue — and for when to use each, see Causal welfare beta.

The marginal, causal welfare beta: β_W(Π) = −dW/dΠ, the welfare destroyed by the next dollar of industry revenue. See Causal welfare beta for how it differs from the average ratio β_W = ΔW / Π and when to use each.

Annual welfare cost — the total system welfare destroyed per year by a domain. In canonical rows, ΔW = β_W × Π.

Eta — regulatory feedback coupling in the T^∗ diagnostic. It measures how quickly system harm feeds back into private balance-sheet exposure.

Annual industry revenue — the denominator in the welfare beta. Always revenue, never profit.