Appendix A. Every symbol used in the book, defined once.
The chapters introduce symbols where they're first needed; this is the single place they're all collected. A few letters are reused with different meanings in different layers — those collisions are flagged explicitly at the bottom, because they trip up first-time readers.
Symbol Meaning First used
Fthe set of resolvers — capital holders who retroactively declare verdicts Market Pthe set of forecasters — specialists who publish predictions Market Qthe set of candidates / questions under evaluation Market qa single question, with outcome space Ω_q Market i, jindex a forecaster (i ∈ P) and a resolver (j ∈ F) Market
Symbol Meaning First used
p_{i,q,t}forecaster i's probability distribution on q at time t Market r_{j,q}resolver j's subjective verdict on q Market S(p, ω)strictly proper scoring rule; canonically log score ln p(ω) Market p_refreference belief (consensus just before an update); the subtraction baseline Market w_ttime weight (can up-weight earlier forecasts) Market ρ_{i,j,q}reward to i from j on q — marginal movement toward the verdict Market R_{i,j}forecaster i's reputation with resolver j = Σ_q ρ_{i,j,q} Market B_jresolver j's reward budget Market p*the money-optimal forecast (= capital-weighted predicted consensus) Market EU(i→j)decision-value of i's information to j ("extrapolated utility") Math Core §2.5u_qper-question reward-budget factor, set ∝ value-of-information Math Core §2.5
Symbol Meaning First used
θthe true state of a question Math Core §2πa forecaster's honest posterior given evidence Immunity λdeference weight — fraction of a verdict driven by the published forecastImmunity g(p)the resolver's deference-response function Immunity Ldeference slope = λ · sup\|g'\|; safety condition L < 1 (= V1 )Immunity σ(θ)signal-driven verdict probability (the non-deferring part) Math Core §2
Symbol Meaning First used
Σresidual-correlation matrix across agents (after conditioning on public info) Immunity n_effeffective population = 1ᵀ Σ⁻¹ 1; the stack's one security parameterImmunity ρ (here) pairwise correlation within a Sybil cluster — not the reward ρ above Immunity knumber of accounts in a cluster (or replication count, §1.4) Immunity hhonest fraction of an executor pool Math Core §1.4ν_iagent i's marginal n_eff, gating its UBI share Math Core §4.3
Symbol Meaning First used
κ(a,b)accumulated coupling surplus (fate-sharing) between two parties Coupling G, Cexploitable shared structure / coordination cost; couple iff G − C > 0 Math Core §10.3votes(bloc)= √(n_eff · pooled credits) — the delegation formulaGovernance
Symbol Meaning First used
θ_{i,z}agent i's share of pool z (a fragment of a whole; Σ_i θ_{i,z}=1) Money V_zbasket-value of zone z's resource pool — is its money supply (not minted) Money w_iwealth of i = Σ_z θ_{i,z}·V_z (a portfolio of pool shares) Money χ(x→y)exchange-rate field over the coordinate space; anchored by basket arbitrageMoney δ_zzone-local demurrage rate — decay-unless-circulated; the dispersion dial Money δ_minthe global demurrage floor (anti-haven; the regulated baseline) Money b_zzone z per-capita baseline = V_z / n_eff(z) (the local UBI level) Math Core §4Mtotal money supply = Σ_z V_z Math Core §4Npopulation, measured in n_eff units Math Core §4e_i, s_iagent i's earn / spend rates Math Core §4ēbound on net earning advantage Math Core §4.2βtarget concentration bound on resolver budgets Math Core §4.2
Symbol Meaning First used
MATERIALIZE(V, R)make value V available at spacetime region R Market D(v, x, t)demand field — request intensity for value v at location x, time t Math Core §1p(v, x)price field — posted price of delivering v at x (the substrate's p)Math Core §1λ_v(x)local demand intensity for v at x — not the deference weight λ Math Core §1.2c_s, c_b, c_cstorage / bandwidth / compute cost coefficients Math Core §1.1work(f)reduction-step count of f (the canonical compute unit, from tree calculus) Math Core §1.1
The system is viable iff these hold (see Math Core §7):
Condition Plain meaning Chapter
V1 L < 1perception dominates action (no dark room) Immunity V2 cost(mimic k) ≥ cost(be k)boundary integrity; n_eff is sound Immunity V3 δ ≥ ē/(M(β−1/N))turnover keeps capital dispersed (enforces A2) Money V4 switching cost < tyranny premiumexit keeps between-network selection alive Evolution V5 verdicts are ex-post counterfactual contrasts the market stays evidence, never a mechanical rule Futarchy and Causality
The five assumptions A1–A5 (shared reality, dispersed capital, repeated game, tamper-evident timestamps, non-reflexivity) are defined in The Five Assumptions .
The same letter carries different meanings across layers. The four to watch:
Fresolver set in the engine, but the free-energy functional F_a in Math Core §0. (Context always disambiguates: a set of people vs. a quantity to minimize.)ρreward contribution ρ_{i,j,q} in the engine, but a pairwise correlation in the n_eff formula.λdeference weight in reflexivity, but λ_v(x) is local demand intensity in the substrate.pforecast distribution p_{i,q,t} in the engine, but p(v,x) is the price field in the substrate.
These overlaps are inherited from each layer's own conventional notation; they were kept rather than invent non-standard symbols.