The Equality-Indexed Monetary-Trade System.

Reforming Global Money and Trade for Equality

---

This paper develops the Equality-Indexed Monetary-Trade System (EIMTS) — a synthesis of mechanism design, distributional macroeconomics, and trade theory built around a single architectural claim: that the absence of any distributional term in the world's two most consequential rule-following institutions, the Taylor Rule and the gravity model of trade, is a design feature rather than a technical accident, and that an explicit equality instrument can be added to each without violating known impossibility results. The paper's contribution is integrative rather than paradigmatic. It does not claim a complete macroeconomic theory of inequality, nor a replacement for the existing heterogeneous-agent New Keynesian literature (Kaplan, Moll, & Violante, 2018; Auclert, 2019; Acharya, Challe, & Dogra, 2023). It claims, more narrowly, that an equality term in monetary and trade architecture is architecturally feasible and conditionally consequential, and that the conditions under which it matters — r > g and incomplete fiscal offset — are maintained hypotheses with substantial though contested empirical support (§1.5, §3.4), not findings of this paper. Even the flagship monetary augmentation is not novel as an equation: inequality-augmented Taylor rules have been written down and welfare-evaluated inside HANK — Ma and Park (2025) put the Gini in the Taylor rule by name, Hansen, Lin, and Mano (2020) evaluate inequality-responsive rules, and Acharya, Challe, and Dogra (2023) derive the optimal-policy counterpart — with welfare gains generally found to be modest. The residual novelty this paper claims is specific: the trade-side instrument (the E_ij^ζ gravity augmentation), the international AGV transfer layer, the joint monetary-trade packaging, and the architectural framing — the claim that the rule-space exclusion of distribution is itself the design choice to examine — rather than the augmented rule in isolation.

The architectural feasibility result rests on the principal theorems. Theorem 1.1' establishes that any Taylor-form rule embeds distributional asymmetry as a design feature, with a conditional corollary (premised on r > g and incomplete fiscal offset) that the architectural asymmetry produces a structural drift in the Gini. Theorem 3.1' establishes bounded exponential-approach convergence of the Gini to a steady state Ḡ < 1 that depends on the balance of forcing terms and counterforces. Theorem 4.7' establishes an AGV-based incentive-compatible architecture for cross-national coordination, committing to BIC + autarky-benchmark IIR + exact budget balance + ex-ante efficiency under explicit common-prior, correlation-fragility, and quasi-linearity caveats — with status-quo interim IR bounded by the Myerson-Satterthwaite frontier. Theorem 5.4' establishes equilibrium existence under the Atkinson constraint, with the Bridging Proposition recovering Gini-denominated reporting. Theorem 5.6' establishes the second-welfare-theorem analogue as a non-operational existence result: the required initial-endowment redistribution exceeds the architecture's seigniorage capacity. Theorem 5.7'' establishes a conditional Kaldor-Hicks / aggregate-welfare improvement over the unconstrained baseline, supplying a potential-Pareto rather than actual-Pareto ordering since the supporting compensations are not operational under Theorem 5.6'. The corrected numerical work (Coda) adds the sharpest boundary of all: within the transfer region where the mechanism's incentive guarantees hold (|t_i| ≤ 5% of GDP), the between-country distribution the transfers can reach is bounded well short of the familiar advanced-economy benchmark — the reachable frontier begins near a Gini of 0.55, not 0.30 — and the paper is fronted around that frontier (§5.6, §A.7, §6.6, Coda).

The architecture's bounded tensions are stated affirmatively rather than as a catalogue of retreats. The target is disposable income Gini (WID and LIS standards); the wealth-channel side effect is acknowledged and routed to a macroprudential complementarity (LTV/DSTI caps, differential capital surcharges) that sits outside the monetary-trade core and is staged jointly with Phase II of the §7 transition path. The flagship national instrument addresses within-country inequality; the more pressing between-country diagnosis is relocated to the §7 multilateral coordination architecture (Bretton Woods 2.0, equality clearinghouse, OECD-equality-tax analogue). The AGV mechanism's BIC guarantee rests on a common-prior assumption that the International Equality Monitoring Authority (IEMA; §7.2) is designed in part to support, and on a quasi-linearity domain (|t_i| ≤ 5% of GDP) that holds where transfers are too small to move the between-country diagnosis and degrades where they would matter — a structural tension the architecture surfaces rather than resolves. The §5.4 fair exchange-rate corridor is a non-binding monitoring band, with a binding upgrade reachable only under coordinated capital-flow management consistent with the Mundell-Fleming trilemma.

Empirical anchoring comes from three case studies — Bhutan's Gross National Happiness framework, New Zealand's Wellbeing Budget, and Mondragon Cooperative Corporation — each treated as a partial implementation of one EIMTS instrument under unfavorable conditions. The pre-specified econometric designs of §6.5 furnish the falsification framework as full implementations begin to appear; the calibration-robustness observation salvaged from the held-back simulation outputs suggests that the rank ordering of nations by equality index is robust to the WID-vs-survey methodological choice. The paper closes with a fifteen-year transition path organized in three phases, a limitations-first conclusion, and an affirmative coda summarizing what the architecture does deliver within its bounded acknowledged tensions: a formally specified, impossibility-result-consistent, institutionally stageable equality-indexed monetary-trade system.

Keywords: equality-indexed monetary policy, disposable income Gini, mechanism design, AGV mechanism, Atkinson constraint, gravity model, distributional macroeconomics, Piketty dynamics, HANK, Bayesian incentive compatibility, macroprudential complementarity, Mundell-Fleming trilemma, Kaldor-Hicks, transition path, Bretton Woods, OECD minimum tax

Revision Note

The paper's argument has been refined across four prior referee rounds; the v6 draft incorporates the v5 referee's "accept with minor-to-moderate revision" disposition. Briefly: v3 (the original 21,640-word draft) presented the architecture with several over-claims — DSIC + ex-post BB + Pareto-dominance combinations forbidden by Green-Laffont; Gini "approaches 1 in finite time"; binding fair-value exchange-rate corridor under open capital accounts. v4 applied Proof Repairs v2, primed Theorems 1.1', 3.1', 4.7', 5.4' to reflect the corrected commitments, moved the CGE formal specification into Appendix A, and softened §6.5 simulation magnitudes against the February 2026 audit. v5 confronted the v4 referee report by removing §6.5 simulation results entirely (the referee's binary choice between bug-disclaimed numbers and removal); committing the target object to disposable-income Gini with explicit wealth-channel acknowledgment and macroprudential complementarity; reframing §5.4 as a non-binding monitoring band consistent with Mundell-Fleming; dropping the DSIC strengthening of Theorem 4.7' because the five-dimensional EIMTS type space does not admit the Myerson one-dimensional payment identity without a defensible scalar projection; reconditioning Theorems 5.6' and 5.7' on operational and externality lower bounds; and surfacing the §3.7 within-/between-country target-instrument mismatch. v6 tightens the i/M independence accounting under endogenous money (new §5.2.x), corrects the Bridging Proposition Atkinson formula at general ε (the v5 formula coincides with the correct formula only at ε = 2), disambiguates the λ and μ notation that the v5 referee identified as carrying four and two distinct meanings respectively, surfaces the quasi-linearity / consequential-region tension between Assumption 4.A and the magnitudes required to move the between-country diagnosis, reclassifies Theorem 5.7'' as conditional Kaldor-Hicks rather than Pareto, adds a macroprudential row to the §5.1 Tinbergen instrument-target table, and closes the Conclusion with an affirmative coda stating what the architecture delivers within its bounded acknowledged tensions. v7 removes residual version-lineage commentary from the body chapters and tightens four notation issues that survived the prior round. v8 (this draft) reconciles the §6.4 Mondragon figures with the v7 referee's verified-current counts (approximately 70,500 worker-owners and €11.2 billion in 2024 industrial-and-distribution sales, with explicit acknowledgment of the 2022 ULMA / Orona departures that reduced the headline workforce from approximately 80,000) and adds the Mondragon Corporation (2024) and TU Lankide (2024) entries to the references. v9 (this draft) executes the July 2026 archive-panel decision (three-referee formal panel — methods lead, adversary, coverage; decision memo in the archive's review records). The blocking repairs: the Coda is reconciled with the body throughout rather than left contradicting it — the paper is re-fronted around the reachable frontier G ≈ 0.55 its corrected numerical work reports, with 0.25–0.35 surviving only as the within-country national illustration (§5.1, §5.6, §6.6, §A.7, Conclusion), and the phantom "Theorem 5.3" citation is removed; Appendix A.6 is re-derived and corrected (Theorem 5.1′: the stability classification is independent of γ, the old γ̄ threshold gates nothing and its cited value 1.70 was wrong on its own formula, which gives 5.83; the α_π = 0.5 Taylor-principle failure and the expectational-closure question are surfaced; the Lyapunov argument is stated conditionally with its factor-of-2 slip fixed); and Theorem 4.7'(ii) is reconditioned — IIR is claimed against autarky under a now-stated calibration, status-quo interim IR is bounded by the Myerson-Satterthwaite (1983) frontier, §3.7's "self-enforcing by construction" is rewritten as cheaper-to-sustain with Nordhaus (2015) and Jackson-Wilkie (2005) cited as the mechanism family, and §4.9's repeated-game concession is made the stated division of labor. The major repairs: novelty is repositioned against the inequality-augmented-Taylor-rule literature (Ma & Park, 2025; Hansen, Lin, & Mano, 2020); a reserve-asset/currency-hierarchy scope limit is added (§5.4.x: Triffin, Gourinchas-Rey, Farhi-Maggiori, Gopinath et al., the bancor-to-SDR lineage) with Rey (2013) sharpening the trilemma discussion; the E_ij index is redesigned from level-similarity to convergence-trajectory form and §2.5's f(E_ij) is made exactly consistent with §5.3; the θ_i measurement-integrity layer is specified with Goodhart (1975) and Lucas (1976) cited and §7.6's circular mitigation withdrawn; the Gini-convexity motivation for the Atkinson substitution is corrected (the Gini is quasiconvex; the substitution now rests on smoothness and welfare-explicitness) and the S_A ⊆ S_G containment is priced via the computed worst-case ceiling G† (§A.7); Definition A.1's object is named a constrained equilibrium with the decentralization caveat stated; Theorem 3.1' is restated as bounded exponential-approach convergence with the corollary's counterforce omission repaired; and the flagged arithmetic is corrected throughout (142.7% for 27.1%; 2.14× for 3.3×; ≈609% close-to-close for 582%; the 1/(2n²μ) Gini normalization; the A.3 CES limits; the SWIID attribution; the §6.5 interaction-term prediction restated as a falsifiable cross-regime contrast). A post-execution two-referee re-run (verification + register audit) then corrected the §4.4 budget-balance tiering — AGV budget balance holds identically ex post, independence gates the incentive guarantee, and the Krishna-Maenner attribution is removed — re-sourced the fiscal-offset premise (Causa & Hermansen 2017, fiscal side only, with φ restated as a maintained hypothesis), refreshed the New Zealand and Bhutan case-study figures and the Wellbeing Budget's post-2023 status, repaired the power-mean concavity step (Hardy-Littlewood-Pólya) and the GE-family labels, replaced the case-study instance-claims with analogue-claims, stated Phase III stability with Phase II's conditionality, named the §7 institutional sketches, extended the measurement-integrity layer to E_ij, added a falsifier accounting to §6.5, and repaired reference entries (Pesaran, Samuelson, Lenza-Slacalek, Roth, Lerner, Tobin, Federal Reserve DFA).

---

§ IThe Monetary Diagnosis

Modern central banking is organized around an objective function that is, by any honest reading, narrower than the institutional power it directs. The canonical formulation, due to Woodford (2003), specifies the central bank's loss function as

L = E_t Σ δ_L^i [π²_{t+i} + λ_y(y_{t+i} − y*_{t+i})²] (1.1)

where L is the loss to be minimized, π is inflation, y is the log of real output, y* is the log of potential output, δ_L is the central bank's discount factor (see the notation glossary in Appendix A.1), and λ_y is the relative weight on output stabilization. The expectation operator E captures the forward-looking character of optimal policy.

The first observation to make about (1.1) is the most consequential. The loss function contains no term for income distribution, wealth concentration, or any measure of equality. Distribution enters neither as a target variable nor as a constraint. This is not an oversight. It reflects a theoretical consensus, dating to Tinbergen's (1952) assignment rule, that monetary policy should target aggregate variables while fiscal policy addresses distribution. The consensus has remained intellectually dominant even as the empirical literature documenting monetary policy's distributional consequences has grown to substantial weight (Coibion, Gorodnichenko, Kueng, & Silvia, 2017; Auclert, 2019; Andersen, Johannesen, Jørgensen, & Peydró, 2023; Lenza & Slacalek, 2024). The operational translation of (1.1) into a policy rule is the Taylor Rule (Taylor, 1993):

i_t = r* + π_t + α(π_t − π*) + β(y_t − y*) (1.2)

which prescribes the nominal interest rate as a linear function of the inflation gap and the output gap. The rule's simplicity is its strength and its failure. It responds to two signals only — whether prices are rising too fast and whether the economy is producing below capacity — and its mechanism, adjusting the price of credit, has profoundly asymmetric effects across the wealth distribution.

1.1 Asymmetric Transmission

Partition the population into asset holders A with wealth share w_A and wage earners W with wealth share w_W, where w_A + w_W = 1. Under the Taylor Rule regime, ∂W_A/∂i < 0 and ∂W_W/∂i ≈ 0 when i_t decreases (loosening); ∂W_A/∂i > 0 and ∂W_W/∂i < 0 when i_t increases (tightening). Monetary loosening primarily increases asset values, benefiting A; tightening primarily reduces employment and wages, harming W. The transmission is structurally asymmetric: the gains of loosening accrue to capital, while the costs of tightening fall on labor. The mechanism is mechanical. When the central bank lowers i_t, the present value of future cash flows from assets rises by ΔPV ≈ −D · PV · Δi/(1+i), where D is Macaulay duration; this is a property of present-value discounting, not an empirical conjecture (Christiano, Eichenbaum, & Evans, 2005). Asset holders benefit directly. Credit expansion stimulates investment but reaches wage earners only through employment with a lag of six to eighteen months. When the central bank raises i_t to fight inflation, the employment channel contracts faster than asset prices adjust because of downward wage rigidity and hiring frictions. The asymmetry is the joint product of the mathematics of discounting and the empirical fact that asset holdings are concentrated — the top decile of U.S. households holds roughly 85–90% of corporate equities and about three-quarters of debt securities (Federal Reserve Distributional Financial Accounts, 2022).

1.2 The Cantillon Effect

Cantillon (1755) observed that newly created money does not enter the economy uniformly. Those who receive new money first can spend it before prices adjust, gaining real purchasing power at the expense of those who receive it last. Model money creation as diffusion through a financial network G = (V, E) where V is the set of economic agents and E represents financial relationships. The Cantillon distance d_C(i) of agent i is the shortest weighted path from the money creation source (central bank or commercial bank) to agent i in G. Under money creation ΔM > 0, the real wealth gain to agent i is a decreasing function of Cantillon distance. The mechanism operates through the time lag between money injection and price adjustment: if the general price level P(t) follows P(t) = P_0 + (P_1 − P_0)(1 − e^(−θt)), an agent receiving the new money at time τ(i) proportional to d_C(i) gains real purchasing power Δm_i/P(τ(i)) − Δm_i/P_1, which is positive for agents close to the source and approximately zero for those far away.

This is a topological property of money-injection networks, not an empirical conjecture about institutions. It requires only that money enters through specific nodes, that the network has non-zero diameter, and that price adjustment is not instantaneous — all three conditions satisfied by the construction of the contemporary monetary system. In the model's assignment — a construction, not a measurement — commercial banks sit at d_C = 1, financial institutions at d_C = 2, corporate borrowers at d_C = 3, wage earners at d_C ≥ 5, and transfer recipients at d_C ≥ 7; the empirical content is the ordering of proximity to the creation point, not the integer labels.

1.3 Quantitative Easing as Empirical Demonstration

The Cantillon effect moved from theoretical concern to empirical demonstration with quantitative easing. Between 2008 and 2022 the Federal Reserve expanded its balance sheet from roughly $900 billion to $8.9 trillion — a ten-fold increase. The wealth effect of large-scale asset purchases (LSAPs) follows ΔW_i = α_i · ΔP(assets) + (1 − α_i) · Δw_i(labor), where α_i is agent i's asset share of total wealth. Because LSAPs operate primarily through the asset price channel and because α is highly concentrated (α > 0.9 for the top decile; α < 0.1 for the bottom half), the distributional consequence is mechanical: ΔGini(QE) > 0. Over the QE era the S&P 500 rose approximately 609% from its March 2009 closing low to its January 2022 closing peak (roughly 623% measured intraday trough to peak); over the same period median real wages rose on the order of 5–9%, series- and endpoint-dependent. The asset-price channel of QE delivered wealth gains on the order of thirty trillion dollars predominantly to households already in the top decile (an order-of-magnitude reading of the Federal Reserve's Distributional Financial Accounts), while wage gains were modest and broadly distributed (Saiki & Frost, 2014; Mumtaz & Theophilopoulou, 2017; Furceri, Loungani, & Zdzienicka, 2018). The HANK literature (Kaplan, Moll, & Violante, 2018; Auclert, 2019) has refined the formal mechanism through which this happens, distinguishing the direct interest-rate channel, the indirect general-equilibrium channel, and the asset-revaluation channel that dominates for portfolio-rich households; the qualitative direction is no longer in serious dispute among researchers working in this literature.

1.4 Seigniorage and Its Distribution

Seigniorage — the revenue from money creation — is a hidden fiscal instrument with first-order distributional consequences. Under the current architecture the vast majority of money is created not by central banks but by commercial banks through lending. The money-multiplier decomposition S = S^cb + S^bank with S^bank = (m − 1)ΔM_0/P that older textbook accounts used is theoretically obsolete. The contemporary central-banking consensus, articulated explicitly in the Bank of England's Money creation in the modern economy report (McLeay, Radia, & Thomas, 2014) and developed further in the modern-monetary-theory literature (Wray, 2015; Kelton, 2020), is that commercial-bank money creation operates endogenously through the loan-issuance process — banks create deposits when they extend credit, constrained by capital requirements, profitability of lending, and central-bank policy rates rather than by a fixed multiplier on reserves. The seigniorage that accrues to the commercial-banking sector is the interest-rate spread between lending and deposit rates, sized by the credit demand the banking sector chooses to accommodate at prevailing margins; it is not mechanically determined by the central bank's reserve injection.

The distributional consequence is unchanged by the corrected framing: commercial-bank credit creation systematically advantages the agents closest to the credit-creation point (the Cantillon distance gradient of §1.2), and the asset-revaluation channel of §1.1 directs the gains predominantly to the top of the wealth distribution. What the endogenous-money framing changes is the architectural reading of the policy-instrument space: the binding constraint on money creation by sovereign currency issuers is inflation, not a multiplier-and-reserves accounting identity (Kelton, 2020), so an equality-indexed money supply rule M(eq) = M(base) · Ψ(E_t) is feasible provided the inflation constraint is respected. The Tinbergen separation that traditionally assigned distributional response to fiscal policy alone presupposes precisely the multiplier-framed mechanical accounting that the endogenous-money literature has displaced; once distribution can be addressed through the price and quantity of credit at margins the central bank actually controls, the conventional assignment is a design choice rather than a technical constraint. The implications of this commitment for the operational independence of the equality-indexed money-supply rule (§5.2) are addressed in §5.2.x.

1.5 Theorem 1.1': Monetary Design Embeds Distributional Asymmetry

The four mechanisms above — asymmetric transmission, Cantillon ordering, the QE asset-price channel, seigniorage allocation — share a common structural feature: they hold for any parameterization of the Taylor Rule because the rule's action space does not include a distributional instrument. The architectural part of the result holds by inspection; the consequential part — that the Gini drifts upward under current-architecture parameterizations — is conditional on empirically testable premises (r > g; incomplete fiscal offset) rather than a structural axiom. The theorem statement below separates the two.

Theorem 1.1' (Monetary Design Embeds Distributional Asymmetry). Under any monetary policy rule of the form i_t = f(π_t, y_t) that excludes distributional terms, the following hold: (a) The transmission mechanism is asymmetric: rate changes affect asset holders and wage earners differently in both sign and magnitude. (b) The money creation process is sequential: agents closer to the point of injection capture real purchasing power before price adjustment. (c) These asymmetries are design features of the policy architecture — they hold for any parameterization of α and β in the Taylor Rule — not consequences of particular economic conditions.

Conditional Corollary. If additionally (i) r > g holds on average over the relevant horizon, and (ii) fiscal redistribution is insufficient to fully offset channels (a)–(b), then the monetary channels contribute a strictly positive forcing term to the Gini dynamics of Theorem 3.1', raising the steady state Ḡ above its closed-channel counterfactual; from any position below that steady state the Gini rises, at a rate whose monetary-channel contribution is bounded below by a function of the Cantillon distance gradient and the r − g gap.

Part (a) follows from present-value mechanics combined with the empirical concentration of asset holdings. Part (b) is the topological property of money-injection networks established above. Part (c) is by inspection: the Taylor Rule i_t = r* + α(π_t − π*) + β(y_t − y*) responds exclusively to aggregate variables, and no parameterization can introduce a distributional response without enlarging the rule's domain. The Conditional Corollary names the two empirical premises explicitly. Premise C1, r > g, is Piketty's (2014) central finding, documented across two centuries of data for twenty-plus countries; it is an empirical regularity, not a theorem, and it has been challenged in the live literature by Mankiw (2015) and Krusell and Smith (2015), whose objections rest on the claim that consumption out of capital income should narrow the gap. Both Piketty's reply and the subsequent calibration work suggest the gap persists under most reasonable parameter choices; we treat C1 as a maintained hypothesis. Premise C2, incomplete fiscal redistribution, is captured by the offset ratio φ = |ΔGini(fiscal)| / |ΔGini(monetary)|. No published estimate of φ as defined exists; what the literature measures is the fiscal numerator alone — Causa and Hermansen (2017) put OECD tax-and-transfer redistribution at roughly a quarter of market-income inequality on average, ranging from about 5% to about 40% across members — while the monetary denominator is exactly the object Chapters 1 and 6 argue goes unmeasured. C2 is therefore a maintained hypothesis in the same sense as C1: the claim that fiscal offset does not fully undo the monetary channels (φ < 1), which the §6.5 designs are built to test rather than a number the literature supplies. Full proof is in Appendix A.4.

The qualitative consequence of 1.1' is sharper even though the quantitative claim is weaker. The architectural part is now unconditional: no Taylor-Rule parameterization will respond to distributional outcomes, because the rule's action space does not include them. The conditional part names the testable premises under which the architectural feature becomes a structural Gini drift, rather than smuggling those premises in unannounced. This is the necessity, under the conditional corollary, of an explicit distributional instrument in the policy rule — not necessarily the γ(G_t − G*) term we propose in Chapter 5, but some instrument that enlarges the rule's domain to include distribution. The case for the specific γ(G_t − G*) augmentation rests on the equilibrium and welfare results of Chapter 5; the architectural case for any distributional instrument rests on Theorem 1.1' alone.

---

§ IIThe Trade Diagnosis

If the monetary system embeds distributional asymmetry through silence, the trade system embeds it through a richer set of mechanisms — none individually decisive, but jointly producing a structural pattern that the post-1945 trade-liberalization consensus has consistently underestimated. This chapter walks through the canonical trade-theoretic apparatus — Heckscher-Ohlin, Stolper-Samuelson, Prebisch-Singer, new trade theory, the gravity model — not because each remains the live frontier of the field (it does not; modern trade theory has moved on to Eaton-Kortum, Melitz, and the global-value-chains literature of Antràs, 2003, 2020) but because each contributes one element of the inequality-generating mechanism the Equality-Indexed Monetary-Trade System is designed to interrupt. The exposition is therefore historical in sequence and synthetic in argument: we trace the structure that emerged across these literatures, locate the assumption failures that produce the inequality pattern, and conclude with a theorem (Theorem 2.4') that the architecture transfers real surplus from periphery to core under joint conditions overwhelmingly satisfied in the empirical record.

2.1 The Heckscher-Ohlin Framework and Its Limitations

The Heckscher-Ohlin (H-O) model, developed by Heckscher (1919) and Ohlin (1933), provides the canonical comparative-advantage account: countries export goods that are intensive in their abundant factors and import goods intensive in their scarce factors. Two countries (Home labor-abundant, Foreign capital-abundant), two factors (labor L and capital K), two goods (manufactures M and primary commodities P); each country has factor endowments differing in ratio, common technology coefficients a_ij representing the amount of factor i required per unit of good j, and access to costless trade. Under these assumptions the labor-abundant country exports labor-intensive goods, the capital-abundant country exports capital-intensive goods, and a striking corollary — the Factor Price Equalization theorem (Samuelson, 1948) — predicts that trade in goods alone causes factor prices to converge across countries. Workers in labor-abundant countries need not migrate to capital-abundant countries because trade brings them the same real wage benefit.

Six decades of trade liberalization have not produced factor price equalization. Real wages in high-income countries remain roughly 5–15 times higher than in low-income countries at market exchange rates despite continuous integration. The most fundamental failure is in technology. Technology is not identical across countries; high-income countries employ vastly more capital-intensive and sophisticated production processes than low-income countries. A manufacturing facility in Germany producing precision machinery uses on the order of ten times the capital per worker of a comparable facility in Bangladesh producing textile machinery (an illustrative magnitude). The capital-efficiency gap Ω_M = a_KM^F / a_KM^H > 1 implies that wage-rental ratios cannot equalize: the foreign (low-income) economy must employ less efficient processes to remain competitive, locking wages permanently below the capital-rich country's level. Trade equilibrium does not lead to FPE; it locks countries into their technological positions. Costinot and Rodríguez-Clare (2014) and Eaton and Kortum (2002) provide the modern quantitative trade theory in which the FPE failure is no longer a puzzle but a property — productivity differences are the primary observable, and the framework predicts persistent wage gaps as a consequence.

The second failure is in transport costs, which are far from zero and asymmetric. Primary commodities face ad valorem transport costs of roughly 8–15% of value; manufactures face 2–5%. The arbitrage-free pricing condition becomes P_j^F = P_j^H · (1 + τ_j) for importers; the periphery faces systematically higher prices for imported capital-intensive manufactures while receiving lower prices for primary-commodity exports. The terms of trade move against the commodity exporter. The third failure is incomplete specialization: empirically, countries do not produce both goods in equilibrium at all factor-endowment combinations, particularly at the lower end of the development distribution where commodity specialization is near-complete. When H-O.1 and H-O.2 are violated jointly, trade liberalization can increase within-country inequality in the labor-abundant country even when it increases average real incomes — by creating low-wage commodity-sector employment while leaving the high-wage manufacturing sector inaccessible because of the technology gap.

2.2 Stolper-Samuelson and Within-Country Inequality

While H-O explains which goods countries export, Stolper and Samuelson (1941) explain the distributional consequences. In a two-factor, two-good model, an increase in the price of the capital-intensive good causes the wage (return to labor) to fall proportionally more than the price rises, while the rental rate (return to capital) rises proportionally more than the price rise. This is the magnification effect: factor returns are magnified relative to goods prices. Trade liberalization in a capital-abundant country opening to trade raises the price of the capital-intensive export good (this is the H-O export pattern), so capital returns r rise more than proportionally while labor returns w fall — a clarifier worth stating explicitly because the direction of the result is sometimes misreported in policy discussion. The Stolper-Samuelson direction depends on which factor is used intensively in the good whose relative price rose; "rise" and "fall" reverse across countries depending on the country's factor endowment.

The practical implication is stark. A 10% fall in the relative price of manufactures (in a country where manufactures are the capital-intensive sector) reduces wages by more than 10% while increasing capital returns by more than 10%. When trade liberalization causes the relative price of primary commodities to fall — which it persistently does, as the Prebisch-Singer literature established — the Stolper-Samuelson mechanism predicts increasing wage inequality over time. Within the periphery (primary-commodity exporters) this manifests as a widening wage gap between skilled workers in protected capital-intensive sectors and unskilled workers in commodity production. Autor, Dorn, and Hanson's (2013) China-syndrome analysis documents the comparable mechanism in the core: import competition concentrated in particular regional labor markets produced persistent local wage and employment losses that the standard aggregate gains-from-trade calculation did not capture. Stolper-Samuelson is not an inequality result against trade per se; it is a result that trade liberalization redistributes within both partners, and the redistribution favors capital where commodity prices fall and labor where commodity prices rise. In the world we actually have, with persistent commodity-price decline, the net effect is upward inequality drift in both the periphery and the import-competing regions of the core.

2.3 Prebisch-Singer: Structural Terms-of-Trade Deterioration

Prebisch (1950) and Singer (1950), working independently, observed that primary-commodity exporters experienced persistent deterioration in their terms of trade. Their hypothesis — that commodity prices decline secularly relative to manufactured-goods prices — fundamentally challenges the symmetric-gains-from-trade reading. Two mechanisms drive the secular deterioration. Income elasticity divergence: demand for primary commodities is income-inelastic (∂Q_primary/∂Y < 1) while demand for manufactures is income-elastic (∂Q_manuf/∂Y > 1). If global real income grows at rate g, commodity demand grows at g · η_primary < g and manufactured-goods demand at g · η_manuf > g. With supply of commodities relatively fixed by land and resource constraints, the slow-growing demand produces persistent price pressure. Technological progress in manufacturing: manufacturing sectors in developed countries experience rapid productivity growth (φ_m > 0.03 per year empirically), reducing manufactures' supply price, while primary-commodity sectors face slower productivity growth (φ_p < 0.02 per year) and binding environmental constraints. The productivity gap drives manufacturing costs down faster than commodity costs, reinforcing the price decline.

Combining mechanisms, the real terms of trade for a commodity exporter follows ToT(t) = ToT(0) · exp(−λ_ToT · t) with λ_ToT ≈ 0.01–0.02 per annum empirically (subscripted to distinguish from the four λ-uses disambiguated in §A.1; this is a §2.3-local terms-of-trade decline rate, not one of those four). Over the sixty-year window 1960–2020, this implies ToT(2020) / ToT(1960) ≈ 0.41 — the terms of trade of a typical commodity exporter in 2020 are roughly 41% of their 1960 level. UNCTAD's long-run compilation (United Nations Conference on Trade and Development, 2023) is consistent with the pattern: on the reading this paper relies on, the non-fuel real price index falls from 100 (1960) to approximately 42 (2023) — a secular decline the 2003–2011 supercycle interrupted without reversing. Countries that diversified away from commodities — South Korea, Taiwan, Singapore — achieved convergence in living standards; those that remained commodity-dependent stagnated. The Prebisch-Singer hypothesis is not merely theoretical: it describes observable, persistent global inequality in trade patterns over the full post-1945 record.

2.4 New Trade Theory: Self-Reinforcing Advantages

Classical trade theory assumes perfect competition and constant returns to scale. Krugman's (1979, 1991) work on increasing returns and monopolistic competition demonstrated that trade advantages can be self-reinforcing and entirely path-dependent. A production process exhibits increasing returns when average costs fall as production quantity increases: AC_i = F / Q + c, where F is a fixed cost. As Q rises, AC falls. This creates economies of agglomeration: regions with larger concentrations of a sector benefit from lower costs, attracting more firms, which further reduces costs. The core-periphery model that results predicts that the region achieving manufacturing concentration first — the core — retains its advantage indefinitely, even after initial technological or endowment differences disappear. The steady-state wage in each region depends on market potential, the sum of nearby demand weighted by trade costs. The core, with a large local market and low internal trade costs, achieves higher wages; the periphery, with small local markets and high trade costs to large markets, cannot match them.

Krugman (1980) further showed that larger markets specialize in goods with increasing returns — the home market effect. This explains why the United States produces a disproportionate share of high-tech goods and services not because of endowments but because of market size, while peripheral countries with small local markets cannot achieve the scale needed to compete in increasing-returns sectors. They specialize in commodities by elimination, not by comparative advantage in any deep sense. Melitz (2003) and Helpman (2011) refined this further: heterogeneity in firm productivity means that trade liberalization produces winners and losers within sectors, reallocating production toward the most productive firms in each country. The mechanism explains why trade liberalization has failed to produce convergence and why aggregate gains-from-trade calculations can be technically correct while masking very large distributional consequences in both partner countries.

2.5 The Gravity Model

The gravity model of trade is the workhorse empirical framework in international economics. Anderson and van Wincoop (2003) provide the theoretically-grounded specification reconciling gravity with new trade theory:

T_ij = (Y_i · Y_j / Y_world) · (t_ij / (Π_i · P_j))^(1−σ) (2.27)

where T_ij is bilateral trade flow, Y_i and Y_j are GDPs, t_ij is bilateral trade costs (iceberg costs: selling one unit requires shipping 1+t_ij), Π_i and P_j are multilateral resistance indices, and σ is the elasticity of substitution (typically 5–8). The multilateral resistance terms capture each country's position in the global trade network: a country with many costly trade relationships faces high multilateral resistance and thus trades less with all partners. Head and Mayer (2014) survey the workhorse-toolkit-cookbook role gravity plays in modern empirical trade work. Empirical gravity estimates reveal systematic asymmetries: high-income country exporters face lower effective trade costs than low-income country exporters for identical products, reflecting quality standards, logistics networks, financial access, and informational advantages correlated with income. The model as currently estimated includes t_ij as an exogenous parameter capturing geography, tariffs, and distance. The actual trade costs facing exporters depend on income level, institutional quality, and technological sophistication — factors that create asymmetric disadvantages for periphery countries that the canonical gravity specification absorbs into the multilateral resistance term without exposing as policy-relevant.

The Equality-Indexed Monetary-Trade System modifies this baseline by introducing an equality index E_ij that adjusts trade costs as a function of the bilateral equality trajectory between exporters and importers (§5.3 develops the index in convergence form). The modified gravity equation is

T_ij^EIMTS = (Y_i · Y_j / Y_world) · (t_ij · f(E_ij) / (Π_i · P_j))^(1−σ) (2.30)

where f(E_ij) = E_ij^(ζ/(1−σ)) is the cost-side expression of the equality adjustment: since 1 − σ < 0 and ζ > 0, f is decreasing in E_ij, so pairs whose bilateral equality deteriorates face higher effective trade costs, and raising (2.30) to its exponent shows it reduces exactly to the flow-side form T_ij · E_ij^ζ of eq. (5.15) — the two chapters state one modification, not two. f(E_ij) = 1 under current conditions (the baseline normalization E_ij = 1). The exponent form fixes the orientation unambiguously: deteriorating bilateral equality raises effective trade costs, never the reverse. The full development — including the convergence-trajectory design of E_ij, and the elasticity ζ (renamed from γ to avoid overloading with the Taylor Rule equality coefficient; see Appendix A.1) — appears in Chapter 5.

2.6 Theorem 2.4': Conditional Trade-Structural Inequality

We can now state the trade-side analogue to Theorem 1.1'. The five mechanisms developed in this chapter — technological asymmetry (2.1), Stolper-Samuelson wage compression in commodity exporters (2.2), Prebisch-Singer terms-of-trade deterioration (2.3), new-trade-theory core-periphery lock-in (2.4), and gravity-model multilateral-resistance asymmetry (2.5) — operate independently but do not unconditionally point in the same direction. Each admits counter-cases in isolation. Their joint operation under the conjunction of four enabling conditions, identified explicitly below, produces the structural-bias pattern that the post-1945 trade-liberalization consensus has consistently underestimated.

Theorem 2.4' (Conditional Trade-Structural Inequality). Under the joint conditions (i) divergent factor endowments across countries, (ii) heterogeneous price elasticities in primary versus industrial export sectors, (iii) self-reinforcing agglomeration economies in manufacturing, and (iv) gravity-weighted bilateral trade flows reflecting unequal multilateral resistance, the five mechanisms summarized in §§2.1–2.5 — Heckscher-Ohlin factor specialization, Stolper-Samuelson wage compression in commodity exporters, Prebisch-Singer secular terms-of-trade deterioration, new-trade-theory core-periphery lock-in, and gravity-model multilateral-resistance asymmetry — jointly produce a structurally biased distribution of gains from trade. The net real income gain to a peripheral country from trade satisfies ΔY_peripheral/Y_peripheral < ΔY_core/Y_core over multi-decade periods, and the absolute wage gap d(w_peripheral − w_core)/dt < 0 widens over time, by joint conditional inference from the five mechanisms.

The architectural reading mirrors 1.1'. The four joint conditions are structural features of the current trade system, not contingent properties that depend on particular policy choices in peripheral countries. As with the monetary case, the consequential reading — actual deterioration in observed terms of trade and wage gaps — is conditional on the empirical persistence of all four conditions jointly, each of which is observably persistent at the multi-decade scale. No policy adjustment within the peripheral country alone can overcome the pattern unless the architecture itself is reformed: this is the trade analogue of the necessity, under Theorem 1.1', of an explicit distributional instrument in the policy rule. Full proof structure follows the conditional template of 1.1' and appears in Appendix A.5. One ancestry must be acknowledged and differentiated: Emmanuel's (1972) unequal-exchange thesis anticipated the claim that the trade system transfers surplus from periphery to core. Theorem 2.4' is not that thesis. Emmanuel derived the transfer from a labor theory of value with internationally mobile capital and immobile labor; 2.4' derives a conditional version from the mainstream apparatus itself — H-O assumption failures, Stolper-Samuelson incidence, Prebisch-Singer dynamics, agglomeration lock-in, gravity asymmetries — under four testable enabling conditions, with counter-cases admitted in the proof (Korea's industrial-policy escape, the post-1990 Latin American Gini declines, commodity supercycles). The claim is weaker than Emmanuel's and, for that reason, defensible where his is not: no value-theoretic commitment is required, and the conditions can fail.

The corollary is now familiar. The convergence of global real wages requires modification of the trade architecture itself — specifically, adjustment of multilateral trade costs and gravity-model parameters to internalize an equality objective. The EIMTS framework provides this by introducing E_ij into the gravity equation and by routing the resulting trade-cost adjustments through the monetary side via the fair-value exchange-rate monitoring band developed in §5.4. The detail of the architecture is the work of Chapters 4 and 5.

2.7 Synthesis

This chapter has argued that contemporary trade architecture transfers real surplus from low-wage to high-wage economies when the four enabling conditions of Theorem 2.4' hold jointly — conditions observably persistent at the multi-decade scale, though each of the five contributing mechanisms admits counter-cases in isolation (§2.6). The H-O model's assumptions of identical technology and zero transport costs systematically fail; the Stolper-Samuelson mechanism redistributes within both partners and produces widening wage inequality where commodity prices fall; Prebisch-Singer documents the secular deterioration of primary-commodity terms of trade over six decades of UNCTAD data; new trade theory shows that manufacturing advantages are self-reinforcing and path-dependent rather than endowment-based; the gravity model reveals how trade costs asymmetrically burden low-income exporters. Theorem 2.4' synthesizes these into the conditional architectural claim, and draws the consequential claim from observably persistent empirical conditions. The trade system does not fail because of mismanagement in peripheral countries. It fails because the design assumptions on which liberal trade policy was justified are not, and have never been, satisfied in the world it was implemented in. The case for equality-adjusted trade weights — the formal subject of Chapter 5 — is structurally identical to the case for an equality term in the policy rule: the rule's action space, as currently constructed, does not respond to the distributional consequences its own mechanism generates.

---

§ IIIThe Inequality Mathematics

The two preceding chapters established that contemporary monetary and trade architectures embed distributional asymmetry through the absence, in each rule's action space, of any term that responds to distributional outcomes. This chapter develops the formal machinery required to talk precisely about distributional outcomes: the Gini coefficient and Lorenz curve, the Atkinson index (which will become the formally binding constraint in our model — see §5.6 and Theorem 5.4'), the Theil index and its decomposability, Piketty's two fundamental laws, and the Pareto-tail dynamics that emerge endogenously from multiplicative growth. The chapter then synthesizes these into Theorem 3.1', the revised inequality-monotonicity result, and corollaries that explain why the EIMTS constraint matters once bounded convergence (rather than finite-time approach to 1) is the operative dynamics.

3.1 The Gini Coefficient: Derivation and Properties

The Gini coefficient, formulated by Gini (1912), is the most widely-used scalar measure of inequality. For a population with incomes y_1, y_2, …, y_n sorted in ascending order with mean μ, the mean absolute difference is MAD = (1/n²) Σ_i Σ_j |y_i − y_j|. The Gini coefficient normalizes by 2μ:

G = MAD / (2μ) = (1/(2n²μ)) Σ_i Σ_j |y_i − y_j| (3.2)

Rearranging into the standard single-index form yields G = (2 Σ_i i·y_i) / (n · Σ_i y_i) − (n+1)/n. The Gini ranges from 0 (perfect equality) to 1 (perfect inequality). Define the Lorenz curve L(p) as the fraction of total income earned by the poorest fraction p of the population; L rises from (0,0) to (1,1), and perfect equality is the line L(p) = p. The Gini coefficient equals twice the area between the Lorenz curve and the equality line: G = 1 − 2 ∫_0^1 L(p) dp. The Gini is bounded in [0,1], satisfies the Pigou-Dalton transfer principle (a progressive transfer strictly decreases G), is population-invariant, and is scale-invariant.

It has two limitations that matter for our purposes. First, different income distributions can yield identical Gini values while differing significantly in social welfare implications — the Gini is insensitive to whether inequality comes from many moderate differences or from a small ultra-wealthy elite. Second, unlike some inequality measures, the Gini is not decomposable into within-group and between-group components, limiting its usefulness for the multi-level monitoring the EIMTS architecture requires. Both limitations motivate the introduction of the Atkinson and Theil indices below; the Atkinson, in particular, will become the formally binding constraint in the equilibrium model, with the Gini surviving as a reporting metric via the Bridging Proposition of §5.6.

3.2 The Atkinson Index

Atkinson (1970) developed an inequality measure grounded explicitly in social welfare theory. For a distribution with mean μ, the Atkinson index with inequality-aversion parameter ε is

A^ε(x) = 1 − [Σ_i (x_i/μ)^(1−ε) / n]^(1/(1−ε)) (3.6)

with the limiting log-form at ε = 1. The parameter ε ∈ (0, ∞) reflects society's aversion to inequality: ε → 0 makes A^ε insensitive to inequality and focuses on the mean alone; ε → ∞ approaches a maximin (Rawlsian) criterion concentrating on the poorest individual. The welfare interpretation is the fraction of income society could sacrifice while maintaining social welfare if all income were distributed equally. The equally-distributed-equivalent income is Y_ede = μ · [Σ_i (x_i/μ)^(1−ε) / n]^(1/(1−ε)), and A^ε = 1 − Y_ede/μ.

The Atkinson index has three properties that the Gini lacks and that will matter for the equilibrium-existence proof in §5.6. First, it is grounded in social welfare theory and admits democratic determination of ε rather than treating inequality as a purely technical matter. Second, for ε > 1 the set {x : A^ε(x) ≤ A*} is convex — and so are the Gini's sub-level sets (the Gini is quasiconvex on the positive orthant; see §5.6), so convexity does not by itself force the Atkinson choice; what the Atkinson form adds is smoothness where the Gini is kinked at ties and an explicit, democratically settable aversion parameter. These properties are what make Atkinson the natural formal constraint for the EIMTS equilibrium problem; the model carries the Atkinson constraint A^ε(x) ≤ A* throughout, with Gini-denominated reporting recovered via the Bridging Proposition. Third, the Atkinson index is in the Lorenz-respecting family of inequality measures, so it agrees with the Gini ordering on the empirically relevant Lorenz-comparable subset of distributions.

3.3 The Theil Index and Decomposability

The Gini's non-decomposability is a critical limitation for a multi-level architecture. The Theil index, derived from information theory (Theil, 1967), provides the decomposable alternative. For a distribution with mean μ, the Theil T-statistic is T = (1/n) Σ_i (y_i/μ) ln(y_i/μ), which equals zero under perfect equality and ranges up to ln(n). When the population is partitioned into K groups with sizes n_k, means y_k, and income shares s_k = n_k y_k / (nμ), the Theil decomposes additively as

T_total = T_between + T_within (3.9)

where T_between = Σ_k s_k ln(y_k/μ) and T_within = Σ_k s_k · T_k. The decomposition follows from ln(y_i/μ) = ln(y_i/y_k) + ln(y_k/μ) and regrouping. Decomposability lets EIMTS monitor equality simultaneously at multiple levels — within nations, between nations, and globally — and lets the architecture respond to each level with its appropriate instrument. The Theil is a member of the generalized-entropy family GE(α) = (1/(α² − α)) · [(1/n) Σ_i (y_i/μ)^α − 1]; α = 0 yields the mean logarithmic deviation (Theil L), α = 1 yields Theil T, α = 2 yields half the squared coefficient of variation. Different α values emphasize different parts of the distribution. Cowell (2011) provides the standard reference.

3.4 Piketty's Fundamental Laws

Piketty's (2014) synthesis of two centuries of economic data establishes two fundamental laws governing capital accumulation. Let κ denote the capital-to-income ratio (see Appendix A.1 for the notation glossary), r the rate of return on capital, and α the capital share of total income. Piketty's First Law is the accounting identity α = r · κ. Piketty's Second Law states that in the long run, the capital-income ratio converges to κ* = s / g, where s is the savings rate and g is the economic growth rate. In steady state, capital accumulates at rate s per year and growth erodes its share at rate g per year, yielding a stock-to-flow ratio of s/g. Combining the two laws, α = r · s / g.

The critical observation: empirically and historically, r > g. Capital returns of roughly 4–5% historically exceed economic growth of 1–2%, so α rises over time. Wealth for a capital owner with initial wealth W_0 grows as W_t = W_0(1 + r)^t (ignoring consumption), while average wealth grows at (1 + g)^t. The compounding gap is substantial: over thirty years, an annual difference of 3% (r − g = 0.03) compounds to a 142.7% larger relative position for capital (1.03³⁰ ≈ 2.43). Mankiw (2015) and Krusell and Smith (2015) have contested the inevitability of this gap — Mankiw argues that consumption out of capital income should narrow it; Krusell and Smith argue that depreciation in net-of-depreciation accounting changes the picture substantially. Piketty's reply, supported by subsequent calibration work, is that even under reasonable consumption-and-depreciation accounting the gap persists in most periods, and the post-WWII compression — when r ≈ g for several decades — was a function of high growth, capital destruction, and confiscatory wartime taxation rather than a structural property of the economy. The debate continues; we treat r > g as a maintained hypothesis throughout, as in the proof of Theorem 1.1'.

3.5 Power-Law Wealth Distributions

Historical and contemporary wealth distributions do not follow bell curves. They exhibit heavy right tails described by power laws. The Pareto distribution P(X > x) = (x_m / x)^α (with x_m the minimum wealth level and α the shape parameter) is the canonical form; low α implies heavy tails (more ultra-wealthy), high α implies thinner tails. For a pure Pareto distribution, the Gini coefficient is G_Pareto = 1 / (2α − 1). With α = 1.5 — the empirically observed value for the top 1% in wealthy nations — the Gini contribution from wealth concentration alone is G = 1/2 = 0.50. Empirical evidence (Piketty & Saez, 2003; Milanovic, 2016; Piketty, Saez, & Zucman, 2018; Chancel, Piketty, Saez, & Zucman, 2022) gives top-1% tail exponents of α ≈ 1.5–1.7, top-0.1% exponents of α ≈ 1.0–1.2, and top-10% exponents of α ≈ 2.0–2.5, consistent across France, Germany, the UK, and the United States. The World Inequality Database, on which we will rely heavily for the case studies in Chapter 6 (Alvaredo, Chancel, Piketty, Saez, & Zucman, 2018; Chancel et al., 2022), confirms the persistence of these patterns at the longest time scales modern data permit.

Why do power laws emerge? Gabaix (1999) proved that they arise endogenously from multiplicative random growth. If agents have wealth W_i(t+1) = R_i(t) · W_i(t) with R_i drawn independently from a distribution with mean μ_r > 1, subject to non-negativity (no bankruptcy), the process generates a stationary distribution with a power-law tail. The tail exponent depends on the variance of growth rates: small differences in annual returns, compounded over decades, generate exponential differences in final wealth. An agent with consistent 6% returns versus 4% over forty years ends with (1.06/1.04)^40 ≈ 2.14× more wealth. Multiplicative processes naturally produce concentration. The Gini coefficient under such dynamics approaches a deterministic limit that depends on growth-rate variance. Across the SWIID compilation (Solt, 2020), market Ginis cluster in a relatively narrow band across countries and decades — a pattern consistent with this prediction — with redistribution moving observed disposable-income Ginis below the market values by an amount that varies with the redistribution capacity of the state.

3.6 Theorem 3.1': Conditional Bounded Inequality Convergence

The Gini dynamics under the current monetary-trade architecture converge monotonically to a bounded steady state Ḡ < 1 — from below when G_0 < Ḡ (the global between-country calibration) and from above when G_0 > Ḡ (the OECD-average within-country calibration) — rather than reaching full concentration in finite time. Once counterforces are quantified, the underlying ODE is first-order linear — dG/dt = A − BG — and delivers bounded exponential approach to Ḡ: not logistic dynamics, and not finite-time approach to 1.

Theorem 3.1' (Conditional Bounded Inequality Convergence). Under the maintained hypotheses (H1) r > g on average, (H2) current monetary architecture (no distributional term in the policy rule), and (H3) multiplicative income growth with stochastic shocks, the Gini coefficient follows the first-order linear dynamics

dG/dt = A − BG

where the forcing aggregate A = η_1(r − g)π_k + (1 − φ)η_2 + η_3 σ² + μ_d G_L is strictly increasing in the r − g gap and strictly decreasing in the fiscal offset ratio φ, and the counterforce aggregate B = τ̄ + δ + μ_d > 0. The trajectory is the exponential approach G(t) = Ḡ − (Ḡ − G_0)e^(−Bt) with steady state Ḡ = A/B < 1: G rises monotonically toward Ḡ when G_0 < Ḡ and falls monotonically toward it when G_0 > Ḡ; it does not reach 1 in finite time. The architectural content is comparative: the monetary channels of Theorem 1.1' enter A through the term (1 − φ)η_2 > 0, so an architecture without a distributional term carries a strictly higher steady state Ḡ than the counterfactual with that channel closed.

The full proof appears in Appendix A.4. The sketch is as follows. Three inequality-increasing forces and three counterforces appear in the Gini dynamics. The forcing terms: the Piketty channel ΔG_1 = η_1(r − g)π_k where π_k is the capital income share; the monetary channel ΔG_2 = (1 − φ)η_2 aggregating the four sub-channels of Theorem 1.1'; the stochastic channel ΔG_3 = η_3 σ². The counterforces: progressive taxation reduces Gini by ΔG_4 = −τ̄ G; inheritance dilution contributes ΔG_5 = −δ G; entrepreneurial disruption contributes ΔG_6 = −μ_d(G − G_L), where μ_d is the entrepreneurial-disruption rate (see Appendix A.1 for the notation glossary). Combining yields a first-order linear ODE dG/dt = A − BG with A = η_1(r − g)π_k + (1 − φ)η_2 + η_3 σ² + μ_d G_L and B = τ̄ + δ + μ_d. The steady state is Ḡ = A/B. The solution to dG/dt = A − BG with G(0) = G_0 is G(t) = Ḡ − (Ḡ − G_0)e^(−Bt). When A/B > G_0 the Gini increases monotonically toward Ḡ; the convergence rate is B and the half-life is ln(2)/B.

Calibration under OECD-average parameters (τ̄ ≈ 0.03, δ ≈ 0.01, μ_d ≈ 0.02 in addition to the forcing parameters above) yields A ≈ 0.020, B ≈ 0.06, Ḡ ≈ 0.33 — meaning that from current OECD levels of inequality, the unconditional prediction would be modest convergence downward. Under global parameters without coordinated redistribution (τ̄ ≈ 0.005, δ ≈ 0.005, μ_d ≈ 0.01), B ≈ 0.02 and Ḡ ≈ 0.75–0.85, with half-life of roughly thirty-five years from current global between-country Gini levels (G_0 ≈ 0.70) toward Ḡ ≈ 0.80. Ḡ < 1 for any non-zero counterforce, so the Gini does not approach 1 in finite time; it converges asymptotically to Ḡ ∈ (0, 1). Under global conditions without coordinated redistribution Ḡ ∈ [0.75, 0.85] — severe but not complete concentration.

3.7 Why EIMTS Rather Than Coordinated Fiscal Redistribution

The OECD calibration above raises an obvious objection: if existing redistribution would, under OECD-average parameters, drive Ḡ to around 0.33, then the inequality problem is one of insufficient international coordination of existing tools rather than a fundamental architectural failure requiring a novel monetary-trade system. The objection deserves a direct answer; it is the most important objection to the case made in this chapter and the one that determines whether what follows is a contribution or a redundancy.

The answer has three parts. First, the coordination problem is the architectural problem. Existing fiscal redistribution works within nation-states because domestic tax authorities have enforcement power. International fiscal coordination — a global wealth tax, coordinated minimum corporate rates, anything cross-border at the scale required — requires sustained voluntary cooperation among sovereign nations with heterogeneous preferences and asymmetric incentives, precisely the setting where the mechanism design literature predicts cooperation will be fragile. The historical record confirms this: the OECD Base Erosion and Profit Shifting (BEPS) framework took the better part of a decade to negotiate and remains incompletely implemented; the EU's financial transaction tax proposal (2011) has stalled indefinitely; actual cross-border fiscal redistribution (EU structural funds, the cumulative Marshall Plan analogue) amounts to roughly 1% of recipient GDP, an order of magnitude below what the model requires for Ḡ < 0.40 at global scale. The OECD-minimum-tax agreement of 2021 is the closest the international system has come to genuine fiscal coordination on inequality-relevant ground, and even its 15% rate represents a fraction of what serious global redistribution would entail.

Second, EIMTS makes coordination cheaper to sustain; it is not self-enforcing by construction, and the distinction is load-bearing. The AGV mechanism established in Theorem 4.7' (next chapter) provides Bayesian incentive compatibility for reporting: given participation, truthful reporting is a Bayesian Nash equilibrium. Participation itself is a repeated game, exactly as it is for a voluntary tax-coordination agreement — §4.9 states this division of labor explicitly. Nor is the category novel: international mechanisms that sustain cooperation through conditional benefits and side payments have a literature — Nordhaus's (2015) climate clubs condition club benefits on participation, and Jackson and Wilkie (2005) characterize when side payments among sovereign players support efficient outcomes — and EIMTS belongs to that family, with the same repeated-game participation logic, rather than standing outside it as sui generis. What EIMTS adds is degree, on three margins: defection is observable fast (the IEMA publishes harmonized metrics on a fixed cadence, where fiscal-coordination compliance is opaque and litigated); response is automatic (transfer and trade terms adjust by rule rather than by renegotiation); and the coordination surface is continuous (small frequent adjustments rather than episodic treaty rounds). Each margin strengthens the folk-theorem conditions — shorter detection lags, cheaper punishment, lower renegotiation risk — under which repeated-game cooperation survives imperfect monitoring. Third, EIMTS operates through the monetary channel, which has unique properties: central banks adjust interest rates continuously and with minimal legislative process, while fiscal redistribution requires parliamentary approval in each jurisdiction. The monetary channel's speed and automaticity make it complementary to, not substitutable for, fiscal coordination. The equality-augmented Taylor Rule adds a distributional term to a decision central banks already make, rather than creating a new institutional apparatus.

The model implies that sufficient fiscal coordination would solve the problem. EIMTS is needed because the required level of fiscal coordination has proven unattainable, and the mechanism design framework explains why. The contribution is not identifying that redistribution reduces inequality — that is trivial — but providing an institutional architecture that makes coordination cheaper to sustain: incentive-compatible in reporting, repeated-game-supported in participation, with the observability and automaticity margins §3.7 and §4.9 name.

A diagnostic gap requires explicit acknowledgment. The §3.7 calibration above shows that under OECD-average parameters the bounded Ḡ steady state is approximately 0.33, which is below current within-country Gini levels in most rich nations rather than above them; under this calibration the architecture's role is to reduce Ḡ further toward the politically targeted level rather than to prevent unbounded inequality drift. The diagnosis that actually bites at the level of urgency the architecture is built to address is the global between-country calibration (Ḡ ≈ 0.75–0.85), not the OECD within-country one. But between-country inequality is governed primarily by the growth-and-convergence dynamics across nations — the rate at which low-income countries close the GDP-per-capita gap with high-income countries, which is itself a function of structural-transformation pathways, demographic transitions, terms-of-trade movements, and political-institutional conditions — rather than by any single central bank's reaction function. An augmented national Taylor Rule is structurally a poor match for a between-country target: the rule operates on a domestic policy rate that affects domestic distribution through the channels of §§5.1–5.2, but its effect on the cross-country gap is mediated through trade and capital-flow channels that the national rule does not directly govern.

The architecture's flagship national instrument — the equality-augmented Taylor Rule — therefore addresses the within-country inequality whose magnitude is least pressing under the §3.7 calibration, and is least equipped to move the between-country inequality whose magnitude is most pressing. The honest framing of this is that the §7 transition path's multilateral coordination architecture (Bretton Woods 2.0, the equality clearinghouse, the OECD-equality-tax analogue, the federation-level coordination layer) is where the between-country diagnosis would actually be addressed; the national rule's role is to ensure individual nations are not actively worsening the global picture while the multilateral architecture is constructed. The honest statement of the contribution is that EIMTS at the national-rule level is a containment instrument for within-country drift, and the genuine between-country contribution is the institutional architecture that the rule's adoption enables rather than the rule's mechanism itself. The Conclusion returns to this acknowledgment.

3.8 Corollaries on the EIMTS Constraint

Inequality is bounded above by Ḡ rather than diverging unboundedly; the EIMTS constraint operates by reducing Ḡ below politically tolerable levels, not by preventing unbounded divergence in finite time. The corollaries follow.

Corollary 3.2' (Equality Requires Active Constraint to Lower Ḡ). The asymptotic Gini Ḡ under any architecture is determined by the balance of inequality-increasing forces (Piketty channel, monetary channels, multiplicative variance) and counterforces (taxation, inheritance dilution, entrepreneurial disruption). Reducing Ḡ below the level achievable by uncoordinated national fiscal policy requires an additional structural counterforce that operates through the monetary and trade architecture itself. Specifically: (i) the policy rule must respond to distribution; (ii) seigniorage allocation must redistribute toward those with high Cantillon distance; (iii) trade rules must respond to bilateral equality asymmetry; (iv) capital returns must be constrained where they generate persistent r − g amplification.

Corollary 3.3' (The EIMTS Constraint is Mathematically Sufficient, Not Necessary). The constraint A^ε(x) ≤ A* (the Atkinson formulation of the equality constraint that will appear in §5.6, recoverable as a Gini ceiling G† via the Bridging Proposition — the ceiling, not the bijection target, is what general distributions guarantee; §A.7) is one mathematical formulation of the counterforce required to cap Ḡ. It is sufficient to cap the Gini at G†(A*, ε) under reasonable parameter choices, given the formal existence result of Theorem 5.4'; sufficiency at a Gini target itself requires the tighter threshold A*_safe of §A.7. It is not necessary: alternative architectures, including aggressive multilateral fiscal coordination at scales not yet achieved historically, could in principle achieve the same Ḡ reduction. The case for EIMTS over those alternatives rests on §3.7's coordination-problem argument and on the mechanism-design properties developed in Chapter 4 — incentive-compatible reporting plus the participation margins of §4.9 — not on a claim of self-enforcement by construction.

This reading is modest and defensible. The EIMTS constraint reduces a bounded inequality steady state to a politically tolerable level; it does not prevent unbounded inequality growth, because no such growth is occurring. The argument is necessary to reach the level of equality the architecture targets, not necessary to prevent catastrophe. That weaker reading is, in fact, sharper.

---

§ IVThe Mechanism Design

The two preceding chapters made an architectural case: that the absence of any distributional term in the policy rule (1.1') and in the gravity model (2.4) is a design feature with measurable consequences, and that the consequences cannot be reformed by adjusting parameters within the existing rule because the rule's action space does not include the relevant instrument. Adding such an instrument is straightforward in principle — write γ(G_t − G*) into the Taylor Rule, write E_ij^ζ into the gravity equation, and the architectural problem is resolved at the level of mathematical specification. The genuine difficulty is not specifying the augmented rule. It is showing that any nation-state would have an incentive to participate in an architecture that constrains its own policy choices in this way.

This is the social-coordination problem that mechanism design addresses. The problem has a distinct structure. Nations are sovereign: no global authority can compel participation, and participation cannot be sustained by external enforcement. Nations have private information: each knows its own internal Gini, its own r − g amplification, its own political constraints on redistribution far better than any external observer does. And the social objective — reducing global inequality below a politically tolerable level — depends on aggregate behavior across nations, so unilateral compliance by any single nation is largely ineffective. The architecture must therefore satisfy four properties simultaneously: incentive compatibility (truthful reporting of inequality metrics must be each nation's best strategy), individual rationality (every nation must prefer participation to its outside option — autarky in the textbook statement, the status quo in the institutionally relevant one; §4.3), budget balance (the system must not require external subsidy), and a fairness property (the allocation must respect some notion of equitable burden-sharing across coalition members). The combination is well-known to be difficult. Green and Laffont (1977) proved that for general type spaces, no mechanism can simultaneously achieve dominant-strategy incentive compatibility (DSIC), ex-post efficiency, and budget balance. The architecture therefore uses the weaker but achievable Bayesian incentive compatibility (BIC) as the default, reaching DSIC only conditionally under a single-crossing condition. The construction is the d'Aspremont and Gérard-Varet (1979, hereafter AGV) expected-externality mechanism, which is to BIC + BB what VCG is to DSIC + efficiency.

4.1 The EIMTS Mechanism: Formal Specification

A mechanism is a formal system for aggregating private information into collective outcomes. We define the EIMTS mechanism as a tuple M = (N, Θ, A, f, t) where N = {1, …, n} is the set of participating nations, Θ = ×_i Θ_i is the product type space, A is the outcome space, f : Θ → A is the allocation rule mapping reported types to outcomes, and t : Θ → ℝ^n is the transfer rule. Each nation's type θ_i = (G_i, HDI_i, Y_i, T_i, r_i^d) encodes its inequality state (the residual Gini conditional on global factors — see §4.4 below), Human Development Index, GDP, trade preferences, and domestic interest-rate preference. Each nation's outcome a_i = f(θ̂) = (r_i*, q_i, x_i) specifies an equality-indexed interest rate, bilateral trade terms, and non-monetary transfers. Each nation receives a transfer t_i(θ̂) ∈ ℝ from a central clearing pool. The mechanism operates through four steps: nations report their types θ̂_i to the coordinator (an institution such as a reformed IMF; we develop the institutional question in Chapter 7); the allocation rule f computes the optimal interest-rate and trade-allocation profile; the transfer rule t calculates AGV transfers; outcomes are implemented and nations receive utility from allocations and transfers.

4.2 The Revelation Principle

The revelation principle (Myerson, 1981) is foundational. For any Bayesian Nash equilibrium of any indirect mechanism, there exists a direct mechanism in which truthful reporting is a Bayesian Nash equilibrium, with identical equilibrium outcomes. The implication is that we lose no generality by restricting attention to direct mechanisms where the strategy space is the type space and where truthful reporting is the target equilibrium. The proof is constructive: if σ*(θ) is the equilibrium strategy in an indirect mechanism with allocation rule f and transfer rule t, define the direct mechanism f'(θ) = f(σ*(θ)), t'(θ) = t(σ*(θ)). Any deviation in the direct mechanism corresponds to a deviation in the indirect mechanism that was not profitable; therefore truth-telling is optimal in the direct mechanism. The remaining work is to construct the specific direct mechanism that achieves the four properties listed above.

4.3 Individual Rationality

A mechanism satisfies interim individual rationality if for all nations i and all types θ_i, the expected utility from truthful participation at least equals expected utility from autarky:

E[v_i(f(θ_i, θ_{−i})) + t_i(θ_i, θ_{−i})] ≥ u_i^autarky(θ_i) (4.8)

We show a version of this under the EIMTS mechanism with AGV transfers (defined below) — and everything turns on what u_i^autarky in (4.8) is taken to mean. Against autarky, the textbook benchmark, the argument is standard. Moving from autarky to multilateral trade generates aggregate gains: under EIMTS, nations receive v_i^EIMTS = v_i(comparative advantage) + v_i(monetary stability) + t_i; comparative-advantage gains exceed bilateral arrangements because broader coalitions allow finer matching; monetary-stability gains are strictly positive for developing economies through reduced exchange-rate volatility and lender-of-last-resort access; the transfer t_i is positive in expectation for nations below the global median residual Gini. Under the calibration stated explicitly in §A.4 Step 4 — gains from trade against autarky of roughly 2–8% of GDP, monetary-stability premium of 0.5–1% of GDP for developing economies, net AGV contributions bounded by Assumption 4.A at |t_i| ≤ 5% of GDP — participation dominates autarky for every nation. But no sovereign's live outside option is autarky. The institutionally relevant benchmark is the status quo: the current monetary-trade architecture, under which the coalition's prospective net payers — the high-income core — already capture the surplus Chapter 2 documents flowing from periphery to core. Against the status quo, a net payer's participation constraint reads E[v_i(f(θ)) + t_i(θ)] ≥ u_i^SQ(θ_i), where u_i^SQ includes the core's existing share of that surplus, and the constraint binds exactly where transfers become large enough to be consequential. This is not a calibration accident; it is an impossibility frontier. Myerson and Satterthwaite (1983) establish that with two-sided private information no mechanism can jointly deliver budget balance, Bayesian incentive compatibility, ex-post efficiency, and interim individual rationality relative to status-quo outside options when gains from trade are not common knowledge (overlapping type supports); the EIMTS setting inherits the frontier, and the Coda's reachable-frontier finding (G ≈ 0.55, not 0.30) is its quantitative expression — the transfers large enough to push the between-country distribution past the frontier are the transfers that violate some net payer's status-quo IR. Participation beyond the statically-IR region therefore rests on the repeated-game and institutional arguments of §3.7 and §4.9, which are stated there as such rather than as properties of the static mechanism.

4.4 Budget Balance via AGV Transfers

We can now state and prove the central result of this chapter. The transfer rule that achieves budget balance simultaneously with Bayesian incentive compatibility is the AGV (d'Aspremont & Gérard-Varet, 1979) expected-externality mechanism rather than the Vickrey-Clarke-Groves (VCG) mechanism. VCG (Vickrey, 1961; Clarke, 1971; Groves, 1973) achieves DSIC but generically violates budget balance — this is the content of Green and Laffont (1977). AGV achieves BIC + BB simultaneously, which is the combination EIMTS requires.

Define the AGV transfer for nation i as

t_i(θ) = E_{θ_{−i}}[Σ_{j≠i} v_j(f(θ_i, θ_{−i}))] − (1/(n−1)) Σ_{j≠i} E_{θ_{−j}}[Σ_{k≠j} v_k(f(θ_j, θ_{−j}))] (4.AGV)

The first term, ξ_i(θ_i) ≡ E_{θ_{−i}}[Σ_{j≠i} v_j(f(θ_i, θ_{−i}))], depends only on i's own report; the second term redistributes the other nations' first terms. Summing over i, the redistribution telescopes exactly: Σ_i t_i(θ) = Σ_i ξ_i(θ_i) − (1/(n−1)) Σ_i Σ_{j≠i} ξ_j(θ_j) = 0 for every realized type profile θ — budget balance holds identically ex post, not merely in expectation. This is a construction property of the AGV mechanism, and it is unconditional.

What the independence of types gates is therefore not budget balance but the incentive guarantee itself. The transfer's first term aligns nation i's reporting incentive with expected social welfare only if the designer's expectation E_{θ_{−i}}[·] — a fixed schedule computed under the common prior — coincides with what nation i itself expects about the others given its own type. Under independent types the two coincide for every realization of θ_i; under correlated types, i's posterior over θ_{−i} shifts with θ_i while the transfer schedule does not, the alignment argument of §4.5 breaks, and truthful reporting generically fails as a Bayesian equilibrium. Independence is the substantive assumption. National Gini coefficients are not independent: they are correlated through synchronized monetary policy cycles, commodity-price fluctuations, and global recessions. We resolve this by defining types as residual Gini conditional on observable global state. Let Z_t = (g_t^W, p_t^W, i_t^W) denote the global growth rate, commodity-price index, and reference interest rate at time t. Define nation i's type as θ_i = G_i − E[G_i | Z_t], the Gini residual after conditioning on global factors. Under this definition, θ_i captures the idiosyncratic component of each nation's inequality — driven by domestic policy choices, institutional quality, demographic structure, and country-specific shocks. Conditional independence of residuals is standard in panel econometrics under the common-factor methodology developed by Pesaran (2006); it is testable and empirically supportable for the EIMTS application.

Measurement integrity: what BIC does and does not police. The type θ_i is not a primitive observed by nature; it is a residual computed by the IEMA from national statistics. Once transfers ride on it, every input to E[G_i | Z_t] becomes a target, and two classic results say what follows. Goodhart's Law (Goodhart, 1975): a measure that becomes a target degrades as a measure — here not by false reporting, which BIC covers, but by strategic manufacture of the underlying statistics: survey design, definitional choices, collection effort, timing. The Lucas critique (Lucas, 1976): the conditioning model E[G_i | Z_t], estimated on pre-adoption data, is not policy-invariant — transferring on the residual changes the data-generating process the residualization was fitted to. Neither problem is answered by the mechanism's incentive-compatibility property, and an appeal to that property here would be circular: BIC makes truthful transmission of the measured type optimal and says nothing about the measurement. The design answer is an integrity layer with three load-bearing commitments: (1) multi-source computation — the IEMA computes θ_i from WID, LIS/survey, and national-accounts cross-checks under pre-registered methodology, with divergence beyond a published tolerance triggering the §7.6 arbitration tribunal and escrow of the affected transfers; (2) frozen residualization — the coefficients of E[G_i | Z_t] are estimated on pre-adoption data and updated only through supermajority methodology reviews on a published cadence, so no participant can steer the conditioning model between reviews (the Lucas-critique response is cadence-and-supermajority, not pretended invariance); (3) adversarial audit — Article-IV-style independent statistical audits with an explicit budget for attempting to break the measure, on the security-research model rather than the compliance model. §7.6's risk inventory relies on this layer accordingly.

If the conditioning set Z_t is misspecified (omitting relevant common factors), residual correlation persists; ex-post BB fails but ex-ante BB still holds. We therefore present the result in two tiers: Theorem 4.7' guarantees ex-ante BB unconditionally, and upgrades to ex-post BB only under the maintained conditional-independence assumption. This is the empirically honest framing — ex-ante BB is the robust result, ex-post BB is available under a testable auxiliary hypothesis.

Fragility caveat on the incentive guarantee. The independence we manufacture by conditioning on the global state vector Z_t may be endogenously violated once the architecture is operating: the gravity equality term E_ij in §5.3 couples national distributions further through the trade-volume channel (one nation's bilateral equality is constructed from comparisons with another's, so the residuals after conditioning on Z_t inherit cross-sectional correlation through the architecture's own operation), and the AGV transfers themselves redistribute across nations in a way that mechanically links their realized welfare. The conditional-independence assumption is therefore not merely empirically uncertain — it is fragile by construction, and what its failure degrades is BIC, not budget balance: the books still balance identically (the telescoping is arithmetic), but truthful reporting stops being an equilibrium. An architecture-aware reading should treat budget balance as the robust, unconditional property and the incentive guarantee as the conditional one — the reverse of how a casual reading of "incentive-compatible mechanism" might allocate the confidence.

4.5 Bayesian Incentive Compatibility

Under AGV transfers, nation i's expected payoff from reporting θ̂_i is

U_i(θ̂_i, θ_i) = E_{θ_{−i}}[v_i(f(θ̂_i, θ_{−i})) + Σ_{j≠i} v_j(f(θ̂_i, θ_{−i}))] + constant

The bracketed term is the expected total social welfare when i reports θ̂_i. Since f is constructed to maximize total welfare at the truth, U_i is maximized at θ̂_i = θ_i. Therefore truthful reporting is a Bayesian Nash equilibrium. The argument extends the classic Groves construction to the BIC setting: by paying each nation its expected externality on others, the mechanism aligns each nation's reporting incentive with the planner's welfare objective.

Common-prior caveat. Bayesian incentive compatibility presupposes a common prior over the type distribution. Across sovereign nations with strategic incentives over rival beliefs — and with documented incentives in international macroeconomic-statistics reporting to manage how other actors perceive one's economic position — common knowledge of the type distribution is the strongest single assumption the architecture rests on. BIC equilibria are not robust to its failure: under heterogeneous priors, reporting incentives generically diverge from truth-telling, and the mechanism's incentive-compatibility guarantee fails. We flag this explicitly: the incentive guarantees of Theorem 4.7' are only as strong as the common-prior assumption. The IEMA infrastructure of §7.2 is designed in part to support the common-prior assumption by publishing harmonized methodology that all participating nations endorse and operate under; the success of that infrastructure-building is a precondition for the BIC guarantees to bind in practice, not a downstream administrative convenience.

Operational tension between the incentive-compatibility region and the consequential operating region. We surface one further structural tension between the architecture's incentive-compatibility region and its consequential operating region. Assumption 4.A bounds the quasi-linear approximation underpinning AGV transfers to |t_i| ≤ 5% of GDP. But the magnitudes required to move the between-country diagnosis surfaced in §3.7 (Ḡ ≈ 0.75–0.85) and to support the constrained-optimal allocations of Theorem 5.6' (Existence-but-not-Operationality) are 1–2 orders of magnitude above current ~1% of GDP cross-border flows — well outside the 5% bound. The mechanism's incentive guarantees therefore hold in the operating region where transfers are too small to be consequential, and degrade exactly as transfers scale to where they would matter. Resolving this tension — whether by tightening Assumption 4.A's defensible range with empirical estimation of preference quasi-linearity over larger transfers, or by accepting that the incentive-compatible and consequential operating regions may not overlap — is a question this paper poses but does not answer; it is part of what the §7 multilateral coordination architecture would need to settle in its own institutional design.

4.6 Fairness via Shapley Value (Caveated)

The EIMTS transfer rule approximates the Shapley value (Shapley, 1953) — the marginal-contribution-averaged-across-coalitions concept that is the canonical formalization of fair division — with an important caveat. The Shapley value provides a fair division of the cooperation surplus only under symmetric valuation of transfers across coalition members. AGV transfers depend on expected externalities, which are weighted by nations' marginal valuations of transfers. When marginal valuations differ substantially across nations — for example, when the coalition includes both the United States ($25T GDP) and Rwanda ($13B GDP), where a $1B transfer is a rounding error for one and a major budgetary event for the other — the symmetry assumption fails. The Shapley value remains well-defined as a mathematical object but its normative interpretation as "fair division" is weakened.

The repair is to restrict the Shapley-value approximation to size-homogeneous coalitions, where the ratio of largest to smallest GDP is bounded (as a working design rule, a ratio within roughly 10:1 keeps marginal valuations comparable enough for the symmetry reading — a design choice, not an estimate). For the full heterogeneous coalition the Shapley value is replaced by the nucleolus (Schmeidler, 1969) as the fair-division concept, which does not require symmetric valuations. The practical implication is institutional: EIMTS is best designed as a federation of size-homogeneous coalitions (advanced economies, large developing economies, small open economies) linked by a top-level coordinating layer, rather than as a single flat coalition of all participating nations. Chapter 7's transition path develops this institutional structure.

4.7 Social Choice and Arrow

Arrow's (1951) impossibility theorem proves that no social-choice rule can simultaneously satisfy unrestricted domain, non-dictatorship, Pareto efficiency, and independence of irrelevant alternatives when preferences are purely ordinal. EIMTS escapes the impossibility because it operates on cardinal, interpersonally comparable capabilities — Gini, HDI, GDP — rather than ordinal preferences. The escape route is Sen's (1999) capabilities approach, which substitutes capability comparison for preference aggregation. Because the EIMTS allocation rule depends on observable cardinal measures that are interpersonally comparable in principle (the residual Gini, conditional on Z_t, is computed identically for every nation), Arrow's framework simply does not apply. This is the canonical justification for inequality-targeting in mechanism design, standard in the capabilities line of the welfare-economics literature — though interpersonal comparability itself remains philosophically contested, which is why the escape is a modeling commitment rather than a theorem.

4.8 Theorem 4.7': EIMTS Mechanism Existence

We synthesize the preceding analysis. DSIC + ex-post BB + ex-ante efficiency cannot hold jointly for general type spaces (Green-Laffont, 1977); the theorem therefore commits to BIC as the default and gives DSIC as a conditional strengthening.

Theorem 4.7' (EIMTS Mechanism Existence — Revised). There exists a direct mechanism M = (N, Θ, A, f*, t*) implementing the Equality-Indexed Monetary-Trade System such that:

(i) Bayesian Incentive Compatibility (BIC): truthful reporting is a Bayesian Nash equilibrium — under the common-prior assumption of §4.5 and the conditional-independence assumption of §4.4, the latter fragile by construction once the architecture operates;

(ii) Interim Individual Rationality relative to autarky (IIR-A): all nations prefer participation to autarky in expectation under the §A.4 Step 4 calibration. Relative to the status-quo outside option, interim IR holds only on the transfer region where each net payer's coalition surplus covers its net contribution — a region bounded by the Myerson-Satterthwaite frontier (§4.3) — and participation beyond that region is a repeated-game claim (§4.9), not a static guarantee;

(iii) Budget Balance (BB): Σ t*_i(θ) = 0 for every realized type profile, identically by the AGV construction (§4.4) — the unconditional leg of the theorem;

(iv) Ex-ante Efficiency: the allocation f* maximizes expected social welfare. The AGV alignment argument behind (i) requires f* to be the unconstrained welfare maximizer, so (ii) is verified under the stated calibration rather than imposed as a constraint on f*; where status-quo IR binds, (i) and (iv) cannot both be preserved by constraining f* — the Myerson-Satterthwaite frontier of §4.3 again.

A DSIC strengthening via the Myerson (1981) payment identity under smooth single-crossing is not available because the EIMTS type space defined in §4.1 is five-dimensional — θ_i = (G_i, HDI_i, Y_i, T_i, r_i^d) — and the Myerson one-dimensional payment identity does not apply to multi-dimensional types without first projecting θ_i onto a scalar index and justifying the projection economically. A single-crossing argument via Galor-Zeira credit-constraint channels establishes monotonicity along the G_i dimension but says nothing about the joint single-crossing structure required for multi-dimensional DSIC.¹ Theorem 4.7' therefore stops at BIC + IIR + ex-ante BB + ex-ante efficiency and does not claim DSIC. The architecture remains incentive-compatible at the Bayesian-Nash level under the AGV construction; the dominant-strategy upgrade requires structural work this paper does not do.

The proof sketch is the engine. The AGV transfer formula above (eq. 4.AGV) is the mechanism's load-bearing construction: by paying each nation its expected externality on others, the system aligns reporting incentives with social welfare maximization (BIC) while the transfer sum telescopes to zero identically (BB, ex post and unconditional). The fragile leg is the alignment, not the balance: BIC holds under the conditional-independence assumption that the architecture itself partly undermines through the gravity-channel coupling and the AGV-transfer coupling (§4.4). IIR relative to autarky follows from the gains-from-trade calibration of §A.4 Step 4; status-quo IR is bounded by the Myerson-Satterthwaite frontier per §4.3. Efficiency follows from f*'s construction as the maximizer of expected social welfare, with the revelation principle ensuring no other mechanism can do better while satisfying BIC + BB. The full proof bodies appear in Appendix A.4.

Remark on Quasi-Linearity. The AGV and VCG mechanisms both assume quasi-linear preferences: u_i = v_i(a) + t_i. For sovereign nations with complex political objectives this is a strong assumption. We make it operative through Assumption 4.A (Approximate Quasi-Linearity): national utility functions satisfy u_i(a, t_i) = v_i(a) + w_i(t_i) where w_i is concave with w_i'(0) = 1. For transfers |t_i| ≤ 0.05 × GDP_i, the departure from linearity satisfies |w_i(t) − t| < 0.01 × |t|. This is empirically calibratable: the assumption states that marginal valuation of transfers is approximately constant for transfers up to 5% of GDP, which is well within the range of existing international transfers (EU structural funds are 1–2% of recipient GDP; Marshall Plan transfers peaked at roughly 2.5–3% of recipient GDP). The standard justification for quasi-linearity in public-goods mechanism design (Milgrom, 2004) applies.

4.9 Discussion

The honest reading of Theorem 4.7' is that EIMTS is implementable under conditions that are restrictive but defensible: Bayesian Nash equilibrium is the solution concept, AGV is the transfer rule, types are residual Gini conditional on global state, and the size-homogeneity restriction on the Shapley-value interpretation pushes the architecture toward a federated rather than flat coalition structure. The mechanism is not self-implementing in the strong sense — it requires a coordinating institution to compute and disburse AGV transfers, and it requires nations to maintain the conditioning-set Z_t with shared methodology. But it is not externally enforced either, and the division of labor must be stated exactly. What the static mechanism guarantees is reporting: given participation, no nation has incentive to misreport (BIC). What it does not guarantee is participation itself beyond the statically-IR region of §4.3: a nation weighing exit compares single-period gains against the discounted value of continued participation, which is repeated-game logic — the same logic on which voluntary fiscal coordination rests. The honest claim is a difference of degree, not of kind, and §3.7 argues the degree: rule-based automaticity, IEMA-published observability of defection, and continuous rather than episodic adjustment shorten detection lags and strengthen the folk-theorem conditions under which repeated-game cooperation survives imperfect monitoring (Fudenberg, Levine, & Maskin, 1994).

The remaining question is whether the architecture, given its incentive properties, would actually be adopted. That is the question of Chapter 7. Before reaching it, we have to specify the architecture itself in unified form — the central work of Chapter 5.

---

§ VThe Unified EIMTS Model

The architectural case made in Chapters 1 and 2 and the mechanism-design feasibility result of Chapter 4 between them establish that an equality-indexed monetary-trade system can exist as a formal object. This chapter specifies what such a system looks like in unified form. Four instruments — the equality-augmented Taylor Rule (§5.1), the equality-indexed money supply rule (§5.2), the equality-adjusted gravity model (§5.3), and the fair-value exchange-rate monitoring band (§5.4) — sit inside a single constrained general-equilibrium problem (§5.5), which has a constrained equilibrium (in the sense of Definition A.1) under conditions stated in Theorem 5.4' (§5.6). Welfare theorems establish that the equilibrium is constrained Pareto optimal, that the second-welfare-theorem analogue holds as a non-operational existence result (Theorem 5.6'), and that the constrained equilibrium delivers a conditional aggregate (Kaldor-Hicks) welfare improvement over the unconstrained competitive equilibrium when the inequality-externality magnitude clears a contested lower bound (Theorem 5.7''; see §5.7). Uniqueness and comparative statics close the chapter (§5.8). The chapter is the largest in the paper because it is the load-bearing specification: every empirical claim in Chapter 6 and every transition-path commitment in Chapter 7 traces back to one of the formal objects defined here.

5.1 The Equality-Augmented Taylor Rule

The standard Taylor Rule responds to inflation and output gaps. The simplest expression of EIMTS at the monetary level is to add a third term that responds to distribution. The mechanism is direct: when actual inequality exceeds the target, the central bank reduces the policy rate, stimulating employment and wage growth in the parts of the distribution most exposed to monetary policy's labor-market channel; when inequality falls below target, the central bank can raise rates without conflicting with its equality objective. The augmentation is conceptually small — one term added to the right-hand side of a familiar equation — but the architectural implication is large: it enlarges the rule's action space to include the distributional response Theorem 1.1' showed was absent.

Formally, the equality-augmented Taylor Rule is

i_t = r* + α(π_t − π*) + β(y_t − y*) + γ(G_t − G*) (5.1)

where the additional term γ(G_t − G*) is the equality response, G_t is the current disposable-income Gini coefficient (measured per the standardized methodology of WID — Alvaredo et al., 2018; Chancel et al., 2022 — and the Luxembourg Income Study microdata harmonization; technically the formally binding constraint is A^ε(x) ≤ A* via the Bridging Proposition, with x the disposable-income distribution and we retain Gini-language here as the reporting metric — see §5.6), G* is the target disposable-income Gini coefficient (typically 0.25–0.35 in advanced-economy calibrations — a national reporting target for the domestic rule, set by domestic politics and reachable, where it is reachable, by the domestic instrument mix; it is not what the international transfer mechanism of Chapter 4 can deliver, whose reachable between-country frontier begins near 0.55 — see §5.6 and the Coda), and γ is the equality response coefficient. The welfare-optimal γ is derived by minimizing the central bank's loss function L = E_t Σ δ_L^k [π_{t+k}² + λ_y(y_{t+k} − y*)² + μ_G(G_{t+k} − G*)²] with respect to γ, where μ_G is the equality weight in the loss function (see Appendix A.1 for the notation glossary), yielding γ* = μ_G / (κ_1 + κ_2 κ_πG) where κ_1 and κ_2 are the semi-elasticities of inequality with respect to interest rates and inflation respectively and κ_πG is the equality-gap-to-inflation pass-through implied by the Phillips relation (all three local to this derivation; see the §A.1 glossary). The derivation is first-order and heuristic, and γ* inherits the calibration uncertainty of all three semi-elasticities. Plugging conventional magnitudes for the semi-elasticities into the first-order condition puts γ* on the order of 0.15–0.25 — a calibration illustration, not an estimate from any published study.

Positioning against the augmented-rule literature. The equation itself has precedent, and the precedent cuts against overclaiming: Ma and Park (2025) — literally "Gini in the Taylor rule" — build the augmentation inside a heterogeneous-agent model and find the welfare gains from responding to inequality modest under their calibrations; Hansen, Lin, and Mano (2020) reach a similar magnitude conclusion for inequality-responsive rules; Acharya, Challe, and Dogra (2023) derive the optimal-policy counterpart with distributional weights. What this chapter adds is not the equation but its architectural placement: the augmentation as one instrument inside a four-instrument monetary-trade system with an international transfer layer (Chapter 4), where the welfare case runs through the joint mechanism — §5.3's trade reinforcement, §5.8's cross-instrument comparative statics — rather than through the national rule alone. Readers should carry the HANK literature's magnitude caution into every welfare claim below.

The system's three-dimensional dynamics — inflation, output, equality gap — are analyzed in Appendix A.6, and three properties govern what stability does and does not constrain. First, the equality coefficient γ does not appear in the stability classification at all: for the linearized system of A.6 the spectral configuration is governed by the sign of η_e − α_π δ_e alone, so no γ-threshold gates the equality response (no γ̄ threshold survives re-derivation at any value; the correction note in §A.6 records the history of that claim). Second, in the calibrated regime (η_e > α_π δ_e) the Jacobian carries exactly one positive eigenvalue at every γ > 0: read with inflation as the single forward-looking variable, the system is saddle-path determinate at every intensity of the equality response, and the equality term neither creates nor cures instability. Third, read as a fully forward-looking New Keynesian system (inflation and output both jump variables), determinacy would require two unstable roots and the calibration α_π = 0.5 — below the Taylor principle — delivers only one, so the equilibrium is indeterminate on that reading; this is a property of the inflation response, not of γ. The stability question about the equality term is dominated by the standard, unresolved question about the inflation response, and the α_π calibration is flagged as an open question (see the Coda and Appendix A.6, Theorem 5.1′). The welfare comparison is straightforward: when inequality increases exogenously, the standard rule cannot respond, leaving inflation and output to adjust through general-equilibrium channels; the augmented rule directly addresses the source of welfare loss, reducing required volatility along the other two dimensions. The augmented rule weakly improves on the standard rule against inequality shocks by construction — the standard rule is the γ = 0 member of its family — and the operative question, per the §5.1 positioning note, is the size of the improvement, on which the augmented-rule literature counsels modesty; the two rules coincide when inequality shocks are absent.

What the augmentation does — beyond the formal welfare improvement — is route the Cantillon channel of §1.2 through a feedback loop. When inequality rises, the augmented rule lowers i, which stimulates employment (reducing inequality through the labor-market channel) and raises asset prices (which by itself would raise inequality through the Cantillon channel). The empirical question is which channel dominates; the HANK literature (Auclert, 2019; Bayer, Born, & Luetticke, 2024) suggests the labor-market channel dominates the disposable-income measure at horizons longer than a quarter or two, which is the policy-relevant horizon. The augmentation is therefore not a guarantee of inequality reduction at every moment; it is a feedback loop that bends the long-run trajectory of the disposable-income Gini toward G*.

The wealth-Gini side effect

The commitment to disposable income Gini as the target object requires an explicit acknowledgment of what the architecture does not target. The rate-cut channel that improves disposable income Gini through labor-market stimulation simultaneously raises asset prices, and asset-holding concentration in the top decile (Federal Reserve, 2022) means that the wealth distribution moves in the opposite direction. Auclert (2019), Andersen, Johannesen, Jørgensen, and Peydró (2023), and Acharya, Challe, and Dogra (2023) document the mechanism quantitatively: the bond-revaluation channel, the equity-revaluation channel, and the housing-revaluation channel each transmit accommodative monetary policy disproportionately to the top-decile balance sheet. The disposable-income Gini and the wealth Gini therefore move in opposite directions during an expansionary cycle, and the architecture as specified — operating entirely through the policy-rate channel — cannot resolve the asymmetry on its own.

The objection deserves its sharpest form, because it is this paper's own: Chapter 1 indicted QE for mechanically widening the wealth distribution through the asset-price channel (§1.3), and the augmented rule's response to high inequality — cut the rate — fires exactly that channel. Is the equality-augmented rule self-defeating on the paper's own mechanism? Three-part answer, stated as commitments rather than reassurances. First, the target object is the flow distribution, and on the flow measure the evidence is that the labor channel dominates at policy horizons (Auclert, 2019; Lenza & Slacalek, 2024; Bayer, Born, & Luetticke, 2024): the rate cut that revalues portfolios also tightens labor markets, and the disposable-income Gini falls even as the wealth Gini rises. Second, the wealth-side damage is conceded, signed, and assigned to a complement that is staged jointly rather than deferred: the macroprudential row of the Tinbergen table is a Phase II commitment (§7.3), not a Phase III repair, and the equality-indexed QE analogue of §5.2.x selects asset composition to lean against the revaluation channel when the quantity side operates. Third — the honest residual — if the macroprudential complement is not adopted jointly, the architecture's net effect on total inequality (flow plus stock) at horizon is ambiguous, and the paper commits to that as a falsifiable joint: the §6.5 designs carry the wealth Gini as a tracked outcome, and an implementation that adopts the rate rule without the macroprudential layer is predicted to exhibit the §1.3 pathology in its wealth data. The loop is closed by design commitment, not by assumption.

The honest framing of this is that EIMTS targets the flow distribution (disposable income, captured by WID and LIS at the consistent definition the architecture commits to) and accepts that the stock distribution (wealth) requires a complementary architecture. The complementary instrument set is macroprudential rather than monetary: loan-to-value (LTV) and debt-service-to-income (DSTI) caps on the real-estate channel, tightened differentially when the wealth Gini rises faster than the income Gini falls; differential capital surcharges on bank lending against asset-collateralized loans relative to lending against productive-investment collateral; transaction-tax adjustments that distinguish primary-residence transactions from investment-property transactions. These tools sit inside the macroprudential mandate of central banks and financial-stability authorities (Basel III/IV framework, the IMF's macroprudential toolkit guidance) rather than inside the monetary mandate, and their natural institutional home is the macroprudential committee — typically a separate body from the monetary policy committee, though resident at the same central bank — coordinated with the monetary policy through the joint financial-stability framework.

The architecture's commitment, stated explicitly: EIMTS as specified addresses disposable income Gini directly and acts as a stabilizing pressure on wealth Gini only through the labor-channel (rising wages eventually translate into rising wage-saver wealth at the bottom of the distribution) and through the macroprudential complementarities described above; a paper specifying the joint architecture is open work. The §7 transition path stages the macroprudential coordination alongside Phase II's monetary-rule adoption: the IEMA (§7.2) would extend its harmonized-reporting mandate to wealth-distribution metrics as a Phase I deliverable, and Phase II's coalition-level commitment would include the macroprudential complementarity from the outset rather than as a Phase III add-on. The reason for staging this jointly with Phase II rather than deferring to Phase III is that the wealth-channel disequilibrium produced by §5.1's rate-cut response would otherwise accumulate over Phase II and become a political liability for the architecture in Phase III adoption.

Tinbergen instrument-target accounting

The architectural design also requires explicit accounting of which instrument addresses which target. The Tinbergen (1952) assignment rule states that a policy authority needs as many instruments as it has targets; this is sometimes read as ruling out an equality-augmented Taylor Rule on the grounds that it would attempt to hit three targets (inflation, output, equality) with a single instrument (the policy rate). The honest framing is that the EIMTS architecture has more than one instrument and treats the targets as constrained rather than as multiplicatively independent. The table below reflects two refinements: the i / M independence tension under the §1.4 endogenous-money commitment (worked through in §5.2.x), which collapses the separate i and M entries into one monetary lever with price (i) and quantity (M_base) sides; and an explicit macroprudential row corresponding to the wealth-Gini target the §5.1 side-effect subsection above introduces.

| Instrument | Primary Target | Secondary Target | Tertiary Target |

|---|---|---|---|

| Policy rate i (price side of monetary lever; eq. 5.1) | π (inflation) | y (output gap) | G (disposable-income Gini) |

| Monetary base M_base (quantity side of monetary lever; eq. 5.9 — operative at ZLB or as institutional signal) | G (disposable-income Gini, via Ψ(E_t)) | Signaling on equality dimension | — |

| Gravity ζ-augmentation (trade; eq. 5.15) | Trade-equality (E_ij) | Bilateral surplus distribution | — |

| Macroprudential committee (LTV / DSTI / capital surcharges — outside monetary core) | G_w (wealth Gini) | Financial stability | — |

| FX monitoring band (§5.4 — non-binding) | Bilateral fair-value reporting | — | — |

The accounting frames G as a third target in a constrained optimization rather than as a fourth instrument requiring its own dedicated control. The constrained-optimization framing makes explicit that the architecture accepts trade-offs along the (π, y, G) Pareto frontier rather than claiming to hit all three simultaneously, and locates the equality response inside the same Tinbergen accounting that already governs the dual mandate. Two clarifications follow from the table. First, the policy rate i and the monetary base M_base are listed as the price and quantity sides of a single monetary lever rather than as two independent instruments; the i/M independence tension that the §1.4 endogenous-money commitment surfaces is worked through in §5.2.x below, where the implication for the Tinbergen accounting (two operational levers — monetary and trade) is stated explicitly. Second, the macroprudential row sits outside the formal monetary-trade architecture (it is staged in the §7 transition phases as a complementary institutional layer); it is included in the accounting to register the wealth-Gini target the §5.1 side-effect subsection introduces and to acknowledge that the income-Gini target the rate rule pursues and the wealth-Gini target the macroprudential committee pursues are coordinated across institutional boundaries rather than within a single rule. The architecture is Tinbergen-compatible by construction.

5.2 The Equality-Indexed Money Supply

The Taylor Rule operates on the price of money. The money-supply rule operates on the quantity. EIMTS modifies the latter to respond endogenously to a broader composite equality index, implementing a kind of Gesellian demurrage incentive through the monetary channel (Gesell, 1916; Champ, 2008): when equality worsens, the implicit holding cost of money rises by contraction of the money supply, incentivizing productive deployment of capital and labor; when equality improves, the supply expands, accommodating the more-equal distribution's higher marginal velocity.

Formally, the monetary base rule is M_t(eq) = M_t(base) · Ψ(E_t) (5.9), where M_t(base) is the exogenous monetary base and Ψ(E_t) = exp(λ_M · (E_t − E*)) is the equality adjustment factor, with λ_M the money-supply equality sensitivity parameter (typically 0.5–1.5; see Appendix A.1 for the notation glossary) and E* the target composite equality index. The composite equality index combines distributional, capability, and environmental dimensions: E_t = w_1(1 − G_t) + w_2 · HDI_t + w_3 · GPI_t / GDP_t, with default weights w_1 = 0.50 (inverse disposable-income Gini), w_2 = 0.30 (Human Development Index), and w_3 = 0.20 (Genuine Progress Indicator relative to GDP). The composite captures three substantive dimensions of equality — income distribution, human capability, sustainable progress — and the weights reflect their relative importance in EIMTS social-welfare prioritization (which is itself a policy parameter, not a technocratic given).

Caveat on GPI as composite component. The Genuine Progress Indicator is a contested non-standard construct with multiple competing implementations (Talberth, Cobb, & Slattery, 2007; Kubiszewski et al., 2013) and substantial cross-national methodological disagreement on what counts as "defensive expenditure," "ecological cost," or "non-market production." Including GPI as a binding component of the money-supply rule imports measurement controversy directly into the binding rule. A more conservative alternative implementation would substitute the World Bank's Adjusted Net Savings (ANS) measure (a standardized sustainability indicator with consistent cross-country methodology) or the UN Environment Programme's Inclusive Wealth Index (IWI, which extends national accounts to include natural and human capital depreciation). The default specification retains GPI for continuity, but an implementation-ready version of the architecture should substitute ANS or IWI for the GPI/GDP component to reduce the measurement-dispute surface area. The §5.1 Tinbergen accounting framing treats E_t as a composite-equality target; the specific composition is a policy choice rather than a structural commitment of the architecture.

The money supply expansion property dM_t(eq) / dE_t = λ_M · M_t(base) · Ψ(E_t) > 0 creates a positive feedback loop: improved equality enables monetary expansion that further reduces inequality through lower interest rates and higher employment. The inflation constraint π_t = (dM_t / M_t) − (dY_t / Y_t) + (dV_t / V_t) bounds the speed of Ψ adjustment; for typical calibrations λ_M ≤ 1.5 keeps monetary growth within the bounds set by real growth plus inflation target. The inflation-targeting regime is preserved.

What this enables is a second-order architectural shift: the monetary base is no longer a purely macroeconomic instrument indexed to aggregate prices and output, but a vector instrument indexed to a multidimensional equality measure. The architecture says, in effect, that the central bank's job is to maintain price stability and distributional stability, and that the two are not in fundamental tension at policy-relevant horizons. The HANK literature has begun to make this case in the heterogeneous-agent framework (Kaplan, Moll, & Violante, 2018; Acharya, Challe, & Dogra, 2023; Debortoli & Galí, 2024); EIMTS provides the architecture-level expression of the same insight.

§5.2.x On the i / M Independence Tension

The Tinbergen instrument-target table of §5.1 lists the policy rate i and the monetary base M_base as the price and quantity sides of a single monetary lever rather than as two independent instruments. The reframing is forced by the §1.4 commitment to endogenous money: treating i and M as separately controllable levers is inconsistent with the endogenous-money literature the §1.4 framing endorses.

The substantive tension is that the policy-rate rule (5.1) and the equality-indexed money supply rule (5.9) cannot be enforced simultaneously as two independent instruments. At the rate (5.1) prescribes, the money stock the system delivers will generically differ from M_t(base) · Ψ(E_t), because under endogenous money (BoE 2014; Kelton 2020; the literature §1.4 cites) broad money is demand-determined and is not a central-bank instrument at all. The M in equation (5.9) accordingly refers to the monetary base, which the central bank does control via open-market operations and reserve creation. But the same §1.4 endogenous-money commitment that displaces the multiplier framing also severs the textbook multiplier-driven link from base to broad money. The transmission from base-money adjustment via Ψ(E_t) to the equality target is therefore weak and uncertain in the same way that the §1.4 critique attributes weak transmission to base-money adjustment generally — broad money expansion follows credit demand at margins the central bank does not directly set, and the base-side equality response of (5.9) operates through whatever portion of base expansion is intermediated into credit conditions that pass through to the disposable-income distribution.

The honest accounting is that the two monetary rules (5.1) and (5.9) describe two aspects of a single monetary lever rather than two independent levers. The rate rule (5.1) handles the dual mandate with the equality augmentation as the §5.1 table's tertiary target; the base-money rule (5.9) operates as a quantity-side signal-and-complement that communicates institutional intent on the equality dimension and provides operational space where the rate is constrained by the zero lower bound. The ZLB case where (5.9) becomes operative is in fact the case where the rule is most useful: when the rate cannot move further but the base can be expanded with explicit distributional intent (the equality-indexed analogue of QE — the asset-purchase composition selected to lean against rather than amplify the wealth-channel side effect of §5.1), the quantity-side lever supplies the operational space the price-side lever has run out of.

The Tinbergen accounting therefore reduces to two operational instruments: one monetary (combining i and M_base as price and quantity sides of the same lever) and one trade (ζ via the gravity augmentation of §5.3). The equality objective competes within the monetary lever rather than getting its own; the §5.1 table's "tertiary target" framing of G under the rate rule, and the §5.1 table's "primary target" framing of G under the base rule, reflect the same underlying lever's two aspects rather than two independent assignments. The §5.4 fair-value monitoring band, listed in the table for completeness, is non-binding (per the trilemma honesty of §5.4 below) and does not enter the constrained-optimization program as a control instrument. The macroprudential row of the table likewise sits outside the formal monetary-trade architecture and addresses the wealth-Gini target that the income-Gini-targeting monetary lever does not reach.

5.3 The Equality-Adjusted Gravity Model

International trade responds not only to economic size and distance but also to bilateral equality conditions. The standard Anderson-van Wincoop gravity equation (eq. 2.27) needs a single modification to express the EIMTS architecture at the trade level: an equality term E_ij raised to elasticity ζ (renamed from γ to avoid the Taylor-Rule overloading; see Appendix A.1).

The equality-adjusted gravity equation is

T_ij = A · (Y_i · Y_j / Y_world) · (t_ij / (Π_i · P_j))^(1−σ) · E_ij^ζ (5.15)

where T_ij is bilateral trade flow, A is the productivity parameter, σ is the elasticity of substitution, and E_ij is the bilateral equality index. The exponent (1−σ) is the standard Anderson-van Wincoop (2003) form consistent with equation (2.27). The elasticity ζ is treated here as a free parameter pending estimation, not as a pilot estimate; we use ζ ≈ 0.15 as an illustrative reference value drawn from analogous equality-gradient elasticities in the trade-cost literature, with the understanding that estimating ζ on actual bilateral-trade data is open empirical work. The bilateral equality index takes convergence-trajectory form, and the design choice is load-bearing. An index built on level similarity — φ(−|G_i − G_j|) · φ(HDI_i + HDI_j), the natural first construction — fails an inversion test: it penalizes precisely the rich-poor pairs whose trade Chapter 2 argues is underpaid, taxing the periphery's market access in the name of equality. The index therefore rewards direction of travel rather than similarity of position: E_ij = φ(−d|G_i − G_j|/dt) · φ(dHDI_min,ij/dt) · φ(LS_ij), where the first factor rewards bilateral convergence of disposable-income distributions (a trend over a published multi-year window), the second rewards improvement in the lower partner's human development (dHDI_min,ij/dt is the HDI trend of the pair's lower-HDI member), and the third retains the labor-standards floor as a level term — floors are the one place levels belong, since a race to the bottom is a level phenomenon. The function φ is a logistic mapping to [0,1], normalized so that E_ij = 1 at the current-conditions baseline (no convergence, no deterioration). Under this form a rich-poor pair on a converging trajectory earns a gravity bonus relative to baseline — the periphery's market access expands precisely when the relationship is closing gaps — and what the index penalizes is divergence, not poverty. One symmetry the design owes: trade terms riding on measured convergence trends create the same manufacture surface as the transfer-bearing type θ_i, so the §4.4 measurement-integrity layer — pre-registered windows, multi-source triangulation, frozen methodology between supermajority reviews, adversarial audit — governs the E_ij inputs as well (§7.2).

Honesty caveat on structural interpretation. Equation (5.15) as written is an empirically motivated augmentation of the gravity equation rather than a full structural re-derivation. The Anderson-van Wincoop (2003) multilateral resistance terms Π_i, P_j are endogenous to the bilateral trade-cost matrix; introducing E_ij^(1−σ) into the trade cost (or, equivalently, multiplying the standard gravity prediction by E_ij^ζ) requires re-solving the full general-equilibrium fixed point for (Π_i, P_j) under the augmented cost structure. The augmentation is consistent with the structural skeleton — it preserves the gravity functional form and the multilateral-resistance term-structure — but it does not preserve the closed-form structural interpretation, because the fixed-point system for (Π_i, P_j) is no longer the system Anderson-van Wincoop solved. A full structural integration would proceed by extending the Anderson-van Wincoop fixed-point system to include the E_ij factor in the trade-cost matrix and solving the resulting equilibrium for the joint (Π, P, E) vector. That integration is open work; the paper retains the reduced-form augmentation with this caveat explicit rather than asserting a structural derivation it has not done.

The trade-volume property dT_ij / dE_ij = ζ · T_ij / E_ij > 0 provides material incentive for trading partners to improve distributional outcomes jointly. Countries converging toward bilateral equality gain increased trade volumes and the associated gains from trade. The empirical estimation specification is log-linear: ln(T_ij) = α + β_1 ln(Y_i · Y_j) − β_2 ln(D_ij) + ζ ln(E_ij) + τ_i + τ_j + ε_ij, with country fixed effects τ_i, τ_j. At the illustrative reference value ζ ≈ 0.15, a 10% increase in the bilateral equality index (through faster Gini convergence, lower-partner HDI improvement, or labor-standards harmonization) would increase bilateral trade by approximately 1.5%; the actual elasticity awaits estimation.

What this enables — beyond the trade-volume incentive — is the architectural shift on the trade side analogous to the monetary side. Trade rules now respond to distributional outcomes; the gravity model's action space is enlarged to include the equality response that Theorem 2.4' established was absent. The two architectures (monetary and trade) reinforce each other: nations that improve internal distribution simultaneously gain monetary accommodation (through §5.1's lower γ(G_t − G*) penalty) and trade access (through §5.3's higher E_ij^ζ multiplier). The joint mechanism is the load-bearing claim of the unified model.

5.4 The Fair Exchange-Rate Monitoring Band

The fourth EIMTS instrument reports bilateral exchange rates against a fair-value benchmark derived from equality-adjusted fundamentals, providing a monitoring band that flags large deviations as transparency information rather than binding policy targets. The reframing to a monitoring band with intervention only at extreme edges is the explicit consequence of taking the Mundell-Fleming trilemma seriously, as we develop below.

The fair bilateral exchange rate from currency i to currency j is e_ij = PPP_ij · Φ(HDI_ij, G_ij, XI_ij), where PPP is purchasing-power parity, HDI is the human development ratio, G is the disposable-income Gini ratio, and XI is an environmental-sustainability index. The equality adjustment Φ is constructed so that the fair rate is higher than PPP when the developing economy has lower HDI or higher inequality relative to the developed counterpart — the wedge reflects the developing economy's need for exchange-rate accommodation to support employment-intensive growth and capability development. The monitoring band δ_ij defines the reporting range: e_ij ∈ [e_ij(1 − δ_ij), e*_ij(1 + δ_ij)] with δ_ij set wide enough to be non-binding under ordinary fluctuations. Our default specification sets δ_ij ≈ 0.30 (a thirty-percent band around fair value), narrowing as bilateral equality converges only at the reporting level (the band labels deviations as "within fair-value range" or "outside fair-value range" without triggering automatic intervention). Intervention is contemplated only at the extreme edges (deviations above ±30% from fair value, sustained over a multi-quarter window), and even there the intervention is consultative through the IEMA (§7.2) framework rather than a symmetric-counter-movement mandate.

Trilemma honesty. The reframing is forced by the Mundell-Fleming trilemma. A binding fair-value corridor coexisting with the equality-targeting monetary rule of §5.2 and open capital accounts would violate the trilemma — fixed exchange rates, independent monetary policy, and free capital mobility cannot coexist, as the ERM crisis of 1992 demonstrated canonically and as the literature has reconfirmed in every subsequent episode (the 1997 Asian crisis, the 2010–2015 eurozone periphery crises, the 2018–2022 emerging-market currency runs). Rey (2013) sharpens the constraint further: a global financial cycle in capital flows and asset prices makes the trilemma effectively a dilemma — without capital-flow management, floating rates do not by themselves buy monetary autonomy — which strengthens rather than weakens the architecture's conclusions that the band must be non-binding under open capital accounts and that capital-flow-management (CFM) coordination is a structural complement (§7.6). A binding corridor with symmetric counter-movement would be incompatible with the open-capital-account assumption underlying the §5.2 monetary rule's independent operation. The architecture as specified therefore makes the corridor non-binding, which preserves the trilemma compliance: independent national monetary policy and open capital accounts continue to operate, with the exchange rate adjusting as a market-clearing variable that the monitoring band observes rather than constrains — subject to the same Rey qualification, which the architecture accepts as applying to its own flagship instruments and not only to the band: under the global financial cycle, even floating-rate monetary autonomy is attenuated without capital-flow management, one more reason §7.6 treats CFM coordination as a structural complement rather than an add-on. The "beggar-thy-neighbor prevention" framing of a binding corridor is set aside because a non-binding monitoring band cannot prevent competitive devaluation by definition; what it does is report deviations transparently, providing the informational base for diplomatic and trade-policy response through other channels (the §5.3 gravity ζ-augmentation, the §7 multilateral coordination architecture).

The path to a binding fair-value corridor — if that is ever the desired institutional outcome — requires either (i) coordinated capital controls across coalition members, treated structurally in §7.6 below rather than as a residual risk; or (ii) coordinated multilateral implementation of monetary policy such that the §5.2 rule operates at the coalition level rather than the national level, which is beyond this paper's scope and would constitute a separate architectural commitment akin to monetary union. Neither option is incorporated into the present architecture; both are flagged as natural extensions in future work.

The architectural ancestor for the monitoring band is the IMF's Article IV surveillance framework and the more recent macroeconomic-imbalances reporting under the EU's six-pack regulation, which report exchange-rate deviations and current-account imbalances against benchmarks without triggering automatic intervention. The ERM is the binding version that the trilemma rules out under open capital accounts; the IMF-Article-IV analogue is the non-binding monitoring counterpart that the architecture commits to.

§5.4.x Scope limit: the reserve-asset layer and the currency hierarchy

A reader from international macroeconomics will notice what the four instruments do not touch: the asset layer of the international monetary system — which currency serves as reserve asset, invoicing unit, and safe-haven funding vehicle — as opposed to the rules layer the instruments modify. The omission would be easy to leave unmarked; this section marks it, because a paper subtitled "reforming global money" that is silent on reserve assets invites the inference that it has not seen the problem. The problem is canonical. Triffin (1960) identified the structural tension of a national currency serving as the global reserve asset. Gourinchas and Rey (2007) document the "exorbitant privilege" — the excess return the reserve issuer earns on its external balance sheet, a seigniorage-like transfer from periphery to core that operates entirely outside the Taylor-rule and gravity channels this paper models, and one comparable in order of magnitude, on their accounting, to the flows the AGV mechanism would move. Farhi and Maggiori (2018) supply the modern model of the system's monopoly-issuer equilibria and instability zones. And the dominant-currency-paradigm evidence (Gopinath et al., 2020) shows that dollar invoicing shifts exchange-rate pass-through onto the periphery, so the very FX movements §5.4 monitors redistribute toward the core through a channel no EIMTS instrument reaches. A genuinely equality-indexed monetary order would have to address this layer, and the proposal lineage exists — Keynes's (1943) bancor, the SDR-expansion proposals revived by Zhou (2009) and the UN Stiglitz Commission (United Nations, 2009), Ocampo's (2017) reform architecture. EIMTS as specified is compatible with, but does not contain, any of them. The scope limit is explicit: the architecture reforms the rules layer conditional on the existing currency hierarchy; the hierarchy itself is assigned to the §7 multilateral layer (the Bretton Woods 2.0 sketch), where a reserve-asset commitment would have to be negotiated as a fifth institutional element alongside the four instruments. The paper claims no result about that negotiation; it records that without it, equality-indexing the rules layer operates on top of an asset layer that continues to redistribute toward the core.

5.5 The EIMTS General Equilibrium

The four instruments above are not independent. They sit inside a single constrained general-equilibrium problem whose formal specification — the EIMTS economy E = (I, J, (ω_i), u_i, (Ω_j), Y_j, p*, i*, W, A*) — is deferred to Appendix A (Definition A.1, with constraints A.1.1–A.1.7 restating the Atkinson constraint A^ε(x) ≤ A* per the Bridging Proposition of §5.6, and three welfare forms — Rawlsian (eq. A.32), capabilities-based (eq. A.33), and generalized CES (eq. A.34) — listed in Appendix §A.3). The four EIMTS instruments — equations (5.1) for the equality-augmented Taylor Rule, (5.9) for the equality-indexed monetary base rule, (5.15) for the equality-adjusted gravity model, plus the non-binding monitoring band of §5.4 (which surveils but does not constrain the equilibrium program) — together with the equality constraint specified at the constitutional level enter the formal optimization developed as Definition A.1 in Appendix A. The monitoring band of §5.4 is therefore not a constraint in the equilibrium definition (consistent with Definition A.1, which omits any corridor object from A.1.1–A.1.7); it is a reporting-and-publication instrument operating outside the formal constrained-optimization program. The remainder of this chapter takes the equilibrium concept as given and develops its existence (§5.6), welfare properties (§5.7), and uniqueness / comparative statics (§5.8). The formal specification is deferred to Appendix A; the substantive content of the remainder of this chapter is that this equilibrium exists, is welfare-improving over the unconstrained baseline, and is locally unique under the conditions stated below.

5.6 Equilibrium Existence and the Atkinson/Gini Substitution

Theorem 5.4' (equilibrium existence for the EIMTS economy) commits to A^ε(x) ≤ A* as the binding object — and the reason is not the one usually given. The usual argument, that the Gini's level sets are not convex and equilibrium existence therefore forces a different functional, is false: the Gini is quasiconvex on the positive orthant — its sub-level sets {x : G(x) ≤ G*} = {x ∈ ℝ_+^n : Σ_i Σ_j |x_i − x_j| ≤ 2n G* Σ_i x_i} are sub-level sets of a polyhedral convex function net of a linear one, hence convex — so an existence proof could carry the Gini constraint directly. The Atkinson substitution rests on the grounds that survive: A^ε is smooth on the interior where the Gini is kinked at ties; it carries an explicit inequality-aversion parameter ε that makes the welfare judgment inspectable rather than implicit; and it is the form under which the log-normal bridge to Gini-denominated reporting is exact. The recovery of the Gini target for general distributions is not conservative; the slack is priced in §A.7 via the worst-case ceiling G†.

Theorem 5.4' (EIMTS Constrained-Equilibrium Existence). For the EIMTS economy E = (I, J, (ω_i), u_i, (Ω_j), Y_j, p*, i*, W, A*) where the equality constraint is specified as A^ε(x) ≤ A* for inequality aversion parameter ε > 1, a constrained equilibrium (p*, i*, x_1*, …, x_n*) exists — in the sense of Definition A.1: market-clearing prices supporting the welfare-maximal allocation on the constraint set, a constrained optimum with supporting prices rather than a decentralized Arrow-Debreu equilibrium (see the Remark after Definition A.1).

Bridging Proposition. For any target Gini G*, there exists a corresponding Atkinson threshold A*(ε, G*) such that the Atkinson constraint A^ε(x) ≤ A* is a sufficient condition for G(x) ≤ G†, where G† is a computable function of A* and ε (computed in §A.7 for the fronted thresholds). For log-normal income distributions, both G and A^ε are monotone increasing functions of the log-variance σ², establishing a bijection between them: given G*, solve G* = 2Φ(σ/√2) − 1 for σ², then compute A* = 1 − exp(−εσ²/2). The worked example below uses ε = 2 throughout (a standard inequality-aversion choice corresponding to a moderate-aversion social welfare function).

The proof of Theorem 5.4' uses standard Steps 1–3 (excess demand definition, upper-hemicontinuity via Berge's Maximum Theorem, Walras' Law) and a revised Step 4. Under the Atkinson constraint with ε > 1, the feasible set S = {x ∈ ℝ_+^n : A^ε(x) ≤ A*} is convex. The argument: the equally-distributed-equivalent-income function Y_ede = [Σ_i (x_i)^(1−ε) / n]^(1/(1−ε)) is concave in x for ε > 1: Y_ede is the power mean M_p(x) with exponent p = 1 − ε < 0, and power means with p ≤ 1 are concave on the positive orthant (Hardy, Littlewood, & Pólya, 1952, §2.9–2.10; note the concavity is a joint property of the power mean — the naive composition route fails, since t^q with q ∈ (−1, 0) is convex decreasing, not concave). Since A^ε(x) = 1 − Y_ede / μ and Y_ede is concave, the sub-level set {x : A^ε(x) ≤ A*} is the super-level set of a concave function and hence convex. Steps 5–6 (Kakutani fixed-point and equilibrium construction) proceed in the standard way with the Atkinson constraint as the binding object throughout. The Bridging Proposition is proved exactly for log-normal distributions via the shared σ²; for general distributions the recovery runs through the priced worst-case ceiling G† of §A.7 (the Lorenz-domination route covers only the Lorenz-comparable subset), drawing on Atkinson (1970), Thistle (1989), and Lambert (2001). Full proof bodies are in Appendix A.4.

What this enables is that the rest of the model can keep talking in Gini terms as a reporting language while the formally binding equilibrium constraint is A^ε(x) ≤ A*. The exemplar target the architecture can defend at the international layer is G* ≈ 0.55, not 0.30: the corrected numerical work (Coda; §6.6) reports 0.30 unattainable by the paper's own transfer mechanism at any admissible transfer level, with the reachable between-country frontier beginning near 0.55, and §A.7's worked example accordingly runs at 0.55, the 0.30 computation serving as the within-country national illustration. The Bridging Proposition lets policy audiences continue to think in Gini terms — with the convexity motivation corrected above and the general-distribution slack priced at G† in §A.7.

5.7 Welfare Theorems

Three welfare theorems characterize the EIMTS equilibrium. Their statements appear here; the proofs are in Appendix A.5.

Theorem 5.5 (Modified First Welfare Theorem). An EIMTS equilibrium allocation is constrained Pareto optimal subject to the equality constraint A^ε(x) ≤ A*. No alternative allocation can make any household strictly better off without either making another household worse off or violating the equality constraint. (With Definition A.1's planner form this is close to immediate; the theorem's content is that the optimum is price-supported — see §A.5.)

Theorem 5.6' (Existence-but-not-Operationality of Constrained-Optimal Allocations). For any constrained-optimal allocation x* satisfying the EIMTS welfare constraints — including A^ε(x*) ≤ A* and any auxiliary capability or sustainability constraints invoked by the chosen W in §A.3 — there exist initial-endowment redistributions Δω that would support x* as a competitive equilibrium of the constrained economy. We state and prove the existence; we do not claim operationality. Under the seigniorage capacity analyzed in §1.4 (commercial-bank-credit creation operating endogenously, with the central bank's direct seigniorage capped by the inflation constraint) and under the redistribution-magnitude calibration of §3.7 (existing cross-border fiscal transfers at approximately 1% of recipient GDP versus the architecture's required magnitudes one-to-two orders of magnitude above that), the required Δω is not feasible from monetary financing alone. Theorem 5.6' is therefore a non-operational existence result: the second-welfare-theorem structure holds for the constrained-equilibrium model, but its policy operationalization requires fiscal complementarity outside the architecture's monetary core. The theorem makes this explicit: seigniorage financing alone does not bridge the gap to the required Δω.

Theorem 5.7'' (Conditional Kaldor-Hicks / Aggregate Welfare Improvement). Conditional on the inequality externality function E(·) satisfying E(G_CE) − E(G*) ≥ Ē, where Ē is the lower-bound magnitude required to clear the aggregate compensation requirement under the constrained allocation, the EIMTS equilibrium produces an aggregate (Kaldor-Hicks) welfare improvement over the unconstrained competitive equilibrium baseline. The improvement does not constitute a Pareto improvement at the household level unless explicit compensating transfers are paid to consumption losers — and per Theorem 5.6' (Existence-but-not-Operationality) those transfers are not operational under current seigniorage and fiscal constraints. The theorem therefore supplies a potential-Pareto / aggregate-welfare argument, not an actual-Pareto ordering at the household level. The lower bound Ē is the contested empirical magnitude of the architecture's welfare claim; Theorem 5.7'' operates as a sufficient condition for aggregate Kaldor-Hicks improvement, not as an unconditional welfare ordering.

The intuition of Theorem 5.7'' is the welfare-economic case for EIMTS in compact form. In the unconstrained competitive equilibrium, agents do not internalize the externality cost of inequality — psychic costs of relative deprivation, reduced trust and social cohesion, lower aggregate productivity, political-instability risk. These externalities reduce aggregate utility. The EIMTS constraint internalizes them by restricting allocations to more equal distributions; the efficiency cost shows up as binding consumption reductions for households at the top of the distribution, and the welfare comparison turns on whether the externality reduction E(G_CE) − E(G*) is large enough to compensate those losses in aggregate terms. When it is, the aggregate (Kaldor-Hicks / potential-Pareto) improvement is delivered; whether it becomes an actual Pareto improvement at the household level depends on whether compensating transfers are paid to the losers, and Theorem 5.6' tells us those transfers are not operational under current seigniorage and fiscal constraints. The theorem supplies the aggregate-welfare argument; the actual-Pareto ordering would require the operationally-infeasible compensations.

E(·) is posited rather than estimated. The sign dE/dG > 0 is well-documented, but the sign does not bound the magnitude of E(G_CE) − E(G*), and the magnitude must clear the threshold Ē for the welfare-improvement claim to be defensible. Even when Ē is cleared, what is delivered is Kaldor-Hicks / aggregate-welfare improvement rather than actual-Pareto improvement at the household level, because the compensating transfers Theorem 5.6' specifies are not operational. The literature on the inequality externality (Wilkinson & Pickett, 2009 on health and social cohesion; Stiglitz, 2012 on the productivity and political-stability channels; Acemoglu & Robinson, 2019 on institutional erosion) supplies suggestive evidence that the externality magnitudes are substantial, but none of this work delivers a calibrated Ē the paper would commit to as a parameter. Theorem 5.7'' is therefore a conditional aggregate-Kaldor-Hicks / potential-Pareto improvement claim, not an actual-Pareto ordering, and the empirical magnitude of E(·) relative to Ē is the open question the architectural case must eventually answer. The formal-model result stands without simulation backing; the empirical backing is correspondingly weaker. Stated in the register this paper owes its readers: until Ē is committed as a number with an estimation protocol, Theorem 5.7'' is not falsifiable — it is a conditional whose antecedent no observation can currently close, and it should be read as exactly that, not as an empirical welfare result.

5.8 Uniqueness and Comparative Statics

The EIMTS equilibrium is unique under standard gross-substitutes conditions and a bound on the social-welfare CES parameter λ_W. Proposition 5.5* (starred to distinguish from Theorem 5.5, the modified First Welfare Theorem): the EIMTS equilibrium is unique if gross substitutes hold and ∂λ_W/∂δ_L < κ*, where λ_W is the social-welfare CES parameter (eq. A.34; see Appendix A.1 for the notation glossary), δ_L is the central bank's discount factor in the loss function (eq. 1.1), and κ* is the elasticity-of-substitution-derived critical bound from the money-supply feedback Ψ(E). The condition states that the implied sensitivity of the welfare CES to the planner's discount factor must lie below the critical bound; this rules out a regime in which long-horizon welfare weighting feeds back through Ψ(E) to generate multiple equilibrium fixed points. The gross-substitutes assumption ensures excess demand slopes downward; the additional bound on ∂λ_W/∂δ_L ensures the money-supply feedback Ψ(E) does not generate multiple fixed points. For typical calibrations (the implied ∂λ_W/∂δ_L sensitivity in the empirically relevant range, κ ≈ 5–8 from the trade elasticity, κ* in the same magnitude order), uniqueness holds.

Comparative statics on the equality target: when G* tightens (the government targets lower inequality), the feasible-allocation set shrinks and feasible allocations become more equal, which requires redistribution. The price of labor rises (dp_l / dG* > 0); the price of capital services falls (dp_c / dG* < 0); the interest rate falls through the augmented rule's γ(G_t − G*) term. The trade adjustment runs symmetrically: tightening G* domestically raises the equality index E_ij vis-à-vis partner nations with looser targets, increasing the multiplier E_ij^ζ in the gravity equation and expanding bilateral trade volume. The system thus generates positive externalities in trade for nations that tighten their distribution targets, providing an institutional incentive for the kind of unilateral within-coalition equality improvement that the AGV mechanism rewards in expectation.

Comparative statics on λ_M (the money-supply equality sensitivity): higher λ_M produces stronger monetary response to equality changes; when actual equality exceeds target (E > E*), higher λ_M causes more monetary expansion, raising inflation but stimulating output and employment. The net effect on inequality is negative (E decreases toward E*), creating a stabilizing feedback loop. Comparative statics on γ (the Taylor-Rule equality coefficient): higher γ tilts policy toward inequality reduction; di* / dγ = (G − G*), so when G > G*, raising γ produces more aggressive rate cuts, stimulating wage growth through the labor-market channel. Inequality unambiguously falls (dGini / dγ < 0). The welfare effect is positive whenever the efficiency cost of the tighter feedback is small relative to the distributional gains; whether it is small is a magnitude question the held-back numerical work cannot yet certify, and the augmented-rule literature's modest-gains findings (§5.1) counsel against assuming it.

5.9 The EIMTS Framework as Architecture

This chapter has presented the unified EIMTS model. The four instruments — equality-augmented Taylor Rule (§5.1), equality-indexed money supply (§5.2), equality-adjusted gravity model (§5.3), fair exchange-rate monitoring band (§5.4) — sit inside a constrained general-equilibrium problem whose formal specification appears in Appendix A. A constrained equilibrium exists (Theorem 5.4', in the Definition A.1 sense); the equilibrium allocation is constrained Pareto optimal (Theorem 5.5); the second-welfare-theorem analogue holds as a non-operational existence result (Theorem 5.6'); the constrained equilibrium delivers an aggregate (Kaldor-Hicks) welfare improvement over the unconstrained competitive equilibrium when the inequality externality clears the lower bound Ē (Theorem 5.7''); the equilibrium is unique under gross substitutes plus the ∂λ_W/∂δ_L < κ* bound (Proposition 5.5*). The architecture demonstrates that equality need not conflict with efficiency at the policy-relevant horizon and that the conventional separation of monetary policy from distributional concerns is theoretically unjustified — a point HANK has made within the heterogeneous-agent framework, and that the architectural-level EIMTS specification makes at the level of rules and institutions.

Implementation requires coordination among central banks, international financial institutions, and national governments. Chapter 7 develops the transition path and the institutional architecture required to make this formal model operational; Chapter 6 first presents the empirical anchoring through three case studies and the pre-specified econometric designs that the architecture's testable predictions admit.

---

§ VIEmpirical Validation

The architecture developed in Chapter 5 is, on the page, a constrained general-equilibrium specification with four instruments and a welfare-superior equilibrium. On the ground, no part of it has been implemented at the scale the model contemplates. The empirical work of this chapter is therefore necessarily a work of partial validation: locating real-world institutional arrangements that implement one of the EIMTS instruments under conditions that expose what each does and what it cannot do without the rest of the architecture. Three cases serve the purpose. Bhutan's Gross National Happiness framework operationalizes a multidimensional equality target in the way the composite index of §5.2 contemplates. New Zealand's Wellbeing Budget translates a similar multidimensional measure into fiscal-allocation rules that mirror the f* operator of Theorem 4.7'. Mondragon Corporation's cooperative-federation structure implements the AGV-style intercooperation transfers of §4.4 within a single firm's institutional boundary. Each case is treated as a partial implementation under unfavorable conditions — none has the monetary, trade, and federation infrastructure EIMTS requires — and each is therefore informative both about what works and about why the full architecture would do more than the partial implementation does.

Chapter 6 does not report CGE simulation results, and the reason deserves plain statement. The February 2026 internal code audit identified five findings it classed as critical; the July 2026 re-execution (documented in the companion validation report) found that the audit itself largely does not survive — of its three blocking findings, one reproduces, one is wrong in direction and magnitude, and one does not reproduce at all. Four defects do exist, three of them unnamed by that audit, and all four are repaired in a corrected model (v4) whose headline scenarios (C, D, E) reproduce to five decimal places, the two low-intervention scenarios drifting in the third decimal for reasons not yet identified. Results stay out of this chapter for two reasons: the unexplained low-intervention drift, and — more consequentially — the corrected model's central reachability finding, carried by the body (§5.6, §A.7): the equality target G* = 0.30 is not attainable by the paper's own transfer mechanism at any admissible transfer level, the reachable frontier beginning near 0.55, so the §B.5 scenario suite — built around targets the mechanism cannot reach — must be re-specified around the frontier before its outputs can be read as tests of the architecture. The chapter is therefore organized as §6.1 strategy → §§6.2–6.4 case studies → §6.5 econometric designs (which carries the WID-vs-survey rank-correlation finding, reportable because it depends on input data rather than the solver) → §6.6 synthesis (which incorporates the numerical-status acknowledgment as the closing context).

6.1 Empirical Strategy

The empirical claim EIMTS makes is that an architecture with explicit distributional terms in monetary and trade rules produces measurably more equal outcomes than an architecture without them, at acceptable cost to aggregate output. The claim is multi-level — it operates at the level of national institutions, at the level of within-coalition trade, and at the level of global between-country distribution. No single empirical strategy can validate all three levels simultaneously. The case studies validate the institutional-level mechanism by showing that real institutions with one EIMTS-like instrument produce measurable distributional improvements within their scope of action. The econometric specifications in §6.5 provide the panel-data, instrumental-variables, and difference-in-differences specifications under which the EIMTS hypothesis would be testable as actual implementations begin to appear; that section also reports one calibration-robustness observation salvaged from the simulation pipeline (the WID-vs-survey rank-correlation finding) that survives the implementation bugs because it depends on the input data rather than the broken solver. The empirical strategy is therefore one of partial triangulation: no single piece of evidence is conclusive, but the convergence of partial-implementation case studies and pre-specified econometric tests is informative even in the absence of the CGE simulation outputs, which are held back pending the frontier-consistent re-specification described in the chapter introduction.

6.2 Case Study I: Bhutan and Gross National Happiness

Bhutan adopted Gross National Happiness as a constitutional development objective in 2008 following more than three decades of explicit articulation as a national philosophy. The GNH framework operationalizes the multidimensional approach: nine domains (psychological wellbeing, health, education, time use, cultural diversity, good governance, community vitality, ecological diversity, living standards) are weighted using the Alkire-Foster (2011) methodology to produce a composite index S(p) = (1/k) Σ_d w_d · I_d(p) on each individual; aggregation across the population produces the national index. Pennock and Ura (2011) and Ura, Alkire, Zangmo, and Wangdi (2012) provide the technical methodology and the longitudinal data. The 2010, 2015, and 2022 GNH Surveys show measurable improvement on six of the nine domains, with the cross-survey "happy" share rising from 40.9% (2010) to 48.1% (2022); inequality on the World Bank's consumption-Gini series fell from 0.381 (2007) to 0.285 (2022), a reduction of 9.6 points over 15 years (Bhutan's standard inequality series is consumption-based, not disposable-income — a definitional caveat for comparisons with the WID/LIS objects this paper targets).

The EIMTS-relevant feature of Bhutan is the institutional binding. GNH is not advisory: every government policy must pass a GNH Policy Screening Tool that scores it against the nine domains; policies scoring below the threshold are revised or rejected before submission to the National Assembly. The screening tool implements, at the policy-evaluation level, the same logic that EIMTS §5.5's social welfare function W(u_1, …, u_n) implements at the allocation-evaluation level. The correspondence is structural rather than formal: the screening tool plays the role the allocation rule f plays in the mechanism — a mapping from measured multidimensional state to permitted allocations — without any of the mechanism's information or transfer apparatus. Bhutan demonstrates that a multidimensional equality measure can be institutionally binding at the policy-formation stage rather than only at the policy-evaluation stage, and that the binding can be sustained politically across multiple government turnovers (the 2008, 2013, 2018, and 2023 elections all retained the GNH framework despite partisan change).

What Bhutan does not demonstrate, and what the EIMTS architecture is designed to address, is the scaling problem. Bhutan's population is 770,000; its GDP is approximately $3 billion. The monetary and trade dimensions of EIMTS — which require coordination across central banks of larger economies, which require trade-cost adjustments operating through gravity-model multilateral resistance terms — do not appear in the Bhutan case because Bhutan's monetary architecture is a peg to the Indian rupee and its trade is overwhelmingly bilateral with India. The case validates the intra-national implementation of the multidimensional equality target as a binding constraint on policy; it cannot validate the international monetary and trade architecture EIMTS additionally requires. EIMTS formalism addresses the international layer that the Bhutan case structurally cannot reach. The case also has the obvious limitations of small-state generalizability: institutional commitments sustained in a 770,000-person constitutional monarchy may not survive transposition to a 330-million-person republic with multi-party political turnover, and the GNH framework's reliance on culturally specific psychological-wellbeing measures may not transpose to populations with different baseline expectations about state-citizen relations.

6.3 Case Study II: New Zealand's Wellbeing Budget

New Zealand adopted the Wellbeing Budget framework in 2019 under the first Ardern government, with the Treasury's Living Standards Framework (LSF) providing the technical infrastructure. The LSF identifies twelve domains of wellbeing and routes budget allocations through an explicit multidimensional optimization: B(w) = argmax W(x) subject to Σ x_i ≤ R, where W(x) is the wellbeing function over the twelve domains, x_i is the allocation to domain i, and R is total budget. The 2019, 2020, 2021, and 2022 budgets each had announced wellbeing priorities — child wellbeing, mental health, Māori and Pasifika wellbeing, environmental sustainability — with named appropriations attached. The framework did not survive the 2023 election change intact: Budget 2024 dropped the Wellbeing Budget approach, and in 2025 the government moved to strip the wellbeing provisions from the Public Finance Act, leaving the Treasury's LSF as analytical infrastructure without the budget-process binding.

The EIMTS-relevant feature of the Wellbeing Budget is that it is the closest existing institutional analogue to what an f*-like allocation rule would demand of a budget process — an analogy at the level of institutional form, not a formal instance of Theorem 4.7'. The Treasury's LSF specifies, in operational detail, how a multidimensional wellbeing target translates into actual budget line items. The mapping mirrors, in institutional form, what the EIMTS allocation rule does formally: select allocations to maximize a multidimensional welfare objective subject to an inequality ceiling and an aggregate-resource constraint. New Zealand's contribution is to demonstrate that this allocation rule is implementable at the level of a national fiscal cycle — that the Treasury, the cabinet, and the parliamentary appropriations process can be redesigned to operate against a multidimensional welfare function rather than against the implicit utilitarian-aggregate objective of standard public-finance budgeting.

The measurable outcomes are mixed and lagged. Child poverty on the 50%-of-median after-housing-costs (fixed-line) measure fell from 22.8% (2017/18) to 15.4% (2021/22), against a statutory target of 10% by 2027/28; the before-housing-costs rate fell from 16.5% to 12.0% over the same window. The trend then reversed rather than stabilizing: the after-housing-costs rate rose to about 17.5% in the year ended June 2023 before flattening. Mental health service access improved modestly; the housing crisis worsened across the same period despite explicit appropriation. The mixed pattern is instructive: the multidimensional allocation rule produces measurable progress on dimensions where the fiscal lever is available and binding, and no progress on dimensions (like housing) where the constraints are not primarily fiscal. EIMTS formalism addresses this limitation: the housing case shows that fiscal allocation alone is insufficient when the binding constraints are on the supply side (land-use restrictions) or on the monetary side (interest rates affecting construction finance); the four-instrument EIMTS architecture would route the monetary side through §5.1 and §5.2 in a way that single-instrument fiscal implementation cannot.

The case's limitations are political-economy in character — and they have since sharpened into the case's clearest lesson. The Wellbeing Budget did not survive the change of government as a binding process: the 2024 budget dropped the approach and the 2025 Public Finance Act amendments removed the wellbeing provisions, leaving the LSF as analysis rather than as the binding objective. The EIMTS architecture is designed to make exactly this kind of unilateral reversal costly — once a nation enters the AGV-transfer system, exit forfeits the discounted value of future transfers, which is the repeated-game participation margin of §4.9 (the incentive-compatibility property of Theorem 4.7' covers reporting, not exit) — but no current real-world implementation provides that cost. The case demonstrates the feasibility of the allocation rule and the political fragility of an implementation that costs nothing to abandon; EIMTS adds the participation cost the Wellbeing Budget did not have.

6.4 Case Study III: Mondragon Corporation

Mondragon Corporation is a federation of approximately 80 cooperative enterprises based in the Basque region of Spain, employing roughly 70,500 worker-owners across industrial, retail, financial, and educational segments, with industrial-and-distribution sales of approximately €11.2 billion in 2024 (Mondragon Corporation, 2024; TU Lankide, 2024). The federation underwent a significant restructuring in 2022 when two large member cooperatives — ULMA Group (scaffolding and construction) and Orona (elevators) — voted to leave the federation, reducing the headline workforce by approximately 13 percent and revenue by approximately 15 percent; earlier reported figures of approximately 80,000 worker-owners reflect the pre-restructuring count. The federation was founded in 1956 by José María Arizmendiarrieta as a single small workshop and grew over six decades into Spain's seventh-largest corporate group. Whyte and Whyte (1991) and Cheney (1999) provide the institutional history; the contemporary financial reports (Mondragon Corporation, 2024) provide the operational data.

The EIMTS-relevant feature is the institutional implementation of the AGV-style transfer mechanism at the federation level. Three structural features matter. First, the pay-ratio constraint: each cooperative's bylaws set a maximum ratio w_max / w_min ≤ ρ where ρ ∈ {3, 4, 6} depending on the cooperative, producing an internal Gini coefficient G_M ≈ f(ρ) of approximately 0.22–0.28 depending on the skill distribution. The pay-ratio rule is the cooperative-level analogue of the EIMTS Gini constraint G(x) ≤ G* of §5.5. Second, the intercooperation funds: each cooperative contributes 10% of pre-tax surplus to a federation-wide solidarity fund (the Fondo de Educación y Promoción Cooperativa and related funds) which finances new cooperative formation, R&D, and bailout assistance to cooperatives in crisis. The intercooperation transfers implement, within a single legal-institutional boundary, the AGV mechanism's redistribution from successful to struggling coalition members. Third, the internal banking — Caja Laboral, founded 1959 — provides cooperative-rate credit r_coop = r_market − δ(E_coop − E*) where E_coop is cooperative employment and E* is a target, implementing the EIMTS equality-indexed money supply at the federation level.

The transfer rule the federation operates is the institutional analogue of (4.AGV) — not a formal instance (there is no type report and no expected-externality computation), but the same architectural move: Transfer_i = [r_market · K_i] − [r_coop(E_i, E*) · K_i], aggregated across all cooperatives, the wedge between the market rate cooperatives would face externally and the equality-indexed internal rate, redistributing by rule from successful members to struggling ones. The Mondragon record is informative: across the 2008 global financial crisis, member cooperatives that would have failed in standard credit markets survived through Caja Laboral support, and the federation's overall employment fell less than the Spanish industrial-employment average over the same period. The 2013 collapse of Fagor Electrodomésticos — Mondragon's largest cooperative at the time — is the case's most-instructive limitation: when intercooperation transfers were insufficient to keep a 5,600-employee cooperative solvent against external shocks, the federation's solidarity mechanisms had to choose between sustaining Fagor through deepening debt and accepting its closure with redeployment of workers across other cooperatives. The federation chose redeployment, and 1,800 of Fagor's workers were absorbed into other Mondragon cooperatives within eighteen months.

What Mondragon demonstrates is that the AGV-style mechanism is institutionally implementable at the scale of a ~70,500-person federation (and previously, before the 2022 ULMA/Orona departures, an 80,000-person federation), that the implementation provides measurable crisis resilience, and that the inequality-reduction property holds (the federation's Gini is in the 0.22–0.28 range, substantially below the Spanish national Gini of approximately 0.33). What Mondragon cannot demonstrate is that the mechanism scales to the inter-national level the EIMTS architecture targets: Mondragon operates within a single legal-institutional boundary, with shared culture and shared exit costs, while EIMTS contemplates coordination across sovereign nations with heterogeneous institutions and substantial exit options. EIMTS formalism addresses the cross-jurisdictional layer that Mondragon, by virtue of operating within a single legal jurisdiction, structurally cannot reach. The federation's bylaws can be enforced through internal cooperative governance; EIMTS's analogous rules must be sustained through the §4.9 division of labor — reporting incentives from the AGV construction, participation from the repeated game. The case validates the institutional feasibility of the transfer mechanism; the mechanism design of Chapter 4 provides what Mondragon's single-jurisdiction structure does not need to address.

6.5 Econometric Specifications

The testable predictions of the EIMTS architecture admit several econometric specifications under which the hypothesis becomes falsifiable as actual implementations begin to appear. The three specifications below are pre-registered designs that the paper proposes for future empirical work.

Panel data model with distributional outcomes. For nations i and years t, the relationship between monetary policy, trade integration, and the disposable-income Gini coefficient is

G_it = α_i + β_1 r_it + β_2 T_it + β_3 (r × T)_it + γ X_it + ε_it (6.9)

where r_it is the policy rate, T_it is trade openness, the interaction (r × T)_it captures monetary-trade complementarity, X_it is a vector of controls, α_i is country fixed effects, and ε_it is the error term. The specification carries two directional predictions, and the falsifiable object is the contrast between them: under the current architecture (no distributional terms in either rule) the interaction coefficient is predicted positive, β_3^current > 0 (more openness, more inequality at higher integration intensities); under EIMTS-augmented rules it is predicted to weaken or reverse, β_3^EIMTS < β_3^current, with β_3^EIMTS ≤ 0 as the strong form. The pre-registered object is the cross-regime contrast in β_3, not the claim that some β_3 differs from zero.

Instrumental-variables strategy. Endogeneity of monetary policy and trade with respect to inequality is the obvious econometric concern. The EIMTS architecture provides plausibly exogenous instruments: the announced monetary-policy reaction-function coefficients (which a central bank commits to) rather than the realized policy rates, and the committed trade-policy parameters (which a government signs into treaty) rather than the realized trade volumes. The instruments allow identification of the architectural-level effect separate from the realized-outcome endogeneity.

Difference-in-differences specification. For partial implementations — Bhutan's GNH adoption (2008), New Zealand's Wellbeing Budget (2019), Mondragon's intercooperation expansions — the difference-in-differences specification

Y_it = α + β(Treated_i × Post_t) + δ X_it + μ_i + λ_t + ε_it (6.10)

identifies the treatment effect of the implementation on the relevant outcome Y (disposable-income Gini, wealth Gini — the joint-commitment outcome of §5.1's wealth-channel answer — child poverty, employment), with country fixed effects μ_i and time fixed effects λ_t. The synthetic-control method (as in Bhutan's case, where comparable Himalayan-region developing-economy controls are constructed weighted to match pre-treatment trends) provides robust identification under standard assumptions. Future EIMTS implementations would extend this specification to the cross-coalition level: nations entering EIMTS-style arrangements would be the treatment group, comparable non-participating nations the control, with the difference-in-differences estimator providing the causal effect of architectural-level adoption.

The data requirements are non-trivial: high-frequency panel data on disposable-income inequality at consistent definitions, harmonized trade and monetary policy variables across countries, and pre-registered analysis protocols to prevent post-hoc specification searches. The World Inequality Database (Alvaredo et al., 2018; Chancel et al., 2022) and the Standardized World Income Inequality Database (SWIID; Solt, 2020) provide the inequality side; the IMF's monetary-policy database and the WTO's trade-policy database provide the institutional side.

Calibration-robustness observation. One finding from the CGE work is reportable independently of the solver's status because it depends on input data rather than equilibrium computation: across WID pre-tax-national-income calibrations and household-survey-based calibrations of the equality-index input vector, the rank ordering of nations by Equality Index is preserved with a Spearman rank correlation of approximately 0.9. The robust interpretation of this observation is methodological rather than substantive: the relative diagnosis — which nations are most and least equal under the EIMTS measurement framework — is robust to the WID-vs-survey methodological choice, even though the absolute levels can differ substantially. This is informative for the econometric specifications above: panel-data and difference-in-differences identification of treatment effects depends on within-country variation rather than cross-country levels, and the rank-correlation robustness suggests that pre-registered tests of the EIMTS hypothesis can use either WID or survey-based Gini measures without their treatment-effect estimates being mechanically driven by the measurement choice. Earlier magnitude claims (e.g., "WID widens spread approximately 35%", "80% within tolerance") are not salvaged — those quantities depended on pre-correction solver outputs, and re-reporting them awaits the frontier-consistent re-specification of the scenario suite (§6.6).

Falsifier accounting, stated plainly. Of the falsifiers this paper names, only the maintained hypotheses are live today with existing instruments: multi-decade r ≤ g, or fiscal offset reaching φ ≥ 1, would fire C1/C2 and can be produced by the WID/OECD measurement community within the ordinary publication cycle. The cross-regime contrast above and the wealth-Gini joint commitment of §5.1 fire only after an adoption event that §7 itself declares unpredictable; the Ē threshold of Theorem 5.7'' is not falsifiable until Ē is committed (§5.7); and the case-study designs can falsify case-level claims but are insulated at the architecture level by the partial-implementation framing. A reader tallying ways to prove the architecture wrong should count the live ones: two, both borrowed from the maintained hypotheses rather than original to the design. Everything else waits on adoption — which is the honest shape of an architecture paper, and is stated here rather than left for the reader to discover.

6.6 Synthesis

The empirical case for EIMTS is modest. The three case studies validate the institutional-level mechanism at single-instrument scope: Bhutan demonstrates the binding implementation of a multidimensional equality target; New Zealand demonstrates the operational instantiation of the f* allocation rule at fiscal scale; Mondragon demonstrates the AGV-style transfer mechanism at federation scale. The pre-specified econometric tests of §6.5 provide the framework for falsification as future implementations begin to appear, and the calibration-robustness observation supports the rank ordering of nations by equality index being robust to the WID-vs-survey methodological choice. The full architectural-level validation requires actual EIMTS implementation, which is the subject of Chapter 7. The case studies establish the institutional plausibility of the components; the architectural case rests on Chapters 1–5; the empirical claim is that the institutional plausibility and the architectural argument together are sufficient grounds to enter the transition phase. Whether they are sufficient to complete the transition is what Chapter 7 takes up.

Numerical status (July 2026). The February 2026 internal code audit (EIMTS_CGE_AUDIT_REPORT.md) identified five findings it classed as critical: a hardcoded stability Jacobian, an unenforced equality constraint in the equilibrium solver, a money-supply integration that computes but does not feed back, a sign error in the Gini dynamics, and a broken welfare-aggregation routine. Re-execution in July 2026 found the audit largely does not survive: of its three blocking findings, one reproduces, one is wrong in direction and magnitude, and one does not reproduce at all. Four defects do exist — three of them unnamed by the audit — and are documented in full in the companion validation report; all four are repaired in the corrected model (v4). The headline scenarios (C, D, E) reproduce to five decimal places; the two low-intervention scenarios drift in the third decimal, unexplained. The corrected archive (EIMTS_Replication_v4.zip) supersedes EIMTS_Replication_v3.zip, which remains bundled only as a historical artifact of the pre-audit code. Simulation results stay out of this chapter pending re-specification of the §B.5 scenario suite around the reachable frontier (G ≈ 0.55; §5.6 and the Coda) rather than around targets the transfer mechanism cannot reach. The paper rests on the architectural case, the case studies, and the pre-specified econometric designs — not on simulation magnitudes.

---

§ VIIThe Transition Path

The architecture this paper has developed is not, even at the level of formal specification, the kind of object that can be implemented by single-actor decision. EIMTS requires coordination across central banks of the major economies; coordination across the trade-policy infrastructure of the WTO, OECD, and national trade ministries; coordination across the international-finance infrastructure of the IMF, BIS, and regional development banks; and political support sustained across electoral cycles in each of the participating nations. Any one of those requirements would be a substantial coordination problem on its own. Together they constitute a problem of the same order as Bretton Woods 1944 — and the empirical record of the post-1971 international monetary system is, to a first approximation, the record of partial attempts to reconstruct what Bretton Woods built. The transition path this chapter develops is therefore not a policy proposal in the conventional sense. It is a sketch of what would have to happen for EIMTS to come into existence, the named institutional precedents from which the relevant moves can be drawn, and the political-economy analysis of the resistance such a transition would encounter. The argument is honest about its own constraint: the architecture would be adopted not by accumulated rational persuasion but by crisis-window opening — analogous to how Bretton Woods was adopted in 1944, how the Tobin tax has been periodically revived (without yet being adopted) since 1972, and how the OECD minimum tax was adopted in 2021 after fifteen years of patient infrastructure building.

The transition path is organized in three phases over fifteen years. Phase I (years 0–3) establishes the diagnostic infrastructure required for the architecture to be implementable. Phase II (years 3–8) implements the architecture in partial form within voluntary coalitions of coordinated-market-economy (CME) members. Phase III (years 8–15) extends the architecture toward global coverage with the federated coalition structure that the heterogeneous-coalition Shapley caveat of Theorem 4.7' motivates. Each phase has a stability profile stated through the conditional Lyapunov construction of Appendix A.6 (asymptotic stability is certified only for controller gains that render the closed loop Hurwitz), each phase's transition risks are analyzed at the level of the principal political-economy obstacles, and each phase's institutional precedents are named. The chapter closes with an explicit acknowledgment that the timing of the transition is dependent on crisis windows we cannot predict.

7.1 The Optimal-Control Formulation

Before describing the three phases, the formal structure of the transition problem deserves brief statement. Let z(t) = (z_m(t), z_t(t), z_i(t)) denote the state vector of the global economy, with z_m the monetary state (interest rates, money supplies, exchange rates), z_t the trade state (tariffs, gravity-equation parameters, bilateral equality indices), and z_i the inequality state (between-country and within-country disposable-income Ginis). The control variable u(t) = (u_γ, u_{λM}, u_ζ, u_δ) selects the EIMTS instrument intensities — Taylor-Rule equality coefficient γ, money-supply equality sensitivity λ_M, gravity equality elasticity ζ, exchange-rate monitoring-band bandwidth δ — and the social planner's transition problem is

min ∫_0^∞ e^(−ρt) L(z(t), u(t)) dt subject to dz/dt = F(z, u)

where L is the loss function and F describes the system dynamics. The control variable u(t) listed above uses u_λ for the money-supply equality sensitivity instrument intensity; this is the path of λ_M (see §A.1). The Hamilton-Jacobi-Bellman characterization

ρV(z) = min_u [L(z,u) + ∇_z V(z) · F(z,u)]

formally captures the planner's optimal control as a function of state and value-function gradient. The HJB equation is stated here but not solved in this paper. The optimal-control formalism marks the problem — locating the EIMTS transition inside the standard machinery of dynamic-programming public-economics rather than treating it as ad hoc — rather than supplying its numerical solution. The illustrative trajectories that might be derived under standard calibrations (γ(t) rising from 0 in Phase I through approximately 0.10 by mid-Phase II to a target band 0.20–0.25 by full implementation, with similar S-shaped paths for the trade-equality and exchange-rate-monitoring instruments) are intuitive features of the controlled-system dynamics rather than calibrated forecasts. The Gini-convergence rate λ_conv ≈ 0.20 per year obtained under the standard calibration is a calibration artifact derived from the closed-loop matrix's spectral properties under one parameter setting, not an estimated convergence speed; the actual convergence rate depends on the political-economy timing of Phase II initiation and the realized parameter values at adoption, both of which the formalism cannot foreclose. The HJB equation is the right object for a paper that would solve the planner's transition problem; this paper marks the object rather than solving it.

7.2 Phase I: Diagnostic Transparency (Years 0–3)

Phase I builds the measurement infrastructure required for the EIMTS rules to be implementable. The central institution is an International Equality Monitoring Authority (IEMA) modeled on the BIS's monitoring role for cross-border banking. The IEMA's mandate is to compute and publish four classes of indicators: harmonized Gini coefficients for each participating nation (using a shared definition that resolves the WID/survey discrepancy by reporting both); the residual Gini conditional on global state Z_t that serves as the type input to the AGV mechanism of Theorem 4.7'; the bilateral equality indices E_ij that enter the gravity equation of §5.3; and the equality-augmented Taylor Rule's recommended rate path γ(G_t − G*) for each participating central bank, published as advisory but not yet binding. The reporting infrastructure is the load-bearing institutional commitment of Phase I; without harmonized cross-country measurement, the AGV mechanism's incentive-compatibility property cannot be verified and the gravity equation's equality term cannot be operationalized.

The institutional precedent is the IMF's Article IV consultation regime, which has established harmonized cross-country reporting on monetary and fiscal aggregates since 1944. The IEMA would extend this regime to inequality reporting, with the same combination of voluntary cooperation, technical-assistance backing, and reputational sanction for non-compliance. The political-economy challenge of Phase I is the conventional resistance to comparative inequality reporting — nations with high inequality have political incentives to obscure it, and statistical agencies have institutional incentives to use definitions that produce lower-Gini readings. The IEMA's mandate to publish multiple harmonized definitions (WID and survey) addresses this directly: nations that prefer one definition cannot suppress the other.

Phase I stability is straightforward. The system has not yet been augmented with the equality terms in any policy rule, so the dynamics are those of the existing global economy with one new advisory institution. The stability proof is trivial: the architecture has not changed, only the measurement layer has. The political risk is correspondingly modest: governments that disagree with IEMA reporting can publicly contest individual estimates without disrupting the broader institutional commitment, exactly as governments routinely contest IMF Article IV characterizations without exiting the Fund.

7.3 Phase II: Partial Implementation (Years 3–8)

Phase II implements the EIMTS instruments at partial intensity within voluntary coalitions of CME economies — the Wellbeing Economy Governments partnership (Scotland, New Zealand, Wales, Finland, and Iceland, with Canada participating), potentially expanded to include Sweden, Denmark, Norway, Costa Rica, and Bhutan. The phase consists of three parallel implementation tracks.

Monetary track: shadow equality rate. Participating central banks adopt a blended Taylor Rule i(t) = (1 − w(t)) · i_standard(t) + w(t) · i_EIMTS(t), with blending weight w(t) = min(t / T_blend, 1) and T_blend ≈ 5 years. The augmented rate i_EIMTS includes the γ(G_t − G*) term at intensity γ(t) = γ* · (1 − e^(−λ_conv t)), rising from 0 at Phase II start to approximately γ = 0.10 by mid-Phase II (the Phase II intensity ceiling, below the welfare-optimal γ* of §5.1) (λ_conv per the §A.1 glossary disambiguation, here interpreted as the buildup-rate analogue of the closed-loop convergence rate). The blended rate becomes the actual policy rate; the standard-rule rate continues to be reported as the counterfactual baseline. This implementation pattern — gradual introduction of a new policy parameter with the old parameter retained for diagnostic comparison — is the standard institutional mechanism for monetary-policy regime transition (the inflation-targeting regimes adopted across the 1990s in New Zealand, Canada, the UK, Sweden, Australia followed this pattern).

Trade track: equality-adjusted trade preferences. Participating nations modify tariffs to τ_ij(t) = τ_base · (1 − δ · E_ij(t)), with the equality factor δ rising from 0 to approximately 0.20 over Phase II. The modification is most easily implemented inside existing preferential trade agreements (the EU's Generalized System of Preferences provides the institutional analogue) by adding the equality factor to the existing preference schedules. Nations with higher bilateral equality indices receive lower tariffs; the modification is unilateral on the part of the participating coalition, requiring no WTO-level negotiation in Phase II.

Exchange-rate track: fair-value monitoring band introduction. Participating nations implement the §5.4 monitoring band in its default-bandwidth form (δ_ij ≈ 0.30 around fair value, non-binding under the trilemma reframing). The band is bilateral within the coalition initially; nations outside the coalition continue to operate under the standard floating-rate regime against participating-nation currencies. The institutional precedent is the IMF's Article IV surveillance framework and the EU's six-pack macroeconomic-imbalances reporting, both of which publish benchmark-deviation information without triggering automatic intervention. The European Exchange Rate Mechanism is the binding-corridor version that the Mundell-Fleming trilemma rules out under open capital accounts; the monitoring-band version is the trilemma-compatible counterpart the architecture commits to. Phase II's exchange-rate track is therefore reporting-and-surveillance rather than binding-corridor; a binding upgrade is a Phase III possibility only if coordinated CFM implementation per §7.6 enables it.

Phase II stability is the load-bearing technical claim of the transition, and it is conditional. The Lyapunov function V_2(z) = (1/2) z'Pz with positive-definite P satisfies dV_2/dt = −(1/2) z'Qz < 0 along closed-loop trajectories whenever the controller gains render the closed-loop matrix Hurwitz — a property of the full multi-instrument feedback (rate, base, trade, band), not of the rate-rule γ term alone. The rate-rule-only subsystem is not asymptotically stable at any γ under the printed calibration (Appendix A.6, Theorem 5.1′: one positive eigenvalue at every γ > 0), so no γ-threshold licenses the blended rule — no γ̄ threshold survives re-derivation (§A.6 correction note). What holds is weaker and stated as such: under the one-jump-variable reading of A.6 the blended rule's γ path faces no determinacy constraint at any proposed intensity (the Phase II ceiling γ = 0.10 included), and Phase II asymptotic stability is an assumption about the multi-instrument controller — pole placement the coalition's institutions must achieve — rather than a derived property of the rate rule. Stability, where achieved, holds independently of which other coalitions join, because the partial implementation is internally consistent within the coalition's monetary-trade boundary.

Phase II's political-economy challenge is the coalition coordination problem at the moment of binding commitment. Each participating central bank must adopt the blended Taylor Rule simultaneously, because unilateral adoption by one central bank without coalition support produces exchange-rate misalignments that disadvantage the adopter. The coordination mechanism is a binding multilateral treaty similar in form to the 1985 Plaza Accord (the G5 coordinated dollar devaluation), with the IEMA serving as the technical-monitoring authority for compliance. The Plaza Accord is the most-recent precedent for coordinated monetary-policy action across major economies, demonstrating that the institutional capacity for the coordination exists; the Plaza Accord's narrow scope (one-time devaluation) compared with EIMTS's broader scope (ongoing rule augmentation) marks the size of the institutional ambition.

7.4 Phase III: Full EIMTS (Years 8–15)

Phase III extends the architecture toward global coverage, with the equality intensity γ rising to its calibrated welfare-optimal level (approximately 0.20–0.25 in advanced economies), the gravity equality elasticity ζ stabilizing at approximately 0.20, and the exchange-rate monitoring band reaching its full reporting scope (the band itself remaining non-binding under the trilemma compliance flagged in §5.4, unless coordinated CFM implementation per §7.6 enables a binding upgrade). The phase's distinguishing feature is the federated coalition structure that the Shapley caveat of Theorem 4.7' motivates: rather than a single flat coalition of all participating nations, EIMTS in Phase III operates as a federation of size-homogeneous coalitions (the advanced-economy coalition, the large-developing-economy coalition, the small-open-economy coalition, with regional sub-coalitions in each), linked by a top-level coordinating layer based at a reformed IMF. The federation structure addresses both the Shapley-value heterogeneity concern (within each coalition, GDP ratios are bounded; across coalitions, the federation layer manages the asymmetry) and the political-feasibility concern (each coalition can adopt at its own pace, and full global coverage is reached by aggregation rather than by simultaneous global adoption). Phase III is also where the multilateral sketches referenced throughout the paper acquire institutional addresses: Bretton Woods 2.0 is the federation treaty itself — the treaty-level reconstitution of monetary-trade rules with the equality instruments inside and, per §5.4.x, the venue where any reserve-asset commitment would be negotiated; the equality clearinghouse is the settlement layer at the reformed IMF's federation level that computes and disburses the AGV transfers on the IEMA's harmonized inputs; and the OECD-equality-tax analogue is the accession standard for coalition membership — a minimum-standards accord on distributional floors modeled on the 2021 minimum corporate tax, giving the between-country diagnosis of §3.7 its fiscal complement.

The institutional precedent for the federation structure is the European Stability Mechanism (ESM, 2012) layered on top of the European Central Bank, with the IMF playing the federation-level role. The ESM provides a partial template for the inter-coalition transfer mechanism: nation-level central banks operate within their coalition's monetary regime, with the federation-level institution providing transfer-mechanism implementation and last-resort financial support. The transition from coalition-level partial implementation to federation-level full implementation is the institutional analogue of the transition from the ERM to the euro, but with the explicit constraint that EIMTS does not impose a single currency — coalitions retain currency sovereignty, and the fair-value monitoring band of §5.4 operates as a transparency reporting layer rather than as a binding intervention regime in the absence of coordinated CFMs.

Phase III's political-economy challenges are substantially harder than Phase II's. Three obstacles deserve named attention.

Central-bank-independence orthodoxy. The intellectual case for central-bank independence (Rogoff, 1985) rests on the time-inconsistency argument: democratically-elected governments will accept inflation today to gain employment today, deferring the inflation cost to a successor government, so central-bank monetary policy is delegated to an institution shielded from short-term political pressure. The EIMTS architecture adds a distributional response to the central bank's mandate, which the orthodoxy reads as politicizing the institution. The response is that the EIMTS distributional response is rule-based rather than discretionary: the augmented Taylor Rule (eq. 5.1) constrains the central bank to a published reaction function on a multidimensional set of aggregates, exactly as the standard Taylor Rule constrains it to a reaction function on inflation and output. Rule-based distributional response is institutionally distinct from discretionary fiscal redistribution; the central bank's independence from day-to-day political pressure is preserved. The orthodoxy is empirically defensible at its strongest point (avoiding the inflation-bias of discretionary regimes) and weakest at its inference (that any non-aggregate target politicizes the institution); the EIMTS architecture's rule-based structure addresses the strong point and avoids the weak inference.

IMF/BIS conservatism. The international-finance institutions have institutional cultures that prize macroeconomic stability and resist innovations that might create new sources of instability. The conservatism is functional — the institutions' role is to provide stability backstop during crises, and they cannot afford to be sources of instability themselves. The EIMTS architecture's transition path must therefore satisfy a substantially higher institutional-credibility bar than its theoretical case alone would justify. The credibility argument runs through the case-study evidence of §§6.2–6.4: each EIMTS instrument has been implemented in partial form at smaller scale without producing instability, and the federation structure of Phase III lets the IMF/BIS-level coordination layer build on the demonstrated stability of the smaller-scale implementations rather than betting the institutional reputation on untested full-scale adoption. The institutional-credibility argument is, in effect, that EIMTS is the outcome of fifteen years of incremental institutional construction rather than a single discrete adoption event.

Financial-sector lobbying. The financial sector — banks, asset managers, hedge funds, and the institutional investors collectively holding the world's portfolio assets — has well-documented political influence in OECD economies (Acemoglu & Robinson, 2019). The EIMTS architecture's monetary-side instruments (the augmented Taylor Rule, the equality-indexed money supply, the seigniorage-redistribution mechanism implied by the AGV transfers) directly reduce the asset-price channel through which the sector benefits from current monetary architecture. The sector therefore has straightforward incentives to resist EIMTS adoption, and the historical record of comparable reforms (Glass-Steagall repeal 1999, Dodd-Frank 2010, the post-2008 wave of macroprudential regulation) suggests that financial-sector lobbying is effective at delaying and weakening such reforms without preventing them outright. The political-economy strategy is to time EIMTS adoption to crisis windows when the sector's political influence is temporarily weakened — the post-2008 reform window, narrow as it was, demonstrates the pattern.

Phase III stability carries the same conditionality as Phase II's: V_3(z) = (1/2)[(π−π*)² + α_1(y−y*)² + α_2(G−G*)² + α_3(e−e*)²] decreases along closed-loop trajectories (dV_3/dt = −(1/2) z'Qz) when the full multi-instrument controller renders the closed-loop matrix Hurwitz — an institutional-design assumption, not a derived property of the rate rule (Appendix A.6). Under the illustrative calibration, the implied local convergence ||z(t) − z*|| = C · e^(−λ_conv t) with λ_conv ≈ 0.20 per year — a calibration artifact (§7.1, §7.7) — would complete convergence within approximately 7 years of Phase III initiation, installing the architecture around year 15 of the transition.

7.5 Precedents and Coordination Capacity

Three institutional precedents are load-bearing for the transition argument. Each demonstrates that the order of magnitude of coordination EIMTS requires has been achieved before, under specific conditions worth naming.

Bretton Woods, 1944. The most-cited precedent for international monetary architecture creation is the simultaneous adoption of a managed-exchange-rate system, the establishment of the IMF and World Bank, and trade-cooperation resolutions that prefigured GATT (itself negotiated in 1947), achieved at a single conference of forty-four nations over three weeks in July 1944. The institutional context that made Bretton Woods possible — the immediate post-WWII rebuilding requirement, the unambiguous US economic and military dominance enabling coordination from a single hegemonic position, the prior intellectual preparation in the Keynes and White plans of 1942–1943 — is unrepeatable. But the scope of the coordination achieved (monetary, trade, and development-finance architecture in a single multilateral commitment) is the order-of-magnitude precedent for EIMTS. The lesson is that comparable architectural commitments are possible at moments of acute crisis, with substantial intellectual preparation in advance.

The Tobin tax debate, 1972–present. Tobin (1972) proposed a small tax on foreign-exchange transactions to discourage destabilizing speculation. The proposal has been periodically revived (notably during the late-1990s Asian financial crisis and after the 2008 global financial crisis) without being adopted. The lesson is twofold. First, theoretical proposals for transactional reform of the international financial system can survive for decades without adoption — the Tobin tax has been on the international policy agenda for over fifty years. Second, the absence of adoption reflects coordination-problem dynamics rather than theoretical refutation: the case for the tax has been incrementally strengthened by subsequent research (Eichengreen and various co-authors across the 1990s; the post-2008 macroprudential literature) without producing the political coordination required for implementation. EIMTS is at the analogous point: theoretically specified, intellectually defensible, awaiting the political-coordination window.

OECD minimum tax, 2021. The most-recent successful coordination on inequality-relevant ground is the 2021 OECD agreement to implement a 15% global minimum corporate tax rate, signed by 137 jurisdictions and progressively implemented across 2023–2025. The agreement followed roughly a decade of OECD Base Erosion and Profit Shifting (BEPS) infrastructure building (the program formally launched in 2013, with the harmful-tax-practices work before it), demonstrating that a sustained multilateral commitment to inequality-relevant coordination is achievable in the contemporary institutional environment. The lesson for EIMTS is that the IEMA-as-Phase-I institution-building can serve the same infrastructure-development role for the broader EIMTS coordination that BEPS served for the minimum tax: patient, technical, multilateral preparation that produces the institutional readiness for adoption when the political window opens.

7.6 Transition Risks and the Capital-Controls Structural Complement

The risk inventory is short and explicit. The numerical values reported below are illustrative rather than estimated — they reflect the structure of the underlying risk-matrix exercise, not a calibrated probabilistic forecast. Capital flight from coalition nations during Phase II transition is a moderate-probability, moderate-impact risk (illustratively, on the order of 30% / moderate), mitigated by transparent communication, the structural capital-controls complement discussed below, and federation-level liquidity support. Metric gaming (nations engineering their measured inequality status to capture AGV transfers) is a lower-probability, lower-impact risk, mitigated by the §4.4 measurement-integrity layer — multi-source computation, frozen residualization on a supermajority review cadence, adversarial statistical audits — and not by the AGV mechanism's incentive property, which covers truthful transmission of the measured type and says nothing about manufacture of the statistics (Goodhart, 1975; Lucas, 1976). Coordination failure in Phase II — one participating central bank exits during a domestic political reversal — is a lower-probability, higher-impact risk, mitigated by exit clauses with cost provisions, supermajority voting requirements for coalition decisions, and the network effects that make participation more valuable as the coalition grows. Political reversal at the national level is an ongoing per-year risk with moderate-to-high impact, mitigated by embedding EIMTS commitments in binding international treaties, building domestic political coalitions through the case-study evidence of §§6.2–6.4, and structuring the AGV transfers to favor populations with broad political distribution. Measurement dispute over harmonized inequality estimates is a moderate-probability low-impact risk, addressed by the dual-calibration reporting infrastructure and an arbitration tribunal within the IEMA structure. The illustrative expected impact across the risk profile (E[Impact] ≈ 3.0 on a 10-point scale, computed as Σ_i P_i · Impact_i under the illustrative values) suggests the transition is risky but not catastrophic in expectation; the value is illustrative because none of the constituent probabilities is empirically estimated, and the scale itself is internal to the risk-matrix exercise.

Capital controls as structural complement. Forced by the §5.4 trilemma honesty, capital-controls coordination is a structural complement to the architecture rather than a transitional risk-management measure. The §5.4 monitoring band is non-binding because a binding version with open capital accounts would violate the Mundell-Fleming trilemma; the path to a binding fair-value corridor — if the political economy ever supports it — runs through coordinated capital-controls implementation across coalition members. The IMF's 2012 institutional view on capital-flow management (CFM) measures, and its 2022 update treating CFMs as a legitimate part of the macroprudential toolkit, provides the institutional precedent. Phase II coalition coordination would include CFM-coordination as a baseline commitment, not as an emergency response; the federation-level coordination layer of Phase III (§7.4) would extend the CFM-coordination scope to inter-coalition transfers.

The structural-complement framing has two consequences. First, the §5.4 corridor can be narrowed in Phase III implementation if and only if coalitions accept coordinated CFMs — the architectural choice trades exchange-rate predictability against capital-flow openness, and the architecture makes the trade-off explicit rather than presupposing one side of it. Second, the political-economy obstacle to capital controls is admitted directly: the post-Bretton-Woods consensus against capital controls is intellectually weaker than it was twenty years ago (the IMF 2012 institutional view marks the inflection), but the financial-sector lobbying analyzed in §7.4 has strong incentives against CFM coordination, and the political coalition for the structural-complement framing is correspondingly harder to build than the political coalition for the rate-rule-only architecture. Cross-reference back to §5.4: the non-binding monitoring band is the architecture's commitment in the absence of CFM coordination; the binding corridor is the architecture's reachable extension if CFM coordination is built in Phase II–III.

7.7 The Transition Theorem

We close the chapter with the formal statement that the transition path is convergent under the stated conditions. The full proof is in Appendix A.6.

Transition Theorem. Under the three-phase transition path, and conditional on the multi-instrument controller rendering the closed-loop matrix Hurwitz (the conditional Lyapunov construction of Appendix A.6 — an institutional-design assumption, per Theorem 5.1′, not a derived property of the rate rule), the system state z(t) converges to the EIMTS steady state z* with an exponential rate determined by the closed-loop spectral properties of the controlled system. Under the illustrative calibration of Appendix A.6 the implied convergence rate is approximately λ_conv ≈ 0.20 per year — labeled here explicitly as a calibration artifact rather than an estimated convergence speed, since it depends on parameter values (the implied semi-elasticities in the closed-loop matrix) the paper does not estimate from data. The convergence is robust to perturbations of magnitude bounded by the stability margin λ_min(Q) > 0, where Q is the symmetric part of the closed-loop system matrix.

The substantive content of the theorem is that EIMTS, once started, will converge to its calibrated steady state under the stated stability conditions; the speed of convergence under any specific parameter realization is a matter of estimation rather than of architecture. Under the illustrative calibration above, full convergence would obtain within approximately 7–8 years of full Phase III initiation, completing the architecture's installation around year 15 of the transition; this should be read as an order-of-magnitude indicator of the policy-relevant timescale rather than as a forecast. The transition's timing depends on when Phase II is initiated — which depends on the political-economy conditions analyzed above — but once initiated, the trajectory is convergent under the stated stability conditions. Whether the timing condition is satisfied is what the next decade will determine. The architecture is ready; the institutional preparation is the patient work of Phase I; the implementation is the political work of Phases II and III. The conclusion of this paper reflects on whether the work is likely to be done.

---

§ —Conclusion

This paper has not delivered a complete theory of distributional macroeconomics, nor a finished implementation of the architecture it specifies, nor any quantitative simulation result, since the simulation outputs are held back pending re-specification of the scenario suite around the mechanism's reachable frontier (§6.6). The honest accounting of what the paper does not do is the place this conclusion has to begin, before any claim about what it does do can be evaluated against the right baseline.

Five limitations bound the contribution. First, the computable general equilibrium outputs remain out of the paper even though the pipeline has been corrected. The February 2026 audit's findings were re-executed in July 2026 and largely did not survive; the four defects that do exist are repaired in the corrected model (v4), whose headline scenarios reproduce to five decimal places (§6.6). What keeps the outputs out is no longer code quality but target reachability: the corrected model reports that the flagship G* = 0.30 is not attainable by the paper's own transfer mechanism at any admissible transfer level — the reachable frontier begins near 0.55 — so the pre-specified scenario suite must be rebuilt around the frontier before its outputs test the architecture rather than an unreachable target. The architecture-level claims rest on the formal results in Chapters 4 and 5, the partial-implementation case-study evidence of §§6.2–6.4, and the pre-specified econometric designs of §6.5 — not on simulation magnitudes. That is a substantial reduction in the empirical confidence the paper claims, and one a fair reader is entitled to discount the architectural claim against; it is also the single most consequential finding the corrected pipeline has produced, and the paper is fronted around it (§5.6, §A.7).

Second, the formal model relies on stylized rational-actor assumptions — log-normal income distributions in the Bridging Proposition, quasi-linear preferences in the AGV mechanism, the common-prior assumption underlying the BIC guarantee, and the maintained empirical hypotheses of r > g and incomplete fiscal offset in Theorems 1.1' and 3.1' — that the contemporary heterogeneous-agent macroeconomic literature (Kaplan, Moll, & Violante, 2018; Auclert, 2019; Bayer, Born, & Luetticke, 2024) has shown to be substantial simplifications. The HANK framework's finding that monetary policy's distributional effects operate through portfolio-revaluation channels concentrated at the top of the wealth distribution and through liquidity-constrained-household channels concentrated at the bottom is more granular than the architectural-level treatment of this paper supports. EIMTS as specified is a rule-based response to aggregate distributional measures; the HANK literature would suggest that more granular instrument targeting may be welfare-improving. The architectural simplification is defensible at the rule-design level — central banks operate on rules whose stability requires aggregate-level objects — but it is a simplification, and the aggregate welfare improvement of EIMTS over the current architecture, captured conditionally in Theorem 5.7'', may understate the welfare improvement a HANK-informed instrument design could achieve.

Third, the architecture as specified targets disposable income Gini rather than wealth Gini, and the rate-cut channel that improves the disposable-income Gini through labor-market stimulation simultaneously raises asset prices and so moves the wealth Gini in the opposite direction. The §5.1 wealth-Gini side-effect subsection proposes macroprudential complementarities (LTV/DSTI tightening, differential capital surcharges) as the off-rate instrument set that handles what the rate rule alone cannot, and §7.2's IEMA is extended to harmonized wealth-distribution reporting from Phase I to support this. But the joint architecture that specifies the income-and-wealth coordination at the rule level — the analogue of §5.1 for the macroprudential side — is open work that this paper does not deliver.

Fourth, the Atkinson constraint substitution that Theorem 5.4' commits to makes the Gini target a reporting metric rather than a formal binding constraint — with the motivation stated precisely (the Gini's sub-level sets are convex too; the Atkinson is retained for smoothness and welfare-explicitness, §5.6) and the reporting slack priced (§A.7): the bijection-derived threshold at the fronted G* = 0.55 admits general distributions up to G† ≈ 0.72, and a Gini-denominated guarantee requires the tighter A*_safe ≈ 0.495. Implementation documents that present a Gini target as the binding object will be vulnerable to challenge whenever actual distributions are not log-normal — and in the tail they are not: the Pareto shape Chapter 3 documented is exactly the direction in which the slack opens. The Atkinson constraint is the right formal object; the policy presentation must state what is reported, what is binding, and how far apart the two can sit.

Fifth, the architecture's flagship national instrument addresses within-country inequality, but the diagnosis that bites most pressingly is the between-country distribution (Ḡ ≈ 0.75–0.85 globally, versus the OECD-average Ḡ ≈ 0.33 within rich nations under the §3.7 calibration). The augmented national Taylor Rule is structurally a poor match for the between-country target, which is governed by growth-and-convergence dynamics across nations rather than by any single central bank's reaction function. §3.7's diagnostic-gap acknowledgment makes this explicit; the multilateral coordination architecture of §7 is where the between-country diagnosis would actually be addressed; the national rule's role is to ensure individual nations are not actively worsening the global picture while the multilateral architecture is constructed. This is a target-instrument mismatch the architecture surfaces explicitly.

Sixth — really, a continuation of the fifth — the transition path of Chapter 7 is contingent on political-economy conditions that are not in the architecture's control. The architecture is ready; the institutional preparation of Phase I is achievable through existing IMF/OECD infrastructure; the partial implementation of Phase II is within the institutional capacity of the Wellbeing Economy Governments coalition. But the global Phase III implementation depends on a crisis window analogous to those that opened for Bretton Woods (1944), the post-1971 monetary reorganization, the post-2008 macroprudential reforms, and the OECD minimum tax (2021). Such windows cannot be reliably predicted. The paper's argument is that the architectural and institutional preparation should be done in advance of the window, so that when it opens, the architecture is available to take up. Whether the preparation will be done is a question this paper poses; whether the window will open is a question this paper cannot answer.

Against those limitations, the paper's contribution is sharply bounded. Theorem 1.1' establishes that any monetary policy rule of the Taylor form embeds distributional asymmetry as an unconditional architectural feature, independent of parameterization. The empirical-consequential reading of that asymmetry is conditional on r > g and incomplete fiscal offset, both of which are testable rather than assumed. Theorem 2.4' establishes the trade-architecture analogue as a joint-conditional inference from the five mechanisms under four enabling conditions — not a logical necessity. Theorem 3.1' establishes bounded exponential-approach convergence of the Gini to a steady state Ḡ < 1 whose magnitude depends on the balance of forcing terms and counterforces — and shows that the case for EIMTS is in reducing Ḡ below politically tolerable levels, not in preventing catastrophe. Theorem 4.7' establishes the AGV-mechanism-based incentive-compatible architecture for cross-national coordination, committing to BIC + autarky-benchmark IIR + exact budget balance + ex-ante efficiency as the load-bearing guarantee (status-quo interim IR bounded by the Myerson-Satterthwaite frontier); a DSIC strengthening is not claimed, because the five-dimensional EIMTS type space does not admit the Myerson one-dimensional payment identity without a defensible scalar projection. Theorem 5.4' establishes equilibrium existence under the Atkinson constraint, with the Bridging Proposition (standard A^ε = 1 − exp(−εσ²/2) form for log-normal distributions) recovering Gini-denominated reporting. Theorem 5.6' establishes the second-welfare-theorem analogue as a non-operational existence result — the required initial-endowment redistribution exceeds the seigniorage capacity of the architecture's monetary instruments. Theorem 5.7'' establishes that the constrained equilibrium delivers a conditional aggregate (Kaldor-Hicks) welfare improvement over the unconstrained baseline when the inequality externality clears a contested lower bound Ē; absent operational compensating transfers (which Theorem 5.6' has already told us are not operational), the improvement is potential-Pareto / aggregate-welfare rather than actual-Pareto at the household level.

The architectural-level contribution is to demonstrate that the absence of any distributional term in the world's two most consequential rule-following institutions is a design feature rather than a technical accident, and that an explicit equality instrument can be added to each without violating known impossibility results. The instrument additions are not trivial — they require coordination across central banks, treaty-level binding in international finance, and federation-level institutional architecture — but they are feasible at the level of formal specification. The paper's argument is that the architectural feasibility is itself an important result — not because no one has written an inequality term into a policy rule (the HANK literature has: Ma & Park, 2025; Hansen, Lin, & Mano, 2020) but because the institutional-design framing within the Tinbergen-separation orthodoxy still treats distributional response as the province of fiscal policy alone, and the fiscal-policy response, while it caps within-country drift (§3.6's OECD calibration), has not reached the inequality levels OECD nations articulate as their political objective.

The closing reflection ties to the broader theme that runs across this archive, articulated most clearly in Paper 004's "Living Room and Long Grip" and in the operating-system framing of Paper 006: that distribution is not a residual that markets clear toward but a primitive that institutions choose. The Beyond the Binary paper (Paper 002) makes the same point at the motivational level: institutions embed assumptions about human motivation, and those assumptions can be changed by institutional design rather than by exhortation. EIMTS makes the analogous architectural-level point about monetary and trade institutions: the assumption that distribution is exogenous to monetary and trade rules is itself a design choice, and the choice can be made differently. The choice the current architecture makes — that the Taylor Rule does not respond to distribution, that the gravity model does not respond to bilateral equality asymmetry, that the international monetary system does not monitor exchange-rate deviations against equality-adjusted fair-value benchmarks — is the choice that produces the empirical outcomes Theorems 1.1' and 2.4' describe. A different choice is implementable. Whether it will be implemented is what the next decade of architectural preparation, partial-coalition adoption, and crisis-window arrival will determine.

Whether the institutions of the next half-century will be designed around fair exchange, or merely around market-clearing exchange, is the question this paper poses; it is not the question this paper answers.

What this paper has shown

A sympathetic reader who has followed the conditionals — r > g maintained, Ē unestimated, BIC correlation-fragile, common prior assumed, gravity reduced-form, wealth-Gini deferred, between-country target relocated to §7, i / M reduced from two independent levers to one two-aspect monetary lever, quasi-linearity bounded where transfers are not yet consequential — may reasonably wonder what positive content remains. The catalogue of boundaries should not displace the catalogue of contributions inside them. Five positive claims survive the limitations and are stated affirmatively here.

(a) Architectural feasibility. An equality term can be introduced into the world's two most consequential rule-following institutions — the central-bank policy rule and the gravity model of trade — without violating any of the impossibility results that govern those institutions. Theorem 4.7' establishes the architecture under BIC + autarky-benchmark IIR + exact budget balance + ex-ante efficiency; Theorem 5.4' establishes equilibrium existence under the Atkinson constraint; Theorem 5.6' establishes the supporting allocation's existence at the formal level even where its operational redistribution is not financeable; Theorem 5.7'' establishes the conditional aggregate-welfare improvement over the unconstrained baseline.

(b) Impossibility mapping. The paper has shown precisely what Green-Laffont, Arrow / Sen, and Mundell-Fleming each permit and forbid in the architecture's design. The architecture's commitments are consistent with these impossibility results: BIC-not-DSIC respects Green-Laffont; conditional-Kaldor-Hicks-not-strict-Pareto and capability-cardinality-not-ordinal-preference respect Arrow-via-Sen; non-binding monitoring band respects Mundell-Fleming.

(c) Disposable-income-Gini commitment with macroprudential complementarity. The architecture is honest about which inequality it targets (disposable-income Gini at WID/LIS standards) and where the complementary instrument set sits (a macroprudential committee on the wealth-Gini side, outside the monetary-trade core, staged jointly with Phase II in §7). The off-rate instrument set — LTV/DSTI caps, differential capital surcharges, transaction-tax differentiation — is named in the §5.1 Tinbergen table and operationalized in the §7.2 IEMA's extended wealth-distribution reporting mandate.

(d) Between-country diagnosis relocated to multilateral architecture. The §7 Bretton Woods 2.0 / equality clearinghouse / OECD-equality-tax sketches are where the between-country inequality — the paper's most pressing diagnosis — would be addressed. The national rule is correctly understood as a within-country containment instrument rather than as a between-country-redistribution device; the multilateral architecture is where the between-country contribution lives.

(e) AGV-BIC mechanism core. The d'Aspremont-Gérard-Varet (1979) expected-externality construction — budget-balanced identically by construction, with explicit common-prior and correlation-fragility caveats on the incentive guarantee and with the quasi-linearity-domain tension surfaced — is the formal core of the implementation mechanism. The mechanism does what BIC + exact BB can do — align reporting incentives with social welfare under a coordinating institution that maintains the conditioning-set Z_t in shared methodology — and does not pretend to deliver the DSIC + ex-post BB combination Green-Laffont rules out.

The conditionals catalog the boundaries of what this paper has shown; the five points above catalog what it has shown within those boundaries. The argument is that distribution is not a residual markets clear but a primitive institutions choose, and that the institutional choices through which distribution becomes a primitive can be specified to a level of formalism that respects the impossibility results constraining such designs.

---

Numerical status, July 2026. The February 2026 audit of the CGE code has been worked through and largely does not survive re-execution: of its three blocking findings, one reproduces, one is wrong in direction and magnitude, and one does not reproduce at all. Four defects do exist, three of them unnamed by that audit, and they are documented in full in the companion validation report. Three bear on how this paper should be read. First, the counterfactual simulations that produce the scenario results reported in the validation report never call the model's stability check or its constrained-equilibrium solver: the stability classification (Theorem 5.1′) and the constrained-equilibrium existence result (Theorem 5.4') are proved analytically and the scenarios are computed independently, and the paper should not be read as showing the second is an instance of the first. (Earlier printings of this coda cited a "Theorem 5.3" here; no such theorem exists — the constrained-equilibrium solver corresponds to Theorem 5.4'.) Second, prior drafts' Theorem 5.1 claimed saddle-path stability gated by a threshold γ̄ ≈ 1.70; re-derivation (Appendix A.6, Theorem 5.1′) shows the threshold gates nothing — the spectral classification is independent of γ — and that the calibration α_π = 0.5 sits below the Taylor principle, so the fully forward-looking reading is indeterminate and the saddle-path reading requires a backward-looking IS closure; the expectational closure, and with it the α_π calibration, remains an open question rather than a settled choice, and the body now says so (§5.1, §7.3, §A.6). Third, the equality target G* = 0.30 is not attainable by this paper's own transfer mechanism at any admissible transfer level — the reachable frontier begins near 0.55 — and the paper is now fronted around that frontier rather than reporting it as an anomaly: the worked bridge runs at G* = 0.55 (§A.7), the scenario suite awaits frontier-consistent re-specification (§6.6, §B.5), and the 0.25–0.35 range survives only as the within-country national illustration it always was (§5.1). The headline scenario results (C, D, E) reproduce to five decimal places; the two low-intervention scenarios drift in the third decimal, unexplained. A corrected model (v4) and a rebuilt replication archive supersede EIMTS_Replication_v3.zip, which corresponded to the pre-audit code. Comments welcome at contactme​@​marshallcahill.com.

Appendix A: Formal Model and Proofs

This appendix consolidates the formal specification and the proof bodies that the main text deferred. The structure is: A.1 notation glossary; A.2 the EIMTS economy formal specification (Definition A.1, restating §5.5's content); A.3 social welfare functions; A.4 proof bodies for Theorems 1.1', 3.1', 4.7', 5.4'; A.5 additional proofs (Theorem 2.4' trade-structural; the modified welfare theorems 5.5/5.6'/5.7''); A.6 stability analysis (the Theorem 5.1′ spectral classification and the conditional Lyapunov analysis for Chapter 7); A.7 the Bridging Proposition.

A.1 Notation Glossary

Several symbols carry potential overload; the glossary disambiguates the four λ-uses (loss-function output weight; money-supply equality sensitivity; social-welfare CES parameter; convergence rate / eigenvalue) and the two μ-uses (loss-function equality weight; entrepreneurial-disruption rate) into explicit subscripted forms.

• γ (gamma) — Taylor Rule equality response coefficient (eq. 5.1) only.

• ζ (zeta) — gravity model equality elasticity (eq. 5.15).

• β (beta) — Taylor Rule output coefficient (eqs. 1.2, 5.1) only.

• δ_L (delta-L) — central bank discount factor in the loss function (eq. 1.1).

• κ (kappa) — Piketty capital-to-income ratio (§3.4), following Piketty's own notation.

• κ_p (kappa-p) — Phillips-curve slope in the §A.6 linearized dynamics only (subscripted to avoid collision with the Piketty κ).

• κ_1, κ_2, κ_πG — semi-elasticities local to the §5.1 welfare-optimal-γ derivation: inequality with respect to the policy rate, inequality with respect to inflation, and the equality-gap-to-inflation pass-through, respectively.

• G† — worst-case Gini ceiling implied by an Atkinson constraint: G†(A*, ε) = sup {G(x) : A^ε(x) ≤ A*} (§A.7).

• λ_y (lambda-y) — loss-function output-stabilization weight in eq. (1.1).

• λ_M (lambda-M) — money-supply equality sensitivity in §5.2 and B.4 (eq. 5.9, Ψ(E_t) = exp(λ_M(E_t − E*))).

• λ_W (lambda-W) — social-welfare CES parameter in Proposition 5.5* and eq. (A.34).

• λ_conv (lambda-conv) — convergence rate / eigenvalue in the §A.6 Lyapunov analysis and the §7 Transition Theorem.

• μ_G (mu-G) — equality weight in the §5.1 loss-function rate rule modification.

• μ_d (mu-d) — entrepreneurial-disruption rate in the §3.6 Gini ODE.

• AGV — d'Aspremont-Gérard-Varet (1979) expected-externality mechanism (Theorem 4.7'). VCG appears only as the Green-Laffont impossibility foil.

• A^ε — Atkinson index with inequality-aversion parameter ε (eq. 3.6).

• A* — Atkinson constraint level used as the formal binding constraint in Definition A.1 and Theorem 5.4'.

• G* — Gini target as a reporting metric, recoverable from A* via the Bridging Proposition (§A.7).

• G_w — wealth Gini, distinct from the disposable-income Gini G; the macroprudential row of the §5.1 Tinbergen table addresses G_w.

• Ḡ — asymptotic Gini steady-state value in Theorem 3.1'.

• φ — fiscal offset ratio in Theorem 1.1' Conditional Corollary.

• Z_t — global state vector (g_t^W, p_t^W, i_t^W) used in the AGV residual-type definition (§4.4).

A.2 The EIMTS Economy: Definition A.1

Definition A.1 (EIMTS Economy). An EIMTS economy is a tuple E = (I, J, (ω_i), u_i, (Ω_j), Y_j, p*, i*, W, A*) where I = {1, …, n} is the set of households, J = {1, …, m} is the set of firms, ω_i is the initial endowment vector of household i in commodity and labor space, u_i: ℝ_+^L × [0,T] → ℝ is the utility function of household i, Ω_j ⊂ ℝ^L is the production set of firm j, Y_j is firm j's output, p* is the equilibrium price vector, i* is the equilibrium nominal interest rate, W is the social welfare function (Rawlsian, capabilities-based, or generalized CES), and A* is the target Atkinson index threshold.

The EIMTS constrained equilibrium solves max W(u_1(x_1), …, u_n(x_n)) subject to:

(A.1.1) Market clearing: Σ x_i = Σ ω_i + Σ y_j

(A.1.2) Household budget: p* · x_i ≤ p* · ω_i + π_i + τ_i for all i, where π_i is firm-ownership profit share and τ_i is the seigniorage-financed transfer.

(A.1.3) Firm optimization: y_j ∈ argmax {p* · y : y ∈ Ω_j} for all j.

(A.1.4) Equality constraint: A^ε(x_1, …, x_n) ≤ A* — the Atkinson constraint as the binding object. The Bridging Proposition of §A.7 recovers Gini-denominated targets.

(A.1.5) Monetary policy rule: i_t = r* + α(π_t − π*) + β(y_t − y*) + γ(G_t − G*) — equality-augmented Taylor Rule (eq. 5.1).

(A.1.6) Monetary base rule: M_t^base = M̄^base · exp(λ_M(E_t − E*)) — the quantity side of the single monetary lever (eq. 5.9), with λ_M per the §A.1 glossary. Per §5.2.x, broad money is demand-determined under the §1.4 endogenous-money commitment, so (A.1.6) constrains the base path as a signal-and-ZLB instrument; it is not an independent broad-money constraint on the equilibrium program, and away from the zero lower bound (A.1.5) is the operative monetary constraint.

(A.1.7) International trade: T_ij = A · (Y_i · Y_j / Y_W) · (t_ij / (Π_i · P_j))^(1−σ) · E_ij^ζ — equality-adjusted gravity equation (eq. 5.15; the (1−σ) exponent matches the Anderson-van Wincoop form of eq. 2.27). The reduced-form-versus-structural caveat noted after eq. (5.15) applies here as well: the augmentation does not preserve the closed-form Anderson-van Wincoop fixed-point structure under endogenous multilateral resistance.

Remark (what kind of object this is). The program above is a planner problem: constraint (A.1.4) couples all households through a single cross-agent inequality constraint, which no individual budget-constrained household can internalize, so no price system alone decentralizes it. The solution supported by market-clearing prices is therefore a constrained optimum with supporting prices and equality-implementing transfers, not a decentralized competitive equilibrium in the Arrow-Debreu sense; Theorem 5.4' is stated and proved for this object. The decentralization question — which tax-transfer instruments implement (A.1.4) through household budget sets — is exactly the operationality question Theorem 5.6' addresses, and its answer there (not financeable from seigniorage alone) is why no stronger claim is made.

A.3 Social Welfare Functions

EIMTS admits multiple welfare specifications. The Rawlsian form W(u_1, …, u_n) = min_i u_i (eq. A.32) maximizes the welfare of the worst-off household. The capabilities-based form W(u_1, …, u_n) = min_i C_i where C_i = C(u_i, HDI_i, etc.) (eq. A.33) extends the maximin criterion to multidimensional capability sets (Sen, 1999). The generalized CES form W = (Σ_i w_i u_i^ρ)^(1/ρ), where ρ ≡ λ_W is the CES substitution parameter related to inequality aversion by ρ = 1 − ε (eq. A.34), interpolates between the utilitarian limit (ε → 0, ρ → 1: W linear in utilities), the symmetric Cobb-Douglas form at ε → 1 (ρ → 0), and the Rawlsian limit (ε → ∞, ρ → −∞: W → min_i u_i). Different welfare specifications generate different equilibrium allocations under the same Atkinson constraint; the comparative-statics analysis of §5.8 shows that the constrained equilibrium properties (Theorems 5.4', 5.5, 5.6', 5.7'') hold under all three specifications under standard convexity conditions.

A.4 Proof Bodies for Theorems 1.1', 3.1', 4.7', 5.4'

Proof of Theorem 1.1' (sketch in body §1.5). Part (a) is mechanical: ΔPV ≈ −D · PV · Δi/(1+i) gives the asset-revaluation channel; concentrated asset holdings (top decile holds roughly 85–90% of corporate equities per the Federal Reserve's Distributional Financial Accounts, 2022) give the asymmetric incidence. The wage channel operates with the 6–18 month lag documented by Christiano, Eichenbaum, and Evans (2005). Part (b) is topological: the Cantillon network has finite diameter, money enters at specific nodes, prices do not adjust instantaneously, so propagation produces a real-purchasing-power gradient decreasing in d_C(i). Part (c) is by inspection: i_t = f(π_t, y_t) responds to scalar aggregates only; no distributional aggregate is in the rule's domain. For the Conditional Corollary, decompose the Gini dynamics under premises C1 (r > g) and C2 (φ < 1) as

dG/dt = (1 − φ) · [ω_1 ΔG_1(asymmetric) + ω_2 ΔG_2(Cantillon) + ω_3 ΔG_3(QE) + ω_4 ΔG_4(seigniorage)] + η(r − g)

where each ΔG_k > 0 by the four channel arguments of §§1.1–1.4, all ω_k > 0, and η > 0 is the Piketty elasticity. Since (1 − φ) > 0 by C2 and (r − g) > 0 by C1, the monetary-channel forcing F_m on the right-hand side is strictly positive. The display above is the forcing side only; the full dynamics add the counterforce terms of Theorem 3.1' (−(τ̄ + δ)G − μ_d(G − G_L)), so the honest statement of the corollary is comparative rather than unconditional: substituting F_m into dG/dt = A − BG raises the forcing aggregate A one-for-one while leaving B unchanged, so the steady state Ḡ = A/B is strictly increasing in the monetary-channel forcing, and from any G below the resulting Ḡ the Gini rises with the monetary-channel contribution bounded below by (1 − φ) · min_k(ω_k ΔG_k). □

Proof of Theorem 3.1' (sketch in body §3.6). The dynamics combine the three forcing terms (Piketty channel η_1(r−g)π_k, monetary channel (1−φ)η_2, stochastic channel η_3 σ²) and three counterforce terms (taxation −τ̄G, inheritance dilution −δG, entrepreneurial disruption −μ_d(G − G_L)) into

dG/dt = [η_1(r − g)π_k + (1 − φ)η_2 + η_3 σ²] − [(τ̄ + δ)G + μ_d(G − G_L)]

which is a first-order linear ODE dG/dt = A − BG with A = η_1(r − g)π_k + (1 − φ)η_2 + η_3 σ² + μ_d G_L and B = τ̄ + δ + μ_d. The closed-form solution is G(t) = Ḡ − (Ḡ − G_0)e^(−Bt) with Ḡ = A/B and half-life ln(2)/B. Ḡ < 1 for any B > 0; G(t) → Ḡ asymptotically, not in finite time. (μ_d as in the §A.1 glossary; bare μ elsewhere refers to the distribution mean.) □

Proof of Theorem 4.7' (full proof, building on body §4.4–§4.8). Step 1 (AGV transfers). Define t_i(θ) = E_{θ_{−i}}[Σ_{j≠i} v_j(f(θ_i, θ_{−i}))] − (1/(n−1)) Σ_{j≠i} E_{θ_{−j}}[Σ_{k≠j} v_k(f(θ_j, θ_{−j}))]. The first term is i's expected externality on others; the second term is a constant from i's perspective chosen for budget balance.

Step 2 (Budget balance, exact). Write t_i(θ) = ξ_i(θ_i) − (1/(n−1)) Σ_{j≠i} ξ_j(θ_j) with ξ_i(θ_i) = E_{θ_{−i}}[Σ_{j≠i} v_j(f(θ_i, θ_{−i}))]. Summing over i, each ξ_j appears once positively and (n−1) times with weight −1/(n−1), so Σ_i t_i(θ) = 0 identically — for every type profile, with or without independence. Budget balance is unconditional. What independence protects is Step 3: the fixed schedule ξ_i is the prior expectation of i's externality, and the BIC argument requires that this coincide with i's own conditional expectation given θ_i; independence (engineered by defining types as residual Gini conditional on the global state Z_t = (g_t^W, p_t^W, i_t^W) per Pesaran, 2006) delivers the coincidence, and the §4.4 couplings that erode independence erode BIC, not BB.

Step 3 (BIC). The expected payoff to nation i from reporting θ̂_i is U_i(θ̂_i, θ_i) = E_{θ_{−i}}[v_i(f(θ̂_i, θ_{−i})) + Σ_{j≠i} v_j(f(θ̂_i, θ_{−i}))] + constant. The bracketed term is expected total social welfare when i reports θ̂_i; since f maximizes total welfare at the truth, U_i is maximized at θ̂_i = θ_i. Truthful reporting is a Bayesian Nash equilibrium. The BIC guarantee is conditional on the common-prior assumption flagged in §4.5; heterogeneous-prior environments are outside the BIC framework.

Step 4 (IIR relative to autarky, with the status-quo caveat). The calibration, stated: gains from trade against autarky of roughly 2–8% of GDP (the quantitative range the §2 literature supports across development levels), monetary-stability premium of 0.5–1% of GDP for developing economies (exchange-rate-volatility reduction and lender-of-last-resort access), and net AGV contributions bounded by Assumption 4.A at |t_i| ≤ 5% of GDP. Under those magnitudes every nation's participation payoff exceeds autarky, which establishes (ii) in its IIR-A form. Relative to the status-quo outside option, interim IR holds only where each net payer's coalition surplus covers its net contribution; by Myerson and Satterthwaite (1983), no mechanism combines BB, BIC, ex-post efficiency, and interim IR against status-quo outside options under two-sided private information with overlapping supports, and the Coda's reachable-frontier finding is the quantitative expression of that frontier at the EIMTS calibration. Participation beyond the statically-IR region is a repeated-game claim (§4.9).

Step 5 (Ex-ante Efficiency). By construction, f* maximizes Σ_i v_i(f(θ)) subject to feasibility, attaining the first-best expected surplus; since AGV implements f* under BIC with ex-ante BB, no mechanism in that class can exceed the first-best benchmark. (The revelation principle licenses the restriction to direct mechanisms; it does not itself deliver optimality.)

On the absence of a DSIC strengthening. Myerson's (1981) one-dimensional payment identity under single-crossing on a Galor-Zeira credit-constraint channel would upgrade the mechanism to dominant-strategy incentive compatibility, but the EIMTS type space defined in §4.1 is five-dimensional and the Myerson machinery does not apply without a defensible scalar projection. Single-crossing on a defensible projection of θ_i is open work; the DSIC upgrade could be recovered under such a projection but the projection itself requires economic justification beyond this paper's scope. □

Proof of Theorem 5.4' (full proof). Steps 1–3 (excess-demand definition, upper-hemicontinuity via Berge's Maximum Theorem, Walras' Law) are standard. Step 4 (revised). The feasible set S = {x ∈ ℝ_+^n : A^ε(x) ≤ A*} is convex for ε > 1. Proof: A^ε(x) = 1 − Y_ede(x)/μ where Y_ede(x) = [Σ_i (x_i)^(1−ε)/n]^(1/(1−ε)). For ε > 1, Y_ede is the power mean M_p(x) with p = 1 − ε < 0, and power means with exponent p ≤ 1 are concave on ℝ_+^n (Hardy, Littlewood, & Pólya, 1952, §2.9–2.10). (The composition route — inner sum convex, outer power t^(1/(1−ε)) — does not deliver this: for exponents in (−1, 0) the outer power is convex decreasing, not concave; the concavity is a property of the power mean jointly, not of the outer power alone.) Therefore Y_ede is concave in x; A^ε is convex; the sub-level set S = {x : A^ε(x) ≤ A*} = {x : Y_ede(x) ≥ (1 − A*)μ} is the super-level set of a concave function and hence convex. Steps 5–6 (Kakutani fixed-point and equilibrium construction) proceed in the standard way with the Atkinson constraint as the binding object throughout. □

A.5 Additional Proofs

Proof of Theorem 2.4' (Conditional Trade-Structural Inequality). By the Stolper-Samuelson theorem, commodity-specializing periphery countries experience declining real wages as commodity prices fall (conditional on the factor-endowment divergence (i)). By the Prebisch-Singer mechanism, commodity prices decline secularly (mechanism in §2.3; conditional on the price-elasticity heterogeneity (ii)). By the gravity model, trade intensity is proportional to GDP and inversely proportional to multilateral resistance, creating a scale effect favoring large economies (conditional on the gravity-weighting pattern (iv)). By the core-periphery model, manufacturing concentration in core regions is stable and self-reinforcing (conditional on the agglomeration economies (iii)). By agglomeration effects, peripheral manufacturing costs remain higher, limiting diversification. Each mechanism is independently insufficient: counter-cases exist for each in isolation (Korea's industrial-policy escape from commodity dependence, the post-1990 declining-Gini cases in Brazil and Mexico, the recent commodity supercycles that temporarily reversed Prebisch-Singer terms-of-trade decline). The five mechanisms jointly imply the structural-bias pattern by conditional inference rather than by logical necessity. When all four joint conditions (i)–(iv) hold simultaneously, the peripheral country is trapped in a commodity-specialization equilibrium where commodity prices fall continuously, the value of exports declines, and the ability to afford imports of capital goods declines correspondingly. The wage gap ∂(w_peripheral − w_core)/∂t < 0 follows by joint conditional inference from the five mechanisms. No policy adjustment within the peripheral country alone can overcome the pattern unless the architecture itself is reformed. □

Proof of Theorems 5.5, 5.6', 5.7'' (Welfare Theorems). Theorem 5.5 (First Welfare) is, in Definition A.1's planner form, largely definitional: the constrained equilibrium maximizes W on the constraint set, so for strictly increasing W (the CES family at finite ε) any feasible strict Pareto improvement would raise W and contradict maximality, while for the maximin forms the same argument rules out improvements up to ties off the minimum. The non-definitional content is the price support: the allocation is consistent with market clearing at p*, so constrained optimality is not achieved by abandoning the price system. No decentralized-competitive reading is implied (Remark, Definition A.1). Theorem 5.6' (Existence-but-not-Operationality) follows from the standard second-welfare-theorem construction at the existence level: define new endowments ω_i' = (p* · χ_i − τ_i) where χ_i is the constrained Pareto optimal allocation; the resulting competitive equilibrium of the modified-endowment economy recovers χ. The operationality clause is not a corollary of the existence construction: the required Δω = ω_i' − ω_i must be financeable, and §1.4 (endogenous money) and §3.7 (existing-instrument calibration) jointly bound the financeable magnitude well below the required level for the contemporary global between-country distribution. The existence portion of the theorem is unconditional; the operationality clause is the explicit acknowledgment that the existence construction does not deliver an implementable redistribution mechanism from the architecture's monetary tools alone. Theorem 5.7'' (Conditional Kaldor-Hicks / Aggregate Welfare Improvement) holds when E(G_CE) − E(G*) ≥ Ē, where Ē is the magnitude of the externality reduction required to clear the aggregate compensation requirement under the constrained allocation; the inequality is conditional, not unconditional, because Ē is not estimated and only the sign dE/dG > 0 is invoked from the inequality-externality literature. The proof structure compares aggregate welfare under the constrained allocation, net of the externality, with aggregate welfare under the unconstrained competitive equilibrium baseline: when E(G_CE) − E(G*) ≥ Ē the aggregate (Kaldor-Hicks / potential-Pareto) improvement obtains. Conditional-on-Ē buys aggregate Kaldor-Hicks improvement rather than actual Pareto improvement at the household level, because Theorem 5.6' has already established that the compensating transfers that would convert Kaldor-Hicks to Pareto are not operational under current seigniorage and fiscal constraints. The conditioning is on the magnitude E(G_CE) − E(G*) ≥ Ē, not on the inequality-aversion parameter ε (which bounds the planner's aversion but not the empirical externality magnitude that must clear Ē). □

A.6 Stability Analysis: Theorem 5.1′ and the Lyapunov Functions

Correction note (July 2026). Earlier printings of this appendix stated a saddle-path-stability theorem gated by a threshold γ̄ = (σ_is β_y δ_e + κ σ_is α_π) / (κ σ_is η_e) with cited value ≈ 1.70, referred the reader to a "system (5.5)–(5.6)" that no draft ever displayed, and asserted the Routh-Hurwitz (all-eigenvalues-stable) and exactly-one-positive-eigenvalue configurations in the same paragraph — two configurations that cannot coexist. Re-derivation shows that the threshold formula evaluates to 5.83, not 1.70, at the printed calibration; that, more fundamentally, no γ-threshold of any value gates the spectral configuration of the printed polynomial; and that the two-configurations contradiction resolves in favor of the one-positive-eigenvalue reading in the calibrated regime. This section replaces that account, displays the system, and states the corrected classification; the characteristic polynomial itself is unchanged.

The linearized (π, y, G) dynamics, in deviations from target, are

π̇ = κ_p y (A.6.1)

ẏ = −σ_is (α_π π + β_y y + γ G) (A.6.2)

Ġ = −η_e π − δ_e γ G (A.6.3)

where κ_p is the Phillips-curve slope (local to this appendix; subscripted per the §A.1 glossary to avoid collision with the Piketty capital-income ratio of §3.4), σ_is is the IS semi-elasticity, α_π is the rule's total inflation response (so the Taylor principle reads α_π > 1), β_y its output response, γ its equality response, η_e the inflation-to-equality channel (the nominal-redistribution channel documented by Doepke and Schneider, 2006: unexpected inflation erodes nominal creditor positions concentrated at the top of the distribution), and δ_e the semi-elasticity of the equality gap with respect to the rule's equality term. Equation (A.6.2) embeds the policy rule in the IS relation.

Theorem 5.1′ (Spectral Classification). For the system (A.6.1)–(A.6.3) with all parameters positive: (i) the stability classification is independent of γ — the constant coefficient of the characteristic polynomial is κ_p σ_is γ(η_e − α_π δ_e), so the configuration is governed by the sign of η_e − α_π δ_e for every γ > 0, and no finite γ-threshold exists; (ii) if η_e > α_π δ_e (the calibrated regime: 0.1 > 0.025), the Jacobian has exactly one positive real eigenvalue and a complex pair with negative real parts, for every γ > 0 — with π the single forward-looking variable and (y, G) predetermined, this is saddle-path determinacy at every γ, and no Hopf crossing exists in this regime (a Hopf bifurcation would require a positive constant coefficient); (iii) if instead η_e < α_π δ_e, the Routh-Hurwitz conditions hold for every γ > 0 and the system is asymptotically stable at every γ; (iv) under the fully forward-looking reading (π and y both jump variables), determinacy requires two unstable roots and the calibrated system supplies one — the equilibrium is indeterminate on that reading, the standard Taylor-principle failure at α_π = 0.5 ≤ 1, which is a property of the inflation response and not of γ. □

The characteristic polynomial of the Jacobian J is det(J − λI) = −λ³ − (σ_is β_y + δ_e γ)λ² − (κ_p σ_is α_π + σ_is β_y δ_e γ)λ − κ_p σ_is α_π δ_e γ + κ_p σ_is η_e γ = 0, with κ_p the Phillips slope (the λ here is the local eigenvalue variable in the characteristic-polynomial calculation — standard linear-algebra notation — and is not one of the four content-symbols disambiguated in the §A.1 glossary; the eigenvalue solution that determines the convergence rate of the closed-loop system is what becomes λ_conv in §7). Numerical check at the default calibration (κ_p = 0.3, σ_is = 1.0, α_π = 0.5, β_y = 0.5, η_e = 0.1, δ_e = 0.05): the eigenvalues are {−0.259 ± 0.304i, +0.014} at γ = 0.10, {−0.268 ± 0.312i, +0.027} at γ = 0.20, and {−0.284 ± 0.326i, +0.048} at γ = 0.40 — one positive root throughout, and still one positive root at γ = 1.70 and at γ = 5.83, confirming Theorem 5.1′(i)–(ii): no γ-threshold gates the configuration. What the calibration does gate is the expectational reading: α_π = 0.5 fails the Taylor principle, so the saddle-path-determinacy reading of (ii) requires treating output as predetermined (a backward-looking IS relation), and the fully forward-looking reading is indeterminate per (iv). Which closure is appropriate is an open question flagged rather than settled here; the architecture's stability case does not rest on the equality term under either closure.

For the Lyapunov analysis of Chapter 7, define V_2(z) = (1/2) z'Pz with P positive-definite. Differentiating along trajectories of the closed-loop system dz/dt = (A + BK)z, dV_2/dt = (1/2) z'[P(A + BK) + (A + BK)'P]z = −(1/2) z'Qz where Q = −[P(A + BK) + (A + BK)'P]. When the controller gains K render (A + BK) Hurwitz, the Lyapunov equation P(A + BK) + (A + BK)'P = −Q admits a positive-definite solution P for any positive-definite Q, and dV_2/dt < 0 certifies asymptotic stability. The conditionality matters: Theorem 5.1′ shows that the rate-rule γ term alone does not render the (π, y, G) subsystem Hurwitz at the printed calibration, so the Phase II and Phase III stability claims of Chapter 7 rest on the full multi-instrument controller achieving pole placement — an institutional-design assumption about K, not a derived property of the rate rule. The same construction with V_3(z) = (1/2)[(π−π*)² + α_1(y−y*)² + α_2(G−G*)² + α_3(e−e*)²] yields the Phase III argument under the same conditionality. The convergence rate λ_conv = λ_min(Q)/λ_max(P) ≈ 0.20 per year under the standard calibration remains a calibration artifact (per §7.1 and the Transition Theorem).

A.7 The Bridging Proposition (Gini ↔ Atkinson)

The Bridging Proposition stated in §5.6 admits exact computation for log-normal income distributions and conservative (containment-based) recovery for general distributions. For log-normal with log-variance σ², the Gini is G = 2Φ(σ/√2) − 1 (Φ standard normal CDF), and the Atkinson index is

A^ε = 1 − exp(−εσ²/2)

— the standard Atkinson-from-log-normal result. Both G and A^ε are monotone increasing in σ², establishing a bijection between G and A^ε via the shared σ² parameter.

Given G*, invert σ² = 2[Φ^{−1}((G*+1)/2)]² and compute A* = 1 − exp(−εσ²/2). The fronted example runs at the reachable frontier (Coda; §5.6): for ε = 2 and G* = 0.55, the inversion yields σ ≈ 1.068, σ² ≈ 1.141, and A* = 1 − exp(−1.141) ≈ 0.681. The within-country illustration at G* = 0.30 gives σ ≈ 0.545, σ² ≈ 0.297, and A* = 1 − exp(−0.297) ≈ 0.257. These correspondences are exact for log-normal distributions and only there.

For general distributions the two orderings agree only on the Lorenz-comparable subset. Atkinson's (1970) foundational theorem establishes that for distributions F and F' with the same mean, F Lorenz-dominates F' if and only if W(F) ≥ W(F') for every welfare function W satisfying the Pigou-Dalton transfer principle; both Gini and A^ε satisfy Pigou-Dalton, so on Lorenz-comparable pairs they rank identically. For crossing Lorenz curves they can disagree in either direction, and the tempting claim that the Atkinson constraint is "strictly tighter in the relevant region" — so that S_A ⊆ S_G would hold "for appropriately chosen A*" — leaves an existential quantifier doing unpriced work unless the quantifier is computed. Here it is computed. Define G†(A*, ε) = sup {G(x) : A^ε(x) ≤ A*}, the worst-case Gini the Atkinson constraint permits. Numerical maximization over discrete distributions (multi-start constrained optimization over atom locations and weights, stable across independent runs) gives G†(0.257, 2) ≈ 0.34 and G†(0.681, 2) ≈ 0.72: a threshold chosen from a Gini target by the log-normal bijection admits general distributions four to seventeen Gini points looser than the target, because A^ε at ε = 2 is lower-tail-sensitive and correspondingly blind to the top-end spread the Gini registers — and the extremal shapes are exactly the top-heavy ones the Pareto-tail evidence of §3.5 makes empirically relevant. The correct containment statement is S_{A*} ⊆ S_{G†(A*,ε)}, with G† the guaranteed ceiling; a guarantee at the Gini target itself requires the tighter threshold A_safe solving G†(A_safe, ε) = G* — numerically A_safe ≈ 0.495 for a 0.55 ceiling (log-normal-equivalent G ≈ 0.44) and A_safe ≈ 0.214 for a 0.30 ceiling (log-normal-equivalent G ≈ 0.27). An implementation that wants Gini-denominated guarantees should bind at A*_safe; one that binds at the bijection value should state its guarantee as G ≤ G†.

This is what makes the Bridging Proposition the right honest framing. The Atkinson constraint is the formal binding object — retained for the smoothness and welfare-explicitness reasons of §5.6, the convexity question settled there — and the Gini target survives as a reporting metric with its slack priced: exact under log-normality, G†-bounded in general. The policy-implementation documents that present G* as the policy target are not technically wrong; they are about a derived metric whose worst-case divergence from the binding object is stated rather than assumed away. □

---

Appendix B: Data Sources and Replication

B.1 CGE Model Calibration

The computable general equilibrium model is calibrated to 2019 baseline data from the WIOD (World Input-Output Database) and COMTRADE (UN Commodity Trade Statistics). The model includes 25 countries/regions, 34 sectors, and was originally solved using GAMS (General Algebraic Modeling System); the implementation uses Python with scipy.optimize. The baseline equilibrium reproduces 2019 trade flows, domestic absorption patterns, and sectoral employment with a root-mean-square error of less than 2%.

Important: Replication archive status (July 2026). The corrected model (v4) and rebuilt archive EIMTS_Replication_v4.zip supersede GLOBAL_TRADE_EQUALITY_MODEL/10_Replication_Package/EIMTS_Replication_v3.zip, which corresponded to the pre-audit code and remains bundled only as a historical artifact. The February 2026 audit's findings were re-executed in July 2026 and largely did not survive (§6.6): of its three blocking findings, one reproduces, one is wrong in direction and magnitude, and one does not reproduce at all; the four defects that do exist — three unnamed by that audit — are documented in the companion validation report and repaired in v4. Under v4 the headline scenarios (C, D, E) reproduce to five decimal places; the two low-intervention scenarios drift in the third decimal, unexplained — users should treat scenarios A and B as unstable at the third decimal pending diagnosis. Simulation outputs remain out of Chapter 6 pending re-specification of the §B.5 scenario suite around the reachable frontier (G ≈ 0.55; §5.6 and the Coda). Users running the v3 archive will reproduce the prior outputs but will not reproduce a constrained-equilibrium solver consistent with Theorem 5.4'.

B.2 Inequality Parameters

The Gini coefficient targets and inequality weights in the EIMTS simulations use a dual-source approach: World Inequality Database (WID) pre-tax national income shares for the primary calibration, and household-survey-based estimates from WIID (World Income Inequality Database) and LIS (Luxembourg Income Study) microdata for the sensitivity comparison. Country-specific Gini coefficients in the baseline range from 0.24 (Denmark) to 0.63 (South Africa). The Atkinson constraint in the corrected implementation will use ε = 2 with A* computed from the bridging proposition per Appendix A.7. The CGE code parameter gravity_gamma is renamed gravity_zeta in the corrected implementation to align with the notation glossary of Appendix A.1.

B.3 Trade Elasticities

Import demand elasticities are taken from Costinot and Rodríguez-Clare (2014) and average 1.5 across sectors. Export supply elasticities are set to 2.0 based on calibration to trade response functions. Bilateral distance data uses CEPII's GeoDist database. The gravity-equation equality elasticity ζ is treated as a free parameter pending estimation (see §5.3); an illustrative reference value ζ ≈ 0.15 with sensitivity bounds [0.10, 0.25] has been used in prior simulations, but the paper does not commit to this as a pilot estimate. The (1−σ) exponent in the corrected implementation matches the Anderson-van Wincoop form of eq. 2.27.

B.4 Monetary Policy Parameters

The standard Taylor Rule parameters (α = β = 0.5) are from Taylor (1993). The equality weight γ in the augmented rule is calibrated to range from 0 (baseline) to 0.40 (full equality targeting), with primary results at γ = 0.20. The equality-indexed money supply sensitivity λ_M (see Appendix A.1) is calibrated at 0.5 with sensitivity bounds [0.1, 1.5]. The composite-equality-index weights are w_1 = 0.50 (inverse Gini), w_2 = 0.30 (HDI), w_3 = 0.20 (GPI/GDP). See §5.2 for the GPI caveat and proposed conservative substitutes (Adjusted Net Savings, Inclusive Wealth Indicator). An implementation-ready calibration should substitute ANS or IWI for the GPI/GDP component to reduce the measurement-dispute surface area.

B.5 Simulation Scenarios

Main scenarios planned for the corrected implementation: (A) Baseline 2019 institutions through 2042; (B) Monetary-only EIMTS (γ = 0.20, ζ = 0, δ = 0); (C) Trade-only EIMTS (γ = 0, ζ = 0.20, δ = 0.20); (D) Full EIMTS (γ = 0.20, ζ = 0.20, δ = 0.20); (E) Aggressive EIMTS (γ = 0.40, ζ = 0.40, δ = 0.30). Sensitivity analyses are planned on each scenario across the WID-vs-survey calibration distinction and across ±50% perturbations of key elasticities. See §6.6 for the numerical-status acknowledgment; the suite as listed predates the reachability finding and will be re-specified around the reachable frontier (targets and intensities consistent with G ≈ 0.55 at the between-country layer) before outputs are folded back into Chapter 6.

B.6 Replication Code

All code, data files, and documentation for the corrected implementation are in the rebuilt replication archive (EIMTS_Replication_v4.zip), which supersedes EIMTS_Replication_v3.zip (retained only as a historical artifact of the pre-audit code); the v4 release includes the companion validation report mapping each repaired defect to its finding. Estimated runtime for a single scenario is 2–4 hours on standard hardware (CPU-only). The paper does not report simulation results pending the frontier-consistent re-specification of the §B.5 scenario suite (§6.6); researchers using the v3 archive should treat its quantitative outputs as illustrative pre-correction outputs only.

Footnotes

1. Single-crossing for a defensible scalar projection of θ_i (most plausibly a residual-Gini projection holding (HDI, Y, T, r^d) at their joint conditional means) is an open problem. DSIC could be recovered under such a projection, but the projection itself requires economic justification beyond this paper's scope — specifically, it requires showing that the orthogonal components of θ_i do not bind in the mechanism's incentive constraints, which is itself a structural claim that single-crossing in the projected dimension does not imply. ↩