The Information-Exclusion Foundation: MST as an Off-Ledger Theorem

System welfare is off-ledger by construction

The Missing System Theorem (MST) states that an economy's system-welfare coordinate W is excluded from the payoff space of any transaction by the axiom of system independence. This exclusion is an information-exclusion result: W is absent from the disclosed records firms and markets report.

• W is not part of any mandatory or customary disclosure
• β_W^cause is costly to compute and not reflected in equilibrium prices

Off-ledger status creates an informational friction

Because β_W is off-ledger and costly to compute, prices cannot already reflect it. This follows the costly-information logic of Grossman and Stiglitz (1980).

• If prices fully revealed β_W, no one would pay to compute it
• The friction is the same in both P1 and C.0 claims

P1: no ex-ante premium for system-loading assets

Proposition P1 says system risk is unpriced ex ante. This holds by exclusion, not by efficient judgment: the market does not price β_W because it is not in the information set.

• No normal-times premium is possible if the coordinate is off-ledger
• Not because restoration is judged improbable

C.0: investor profits from anticipating repricing after disclosure

Proposition C.0 says an investor earns a profit by anticipating the repricing that follows disclosure of β_W. This is a Grossman-Stiglitz information rent.

• First agent to compute and disclose β_W earns a transient rent
• Rent is b_investor = -ΔP > 0

No contradiction: two states of one costly-information structure

P1 (no persistent ex-ante premium) and C.0 (transient rent to discloser) are separated in time by the disclosure event. The friction — β_W off-ledger and costly to compute — is identical in both.

• After diffusion, rent is competed away and W is carried
• Disclosure event simultaneously creates the record, the profit, and the repricing

Disclosure event carries the coordinate into the information set

Decision Accounting, litigation, regulation, or credible disclosure can move the system coordinate into the market's information set. That is when repricing becomes possible.

• The issue is ledger visibility, not estimation difficulty
• The event is an information carrier

Off-ledger risk has a sign-based return signature

High causal welfare-loading assets need not earn a normal-times premium, but they should load negatively on restoration shocks once the coordinate becomes visible.

• P1: no ex-ante premium
• P2: negative restoration-shock loading
• P3: event-linked crash skew

Information anchors: Grossman-Stiglitz, Akerlof, Hart

The theory builds on costly information and disclosure literature. This deck sets up Paper 7; it does not report Paper 7 results.

• Grossman-Stiglitz (1980): costly information prevents full revelation
• Akerlof: information asymmetry and market failure
• Hart: incomplete contracts and off-ledger claims

Theory states testable signature, not empirical results

This theory deck states the testable signature. It does not claim the empirical return test has survived controls until Paper 7 reports those coefficients.

• No empirical β_W tile
• Draft theory statement, peer review pending

Teach the paradox, then the event

Put the no-premium prediction next to the restoration-shock prediction. The lesson is that invisible risk can be unpriced until the disclosure event changes the information set.

• Finance: event study design
• Accounting: ledger visibility
• Policy: disclosure as market activation

Disclosure is the repair, the reward, and the return signature

The act of disclosure is simultaneously the Decision Accounting record carrying the excluded coordinate, the investor's C.0 reward, and the P2 restoration shock. Disclosure, repair, and return signature are the same information event seen from three sides.

• Unifies the program's pieces
• Moves system risk from off-ledger to priced in one event