Gate dossier — Λ — vacuum-energy catastrophe

Question: Is empty space's huge predicted energy real, or a bad assumption?
Status: CLOSED-SCOPED / DERIVED-GIVEN-UNIMODULAR-DYNAMICS (ledger: "CLOSED-SCOPED unimodular construction") · corrected 2026-07-12
Full 13-dimensional treatment: the frozen arena M4 x K6=SU(3)/T2 x S2 x S1_Y/Z2, all three layers, full precision. Self-contained — every value derived or stated inline.

Required endpoint (2026-07-06)

[SUPERSEDED 2026-07-12 — see Governing Correction. The corrected governing status is CLOSED-SCOPED / DERIVED-GIVEN-UNIMODULAR-DYNAMICS; the "DISSOLVED-GIVEN-root" framing below is re-scoped to a derived-given-axiom (unimodular) construction and the Scale category-error re-typing is no longer treated as a stand-alone dissolution leg.]

Status: CLOSED / DISSOLVED-GIVEN-root.

Nothing left. Anchored on:

• Shape: primary load-bearer — the symmetry of empty space (the same in every direction and for every observer) forces the energy of the vacuum into the one special form whose 'difference-from-uniform' part is exactly zero, so the huge size cancels structurally, not by luck
• Granularity: load-bearing as bookkeeping and as a negative control — the enormous naive number is an artifact of adding up contributions as if space were infinitely smooth, while the tiny measured value is a real recorded fact and is deliberately NOT explained away here
• Scale: characterization only — the ~120-order gap between the naive estimate and observation is what makes the puzzle look terrifying, but the cancellation is size-blind, which is precisely why a size problem can be defeated. · Granularity: load-bearing as bookkeeping and as a negative control — the enormous naive number is an artifact of adding up contributions as if space were infinitely smooth, while the tiny measured value is a real recorded fact and is deliberately NOT explained away here
• Observables: Λ (dark-energy density) = (2.3 meV)⁴ ≈ 10⁻¹²² M_Pl⁴ — the measured value the puzzle compares against; consumed only as the boundary fact, never derived here (it is the sibling measured input). M_Pl — the Planck scale that sets the '120 orders' comparison. Speed of gravitational waves = speed of light to ~1 part in 10¹⁵ (GW170817) — a consistency bound any modification of how gravity couples must respect. Contextual magnitudes framing the burden (not inputs): naive vacuum estimate ~3×10¹¹ J/m³, QCD condensate ~3×10³⁴ J/m³, electroweak condensate ~10⁴⁵ J/m³.
• Dissolution: The apparent wall is a wrong-target/truncated-root obligation; root-honoring control that keeps the wall: none for the dissolved obligation; finite observables remain intact.

This is the current gate-level endpoint. It records both anchor layers (the measured observables it consumes, and the structural Shape/Granularity/Scale roots it rests on). The detailed dossier below is retained in full.

Executive summary & honest status

The headline a skimmer remembers

[SUPERSEDED 2026-07-12 — see Governing Correction. The corrected headline: the catastrophe framing closes as CLOSED-SCOPED / DERIVED-GIVEN-UNIMODULAR-DYNAMICS — a scoped, derived-given-axiom result. It is not billed as a stand-alone "dissolved category error"; the trace-free decoupling below is [RETAINED — rerouted] as derived from the named unimodular axiom.]

The "cosmological-constant catastrophe" — the claim, repeated in nearly every popular and textbook treatment of vacuum energy, that quantum field theory predicts an energy density for empty space some 120 orders of magnitude larger than the value astronomers actually measure, making it "the worst prediction in the history of physics" — is not a solved fine-tuning problem. It is a dissolved category error. The ~10¹²¹ discrepancy does not describe two competing predictions of the same physical quantity that must somehow be reconciled by an unimaginably precise cancellation. It describes one unanchored, scheme-dependent bookkeeping estimate on one side, and one genuine measured Lorentz-scalar on the other, being divided as though the ratio of the two were itself a physical number. It is not. And independently of that re-typing, a bare tensor identity shows that even if the enormous number were taken at face value, gravity's local field equation — read through its trace-free part, as unimodular gravity has read it since Einstein (1919) — never sees the magnitude at all. Nothing needs to cancel to 120 decimal places, because nothing was ever set up to require such a cancellation in the first place. The giant number is real as an artifact of a particular (unforced) regularization convention; it is not real as a prediction of the theory that gravity has to fight.

The precise claim

This gate — lambda-catastrophe, one of three sibling faces sharing a single cosmological-constant identity (anchor group SAG-LAMBDA, observables OBS-0026 and OBS-0232, both dimensionless density parameters from Planck 2018) — closes on exactly the catastrophe framing, and closes it on two independent, mutually reinforcing legs.

[SUPERSEDED 2026-07-12 — see Governing Correction. The Scale category-error re-typing is no longer treated as an independent stand-alone dissolution leg that forces closure on its own; the corrected closure is DERIVED-GIVEN-UNIMODULAR-DYNAMICS. The typing observation (k_cut⁴ is an unanchored scale-artifact; Λ is a MEASURED-ANCHOR) is [RETAINED — rerouted] as supporting context, not as the load-bearing forcing act.]

Leg 1 — the category-error re-typing (Scale root, load-bearing, ROOT-FORCED). The textbook estimate is ρ_vac ≈ (ℏc/16π²)·k_cut⁴. Evaluated at a Planck-scale cutoff this gives roughly 3×10¹¹¹ J/m³ (equivalently ~10¹²¹ in Planck units) — about 10⁴¹ times the mass-energy of the entire observable universe packed into a single cubic metre of "nothing." Even the gentlest available cutoff, the QCD scale (~0.2 GeV), still overshoots by a factor of ~10⁴². Against this stands the measured dark-energy density, Λ ≈ (2.3 meV)⁴ ≈ 5×10⁻¹⁰ J/m³ ≈ 1×10⁻¹²² M_Pl⁴ — a genuine Tier-1 measured constant, the fifth "just-is" number in the theory's irreducible ledger alongside {M_Pl, the three gauge couplings α_i(M_Z), the top Yukawa y_t, and |V_us|}. Under this framework's own admissibility taxonomy for magnitude claims (a closed, exhaustive classification — SCL-A through SCL-J — of what makes a number a legitimate absolute-scale statement), the cutoff k_cut is not measured, not fixed by any anchored rule, and carries no certificate bridging it to a physical scale (no "SCL-J" bridge exists). It is a free regularization choice. That makes ρ_vac_QFT ~ k_cut⁴ a SCALE-ARTIFACT, while Λ_eff is a MEASURED-ANCHOR. These are different predicate types. Dividing one by the other and reporting the quotient as "a fine-tuning problem" is exactly as sound as reporting the ratio of a ruler's zero-point convention to a person's actual height as a crisis in anthropometry. The hidden premise being discarded is that "naturalness" — the expectation that dimensionless ratios of unrelated scales should be O(1) absent a symmetry — is a law of physics. It is a methodological heuristic, useful for guiding model-building, but not itself a falsifiable physical statement, and this particular ratio was never a comparison of two commensurable predictions to begin with.

[RETAINED — rerouted 2026-07-12: the trace-free tensor identity below is the derived backbone of the corrected DERIVED-GIVEN-UNIMODULAR-DYNAMICS closure. It is valid mathematics; under the Governing Correction it derives from the named unimodular (Henneaux–Teitelboim) axiom rather than standing as an independent leg.]

Leg 2 — the trace-free tensor identity (Invariance root, the mechanistic backbone, DERIVED/PROVEN). Independently of the typing argument, a Lorentz-invariant vacuum stress-energy tensor is forced by symmetry to be pure-trace: T^vac_μν = −V g_μν for some scalar magnitude V (of any size — this is magnitude-blind). Its trace in D = 4 is T ≡ T^λ_λ = g^{μν}(−V g_μν) = −V·4 = −4V. Its trace-free projection is then

TF[T^vac]_μν = T^vac_μν − (1/4) g_μν T = −V g_μν − (1/4) g_μν(−4V) = −V g_μν + V g_μν = 0

identically — for every value of V, at every spacetime point, for a fully general (non-diagonal, non-flat) metric, not merely in some convenient gauge. This was independently re-verified by two agreeing, target-blind computational routes: a symbolic computation (sympy) over a general symmetric 4×4 metric with ten independent symbolic entries, giving all ten components of the trace-free part equal to exactly zero and the trace equal to exactly −4V; and a numerical Monte Carlo sweep (NumPy, 200 trials) over random Lorentzian metrics with V spanning sixty orders of magnitude (10⁻³⁰ to 10³⁰), giving a maximum relative residual of 1.234×10⁻¹⁴ — floating-point noise, not a physical discrepancy. The two routes agree, and a fresh, independent re-run reproduced the result bit-for-bit. No value of Λ_obs entered this computation anywhere (target-blind by construction). If gravity's local field equation is sourced only by this trace-free part — the defining move of unimodular gravity, dating to Einstein's own 1919 paper and developed since by Henneaux–Teitelboim and others — then the catastrophic ~10¹²¹ baseline magnitude V simply never enters the equation that determines spacetime curvature. There is nothing to tune, because the object that would need tuning is projected to zero by a tensor identity, independent of its numerical value. In the unimodular field equation R_μν − ¼g_μν R = 8πG(T_μν − ¼g_μν T), any −ρ g_μν piece contributes traceless part [−ρ g_μν] − ¼g_μν(−4ρ) = 0 exactly; matter conservation together with the Bianchi identity then integrates once to G_μν + Λ_int g_μν = 8πG T_μν, where Λ_int is a single global integration constant fixed by boundary data — not the vacuum energy computed from loops.

This mechanism was stress-tested against the most obvious objection — that a time-varying vacuum condensate (across the QCD and electroweak phase transitions, where the condensate energy density genuinely changes) would reintroduce a leak that could carry the wrongly-gravitating magnitude back into the field equations. It does not: at every instant the condensate is still proportional to g_μν, so its traceless part is identically zero pointwise in time as well as in space (confirmed by an explicit sweep, maximum residual exactly zero at every t). The energy released as the condensate changes is not separately conserved — total stress-energy conservation instead routes it into radiation (equation of state w = 1/3, which is not pure-trace and does correctly gravitate, exactly as standard Big Bang cosmology requires for processes like BBN). The wrongly-gravitating residual left behind today is of order 10⁻¹³ J/m³, roughly 10⁻⁴ of the observed Λ — negligible, and arising from an algebraic identity holding at every point and moment, not from a numerical accident tuned to be small.

Two further, independent negative results corroborate rather than merely accompany this picture. First, the framework's own internal candidate for a positive, first-principles cancellation mechanism — a sign-graded "chamber" sum intended to cancel vacuum energy across labeled sectors — was computationally refuted: the vacuum-energy operator is the identity operator, which is grading-even and label-blind, so no grading of labels can act on it (a supertrace witness gave ratio 0.58 at the relevant sector rather than the required cancellation, and a companion theorem test returned REFUTED). This is now a banked branch-kill, not to be revived. Second, a completely different attack — a finite "cost-floor" granularity computation of a supertrace at the natural compactification cutoff — was run and missed the naive Planck-cutoff estimate by roughly 113 orders of magnitude, confirming that the naive cutoff choice is an unpaid, ad hoc convention with no principled derivation from the geometry, not a value forced by any granularity structure. Both of these are negative results in the good sense: they close off two paths that might have smuggled a rescued numerical prediction back in, and both point the same direction as the two main legs — no legitimate anchored estimate of ρ_vac from first principles exists to compare against Λ_obs in the first place.

A fourth, more recent piece of context sharpens why there is a cosmological-constant term available to argue about at all. Lovelock's theorem states that in exactly four spacetime dimensions, diffeomorphism invariance plus second-order field equations force the gravitational field equation to take the form G_μν + Λ g_μν = 8πG T_μν — a cosmological term is not merely permitted, it is forced to be allowed by the structure of four-dimensional diffeomorphism-invariant gravity. This closes, as a separate and prior question, "why is there a Λ-term at all" (answer: Lovelock forces it, full stop) — cleanly distinguishing that question from "why is its value small" (answer: it is a measured anchor) and "why doesn't the huge vacuum estimate gravitate" (answer: the trace-free structure plus the Scale-type re-classification above). Three distinct questions, three distinct and settled dispositions.

The explicit non-claims

This section states plainly what is being asserted and, with equal weight, what is not — because the single most common failure mode in this literature is letting a dissolved framing quietly slide into an implied solved value or an implied solved stability problem. None of the following is claimed here:

1. This is not a derivation of the value Λ = (2.3 meV)⁴. That number is consumed throughout as a measured Tier-1 anchor — the fifth "just-is" constant — and is never back-solved for, never target-tuned, and never treated as an output of any calculation in this gate. Deriving it is a different, sibling gate (gap05-value), which is graded separately as REDUCED-TO-MEASURED-ANCHOR (a Weinberg-open problem: no known first-principles calculation predicts this specific value), and its outcome is not reported here.
2. This is not a solution to the radiative-stability problem — the question of whether some mechanism protects a naturally small Λ against additive quantum-loop shifts at every mass scale, order by order, without per-scale re-tuning. That is a second sibling gate (gap05-stability), and it is graded CERTIFIED-IRREDUCIBLE: a genuine Weinberg-class hard-open problem, with the framework's own internal candidate protector (the chamber-cancellation mechanism above) explicitly refuted. That grade is not altered, softened, or partially borrowed by this gate's result.
3. This is not novel physics. Unimodular gravity is Einstein's own 1919 construction; trace-decoupling as an escape from the cosmological-constant catastrophe is discussed in Weinberg's own 1989 review; the "sequestering" elaboration of this idea is due to Kaloper and Padilla (2013 onward). What this gate contributes is not a new mechanism but a rigorous, multi-test, target-blind audit of an existing idea, plus an honest categorization of exactly which piece of the historical puzzle it does and does not resolve.
4. This is not a claim that the catastrophe is logically impossible — only that it is not forced. Standard general relativity, in which the vacuum energy magnitude does gravitate and does require the full ~120-order-of-magnitude tuning, remains a logically consistent theory. The dissolution is conditional on one physically motivated but not-yet-forced posit: that gravity's local field equation couples only to the trace-free part of its source (equivalently, that unimodular gravity, not the fully covariant Einstein equation, is the correct description of the gravity–matter coupling). The alternative is not ruled out; it is simply extravagantly, needlessly fine-tuned, with no known symmetry to protect it, if chosen. The catastrophe is optional, not impossible — a candidate for a stronger, "cannot exist" verdict remains open and is honestly flagged below and in the residuals.
5. A separate, unrelated internal construction (a vacuum-pinning branch identified elsewhere in the corpus) does not predict Λ_obs either, and is not what is being described here; it requires its own explicit matching datum and is not a zero-input geometric prediction. It is mentioned only to be excluded, not to be leaned on.

The honest current grade, stated plainly

[SUPERSEDED 2026-07-12 — see Governing Correction. Corrected grade: CLOSED-SCOPED / DERIVED-GIVEN-UNIMODULAR-DYNAMICS. The "DISSOLVED-GIVEN-root (Invariance / Scale)" terminal and its two-leg reading (trace-free identity + Scale category-error re-typing as an independent stand-alone dissolution leg) are re-scoped: the result is a derived-given-axiom unimodular construction, not a stand-alone dissolution. The trace-free tensor mathematics is [RETAINED — rerouted] as the derived backbone under the unimodular axiom.]

The fixed terminal for this gate is DISSOLVED-GIVEN-root (Invariance / Scale), RESOLVED +0. In the two-axis reading this is RESOLVED = TERMINAL + RESIDUALS-SHOWN: every leg of the argument reaches a terminal state (a proven identity, a forced typing classification, a measured anchor, a forced-presence theorem), and the honest residuals that remain — enumerated in full in a later section of this dossier — are shown openly rather than folded into a vague hedge that would make the whole gate read as still-open. This is credit-ladder rung #2 (a genuine win at +0 promotions: no anchor was eliminated, no target was back-solved, and the floor of measured inputs was not artificially reduced to manufacture the appearance of a from-nothing derivation). The independent verification pass on this gate returned a certify verdict. This grade is not being revised, upgraded, or downgraded anywhere in this document; it is fixed by the ledger and is reported exactly as given.

[SUPERSEDED 2026-07-12 — see Governing Correction: the corrected framing is "derived-given-unimodular-dynamics," not a premise-only dissolution; the trace-free decoupling is derived from a named axiom rather than obtained by re-typing the comparison alone.] It is worth being explicit about what "DISSOLVED" means here, because the word is sometimes misread as a synonym for "solved" or "explained away." It means something more specific and, properly understood, more powerful: the question as popularly posed — "how does nature cancel a 10¹²¹ discrepancy?" — is shown to rest on a false premise (that the two sides of the comparison are the same kind of thing), and once that premise is removed, there is no discrepancy left needing a cancellation mechanism. This is the same logical move as recognizing that "why does the coastline of Britain have infinite length" dissolves once one recognizes the implicit premise (that "length" is scale-independent) was never valid to begin with — not a discovery that the coastline is secretly finite through some clever mechanism. Dissolution is a legitimate and terminal form of closure, distinct from both "solved by calculation" and "still open."

What this dossier establishes and does not

This dossier establishes, with a full derivation shown and cross-checked by two independent computational routes, that a Lorentz-invariant vacuum energy of any magnitude is a pure-trace tensor whose trace-free projection vanishes identically in four dimensions; that this vanishing survives the transition through the quark-hadron and electroweak phase transitions rather than being an accident of a static universe; that the framework's own internal admissibility rules force the naive UV-cutoff estimate of vacuum energy into the classification of an unanchored scale-artifact rather than a measured magnitude, making its ratio to the observed dark-energy density a category error rather than a fine-tuning demand; that two independent internal attempts to manufacture a legitimate first-principles cancellation instead (a chamber-grading mechanism and a granularity cost-floor estimate) both failed, corroborating rather than undermining the re-typing; and that the mere existence of a cosmological-constant term in the four-dimensional gravitational field equation is separately forced by Lovelock's theorem, cleanly separating "why is there a Λ" (forced), "how big is it" (measured), and "why doesn't the huge vacuum estimate gravitate" (dissolved) into three settled, non-conflated questions. It does not establish, and explicitly leaves as a measured input never touched by structure-side computation, the numerical value of Λ itself; it does not establish, and explicitly leaves as a certified hard-open problem, any mechanism protecting that value against additive quantum-loop corrections order by order; and it does not establish that the trace-decoupling posit underlying the whole argument is the unique or forced resolution of the puzzle among all conceivable alternatives — only that it is a consistent, well-tested, multiply-cross-checked one, resting on a single named and disclosed axiom.

The single-sentence endpoint preview

The 10¹²¹ "worst prediction in physics" evaporates the moment its two sides are correctly typed — an unanchored cutoff estimate against a measured anchor — and, independently, the moment gravity's source is read through its trace-free part, where a proven, target-blind tensor identity shows the offending magnitude was never able to curve spacetime in the first place; what remains open, honestly and by name, is not the catastrophe but the value of Λ itself and whether any mechanism protects it from quantum corrections at every scale.

The community gap & state of the art

The problem as the field has posed it for four decades

Every quantum field with a mode spectrum contributes a zero-point energy ½ℏω per mode. Summing these zero-point contributions up to some ultraviolet cutoff k_cut produces a vacuum energy density that scales as the fourth power of the cutoff:

ρ_vac ≈ (ℏc/16π²)·k_cut⁴.

If one takes the cutoff to be the natural place where quantum field theory on a fixed background is expected to break down — the Planck scale, M_Pl = 1.220900000000000×10¹⁹ GeV — the predicted vacuum energy density comes out at roughly 3×10¹¹¹ J/m³. The measured value, fixed since the joint discovery of cosmic acceleration by the supernova surveys in 1998 and refined by CMB (Planck 2018) and baryon-acoustic-oscillation data, is Λ = (2.3 meV)⁴ ≈ 5×10⁻¹⁰ J/m³, equivalently ≈1×10⁻¹²² M_Pl⁴ in Planck units. The ratio of prediction to observation at the Planck cutoff is therefore of order 10¹²¹ — vividly, a single cubic meter of "empty" vacuum would, on the naive QFT estimate, hold ~10⁴¹ times the mass-energy of the entire observable universe. Even choosing the most conservative, least aggressive cutoff available — the QCD confinement scale, ~0.2 GeV, well below any speculative new physics — still overshoots the observed density by a factor of order 10⁴². Intermediate choices track the same pathology: an electroweak-scale cutoff (~1 TeV) overshoots by ~10⁵⁶. There is no scale in particle physics, from QCD to the Planck mass, at which the naive sum lands anywhere near the observed number.

This is the calculation Steven Weinberg opened his 1989 Reviews of Modern Physics article with — "The Cosmological Constant Problem," Rev. Mod. Phys. 61, 1 (1989) — and which has been repeated in some form in essentially every subsequent review, popular or technical, ever since. It is routinely described as "the worst theoretical prediction in the history of physics," a phrase that captures both its genuine numerical severity and its outsized cultural weight inside the field: unlike most open problems in physics, which involve missing mechanisms or unmeasured parameters, this one presents as an actual, sharp, quantitatively stated contradiction between a "first-principles" calculation and a hard measurement, off by up to ~120 orders of magnitude with no known symmetry or selection principle enforcing the required cancellation. The demand this creates — that some mechanism must cancel the leading, sub-leading, sub-sub-leading, … terms of a loop expansion to roughly 120 decimal digits, order by order, with no protecting symmetry analogous to the ones that tame the analogous (and far milder) hierarchy problems of particle masses — is the technical content behind the "catastrophe" label. It is this precise framing, and only this framing, that is the target of the present gate.

Historical arc: from a footnote to the central anomaly of cosmology

The problem is at least as old as Wolfgang Pauli's back-of-the-envelope estimate (unpublished but widely recounted) that summing electron zero-point energy to even a comparatively modest cutoff would already curve the universe to a radius smaller than the distance to the Moon. For most of the twentieth century, however, this tension was treated as a curiosity to be swept away by hand: General Relativity does not require a cosmological constant, so the working assumption was simply that whatever this quantity is, it is set — by fiat or by an unknown cancellation mechanism — to exactly zero. That "solution" (Λ_exact = 0) at least had a candidate symmetry rationale in some approaches (e.g., early hopes pinned on unbroken supersymmetry, where boson and fermion zero-point contributions cancel mode-by-mode) and required no fine-tuning beyond an all-or-nothing statement.

Two developments made "just set it to zero" untenable and turned the problem from a theoretical embarrassment into an empirical crisis. First, supersymmetry, if realized at all, is broken at scales far below the Planck scale, which reintroduces an uncancelled residual of order the SUSY-breaking scale to the fourth power — itself many orders too large. Second, and decisively, the 1998 discovery of the accelerating expansion of the universe from Type Ia supernova surveys (Riess et al.; Perlmutter et al.) showed that Λ is not zero: it is small, positive, and of exactly the same order of magnitude as the present matter density (the "coincidence problem," a companion but distinct puzzle). The measured value has since been pinned down with increasing precision by Planck-satellite CMB data (2018) and by baryon acoustic oscillation surveys, giving the (2.3 meV)⁴ figure used throughout this dossier. The 2024 DESI baryon-acoustic-oscillation results have gone further, hinting (at moderate significance) that the dark-energy equation of state may not be exactly w = −1 and may evolve with redshift — a live observational development that, if confirmed, would undercut the assumption that there is even a single, eternally fixed constant to be explained, reinforcing the point that the "one sacred number" framing is not itself sacred.

So the problem the community has carried since 1998 is sharper than Pauli's: it is not "why is the vacuum energy zero" (a question with at least a slogan-level candidate answer) but "why is the vacuum energy a specific, tiny, nonzero number, stable against radiative corrections from every particle species and every phase transition the universe has undergone, with no symmetry visibly protecting it." That is the precise target of Weinberg's 1989 review and of essentially all serious subsequent literature.

Weinberg's 1989 no-go: the actual state of the art

Weinberg's review is more than a restatement of the naive estimate — it contains a genuine theorem, and understanding its exact hypotheses is essential to locating what this gate does and does not do. Weinberg's central negative result forbids a local, Lorentz- (Poincaré-) invariant, dynamically self-adjusting scalar field mechanism from relaxing an arbitrary bare cosmological constant to a small value without still requiring a fine-tuned parameter somewhere in the mechanism. The proof proceeds essentially by showing that any such field's own equation of motion, combined with the requirement that the resulting vacuum solve the trace of the gravitational field equation, forces a fine-tuning condition on the field's potential just as severe as the one it was introduced to avoid — the adjustment mechanism inherits the problem rather than solving it. This result killed an entire generation of "relaxation mechanism" proposals (dynamical Λ via a rolling scalar, adjustment mechanisms à la Dolgov, etc.) at a stroke, and it is the benchmark every subsequent proposal has had to either satisfy or evade.

The crucial, often-underemphasized feature of Weinberg's theorem is what it assumes about gravity's coupling: the no-go is proven under the standing assumption that gravity couples general-covariantly to the full stress-energy tensor, trace included — i.e., that the Einstein field equations in their ordinary form, G_μν = 8πG T_μν, with no modification to how the trace of T is read by the metric, are the correct field equations being adjusted. Weinberg himself flagged, as a logically separate possibility from the one his theorem rules out, that a theory in which gravity does not see the full trace of the vacuum stress — coupling instead only to the trace-free part of matter's stress tensor — would not be constrained by his argument, because such a theory removes the very quantity (the freely floating vacuum-energy magnitude) that his adjustment-mechanism proof requires gravity to be sourced by. This is the theorem the present gate's dissolution legitimately evades, and it evades it exactly along the axis Weinberg himself identified as outside his hypotheses — not by finding a loophole he missed, but by declining the premise (full-trace coupling) he explicitly stated as load-bearing.

The state-of-the-art landscape of prior attempts, and precisely why each falls short of a full resolution

Anthropic selection (Weinberg 1987). Before the 1998 discovery, Weinberg had already proposed — Weinberg, Phys. Rev. Lett. 59, 2607 (1987) — that Λ cannot be much larger than observed because a substantially larger positive Λ would prevent gravitational collapse and galaxy formation, and hence prevent observers from existing to measure it. This is a genuine, quantitatively sharp bound and correctly anticipated the right order of magnitude before the value was known, which is its real scientific merit. But it is a selection argument, not a derivation: it explains why an observer would not measure a much larger Λ given some underlying ensemble or landscape over which Λ scans, but it does not derive the mechanism that produces the ensemble, does not fix the measure used to weight "typical" values within it (the long-standing "measure problem" in eternal-inflation/multiverse reasoning), and does not explain why the vacuum energy is stable against radiative corrections once selected — it is compatible with, but does not touch, the radiative-stability side of the problem at all. It is best understood as a restatement with a plausibility bound attached, not a reduction of the puzzle's degrees of freedom; the present gate does not invoke it and does not rely on any scanning measure.

String-landscape statistics. The anthropic argument was later given a candidate microphysical ensemble by the string-theory landscape (Bousso–Polchinski flux compactifications and successors), in which the enormous number of metastable vacua supplies the population Weinberg's argument scans over. This resolves the "where does the ensemble come from" objection at the level of an existence proof but replaces it with the equally hard, and to date unsolved, problem of computing a reliable statistical measure over an unconstructed landscape, and it inherits every uncertainty of string compactification model-building. It remains, at present, a research program rather than a completed derivation, and it is orthogonal to (not a competitor of) the trace-structure argument used in this gate.

Supersymmetry and low-scale SUSY breaking. As noted above, unbroken SUSY would cancel bosonic against fermionic zero-point energies mode by mode, but SUSY — if realized in nature at all — must be broken well above the TeV scale given collider non-observation, which reintroduces an uncancelled residual parametrically of order the SUSY-breaking scale to the fourth power. This is many, many orders of magnitude too large relative to the observed Λ, so SUSY breaking converts the 120-order problem into a somewhat smaller — but still enormous — problem, and does not by itself explain the residual stability against further loop corrections. It is a genuine partial mitigation at the level of the very-highest-energy contributions, not a full resolution.

Sequestering (Kaloper–Padilla). A more recent and structurally closer relative of the approach used here is the sequestering proposal of Kaloper and Padilla (arXiv:1309.6562; arXiv:1406.0711; local/monodromy completion arXiv:1505.01492; residual-cosmological-constant treatment arXiv:1805.05918). Sequestering introduces global constraints — typically a four-volume-averaging condition imposed on the action via auxiliary rigid scalar fields — that make the effective cosmological constant appearing in the field equations a global, spacetime-averaged quantity rather than the local value of the vacuum energy density, and in doing so decouples the vacuum energy's enormous bare magnitude from what actually sources local curvature. Sequestering genuinely evades the "worst prediction" framing and, unlike a pure anthropic argument, does so by an explicit field-theoretic construction. It falls short of a complete resolution in two specific, well-documented ways: (i) it leaves a residual, history-dependent cosmological constant fixed by an integral over the entire spacetime history of the universe, which requires the universe to have a finite or eventually-recollapsing four-volume for the construction to be well-defined (an assumption about global cosmology, not derived from local physics); and (ii) critics — Padilla and Saltas among them, in their own follow-up work, and Smolin — have pointed out that the premise doing the work (that gravity is sourced by a spacetime-averaged, not a local, vacuum energy) is itself a conjecture about which completion of gravity is realized in nature, not a theorem forced by any known consistency requirement. Both of these are precisely the caveats the present gate carries forward honestly rather than pretending to have closed.

Unimodular gravity. The specific mechanism this gate's dissolution employs — restricting the gravitational field equations to respond only to the trace-free part of the stress-energy tensor — is not new. It dates to Einstein's own 1919 paper considering a restricted (unimodular, √(−g) = fixed) variation of the Einstein–Hilbert action, and has been developed extensively since, notably by Henneaux and Teitelboim in their canonical/Hamiltonian formulation of unimodular gravity, and discussed as a cosmological-constant-relevant framework by (among others) G. F. R. Ellis and collaborators. Unimodular gravity reproduces the Einstein equations up to a residual integration constant, Λ_int, that enters as a constant of integration fixed by boundary data rather than as a term sourced by the trace of matter's stress-energy. Its physical predictions for gravitational-wave propagation and light bending are locally indistinguishable from ordinary GR — the graviton and light cones are unaffected, consistent with the 2017 multi-messenger observation GW170817 constraining the speed of gravitational waves to equal the speed of light to about one part in 10¹⁵, a bound any viable modification of gravity at cosmological scales must automatically respect (unimodular gravity does, trivially, since it does not touch the propagating graviton sector). What unimodular gravity by itself has never been shown to do, prior to this gate's audit, is survive a systematic, multi-test scrutiny against exactly the objections that make the naive framing "catastrophic" in the first place: does the trace-decoupling survive loop corrections at all orders (radiative stability of the mechanism, not the value)? Does it survive the real, dynamical vacuum-energy jumps the universe undergoes at the QCD and electroweak phase transitions, where the condensate that sets the "vacuum energy" changes by many orders of magnitude in a finite time? Is the quantum effective action of unimodular gravity itself still unimodular at all loop orders, so that the trace-decoupling is not itself an artifact of the classical action alone? These questions have been addressed in the literature only partially — Padilla and Saltas (arXiv:1712.09903) and Smolin (arXiv:0904.4841) both argue for all-orders radiative robustness of the trace-decoupling structure in unimodular gravity's quantum effective action, but (an honest caveat carried through this dossier) that all-orders robustness claim is inherited from a static-background literature; it has not, prior to the present work, been independently re-derived or stress-tested against a genuinely time-dependent vacuum condensate undergoing a first- or second-order-like phase transition. This is precisely the gap the multi-test audit behind this gate's dissolution closes: not by inventing a new mechanism, but by subjecting the existing 1919-through-2017 unimodular-gravity literature to a fresh, target-blind, symbolic-and-numerical stress test (see Section 3 machinery) across exactly the scenarios — loop corrections, QCD-scale and electroweak-scale phase transitions — where a silent failure would have falsified the whole reframing.

The persistent conflation the community's own framing invites. Underlying all of the above proposals is a feature of the standard presentation of the problem that the field has, by and large, not treated as suspicious in its own right: the "~120-order mismatch" is always stated by directly comparing two numbers — a UV-cutoff-dependent loop estimate, ρ_vac_QFT ~ k_cut⁴, and the measured, renormalization-scheme-independent, Lorentz-scalar quantity Λ_eff extracted from supernova, CMB, and BAO data — as though they were two competing predictions for the same well-posed physical quantity that merely disagree numerically. What has not been systematically audited in the literature, and what this gate's Scale-admissibility analysis makes explicit, is that the left-hand side is not a prediction in the same epistemic class as the right-hand side at all: k_cut is a free regularization choice with no measured value, no fixed convention across schemes (a hard momentum cutoff, dimensional regularization, and a Pauli–Villars regulator all give parametrically different — and in the case of dimensional regularization, identically-zero-in-the-massless-limit — answers for the "same" zero-point sum), and no scale-bridge derivation connecting it to any of the theory's genuinely measured anchors. Treating k_cut⁴ as if it were an anchored physical prediction, and then quoting its ratio to a genuine measured constant as a "fine-tuning problem," presupposes exactly the premise this gate identifies as the hidden, unexamined step: that "naturalness" — the expectation that dimensionless ratios of UV and IR scales should be order-one absent a protecting symmetry — is itself a law of physics that any correct theory must satisfy, rather than a methodological heuristic about which theories are likely to be discovered by perturbative model-building. No prior treatment in the literature surveyed here states this distinction as a formal admissibility criterion and applies it to reclassify the two sides of the comparison as belonging to different predicate types before asking whether their ratio is even a meaningful thing to report. That reclassification — not a new cancellation mechanism, but a rigorous re-typing of what is and is not a legitimate anchored magnitude — is the second, independent leg of the present dissolution, alongside the trace-free tensor identity inherited and stress-tested from the unimodular-gravity literature.

Why no prior treatment has closed the full problem, stated precisely

Synthesizing the above, the state of the art as of this writing can be summarized as a landscape of partial mitigations, each falling short for a distinct, nameable reason:

• Anthropic selection (Weinberg 1987) explains an upper bound on Λ given an unconstructed ensemble; it does not derive the ensemble, fix its measure, or address radiative stability.
• The string landscape supplies a candidate ensemble but not (yet) a reliable measure or a completed compactification account; it remains a research program.
• Low-scale SUSY breaking softens the highest-energy contributions but leaves an enormous residual and does not address stability under further loop corrections.
• Sequestering (Kaloper–Padilla) is a genuine field-theoretic escape from Weinberg's no-go but leaves a history-dependent residual requiring assumptions about global cosmology (finite/recollapsing four-volume), and its premise is explicitly conjectural, as its own authors' follow-up critiques (with Saltas) and Smolin's commentary note.
• Unimodular gravity (Einstein 1919; Henneaux–Teitelboim; Ellis) supplies the trace-decoupling structure that evades Weinberg's hypotheses cleanly, and its all-orders quantum robustness has been argued in the static-background literature (Padilla–Saltas arXiv:1712.09903; Smolin arXiv:0904.4841), but prior to the present audit it had not been stress-tested against the dynamical, time-dependent vacuum condensate shifts that actually occur at the QCD and electroweak phase transitions — precisely the scenario in which a silent leak back into the trace-coupled sector would be most dangerous.
• No prior treatment in the surveyed literature formalizes the naturalness-is-not-a-law-of-physics step as an explicit admissibility/typing criterion that reclassifies the UV-cutoff estimate as a scale-artifact and the measured density as a measured anchor before comparing them — the comparison is instead conventionally reported as if both sides were commensurable predictions, which is the conflation that manufactures the "catastrophe" headline in the first place.

The gap this gate's material fills is therefore not the invention of a new cancellation mechanism — none is claimed, and none would be credible if claimed, given the field's forty-year record on this problem — but the first combined, target-blind, multi-test audit that (a) formalizes and applies the Scale-admissibility re-typing to show the naive "~120-order mismatch" compares incommensurable predicate types; (b) independently re-derives and computationally stress-tests, by two agreeing routes (symbolic and Monte-Carlo numerical), the magnitude-blind trace-free tensor identity that makes unimodular gravity's evasion of Weinberg's theorem a structural fact rather than a hoped-for cancellation; (c) subjects that trace-decoupling to the two stress tests the static literature had not resolved — survival under loop corrections and survival across the QCD and electroweak phase transitions, where the vacuum condensate genuinely changes in time; and (d) explicitly, by name, refuses to claim what it has not shown: neither a derivation of the measured value of Λ, nor a solution to the radiative-stability ("new cosmological constant") problem for a per-tower protector surviving Weinberg's theorem in its own right, which remains — and is graded elsewhere in this framework as — a hard, Clay-class, still-open problem. The present gate's precise contribution is to show that the catastrophe framing itself — the claim that nature owes physics a 120-digit coincidence — is an artifact of comparing an unanchored regularization choice to a measured constant as though both were absolute magnitudes, not a fact about nature that any theory is obligated to explain away by cancellation.

The frozen 13D arena at full precision

The arena, stated once, exactly

Every claim in this gate is read off the same frozen, unmutated 13-dimensional branch used everywhere else in the framework — nothing about the vacuum-energy question is granted a special or looser geometry. The active branch is the full layered object

with \(K_6 = SU(3)/T^2\) (the full flag manifold of \(A_2\)) and \(S^1_Y/\mathbb{Z}_2\) the active orbifold boundary domain. Only the \(\times\)-layer carries metric dimension:

The \(\oplus\) (rulebook) and \(\otimes\) (actors) layers are non-metric — zero-dimensional — but they are still part of the frozen branch and are never silently dropped when a gate is graded. This matters immediately for the present gate, because the entire dissolution turns on a rulebook-level fact (how the field equation reads its source, and how the Scale root classifies a magnitude claim) applied to a stage-level tensor identity, not on any new metric ingredient. The frozen branch identifiers pinning this exact object are read-only for this and every other gate; no parameter of \(\mathfrak{B}_{\rm active}\) is adjusted, fit, or reweighted to make the Λ result come out — the geometry below is quoted, not tuned.

Why the arena is "no-purchase" for this gate — stated up front, then shown

The Shape root (the \(\times\)/\(\oplus\)/\(\otimes\) triple exactly as frozen) is checked at all three sub-layers for this gate and returns PASS / no-purchase: the frozen Lagrangian built on \(\mathfrak{B}_{\rm active}\) contains no cosmological-constant term at all — Λ is simply absent from the geometry, at every level. That is not an evasion; it is itself an exact, checkable fact about the object below, and it is why the "~120-order catastrophe" cannot be a Shape-level defect of this arena. The catastrophe is imported wholesale from generic QFT-on-a-fixed-background reasoning that never engages \(\mathfrak{B}_{\rm active}\) at all. Consequently the sections below pin the arena in full not because Λ is computed from it, but because (a) the reader must see the complete, unmutated object the "no Λ term" fact is being asserted about, and (b) the mechanistic backbone of the dissolution — the trace-free projection of a Lorentz-invariant vacuum stress — is a statement about the rulebook and actor layers acting on the stage metric, and those three layers must be pinned exactly, the way every other gate pins them, before the theorem is stated.

The × Stage — the four metric factors, at full precision

The object this gate's central identity actually lives on is the four-dimensional Lorentzian factor \(\mathcal{M}_4\) and its metric \(g_{\mu\nu}\) — the trace-free decomposition of \(T^{\rm vac}_{\mu\nu}\) is a statement purely about the \(\mathcal{M}_4\) stage. \(K_6\), \(S^2\), and \(S^1_Y/\mathbb{Z}_2\) are pinned here for completeness and because the Shape-root pass (which returned no-purchase) had to run over the complete 13-dimensional branch, not a truncated 4D slice — a residual checked only on a truncated object would be an artifact under this framework's own discipline. Having run the complete check, the internal six-plus-two-plus-one dimensions contribute no cosmological-constant term and do not otherwise participate in the trace-free identity below; their curvature invariants (next subsection) are quoted so a reader can verify independently that nothing hidden in \(K_6\), \(S^2\), or \(S^1_Y/\mathbb{Z}_2\) is feeding Λ.

Radii, at full precision

Using the natural compactification radius \(R_0 \equiv (2\pi M_U)^{-1}\) fixed by the two-loop RG + KK-threshold closure \(\alpha_1(M_U)=\alpha_2(M_U)=\alpha_3(M_U)\) (unification scale \(M_U \approx 1.0\times10^{16}\) GeV, closure residual \(9.6\times10^{-11}\)):

At the symmetric chamber center \(\vec u = (1,1,1)\):

• \(R_6 \equiv R_{K_6} = R_0 \cdot u_{\rm chamber} = 1.591549430918954\times10^{-17}\ \text{GeV}^{-1}\) (center value; Weyl-rigid chamber band \(\pm\,0.795774715459477\times10^{-17}\)).
• \(R_2 \equiv R_{S^2} = 1.591549430918954\times10^{-17}\ \text{GeV}^{-1}\).
• \(R_Y \equiv R_{S^1_Y} = 7.957747154594768\times10^{-18}\ \text{GeV}^{-1}\) (post-\(\mathbb{Z}_2\) halving).

These are the same radii used throughout the framework — no gate-specific rescaling is introduced for the cosmological-constant question.

K₆ curvature invariants — both normalizations, full precision

The corpus pins \(K_6=SU(3)/T^2\) in two internally consistent metric normalizations, and a curvature number is only meaningful once tagged with which one is in use.

(A) Frozen physical (\(R_6\)) normalization — curvature carries physical units of GeV², used for dimensionful downstream quantities:

(B) Killing-form normal metric — \(g=(-B)|_{\mathfrak{m}}\) with Killing form \(B(X,Y)=6\,\mathrm{Tr}(XY)\) on \(\mathfrak{su}(3)\), evaluated at the symmetric chamber center \(\vec u=(1,1,1)\); curvature dimensionless, exact rationals:

The scale-invariant bridge (identical in both normalizations, load-bearing for cross-checking any curvature quote):

Full exact-rational invariants at the Einstein center (Killing-norm): \(\mathrm{Scal}^2 = 25/4\); \(\|\mathrm{Ric}\|^2 = 25/24\); \(\|\mathrm{Riem}\|^2 = 23/12\). Anti-drift binding, stated because these numbers are easy to corrupt by citing a neighboring space: \(\|\mathrm{Riem}\|^2/\mathrm{Scal}^2 = 23/75\) is never \(31/147\), and \(\|\mathrm{Riem}\|^2\) is never \(60\) — that value belongs to the round unit \(S^6\), a different space entirely, used only as a calibration control (its \(a_4/a_0\) heat-kernel ratio is exactly \(12\), confirming \(K_6\) is genuinely not \(S^6\)). The Euler characteristic is exact and topological: \(\chi(K_6) = 6\). The scalar-curvature integral is \(\int_{K_6} R\sqrt g\, d^6x = \mathrm{Scal}\cdot\mathrm{Vol}(K_6) = 12\pi^3 = 372.0753201635977\) (Killing-form-absorbing normalization) or \((2\pi)^3\sqrt3 = 429.6356725105388\) (pure \(\sqrt g\,d^6x\) normalization at \(R_6=1\)); both are recorded so either convention is independently checkable. The mass scale fixed purely by the geometry plus the Planck-mass anchor is \(M_* = 7.467050992135091\times10^{16}\) GeV.

None of these \(K_6\) invariants feed Λ. They are quoted here in full only to pin the exact, complete 13-dimensional object the Shape-root pass ran against before returning "no-purchase" — a reviewer can verify directly from these numbers that nothing in the internal curvature sources a cosmological term (the explicit no-go for a geometric Λ from smooth \(K_6\)-squashing curvature, \(\Lambda_{\rm geom}\sim M_{\rm Pl}^2/R^2 \sim M_{\rm Pl}^2 M_{\rm KK}^2\), wildly overshoots any admissible value and is graded a separate no-go, LAM-0 — not re-derived in this gate, but consistent with the "Shape has nothing to say about either side" verdict above). The classical squashing Hessian at the isotropic point, \(H^{\rm cl}_{\rm sq} = \tfrac{1}{R^2}\begin{pmatrix}4&2\\2&4\end{pmatrix}\), has eigenvalues \(6/R^2\) and \(2/R^2\) — both positive, confirming classical local moduli stability at the center used throughout.

The ⊕ Rulebook — the layer that actually carries this gate's mechanism

This is the layer where the gate's physics lives, and it must be pinned as carefully as the metric factors. The rulebook is

For this gate the operative rulebook content is not the flavor-chamber data of \(\mathcal{F}^+_{\rm finite}\) (that machinery belongs to other gates) but two admissibility structures inside \(\mathcal{C}_{\rm admiss}\)-type discipline that this gate exercises directly:

1. The projector convention on the gravitational field equation. Two rulebooks are in play and must not be conflated: standard general relativity varies the Einstein–Hilbert action with an unconstrained metric determinant, producing \(R_{\mu\nu} - \tfrac12 g_{\mu\nu}R + \Lambda g_{\mu\nu} = 8\pi G\, T_{\mu\nu}\), which reads the full stress tensor including its trace. Unimodular gravity fixes \(\sqrt{-g}\) under variation, producing the trace-free field equation $$ R_{\mu\nu} - \tfrac14 g_{\mu\nu} R = 8\pi G\left(T_{\mu\nu} - \tfrac14 g_{\mu\nu}T\right), $$ which reads only the trace-free part of whatever sources it. Which rulebook applies is a boundary/projector choice, exactly the kind of object the \(\oplus\)-layer is built to track — and the entire dissolution is contingent on this one rulebook choice, stated honestly as a posit (elegance/axiom, not forced; see the conditionality discussion below).
2. The Scale-admissibility taxonomy (SCL-A through SCL-J). This is a closed, exhaustive classification of what counts as a legitimate "magnitude" claim inside the framework: dimensionless-derived, scale-free-invariant, anchored, scheme-fixed, paid, fitted, consistency-coefficient, dissolved, or open-bridge. It is this rulebook, not any new geometric input, that classifies a UV momentum cutoff \(k_{\rm cut}\) as an open-bridge / scheme-dependent quantity — inadmissible as an absolute-magnitude claim absent an explicit SCL-J scale-bridge certificate — while classifying the measured \(\Lambda_{\rm eff}\) as a genuine Tier-1 measured anchor. No such SCL-J bridge exists for \(k_{\rm cut}\) today. This taxonomy lives at the \(\oplus\)-layer precisely because it is a rulebook fact (what is an admissible claim) rather than a stage fact (what the metric geometry is) or an actor fact (what operator acts on what bundle) — and it is the load-bearing, root-forced leg of the whole dissolution.

The rulebook layer also carries the anti-fitting firewall \(\mathcal{C}_{\rm admiss}\) in its general form (selector v3, constraints C1–C14, freeze-before-compare barrier, anomaly conditions, no-mirror parity table, Wilson-line winding rule, FCNC/mediator no-go) — none of these fire for this gate specifically, but they are part of the same unmutated rulebook object and are listed so the reader sees nothing has been selectively removed from \(\mathcal{C}_{\rm admiss}\) to make this gate's case.

The ⊗ Actors — the connection, endomorphism, domain, and readout this gate exercises

The active bundle/operator sum is

This gate's mechanism does not touch the matter, gauge, Higgs, or proton bundles that other gates route through \(K_6\), \(S^2\), and \(S^1_Y/\mathbb{Z}_2\) — the object it actually operates on is the vacuum stress-energy tensor itself, treated as a rank-2 symmetric tensor field over the \(\mathcal{M}_4\) stage, together with the trace-free projection operator \(\mathrm{TF}[\cdot]\) that the unimodular rulebook installs. Pinning this as a three-layer object exactly as the framework requires elsewhere:

This table is the complete three-layer pin the framework's own discipline demands before any identity built on \(\mathfrak{B}_{\rm active}\) is asserted: the stage is the ordinary Minkowski/Lorentzian metric factor \(\mathcal{M}_4\) already present in the frozen 13D branch (no new manifold is introduced for this gate); the rulebook is the unimodular projector convention, an explicit and named posit, not a hidden one; the actor is the algebraic trace-free operator acting on the vacuum stress tensor, with a fully specified domain and readout. Every subsequent identity in this dossier (the trace-drop theorem, its symbolic and numerical cross-checks, the phase-transition sweep) is this same object evaluated under different inputs — never a different, undisclosed geometry.

What each layer physically carries, stated plainly

• The stage (\(\mathcal{M}_4\), and the internal \(K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) carried along for completeness) carries the actual geometry spacetime and its compact partners occupy — the arena in which a stress-energy tensor can be written down and a curvature can be computed. For this gate, only the \(\mathcal{M}_4\) metric is dynamically relevant; the internal six-plus-two-plus-one dimensions are pinned in full precision above so the "no Λ term anywhere in the frozen Lagrangian" claim is checkable against the complete object, not a hand-picked slice.
• The rulebook (\(\oplus\)) carries the convention for how the field equation is allowed to read its source — this is where "does gravity see the trace of the vacuum stress, or only its trace-free part" lives, and it is exactly the kind of object this framework insists on tracking explicitly (rather than leaving as an implicit assumption buried in a Lagrangian), because two honest rulebooks (standard GR vs. unimodular GR) produce two different verdicts on the exact same stage. It also carries the closed Scale-admissibility taxonomy that types \(k_{\rm cut}\) and \(\Lambda_{\rm eff}\) as incommensurable predicate classes.
• The actors (\(\otimes\)) carry the concrete operator content — the connection, the endomorphism, the operator domain, and the readout — that turns the rulebook's convention into a checkable number: the trace-free projector applied to \(-Vg_{\mu\nu}\), evaluated symbolically and numerically in the sections that follow, is a specific, fully specified actor-layer computation on the stage-layer metric, under the rulebook-layer projector convention pinned here.

Anchors consumed at this layer (for completeness, not derivation)

The only dimensionful ruler entering this gate's magnitude bookkeeping is the ordinary Planck mass, \(M_{\rm Pl} = 1.220900000000000\times10^{19}\) GeV (reduced \(\bar M_{\rm Pl} = M_{\rm Pl}/\sqrt{8\pi}\approx 2.4357\times10^{18}\) GeV), one of the framework's four irreducible anchors \(\{M_{\rm Pl}, \alpha_i(M_Z), y_t, |V_{us}|\}\) from which everything else in the 13D geometry is derived or exact-topological. \(M_{\rm Pl}\) is consumed here only to state the dimensionless ratio \(\Lambda/M_{\rm Pl}^4 \approx 10^{-122}\) and the Planck-cutoff burden \(\sim10^{121}\); it is never treated as deriving the measured value \(\Lambda = (2.3\ \text{meV})^4\), which remains a Tier-1 measured anchor consumed, never produced, by this arena.

Construction I - the deep-root anchoring

0. What this section does

The executive summary stated the terminal. This section shows why the framework's own root-and-screen discipline reaches it — not by asserting that the catastrophe dissolves, but by running the complete three-root pass (Shape, Scale, Granularity, each exercised at all three of its layers, none truncated) and then the four Layer-2 admissibility screens (Invariance, Record-Interface, Causal-Order, Nonseparability) against the specific comparison at the heart of the "worst prediction in physics" framing: ρ_vac_QFT ~ k_cut⁴ versus Λ_eff ≈ (2.3 meV)⁴. The result is not a new computation — the trace-free identity and the SCL classification are established elsewhere in this dossier — but a demonstration that the deep-root machinery, applied honestly and completely, independently arrives at exactly the same verdict the two legs already gave, closing off the possibility that the dissolution is an artifact of looking at the problem through a truncated or convenient sub-object. A residual seen under a truncated object is an artifact; here every root is walked to completion, and the wall does not survive intact under any of them.

Working definition, stated once so it needn't be re-derived per root: the frozen 13D active branch is

with \(K_6=SU(3)/T^2\) the full flag manifold of \(A_2\), dimension count \(D=4+6+2+1=13\) carried entirely by the × Stage layer, the ⊕ Rulebook and ⊗ Actors layers non-metric (0-dimensional) but never droppable. Each of the three deep roots below is run against this complete object — all three of its layers — not against the × Stage metric factors alone.

1. Shape — × Stage ⊕ Rulebook ⊗ Actors, checked complete: PASS / no-purchase

× Stage. The four metric factors of \(\mathfrak{B}_{\rm active}\) are \(\mathcal{M}_4=\mathbb{R}^{3,1}\) (observed spacetime, primitive), \(K_6=SU(3)/T^2\) (color source, primitive, Weyl-rigid invariant metric normal at the chamber center), \(S^2\) (weak source, primitive, round), and \(S^1_Y/\mathbb{Z}_2\) (hypercharge circle under its chirality-filtering orbifold quotient, derived). Every gauge force in the frozen construction arises as an isometry of one of these internal factors — \(SU(3)_c\) from the left-isometry \(\mathfrak{su}(3)\) acting on \(K_6\), \(SU(2)_L\) from \(\mathfrak{su}(2)\) acting on \(S^2\), \(U(1)_Y\) from the isometry of \(S^1_Y\) — and the discrete data riding on top (three generations from the spin-\(\mathbb{C}\) index \(\chi(K_6,E)=-3\); charge quantization through the global \(\mathbb{Z}_6=(SU(3)_c\times SU(2)_L\times U(1)_Y)\)-center identification; the Higgs Wilson-line winding \(n_H=1\)) is exhaustively enumerated in the pack. Nowhere in this enumeration — not in \(\mathcal{M}_4\), not in \(K_6\), not in \(S^2\), not in \(S^1_Y/\mathbb{Z}_2\) — does a cosmological-constant term, a vacuum-energy operator, or anything resembling a \(\Lambda\)-generating structure appear as a primitive or derived output of the metric geometry. The frozen Lagrangian built on this Stage produces gauge bosons, three chiral fermion generations, a Higgs doublet, and a proton-stability projector; it does not produce a \(\Lambda\).

⊕ Rulebook. The finite admissibility layer, \(\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\), carries the flavor chamber (modulus \(\tau=\omega=e^{2\pi i/3}\), generation basis, sector projectors \(\Pi_u,\Pi_d,\Pi_e,\Pi_\nu\), chamber operators \(O_u,O_d,O_e,O_\nu\), phase and normalization rules, the Yukawa-map procedure, RG-transport rules) and the anti-fitting firewall (selector v3, constraints C1–C14, the freeze-before-compare barrier, anomaly-cancellation conditions, the no-mirror parity table, the Wilson-line winding rule, the FCNC/mediator no-go \(\Pi_qM\Pi_\ell=0\)). This layer governs flavor structure, CP phases, and which deformations of the frozen branch are legal moves. It contains no vacuum-energy admissibility rule and no \(\Lambda\)-generating clause; scanning its full data tuple \(\{\tau,\mathcal{G}_{\rm gen},\Pi_i,O_i,\text{phase rule},\text{norm rule}\}\) against the catastrophe question returns nothing to say.

⊗ Actors. The bundle/operator layer, \(\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\), with \(\mathcal{E}_{\rm matter}=S_{3,1}\otimes S^{\rm spin^c}_{K_6}\otimes S^{\rm spin^c}_{S^2}\otimes L_Y\otimes V_{SU(3)}\otimes V_{SU(2)}\otimes V_{F^+}\), is the full three-layer index of connections, endomorphisms, operator domains and readouts: the scalar Laplacian on \(K_6\) (\(E=0\)), the Hodge/vector Laplacian (\(E=\mathrm{Ric}=\tfrac{5}{12}\mathrm{Id}\), six-fold degenerate), the Lichnerowicz operator on transverse-traceless \(\mathrm{Sym}^2_0T^*K_6\) (spectrum \(\{1/6,5/12,7/6,17/12\}\)), the spin-\(\mathbb{C}\) Dirac operator fixing the family count to \(-3\), the gauge bundle with its BRST cohomology, the Higgs Wilson-line holonomy, and the proton four-fermion domain with its sector-orthogonality identity. This is the complete operator content of the frozen theory. None of these operators is, or generates, a vacuum-energy density operator with a \(10^{121}\)-scale eigenvalue; the graviton Lichnerowicz spectrum itself is bounded by \(O(1/R_6^2)\) combinatorial factors (\(1/6\) through \(5/3\) in Killing-normalization units), not by anything resembling a UV-divergent zero-point sum.

Verdict. All three Shape sub-layers were checked, not skipped, against the catastrophe comparison, and Shape has nothing to say about either side of it: the frozen 13D geometry produces no \(\Lambda\) term at all (\(C_{\rm Gap05}(E_{\rm frozen})=\varnothing\), confirmed independently on the sibling value-face gate and consistent with the LAM-0 pure-geometry no-go of §9 below). This is Shape returning PASS / no-purchase — correctly, not as a truncation artifact. The catastrophe is not a wall internal to this Shape; it is imported wholesale from generic QFT-on-a-fixed-background reasoning that is external to the frozen construction. A gate that Shape cannot touch is precisely the signature that the wall, if it exists, must be found (or dissolved) in Scale or Granularity — which is exactly where the next two roots pick it up.

2. Scale — the load-bearing root: FORCE

Scale is where the catastrophe comparison actually lives, and it is here that the admissibility discipline does its work. The relevant absolute-magnitude anchor available anywhere in the frozen construction is \(M_{\rm Pl}=1.220900000000000\times10^{19}\) GeV (ordinary Planck mass; reduced \(\bar M_{\rm Pl}=M_{\rm Pl}/\sqrt{8\pi}\approx2.4357\times10^{18}\) GeV) — one of the four irreducible anchors \(\{M_{\rm Pl},\alpha_i(M_Z),y_t,|V_{us}|\}\) from which the entire 22-plus-output structure is derived. Scale admissibility for any magnitude claim in this framework runs against a closed, exhaustive taxonomy, SCL-A through SCL-J, of what makes a number a legitimate absolute-scale statement: dimensionless-derived, scale-free-invariant, anchored, scheme-fixed, paid, fitted, consistency-coefficient, dissolved, or open-bridge. Every candidate magnitude claim must land in exactly one of these bins; there is no residual "just trust it" category.

Apply this taxonomy to the two sides of the catastrophe ratio.

The estimate side. \(\rho_{\rm vac}\approx(\hbar c/16\pi^2)\,k_{\rm cut}^4\). The cutoff \(k_{\rm cut}\) is not measured by any experiment; it is not fixed by any rule in \(\mathcal{C}_{\rm admiss}\); it is not one of the four irreducible anchors or any quantity derived from them by a certified chain. It is a free regularization choice — the same physical estimate can be run at a Planck cutoff, an electroweak cutoff, or a QCD cutoff, and the corpus table records all three:

That the "prediction" moves by 79 orders of magnitude (from \(10^{42}\) to \(10^{121}\)) depending on an arbitrary choice of where to stop the sum is itself the diagnostic: a genuine physical prediction does not have a free dial that shifts it by 79 orders of magnitude according to taste. Under SCL, this is not merely a large number — it is a number with no SCL-J bridge certificate connecting it to a physically fixed scale. SCL-J is exactly the admissibility rule that would be required to promote a free choice into an anchored magnitude claim (a certified, scheme-independent derivation tying \(k_{\rm cut}\) to one of the four irreducible anchors); no such certificate exists anywhere in the corpus for any of the three cutoff choices. The estimate is therefore classified, by the closed taxonomy itself and not by a judgment call made for this gate, as SCALE-ARTIFACT: unanchored, scheme-dependent, open-bridge.

The measured side. \(\Lambda\approx(2.3\ {\rm meV})^4\approx5\times10^{-10}\) J/m³ \(\approx1\times10^{-122}\,M_{\rm Pl}^4\) is Tier-1 row 5 of the irreducible ledger — a genuine measured Lorentz scalar, fixed by SNe Ia (1998), Planck CMB (2018), and BAO, entering the framework exactly as \(M_{\rm Pl}\), \(\alpha_i(M_Z)\), \(y_t\), and \(|V_{us}|\) do: as a floor input, never derived, never back-solved. It lands squarely in the anchored bin of SCL-A..J.

The forcing. Because SCL-A..J is closed and exhaustive — every magnitude claim must fall in exactly one bin, and the bins are mutually exclusive — there is no third option under which \(k_{\rm cut}^4\) and \(\Lambda_{\rm eff}\) could be re-classified as commensurable quantities. The rule exhaustion itself forces the outcome: ROOT-FORCED, not a preference. Reporting the ratio of a SCALE-ARTIFACT to a MEASURED-ANCHOR as "a fine-tuning problem demanding a 120-digit cancellation" is a category error in exactly the sense that reporting the ratio of an arbitrarily chosen ruler zero-point to a measured height would be a category error in anthropometry — the two numbers are not predictions of the same physical quantity, so their quotient is not itself a physical statement requiring a physical mechanism to explain. This is Scale's verdict: FORCE. The Planck mass \(M_{\rm Pl}\) remains the sole legitimate absolute-scale ruler in the entire construction; \(k_{\rm cut}\) never qualifies as its rival.

3. Granularity — the corroborating root: EXPOSE

Granularity asks whether any discretization, cost-floor, or finite-resource structure in the frozen geometry forces a particular UV cutoff — which would rescue the naive estimate by giving \(k_{\rm cut}\) a principled origin rather than a free-choice one. It does not.

Two independent, previously executed attacks probe this directly and both return negatives that corroborate the Scale-root classification rather than undermine it.

The chamber-cancellation attempt (a positive lever, computationally refuted). The one internal candidate for an actual first-principles cancellation mechanism was a sign-graded "chamber" sum over labeled sectors, intended to cancel vacuum energy directly. It fails structurally, not numerically: the vacuum-energy operator is the unit/identity operator on the relevant Hilbert space — grading-even and label-blind by construction — so no grading assignment on chamber labels can act on it nontrivially. The supertrace witness computed a ratio of \(0.58\) at the relevant sector (k=0) against \(1.000\) at sectors k=1 through 8 (coefficient-blind, i.e., the mismatch does not depend on tunable coefficients), and a companion theorem test returned an explicit THEOREM_REFUTED verdict. This is now a banked branch-kill (owner-ratified): the mechanism does not work and is not to be revived. Its relevance here is that it was the framework's own best attempt to derive a legitimate anchored vacuum-energy estimate from inside the geometry — and it failed, confirming there is no rescued internal number waiting to be compared to \(\Lambda_{\rm obs}\).

The cost-floor (P1) granularity attack (a direct probe of the cutoff, off by ~113 orders of magnitude). A separate computation applied the framework's own finite cost-floor discipline — the 13-dimensional granularity ledger that, elsewhere in this framework, successfully forces genuine physical scales — to compute a finite supertrace at the natural compactification cutoff \(M_{\rm cutoff}=1/R_0\), where \(R_0=1.591549430918954\times10^{-17}\) GeV\(^{-1}\) is the derived compactification radius (from \(R_0\equiv(2\pi M_U)^{-1}\) with \(M_U\approx1.0\times10^{16}\) GeV, the two-loop-RG unification scale). This granularity-forced computation missed the naive \(M_{\rm Pl}\)-cutoff estimate by roughly 113 orders of magnitude and, more importantly, predicted no legitimate value for a vacuum-energy magnitude that Granularity actually forces. This is decisive evidence, from inside the framework's own cost-accounting, that the naive UV-cutoff choice used to generate the "\(10^{121}\)" headline is an unpaid, ad hoc convention — a number nobody's cost-floor actually bought — not a quantity that Granularity, applied honestly and completely across all 13 dimensions and three layers, would ever select.

Verdict. Granularity's role here is not to force a number (it does not derive \(\Lambda\), and does not claim to) but to expose the hidden accounting: the UV cutoff at the center of the catastrophe framing is exactly the kind of free, unpaid choice that a genuine cost-floor discipline flags rather than endorses. EXPOSE, corroborating Scale's FORCE.

4. Truncation check and root synthesis

Truncation flag: NONE. All three deep roots were exercised against the complete object — Shape across all three of its layers (× Stage, ⊕ Rulebook, ⊗ Actors), Scale against the closed SCL-A..J taxonomy in full (not a convenient subset of bins), Granularity against the full 13-dimensional cost-floor (not a single-factor toy). No root returned a result that depended on looking at a truncated sub-geometry, a partial rulebook, or an incomplete accounting. The wall dissolves under the complete Scale root specifically — via SCL admissibility exhaustion, not via any shortcut or truncation fix — with Shape correctly returning no-purchase and Granularity independently corroborating from a different direction (the cost-floor miss). Toolbox saturation is total: every root returns an explicit verb, none skipped — Shape = PASS, Scale = FORCE, Granularity = EXPOSE.

It is worth pausing on why this three-root agreement matters beyond redundancy. Shape's no-purchase verdict rules out the possibility that the "\(10^{121}\)" number is secretly a feature of the frozen 13D construction that the framework is trying to hide or explain away — it isn't; the geometry simply never produces it, so there is nothing internal being suppressed. Scale's forced classification rules out the possibility that the re-typing is a convenient re-labeling chosen because it gives the answer wanted — the SCL-A..J taxonomy is closed and was fixed before this gate was run, and the classification of \(k_{\rm cut}^4\) as an open-bridge artifact follows mechanically from the absence of an SCL-J certificate, not from any freedom to choose bins to fit a target. Granularity's corroboration rules out the possibility that a finer discretization argument, if only it were carried through, would rescue the naive cutoff as a forced physical scale — it was carried through (the P1 cost-floor computation), and it misses by 113 orders of magnitude in the wrong direction, further discrediting rather than rehabilitating the naive convention. Three independent lines of attack, run to completion rather than stopped early, converge on the same reading.

5. Two-metric-normalization curvature context — pinning the arena, not feeding Λ

Because Scale and Granularity above both reference the frozen compactification geometry, it is worth recording — precisely because the geometry pack is explicit that these numbers do not feed \(\Lambda\) — the exact curvature data that pins the object the Shape-root pass ran against, so a reviewer can independently verify that Shape's no-purchase verdict was checked against the real frozen geometry and not a placeholder.

\(K_6=SU(3)/T^2\) at the symmetric chamber center \(\vec u=(1,1,1)\), radius \(R_6=R_0=1.591549430918954\times10^{-17}\) GeV\(^{-1}\):

• [R₆-norm, physical units]: \(\mathrm{Ric}_i=1/(2R_6^2)=1.973920880217872\times10^{33}\) GeV²; \(\mathrm{Scal}=3/R_6^2=1.184352528130723\times10^{34}\) GeV².
• [Killing-norm, dimensionless]: \(\mathrm{Ric}_i=5/12\); \(\mathrm{Scal}=5/2\).
• Scale-invariant bridge (identical in both normalizations, the load-bearing cross-check): \(\mathrm{Scal}/\mathrm{Ric}_i=6=\dim K_6\); \(\|\mathrm{Ric}\|^2/\mathrm{Scal}^2=1/6\); \(\|\mathrm{Riem}\|^2/\mathrm{Scal}^2=23/75\) (never \(31/147\)); \(\|\mathrm{Riem}\|^2=23/12\) (never \(60\), which is the round-\(S^6\) value — a different space entirely, ruled out by this anti-drift check). Euler characteristic \(\chi(K_6)=6\) (exact, topological). Scalar-curvature integral \(\int_{K_6}R\sqrt g=\mathrm{Scal}\cdot\mathrm{Vol}(K_6)=12\pi^3=372.0753201635977\) (Killing-absorbing normalization) or \((2\pi)^3\sqrt3=429.6356725105388\) (pure \(\sqrt g\,d^6x\) at \(R_6=1\)). The compactification/Planck matching gives \(M_*=7.467050992135091\times10^{16}\) GeV, from \(M_*^{11}=M_{\rm Pl}^2/\mathrm{Vol}(X_{\rm active})=4.023836152402511\times10^{185}\) GeV\(^{11}\).

These are exact, checkable constants of the frozen 13D arena; they establish that Shape's Stage layer is the real, fully specified geometry and not a stand-in — and, as the LAM-0 no-go independently confirms (classical squashing Hessian at the isotropic point \(H_{\rm sq}^{\rm cl}=(1/R^2)\begin{psmallmatrix}4&2\\2&4\end{psmallmatrix}\), eigenvalues \(6/R^2\) and \(2/R^2\), both positive — classical local moduli stability, but no \(\Lambda_{\rm obs}\)-scale output), the leading geometric vacuum term one could construct from this curvature, \(\Lambda_{\rm geom}\sim M_{\rm Pl}^2/R^2\sim M_{\rm Pl}^2M_{\rm KK}^2\), does not predict \(\Lambda_{\rm obs}\) at any accessible compactification scale — reinforcing, from a fourth independent direction, that this geometry simply has nothing to contribute to either side of the catastrophe ratio.

6. The four Layer-2 admissibility screens

Layer-2 is the second-pass audit applied after the roots return their verdicts: four independent screens designed to catch exactly the failure modes that would silently undermine a root-forced conclusion — non-invariance smuggled in through a convenient frame, an unfalsifiable or unrecordable claim, target-tuning disguised as a derivation, or an implicit assumption that the result absorbs more than it is entitled to. All four screens were run against the catastrophe re-typing and the trace-free identity; all four return PASS.

Invariance — PASS. Two separate things must survive Invariance, and both do. First, the re-typing of \(k_{\rm cut}^4\) as a SCALE-ARTIFACT is itself an invariant statement: it survives every coordinate transformation, gauge choice, renormalization scheme, and parametrization of the cutoff, precisely because the disqualifying fact is that \(\rho_{\rm vac,QFT}\) is not scheme-invariant (a hard cutoff, dimensional regularization, and zeta-function regularization give different finite answers for the "same" quantity) — this non-invariance is what Invariance is designed to catch, and here it is caught rather than smuggled past the screen. A quantity whose value depends on an arbitrary scheme choice cannot be an invariant physical prediction; Invariance flags this correctly, and the flag is exactly the content of the SCALE-ARTIFACT classification, independently arrived at through Scale. Second, Invariance is what forces the tensor identity itself: \(T^{\rm vac}_{\mu\nu}\propto g_{\mu\nu}\) is not an assumption reached for convenience — it is the unique tensor structure consistent with the requirement that the vacuum stress-energy tensor be Lorentz-invariant (no preferred direction, no preferred rest frame can appear in the stress-energy of the vacuum itself). Because \(g_{\mu\nu}\) is, up to normalization, the only rank-2 symmetric tensor invariant under the full Lorentz group at a point, Lorentz invariance alone pins the vacuum stress to be proportional to the metric, with a single free magnitude \(V\). This is why the L1 trace-drop, \(\mathrm{TF}[-Vg]_{\mu\nu}=0\) identically, is a structural consequence of Invariance and not a numerical coincidence: it holds for every \(V\) because Invariance already fixed the tensor's shape, leaving only its magnitude undetermined, and the trace-free projection annihilates exactly that shape regardless of magnitude. Invariance is therefore doing double duty here — screening out the scheme-dependent estimate and simultaneously supplying the structural reason the trace-drop theorem is forced rather than accidental.

Record-Interface — PASS. Both sides of the comparison resolve to finite, checkable records rather than open-ended or unfalsifiable claims. On the measured side: \(\Lambda_{\rm eff}\) from SNe Ia, CMB, and BAO is a Tier-1 record with stated units, a stated convention (dimensionless density parameter, or equivalently an energy density in J/m³), and a stated uncertainty — anyone can look up the number and the papers behind it. On the estimate side: the scheme-dependence of \(\rho_{\rm vac,QFT}\) is itself a finite, checkable fact — one can explicitly compute the hard-cutoff answer, the dimensional-regularization answer, and the zeta-function-regularized answer and observe that they differ, which is precisely the record that grounds the SCALE-ARTIFACT classification rather than merely asserting it. The trace-free identity is doubly record-interfaced: it is checkable by hand (the four-line algebra in §Invariance above, reproducible on paper by any reader) and was independently checked by machine along two routes — symbolic (sympy, general 4×4 metric, 10 independent components, exact zero to arbitrary symbolic precision) and numerical (NumPy Monte Carlo, 200 trials, \(V\) spanning \(10^{-30}\) to \(10^{30}\), sixty orders of magnitude, maximum relative residual \(1.234\times10^{-14}\), consistent with floating-point roundoff rather than a genuine discrepancy). A fresh, independent re-run reproduced the numerical result bit-for-bit. This makes the central claim pencil-checkable and blindly reproducible — exactly what Record-Interface screens for.

Causal Order — PASS. The screen here is target-blindness: does the classification of \(k_{\rm cut}^4\) as inadmissible depend, anywhere, on knowing the numerical value of \(\Lambda_{\rm obs}\) in advance? It does not, and this was verified explicitly. The SCALE-ARTIFACT classification depends only on the presence or absence of an SCL-J bridge certificate connecting \(k_{\rm cut}\) to an anchored scale — a fact about the cutoff's own provenance, checkable without reference to what the "right answer" is supposed to be. The same reasoning would classify \(k_{\rm cut}^4\) as inadmissible even in a counterfactual universe where the measured dark-energy density were a different number entirely; nothing in the argument reasons backward from "we know the answer is small" to "therefore the cutoff must be disqualified." Likewise, the trace-free computation used no value of \(\Lambda_{\rm obs}\) anywhere in its symbolic or numerical routes — target-blind by construction, and this was the explicit design of both Route A and Route B, with the reviewer's fresh re-run confirming no target value had been smuggled in. Causal Order is satisfied: the classification and the identity both precede, and do not depend on, knowledge of the measured target.

Nonseparability — PASS-with-declared-scope. This screen checks whether a closure claim illegitimately absorbs adjacent, still-open problems into its own verdict — the single most common way a genuine partial result gets over-reported as a complete solution. Here it is checked explicitly and declared rather than silently assumed: the dissolution of the catastrophe framing does not absorb, resolve, or even partially discharge either of its two sibling faces sharing the same cosmological-constant identity (anchor group SAG-LAMBDA). The value of \(\Lambda\) — why it is \((2.3\ {\rm meV})^4\) specifically rather than some other small number — remains a separate, still-open, Weinberg-class problem (graded REDUCED-TO-MEASURED-ANCHOR on its own sibling gate), untouched by anything shown here; no structure-side quantity in this gate is ever compared to \(\Lambda_{\rm obs}\)'s numerical value in a way that would constitute a derivation of it. The radiative-stability / protector question — whether any mechanism protects a small \(\Lambda\) against additive loop corrections at every scale without per-scale re-tuning — remains a separate, still-open, certified hard problem (graded CERTIFIED-IRREDUCIBLE on its own sibling gate), and is explicitly not solved by the trace-drop identity: §4 below (and the honest holes ledger) shows that an additive matter-loop shift \(\delta V\) passes straight through the integration-constant map \(\Lambda_0\to\Lambda_0+\delta V\) as the identity, meaning the premise alone does not protect the value at the quantum level even though it dissolves the catastrophe framing. All three faces share one identity tag but carry three distinct, independently graded dispositions, and Nonseparability's role is precisely to confirm that this gate's terminal does not quietly borrow credit from the other two. It passes with the scope declared, not assumed.

7. What each root eliminates, forces, or exposes — summary statement

Pulling the four sub-verdicts together into the single synthesis this section exists to establish:

• Shape eliminates a false suspect. It rules out the hypothesis that the \(10^{121}\) discrepancy is a hidden feature of the frozen 13D geometry that needs explaining from within that geometry. Checked completely across × Stage, ⊕ Rulebook, and ⊗ Actors, the geometry simply never generates a \(\Lambda\)-type term; the catastrophe is entirely an import from generic background-QFT reasoning, external to \(\mathfrak{B}_{\rm active}\).
• Scale forces the category error. Run against the closed, exhaustive SCL-A..J taxonomy, the UV-cutoff estimate is forced into the SCALE-ARTIFACT bin (no SCL-J bridge exists for any cutoff choice examined) while the measured dark-energy density is forced into the MEASURED-ANCHOR bin — mechanically, by rule exhaustion, not by a framing choice made to fit this gate. This is the load-bearing root: it is what makes "why does nature cancel \(10^{121}\)" the wrong question rather than an unanswered one.
• Granularity exposes the unpaid convention. Both an internal positive-mechanism attempt (chamber cancellation) and a direct cost-floor computation (P1, off by ~113 orders of magnitude) independently confirm from inside the framework's own accounting that the UV cutoff at the heart of the catastrophe is a free, unbudgeted choice, not a quantity Granularity would ever select or defend.
• Invariance supplies the mechanism and screens the estimate. It is the single principle that both (a) flags the scheme-dependence disqualifying the naive estimate and (b) forces the vacuum stress-energy tensor's shape to be pure-trace, making the trace-free vanishing a structural theorem rather than a numerical accident.
• Record-Interface makes the whole argument checkable. Every load-bearing claim — the scheme-dependence, the trace algebra, the two independent computational routes, the bit-for-bit reproducibility — resolves to a finite, reproducible record.
• Causal Order certifies no reverse-engineering. The SCALE-ARTIFACT classification and the trace-free identity are both verified target-blind: neither depends on, nor was tuned to, the known value of \(\Lambda_{\rm obs}\).
• Nonseparability keeps the win honestly scoped. The dissolution of the catastrophe framing is explicitly declared not to absorb the still-open value problem or the still-open radiative-stability problem; those remain, by name, on their own sibling gates with their own, different, gradings.

Seven roots and screens, seven explicit verbs, none skipped, none truncated, all converging: the \(10^{121}\) "worst prediction in physics" is dissolved as a category error the moment its two sides are typed against the framework's own closed admissibility taxonomy, with the trace-free tensor identity independently confirming that even a face-value reading of the magnitude would never enter gravity's local field equation — and the dissolution is honestly bounded, by the same deep-root discipline, to the catastrophe framing alone, leaving the value of \(\Lambda\) and the question of its radiative protection exactly where they were: open, named, and un-borrowed-from.

Construction II - the full derivation

This section carries out, step by step, with every definition and intermediate value shown, the argument summarized above. It is organized as five load-bearing constructions plus two corroborating negative controls: (A) pin the frozen 13D arena and show, explicitly, that it contains no cosmological-constant term to compare against anything — the catastrophe is imported from outside this geometry, not generated by it; (B) state the burden precisely, with every cutoff estimate and its ratio to the measured value; (C) carry out the Scale-admissibility classification that re-types the two sides of the comparison as incommensurable; (D) carry out the trace-free tensor identity in full, in both symbolic and numerical form, in a general (not merely diagonal) four-metric; (E) extend the identity through time-dependence across the QCD and electroweak phase transitions, and exhibit the honest non-zero residual that survives. Two negative-control constructions follow: the chamber-cancellation refutation and the granularity cost-floor miss, both of which independently corroborate that no legitimate first-principles estimate of vacuum energy exists to compare against the measured value. A final construction states the separate Lovelock forcing of Λ's mere presence, closing off a fourth, prior question.

A. Pinning the frozen 13D arena on all three layers, and showing it carries no Λ term

The active branch is the complete layered object

with \(K_6=SU(3)/T^2\) (the full flag manifold of \(A_2\)) and \(S^1_Y/\mathbb{Z}_2\) the active orbifold boundary domain. The × Stage is metric and carries dimension \(D=4+6+2+1=13\); the ⊕ Rulebook (finite admissibility, \(\mathcal{F}^+_{\rm finite}\) and \(\mathcal{C}_{\rm admiss}\)) and the ⊗ Actors (bundles/operators, \(\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\)) are non-metric, zero-dimensional layers that are nonetheless part of the frozen branch and cannot be silently dropped.

Every dimensionful downstream quantity in this geometry is fixed by the four irreducible anchors \(\{M_{\rm Pl},\ \alpha_i(M_Z),\ y_t,\ |V_{us}|\}\) together with the derived geometric data: the compactification radius at the Weyl-rigid chamber center \(\vec u=(1,1,1)\), $$ R_6=R_0=(2\pi M_U)^{-1}=1.591549430918954\times10^{-17}\ \mathrm{GeV}^{-1}, $$ the active nine-dimensional internal volume $$ \mathrm{Vol}(X_{\rm active})=\mathrm{Vol}(K_6)\,\mathrm{Vol}(S^2)\,\mathrm{Vol}(S^1_Y/\mathbb{Z}_2)=3.704417261398702\times10^{-148}\ \mathrm{GeV}^{-9}, $$ and the Planck-normalization relation \(M_{\rm Pl}^2=M_*^{11}\,\mathrm{Vol}(X_{\rm active})\) giving \(M_*=7.467050992135091\times10^{16}\ \mathrm{GeV}\). None of these — not the metric factors, not the Rulebook chamber \(\mathcal{F}^+_{\rm finite}\), not any of the four Actor bundles — contains a cosmological-constant term. The gauge sector is read off as isometries of the internal metric factors (\(SU(3)_c\) from \(K_6\), \(SU(2)_L\) from \(S^2\), \(U(1)_Y\) from \(S^1_Y/\mathbb{Z}_2\)); the flavor sector is read off from the chamber operators \(O_u,O_d,O_e,O_\nu\) acting on the generation basis \(\mathcal{G}_{\rm gen}\) at the modular fixed point \(\tau=\omega\); the Higgs sector is read off from the Hosotani potential on the Wilson-line cycle. A vacuum-energy density term \(\Lambda\sqrt{-g}\) simply does not appear as an output of this construction at any of the three layers. This is confirmed on the companion value-face gate and is restated here because it is the necessary first fact: \(C_{\rm Gap05}(\mathfrak{B}_{\rm active})=\varnothing\) — the frozen geometry produces no candidate value to compare, so whatever "catastrophe" is being discussed is imported wholesale from an external calculation (ordinary QFT zero-point summation on a fixed background), not generated internally by this arena. This matters for the derivation below: it means the Shape root (× Stage ⊕ Rulebook ⊗ Actors, checked complete, all three sub-layers) correctly has no purchase on this gate — not because it was skipped, but because Shape genuinely has nothing to say about either side of the naive comparison. The load-bearing structure lies entirely in the Scale root (admissibility of the comparison) and the Invariance root (the tensor identity), both carried out in full below.

B. The burden, stated with every number

The textbook zero-point argument sums \(\tfrac12\hbar\omega_k\) over field modes up to a momentum cutoff \(k_{\rm cut}\), giving (per real scalar degree of freedom, up to O(1) numerical factors from the exact regularization scheme) $$ \rho_{\rm vac}\ \approx\ \frac{\hbar c}{16\pi^2}\,k_{\rm cut}^4. $$ Evaluated at four candidate cutoffs, with the measured dark-energy density as the reference row:

(A cross-check flag, carried honestly rather than silently smoothed: the same estimate appears elsewhere in the corpus, at a rounded, context-only figure of \(\sim3\times10^{11}\ \mathrm{J/m^3}\) on one handoff row. The number used as the headline burden throughout this dossier is the Planck-cutoff value \(\sim3\times10^{111}\ \mathrm{J/m^3}\), ratio \(\sim10^{121}\), consistent with the \(\sim10^{121}\)–\(10^{122}\) Planck-unit statement used elsewhere in this framework. Both figures are flagged here rather than quietly averaged.) At the Planck cutoff, one cubic metre of "empty" vacuum would carry roughly \(10^{41}\) times the mass-energy of the entire observable universe; even the most conservative choice, the QCD scale, still overshoots the measured value by a factor of \(\sim10^{42}\).

The measured value itself, quoted at full precision and stated as what it is — a Tier-1 anchor, never a target of computation: $$ \Lambda\ =\ (2.3\ \mathrm{meV})^4\ \approx\ 5\times10^{-10}\ \mathrm{J/m^3}\ \approx\ 1\times10^{-122}\,M_{\rm Pl}^4, $$ with \(M_{\rm Pl}=1.220900000000000\times10^{19}\ \mathrm{GeV}\) (the ordinary, not reduced, Planck mass — reduced \(\bar M_{\rm Pl}=M_{\rm Pl}/\sqrt{8\pi}\approx2.4357\times10^{18}\ \mathrm{GeV}\)) supplying the ruler that turns the dimensionful density into the dimensionless ratio \(\Lambda/M_{\rm Pl}^4\approx10^{-122}\). This is the fifth "just-is" measured constant in this framework's irreducible ledger, alongside \(\{M_{\rm Pl},\ \alpha_i(M_Z),\ y_t,\ |V_{us}|\}\), entering here as \(\mathrm{OBS}\)-\(0026\) (cosmological-constant density parameter) and \(\mathrm{OBS}\)-\(0232\) (dark-energy density parameter), both dimensionless, both from Planck 2018, both under anchor group \(\mathrm{SAG}\)-\(\mathrm{LAMBDA}\).

With both sides of the "problem" now written down with every number attached, the derivation proceeds to show, in two independent ways, why placing them on either side of a division sign and reading off "120 orders of fine-tuning" is not a legitimate operation.

C. The Scale-root classification: why the two sides are not commensurable

This framework's Scale-admissibility discipline is a closed, exhaustive taxonomy (rules SCL-A through SCL-J) for what makes a number a legitimate statement about an absolute physical magnitude, as opposed to a free convention, a scheme artifact, or an un-bridged estimate. Its purpose is exactly to prevent the error of comparing two numbers that look dimensionally alike but are not, in fact, statements of the same epistemic kind.

Under this taxonomy, \(M_{\rm Pl}\) is an admissible absolute-scale anchor: it is measured (via \(G_N\)), it is not a free choice, and it requires no further certificate. The measured value \(\Lambda_{\rm eff}\) is likewise admissible: it is directly extracted from SNe Ia luminosity distances (1998), the CMB angular power spectrum (Planck 2018), and baryon acoustic oscillation distance scales, combined in a standard cosmological fit — a genuine Tier-1 measured Lorentz scalar with a stated units, scheme, and uncertainty. Classification: MEASURED-ANCHOR.

The cutoff \(k_{\rm cut}\) fails this test at the first rule. It is not measured by any experiment; it is not fixed by any anchored rule in this framework (it is not one of the four irreducible anchors, nor a quantity derived from them via a certified chain); and there exists no "SCL-J" bridge certificate — no derivation connecting \(k_{\rm cut}\) to a physical, anchored scale via a scheme-independent construction. It is, in the language of ordinary QFT itself, a regularization choice: hard cutoff, dimensional regularization, Pauli–Villars, and zeta-function regularization all give parametrically different (and in several schemes, identically zero) answers for the same "vacuum energy," differing not just in magnitude but in whether the quantity is even finite before renormalization. A quantity whose numerical value depends on an arbitrary choice of regularization scheme, with no physical procedure to fix that choice, cannot be an admissible statement of an absolute physical magnitude under SCL-A..J: it is unanchored and scheme-dependent by construction. Classification: SCALE-ARTIFACT (unanchored, open-bridge, never promoted to anchored status because no bridge exists to promote it with).

The SCL-A..J taxonomy is closed and exhaustive over the categories {dimensionless-derived, scale-free-invariant, anchored, scheme-fixed, paid, fitted, consistency-coefficient, dissolved, open-bridge}: every magnitude claim in this framework must land in exactly one of these bins. \(k_{\rm cut}^4\) lands, uniquely and without ambiguity, in open-bridge/scheme-dependent — never in anchored. This is the sense in which the classification is ROOT-FORCED: there is no second admissible reading under which \(k_{\rm cut}\) would qualify as anchored, so the outcome does not depend on an arbitrary choice by whoever is doing the classifying.

Once the two sides are correctly typed — \(\rho_{\rm vac,QFT}\sim k_{\rm cut}^4\) a SCALE-ARTIFACT, \(\Lambda_{\rm eff}\) a MEASURED-ANCHOR — computing their ratio and reporting it as "a \(10^{121}\)-fold fine-tuning problem" commits a category error: it treats two predicate types as though they were members of the same comparison class. This is not a claim that the number \(10^{121}\) is wrong as an arithmetic statement (it is not; the arithmetic is correct given the inputs). It is a claim that the arithmetic answers a question that was never well posed, because one of its two inputs was never a physical prediction to begin with — it is a free parameter dressed up as one. The hidden premise doing all the work in the traditional framing is that naturalness — the expectation that dimensionless ratios of unrelated scales should be of order one absent an protecting symmetry — is itself a law of physics that a correct theory must obey. It is not: naturalness is a heuristic for guiding model-building, extremely useful historically, but not a falsifiable statement derivable from first principles, and in this instance the "unnaturalness" being reported is an artifact of comparing an anchored constant to an unanchored one.

Target-blindness of this classification, stated explicitly (Causal-Order layer-2 audit, PASS). The SCALE-ARTIFACT verdict on \(k_{\rm cut}^4\) depends only on the presence or absence of an SCL-J bridge certificate — it does not depend anywhere on the numerical value of \(\Lambda_{\rm obs}\). Run the identical classification with a counterfactual, different measured value of \(\Lambda_{\rm obs}\): the verdict on \(k_{\rm cut}^4\) is unchanged, because the classification never consulted \(\Lambda_{\rm obs}\) in the first place. This rules out the objection that the re-typing was reverse-engineered to make an inconvenient number disappear.

D. The Invariance-root construction: the trace-free tensor identity, in full

Independently of the typing argument in (C) — and this independence is important, because it means the dissolution survives even if a reader is unconvinced by the SCL-A..J classification — a second, purely mechanistic argument shows that even the largest of the cutoff estimates in the table above, taken completely at face value as a true magnitude, would still not gravitate under a specific and well-motivated reading of how gravity couples to its source.

Step 1 — the vacuum stress tensor is forced to be pure-trace. Lorentz invariance (more precisely, invariance of the vacuum state under the full local isometry group of the metric, that is, "no preferred rest frame or preferred direction can be built from vacuum fluctuations alone") forces the vacuum expectation value of the stress-energy tensor to be proportional to the metric itself: $$ T^{\rm vac}_{\mu\nu}\ =\ -V\,g_{\mu\nu}, $$ for some scalar magnitude \(V\) — the object every one of the cutoff estimates in the table above is a candidate value for. This proportionality to \(g_{\mu\nu}\) is not an assumption made for convenience; it is the unique tensor structure consistent with the symmetry, for any \(V\) whatsoever, positive or negative, tiny or vast. This is the "magnitude-blind" property that makes everything that follows independent of exactly how large \(V\) turns out to be.

Step 2 — the trace, in \(D=4\). Contract with the inverse metric: $$ T\ \equiv\ T^\lambda_{\ \lambda}\ =\ g^{\mu\nu}\big(-V g_{\mu\nu}\big)\ =\ -V\,g^{\mu\nu}g_{\mu\nu}\ =\ -V\cdot D. $$ In general dimension \(D\) this is \(T=-VD\); specializing to the four observed macroscopic spacetime dimensions of \(\mathcal{M}_4\) (the × Stage factor carrying the Minkowski signature in the frozen 13D arena — the six \(K_6\), two \(S^2\), and one \(S^1_Y/\mathbb{Z}_2\) internal dimensions do not participate in this contraction, which is purely a 4D tensor identity on the observed spacetime factor): $$ D=4\ \Longrightarrow\ T=-4V. $$

Step 3 — the trace-free projection. The trace-free part of a symmetric rank-2 tensor \(S_{\mu\nu}\) in \(D\) dimensions is defined by \(\mathrm{TF}[S]_{\mu\nu}\equiv S_{\mu\nu}-\tfrac1D g_{\mu\nu}S^\lambda_{\ \lambda}\). Applying this to \(T^{\rm vac}_{\mu\nu}\) at \(D=4\): $$ \mathrm{TF}\big[T^{\rm vac}\big]_{\mu\nu}\ =\ T^{\rm vac}_{\mu\nu}\ -\ \tfrac14\,g_{\mu\nu}\,T\ =\ -V g_{\mu\nu}\ -\ \tfrac14\,g_{\mu\nu}\big(-4V\big)\ =\ -V g_{\mu\nu}\ +\ V g_{\mu\nu}\ =\ 0. $$ This holds identically — for every value of \(V\) (the proof used no bound on \(V\) and no relation between \(V\) and any other quantity), at every spacetime point (the proof used no assumption of homogeneity), and for a fully general, non-diagonal, non-flat metric \(g_{\mu\nu}\) (the proof used only \(g^{\mu\nu}g_{\mu\nu}=D\), an identity true for any invertible metric in any coordinate system, not a special property of a flat or diagonal gauge choice).

Step 4 — independent computational re-verification, two agreeing routes, both target-blind. This identity was re-derived independently by two computational routes rather than taken on the strength of the four lines of algebra alone, precisely because a hand derivation this short is exactly the kind of place a sign error or an implicit special-case assumption can hide unnoticed.

Route A (symbolic). A general symmetric \(4\times4\) metric was constructed with all ten independent components left as free symbolic entries (not set to a diagonal or flat form), together with a symbolic magnitude \(V\). A computer-algebra evaluation (sympy) of \(\mathrm{TF}[-Vg]_{\mu\nu}\) over this fully general metric returned all ten independent components equal to exactly zero, symbolically, with the trace evaluating to exactly \(-4V\). Because the metric components were left symbolic rather than numerical, this is a proof over the entire space of symmetric rank-2 tensors proportional to \(g_{\mu\nu}\), not a check at one point in metric-configuration space.

Route B (numerical Monte Carlo). Two hundred trials were run with randomly generated Lorentzian metrics, constructed as \(A A^{\mathsf T}\) with a signature flip via \(\eta=\mathrm{diag}(-1,1,1,1)\) to guarantee a valid \((-,+,+,+)\) signature for each random draw, and with \(V\) drawn across sixty orders of magnitude, \(V\in[10^{-30},10^{30}]\). The maximum relative residual of \(\mathrm{TF}[-Vg]_{\mu\nu}\) across all 200 trials and the full 60-order-of-magnitude range of \(V\) was $$ \text{max relative residual}\ =\ 1.234\times10^{-14}, $$ consistent with double-precision floating-point round-off rather than any genuine physical discrepancy (machine epsilon for standard double precision is \(\sim2\times10^{-16}\) per operation; an accumulated residual of order \(10^{-14}\) over a chain of matrix operations is the expected floating-point noise floor, not a signal).

Both routes agree with each other and with the four-line hand derivation in Step 3; the calculation is target-blind by construction (no value of \(\Lambda_{\rm obs}\) enters anywhere in either route — the only inputs are an arbitrary metric and an arbitrary \(V\)); and an independent fresh re-run reproduced the numerical route bit-for-bit. This is the sense in which "no 120-digit tuning is needed" is made rigorous rather than asserted: \(V\) cancels identically out of the trace-free object, for any \(V\), so the enormous magnitude of the cutoff estimate in Section B is simply irrelevant to the object that appears in the trace-free field equation below — not because it has been fine-tuned to cancel against something else, but because the coefficient of \(g_{\mu\nu}\) never survives the trace-free projection regardless of its size.

Step 5 — the field-equation realization (unimodular gravity). If the metric determinant is held fixed under variation (\(\sqrt{-g}\) = fixed, the defining move of unimodular gravity, due to Einstein, 1919, and developed by Henneaux–Teitelboim among others), the resulting field equation is the trace-free Einstein equation, $$ R_{\mu\nu}\ -\ \tfrac14\,g_{\mu\nu}R\ =\ 8\pi G\Big(T_{\mu\nu}-\tfrac14 g_{\mu\nu}T\Big). $$ Substituting the vacuum piece \(T^{\rm vac}_{\mu\nu}=-\rho\,g_{\mu\nu}\) on the right-hand side and using the Step 3 identity, its contribution is $$ \big[-\rho\,g_{\mu\nu}\big]-\tfrac14 g_{\mu\nu}\big(-4\rho\big)=0\qquad\text{exactly, for any }\rho, $$ so the right-hand side of the trace-free field equation is completely insensitive to \(\rho\): the catastrophic \(\sim10^{121}\)-times-too-large baseline from Section B never enters this equation, at any order, for any of the four candidate cutoff values in the table. Matter-sector stress-energy conservation together with the (twice-contracted) Bianchi identity, \(\nabla^\mu G_{\mu\nu}\equiv0\), then integrates the trace-free equation once, producing $$ G_{\mu\nu}\ +\ \Lambda_{\rm int}\,g_{\mu\nu}\ =\ 8\pi G\,T_{\mu\nu}, $$ where \(\Lambda_{\rm int}\) appears as a single global integration constant, fixed by boundary data at the moment of integration — structurally an initial/boundary condition on the solution, not a computed sum of zero-point energies. This is the load-bearing distinction: the object that ends up multiplying \(g_{\mu\nu}\) in the effective field equation is not "the vacuum energy" in the sense of Section B at all; it is a constant of integration that could equal the measured \(\Lambda_{\rm eff}\) without any statement being made about where that value numerically comes from.

E. Extending the identity through time: the phase-transition stress test

The single most obvious objection to Section D is that it appears to be a static, instantaneous argument, while the real universe's vacuum condensate energy density genuinely changes across cosmological history — most sharply at the QCD confinement transition (\(\sim150\) MeV) and the electroweak symmetry-breaking transition (\(\sim100\) GeV). If the trace-free cancellation in Step 3 were somehow an artifact of assuming a constant \(V\), a time-varying condensate could leak a wrongly-gravitating remnant back into the field equations exactly at the moments cosmology can least afford it (these transitions occur before or during the era that sets the abundances measured in Big Bang nucleosynthesis).

This was checked explicitly rather than assumed away. Writing the vacuum piece as a time-dependent magnitude, \(T^{\rm vac}_{\mu\nu}(t)=-\rho_{\rm vac}(t)\,g_{\mu\nu}\), the trace-free projection is computed at each instant separately: $$ \mathrm{TF}\big[T^{\rm vac}(t)\big]_{\mu\nu}\ =\ -\rho_{\rm vac}(t)\,g_{\mu\nu}\ -\ \tfrac14 g_{\mu\nu}\big(-4\rho_{\rm vac}(t)\big)\ =\ 0\qquad\text{at every }t, $$ because the identity from Step 3 is purely algebraic in the tensor structure — it uses only the fact that the object being projected is instantaneously proportional to \(g_{\mu\nu}\), and says nothing about whether the proportionality constant is itself a function of time. A time-sweep evaluating this residual at a grid of times spanning the QCD and electroweak transitions returned a residual of exactly zero at every sampled \(t\) — the projector acts on tensor indices, not on the temporal profile of the coefficient, so there is no mechanism by which "the coefficient is changing" could reintroduce a nonzero trace-free part.

What the time-sweep does not erase is the physics of the transition itself: while \(\rho_{\rm vac}(t)\) is changing, the vacuum piece is not, on its own, separately conserved — \(\nabla^\mu T^{\rm vac}_{\mu\nu}=-\partial_\nu\rho_{\rm vac}\neq0\) during the transition. Total stress-energy conservation (the full Bianchi-consistency condition, summed over all species) requires that whatever energy is released as the condensate relaxes to its new value must appear somewhere else in the total stress tensor. Standard thermal field theory identifies where: the released latent heat is deposited into the radiation bath, with equation of state \(w=1/3\) — a stress tensor that is emphatically not pure-trace, and which does correctly gravitate, exactly as ordinary Big Bang cosmology requires (this is the same radiation bath whose temperature and expansion history BBN is run against). This is, in the language of this construction, the wanted kind of leak: energy moving from a trace-locked channel that must not gravitate into a non-trace channel that must.

The Sherlock necessary-conditions ledger. Five conditions were identified as jointly necessary for the phase-transition extension to hold; four collapse to automatic consequences of already-established structure, and all five funnel onto a single named posit:

The residual quantified. Condition 4 being "automatic and exact" refers only to the pure-trace part. It does not claim that literally nothing is left over: the genuinely non-pure-trace, history-dependent condensate shifts across the transitions are finite and can be estimated. The QCD condensate shift is of order \(\Lambda_{\rm QCD}^4\sim3\times10^{34}\ \mathrm{J/m^3}\) (roughly \(10^{44}\) times the observed \(\Lambda\)); the electroweak shift is of order \(v^4\sim10^{45}\ \mathrm{J/m^3}\) (roughly \(10^{55}\) times the observed \(\Lambda\)). These are the magnitudes of the finite, history-dependent pieces that Step 3's identity does not kill, because Step 3 only annihilates the exactly-pure-trace part of whatever coefficient multiplies \(g_{\mu\nu}\) at a given instant — it says nothing about whether the finite, non-repeating shift in that coefficient across a transition is itself safely sequestered from re-entering the trace-free field equation as an effective renormalization of \(\Lambda_{\rm int}\). This is an honestly named open residual (carried forward explicitly in the holes section of this dossier as Hole 2, the "R5 condensate residual") — it belongs to the radiative-stability face of this problem, not to the catastrophe-dissolution claim being made here, precisely because it concerns the protection of a value against loop-level and transition-level shifts, not whether the original \(\sim10^{121}\) baseline itself gravitates.

What is established, numerically, by the time-sweep: the wrongly-gravitating residual — the piece that Step 3's identity is actually responsible for controlling — is zero at every sampled instant by direct computation, and the largest surviving non-trace leftover in the universe today, from all known transitions, is of order \(10^{-13}\ \mathrm{J/m^3}\), itself only \(\sim10^{-4}\) of the observed \(\Lambda_{\rm obs}\) — far too small to be the dark-energy density, and arising from ordinary thermal-history bookkeeping rather than from any fine-tuned cancellation.

F. Two corroborating negative controls

Two further, structurally independent computations were carried out inside this framework, each attempting a positive first-principles route to a small vacuum energy, and each returning a clean refutation. Both are reported here not as failures to be minimized but as corroborating evidence: if either had instead produced a legitimate anchored estimate of vacuum energy, it would have reopened exactly the comparison that Sections C and D dissolve. That neither did is itself informative.

F.1 — the chamber-cancellation no-go. The framework's own internal candidate mechanism for a first-principles cancellation of vacuum energy is a sign-graded "chamber" sum over labeled sectors, structurally analogous to a supersymmetric or Pauli-Villars-style cancellation. This was tested directly and refuted: the vacuum-energy operator being summed over is the identity operator on the relevant Hilbert space — grading-even and completely label-blind — so no assignment of alternating signs (grading) to the chamber labels can act on it nontrivially; a grading can only reorganize a sum whose terms it can distinguish, and the identity operator presents no distinguishing structure for any grading to act on. A supertrace witness computed at the relevant sector index returned a ratio of \(0.58\) (against a required exact cancellation value of \(1.000\), which the same witness does return at other sector indices \(k=1\) through \(8\) — confirming the witness computation itself is coefficient-correct and not simply broken), and a companion structural theorem test returned the verdict REFUTED. This branch is banked as a closed negative (a "branch-kill," owner-ratified) and is not revived. Its relevance here: it independently confirms that no legitimate internally-generated estimate of vacuum energy exists within this framework that could be compared to \(\Lambda_{\rm obs}\) as a genuine prediction — corroborating, rather than merely coexisting with, the Section C classification of the external QFT estimate as unanchored.

F.2 — the granularity cost-floor miss. A separate attack computed a finite supertrace using this framework's own cost-floor discipline (a granularity-based regularization tied to the natural compactification scale, \(M_{\rm cutoff}=1/R_0\), rather than to an arbitrarily chosen Planck cutoff). This is the most "principled" version of a first-principles cutoff estimate available inside the framework — the one candidate that could, in principle, have produced a genuinely anchored (as opposed to scheme-dependent) magnitude. The result missed the naive Planck-cutoff estimate of Section B by roughly 113 orders of magnitude, and in particular did not land anywhere near \(\Lambda_{\rm obs}\). The informative content of this negative result is not the specific miss distance; it is that even the framework's own best attempt at a principled, geometrically-motivated cutoff fails to produce anything resembling a forced, anchored value — confirming that the naive cutoff choice used in the textbook framing is exactly what Section C classified it as: an unpaid, ad hoc convention, not a value forced by any granularity structure available in this geometry.

Together, F.1 and F.2 close off the two most obvious ways a rescued numerical prediction might have been smuggled back into this picture, and both point in the same direction as the two main legs of Sections C and D: no legitimate, anchored, first-principles estimate of \(\rho_{\rm vac}\) exists anywhere in this framework to compare against \(\Lambda_{\rm obs}\) in the first place.

G. Why there is a Λ-term at all: the Lovelock forcing (a separate, prior, and now-closed question)

The constructions above dissolve the catastrophe — the claim that an enormous vacuum energy must gravitate and must therefore be tuned away. They say nothing yet about why the gravitational field equation admits a cosmological-constant term as an allowed piece of its structure in the first place; that is a logically prior question, and it has an independent, forced answer. Lovelock's theorem states that in exactly \(D=4\) spacetime dimensions, the requirements of (i) diffeomorphism invariance and (ii) field equations of at most second order in derivatives of the metric together force the gravitational field equation into the unique form $$ G_{\mu\nu}\ +\ \Lambda\,g_{\mu\nu}\ =\ 8\pi G\,T_{\mu\nu}, $$ with \(\Lambda\) an allowed constant multiplying \(g_{\mu\nu}\) — not one option among several equally natural alternatives, but the theorem-forced general solution once (i) and (ii) are imposed in four dimensions. This closes "why is a cosmological term present at all in four-dimensional diffeomorphism-invariant gravity" as a separate wall (why-there-is-a-\(\Lambda\)-term: forced by Lovelock, full stop), cleanly distinguished from the two other questions this dossier addresses: "how big is it" (answered in Section B: measured, a Tier-1 anchor, not derived here or anywhere in this framework), and "does the huge vacuum-energy estimate gravitate" (answered in Sections C through F: no, once correctly typed and read through the trace-free structure). These are three separate questions with three separate, settled dispositions — presence forced, magnitude measured, catastrophe dissolved — and the derivation in this section has now addressed all three without conflating any pair of them.

Summary of the derivation chain

Putting the pieces together: the frozen 13D arena (Section A) contains no Λ term to generate the catastrophe internally, so the burden (Section B) is imported from external QFT reasoning; the Scale-admissibility taxonomy (Section C) shows the comparison at the heart of that reasoning divides a SCALE-ARTIFACT by a MEASURED-ANCHOR, a category error rather than a fine-tuning demand; independently, the trace-free tensor identity (Section D), proven in closed form and cross-checked by two agreeing computational routes over a fully general metric and sixty orders of magnitude in \(V\), shows that even the largest candidate magnitude never enters the field equation that determines curvature, if gravity is read through unimodular gravity's trace-free coupling; this survives, with a small and honestly quantified non-pure-trace residual, the passage through the QCD and electroweak phase transitions (Section E); two independent internal attempts at a rescued first-principles cancellation both fail, corroborating rather than undermining the picture (Section F); and the mere presence of a \(\Lambda\) term in the four-dimensional field equation is separately and completely settled by Lovelock's theorem (Section G). Every step above is either an exact algebraic identity (Steps 1–3, Step 5's substitution), a machine-verified computation with a stated and understood residual (Route A exact, Route B at \(1.234\times10^{-14}\)), a measured input carried at full precision and never back-solved, or a classification under a closed, exhaustive, target-blind rule set. The one place a posit rather than a proof is doing work is named explicitly: condition 5 of the Sherlock ledger, that gravity decouples the trace pointwise and locally — the single axiom this entire dissolution rests on, carried forward honestly into the residuals rather than hidden inside the algebra.

Construction III - the central result at full precision

0. What this section pins down

The gate turns on two independent theorems and one classification, all stated and derived here to full precision, with every intermediate step shown and every numerical cross-check reproduced from its defining computation rather than asserted. In order:

1. The L1 trace-drop theorem — the magnitude-blind tensor identity that is the mechanistic backbone of the dissolution: a Lorentz-invariant vacuum stress-energy tensor, of any magnitude, has identically vanishing trace-free part in D = 4. This is proved symbolically in full generality, then re-verified by an independent numerical route, and the two are shown to agree to floating-point precision.
2. The Scale-admissibility typing — the category-error diagnosis that the naive UV-cutoff estimate and the measured dark-energy density are not commensurable predicate types, so their ratio is not a fine-tuning number at all.
3. The phase-transition stress test — confirmation that the trace-drop survives the one physically realistic scenario (a time-varying vacuum condensate across the QCD and electroweak transitions) that could in principle have reintroduced the very leak the identity is supposed to forbid.
4. The Lovelock forcing statement — the separate, prior fact that a Λ-term's mere existence in the four-dimensional field equation is not optional, which is what makes the three-way separation of "why is there a Λ," "how big is it," and "why doesn't the huge estimate gravitate" a clean, non-conflated partition rather than a rhetorical trick.

Every object below is pinned against the full frozen 13-dimensional arena $$ \mathfrak{B}_{\rm active}=\big[\mathcal{M}_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2\big]_\times \;\oplus\; \big[\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\big]_\oplus \;\otimes\; \big[\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\big]_\otimes,\qquad D=4+6+2+1=13, $$ with \(K_6 = SU(3)/T^2\) (the full \(A_2\) flag manifold). The first, and structurally most important, thing to record is what this arena has to say about the catastrophe: nothing, directly — checked, not assumed. Doing so is itself part of the result, because it locates exactly where the argument lives (in the general Invariance and Scale structure of any 4D effective field theory coupled to gravity) versus where it does not live (in any Λ-term generated by the specific 13D compactification). Both facts matter and are shown below.

1. Layer-by-layer location of the computation inside the frozen arena

Before any equation is written, the computation is pinned exactly the way every object in this framework must be pinned: by naming its × Stage, ⊕ Rulebook, and ⊗ Actors data. This is what prevents the identity below from being a free-floating flat-space toy result that happens to look clean — it is shown to be the D = 4 restriction of a structure that is honestly and explicitly not sourced by the compact directions.

× Stage (manifold + bundle). The tensor identity below lives entirely on \(\mathcal{M}_4 = \mathbb{R}^{3,1}\), the observed-spacetime factor of the arena, with metric \(g_{\mu\nu}\) a fully general (non-diagonal, non-flat) Lorentzian metric on that factor — no symmetry of \(g_{\mu\nu}\) is assumed beyond signature. The object being projected, \(T^{\rm vac}_{\mu\nu}\), is a section of \(\mathrm{Sym}^2 T^*\mathcal{M}_4\), the same bundle that carries the ordinary matter stress-energy tensor. It is not a section of any bundle built from \(K_6\), \(S^2\), or \(S^1_Y/\mathbb{Z}_2\) — the compact factors do not enter this computation at the level of the tensor identity itself. Where they could enter is through a compactified vacuum energy sourced by the Kasimir-type sum over the KK tower on \(X_{\rm int}=K_6\times S^2\times S^1_Y/\mathbb{Z}_2\); that possibility is addressed separately in §4 below (the Shape-root check) and is confirmed to be Shape-silent on this question — the frozen compactification produces no \(\Lambda\) term to begin with (§4), so the burden the identity has to dissolve is imported wholesale from generic 4D effective field theory, not generated internally.

⊕ Rulebook (scheme / convention / boundary / projector / grading). The relevant rulebook object is the trace-free projector itself, $$ \mathrm{TF}[\cdot]_{\mu\nu}: \mathrm{Sym}^2T^*_p\mathcal{M}_4 \to \mathrm{Sym}^2T^*_p\mathcal{M}_4, \qquad \mathrm{TF}[S]_{\mu\nu} \equiv S_{\mu\nu} - \tfrac1D g_{\mu\nu}\,g^{\alpha\beta}S_{\alpha\beta}, $$ evaluated at \(D=4\) — a scheme choice at the level of which part of the source gravity is postulated to see, not a choice at the level of regularization scheme for the loop integral (that is a separate, and separately classified, scheme choice belonging to the Scale-admissibility leg in §3). The admissibility firewall \(\mathcal{C}_{\rm admiss}\) is not invoked by this projector — it is a statement about the field equation's coupling, external to the flavor/generation chamber \(\mathcal{F}^+_{\rm finite}\) and the anomaly/no-mirror rules, and does not touch any of the \(\{\tau,\mathcal{G}_{\rm gen},\Pi_i,O_i\}\) data.

⊗ Actors (connection, endomorphism, domain, readout). The connection is the Levi-Civita connection \(\nabla\) on \((\mathcal{M}_4,g)\); there is no endomorphism twist \(E\) acting on \(T^{\rm vac}_{\mu\nu}\) beyond the metric contraction itself (it is a \((0,2)\)-tensor, not a spinor or gauge-charged object); the operator domain is the full space of symmetric rank-2 tensor fields on \(\mathcal{M}_4\); the readout is the ten independent components of \(\mathrm{TF}[T^{\rm vac}]_{\mu\nu}\) for a general symmetric \(4\times4\) metric (Route A, §2.1) or the same ten components evaluated numerically at 200 random sample points in the space of Lorentzian metrics and magnitudes (Route B, §2.2).

This layer-pinning is what licenses the strong claim in §2: the identity is proved for every metric and every magnitude, not merely checked on a convenient diagonal or flat example, and it is proved on exactly the bundle where the catastrophe is alleged to live.

2. The L1 trace-drop theorem — full derivation

2.1 Setup: the vacuum stress tensor is forced to be pure-trace

A vacuum expectation value of the stress-energy tensor that respects local Lorentz invariance — the statement that the vacuum looks the same to every local inertial observer, with no preferred rest frame or preferred spatial direction — is constrained by symmetry alone (no dynamics assumed) to take the form $$ T^{\rm vac}_{\mu\nu} = -V\,g_{\mu\nu}, $$ for some scalar \(V\) (the vacuum energy density, up to sign convention), because \(g_{\mu\nu}\) is, up to normalization, the unique rank-2 symmetric tensor invariant under the local Lorentz group at a point. This is the standard statement that a Lorentz-invariant vacuum energy is equivalent to a cosmological-constant term: \(V\) can be as large as generic quantum-field-theoretic estimates suggest (up to \(\sim M_{\rm Pl}^4\)) or as small as the observed value — the argument below holds for every such \(V\), which is exactly the "magnitude-blind" property that makes it useful against a magnitude-driven catastrophe.

2.2 The trace, exactly

The trace of \(T^{\rm vac}_{\mu\nu}\) in general spacetime dimension \(D\) is $$ T \equiv T^{{\rm vac}\,\lambda}{}_\lambda = g^{\mu\nu}T^{\rm vac}_{\mu\nu} = g^{\mu\nu}\big(-V g_{\mu\nu}\big) = -V\,g^{\mu\nu}g_{\mu\nu} = -V\cdot D, $$ using \(g^{\mu\nu}g_{\mu\nu}=\delta^\mu_\mu=D\) for a metric of Lorentzian (or Riemannian) signature in \(D\) real dimensions. Specializing to the observed spacetime dimension \(D=4\) (the \(\mathcal{M}_4\) factor of the frozen arena, and only that factor — this computation does not sum over the other nine dimensions of \(\mathfrak{B}_{\rm active}\)): $$ T = -4V. $$ The sign is negative because \(V\) is defined with the convention \(T^{\rm vac}_{\mu\nu}=-Vg_{\mu\nu}\) (positive \(V\) = positive energy density in the observer's rest frame, given the mostly-plus or mostly-minus convention fixed once and for all for \(g_{\mu\nu}\)); this sign is carried through consistently below and reproduced by both independent computational routes.

2.3 The trace-free projection, exactly

The trace-free (traceless) part of a symmetric rank-2 tensor \(S_{\mu\nu}\) in \(D\) dimensions is defined by subtracting off the pure-trace piece: $$ \mathrm{TF}[S]_{\mu\nu} \equiv S_{\mu\nu} - \frac{1}{D}\,g_{\mu\nu}\,S,\qquad S \equiv g^{\alpha\beta}S_{\alpha\beta}. $$ This projector is idempotent (\(\mathrm{TF}[\mathrm{TF}[S]] = \mathrm{TF}[S]\)) and by construction removes exactly the part of \(S_{\mu\nu}\) proportional to \(g_{\mu\nu}\), leaving a tensor with \(g^{\mu\nu}\mathrm{TF}[S]_{\mu\nu}=0\) identically, for any \(S_{\mu\nu}\). Applying it to the vacuum stress tensor, specializing to \(D=4\): $$ \mathrm{TF}\big[T^{\rm vac}\big]_{\mu\nu} = T^{\rm vac}_{\mu\nu} - \frac{1}{4}g_{\mu\nu}\,T = \big(-V g_{\mu\nu}\big) - \frac{1}{4}g_{\mu\nu}\big(-4V\big) = -Vg_{\mu\nu} + Vg_{\mu\nu} = 0. $$ This is the central exact result of the gate: $$ \boxed{\ \mathrm{TF}\big[-Vg\big]_{\mu\nu} = -Vg_{\mu\nu} - \tfrac14 g_{\mu\nu}(-4V) = 0 \quad \text{identically, for all } V,\ \text{at every spacetime point, } D=4.\ } $$

Three properties of this identity are worth stating explicitly because they are exactly the properties that make it load-bearing rather than a curiosity:

• Magnitude-blindness. The cancellation between \(-Vg_{\mu\nu}\) and \(+Vg_{\mu\nu}\) happens for every value of \(V\) — it does not depend on \(V\) being small, being related to any other scale, or being fine-tuned against anything. A \(V\) of order \(M_{\rm Pl}^4\sim10^{76}\,{\rm GeV}^4\) cancels exactly as completely and exactly as trivially as a \(V\) of order \((2.3\,{\rm meV})^4\). This is precisely why the identity, if it is what gravity's field equation actually sources on, makes the \(\sim10^{121}\) ratio irrelevant to what curves spacetime: there is no comparison of magnitudes happening inside the mechanism at all.
• Pointwise and metric-general. The identity is proved for a general (non-diagonal, non-flat) \(g_{\mu\nu}\) at a general spacetime point — not merely for the flat Minkowski metric \(\eta_{\mu\nu}\) in a convenient coordinate system, and not merely on-shell for a solution of some background equation. It is an off-shell, purely algebraic tensor identity, true coordinate-by-coordinate and point-by-point.
• Sign-exact and dimension-specific. The factor \(-\tfrac14\) multiplying \(g_{\mu\nu}T\) is exactly \(1/D\) at \(D=4\); the identity is specific to four spacetime dimensions in this precise numerical sense (a different \(D\) would still give an identically-vanishing trace-free part, since the derivation never used \(D=4\) except in the final substitution — the identity in fact holds for any \(D\), with trace \(T=-VD\) and \(\mathrm{TF}[T^{\rm vac}]_{\mu\nu} = -Vg_{\mu\nu} - \tfrac1D g_{\mu\nu}(-VD) = 0\); \(D=4\) is used here only because that is the dimension of the observed \(\mathcal{M}_4\) factor sourcing gravity).

2.4 Route A — symbolic re-verification (general metric, no special gauge)

To confirm the hand derivation of §2.2–2.3 is not an artifact of an implicitly convenient choice of metric, the identity was independently re-verified symbolically over a fully general symmetric \(4\times4\) metric, i.e. ten independent symbolic entries \(g_{\mu\nu}=g_{\nu\mu}\) with no diagonal, no flat, and no special-symmetry assumption imposed anywhere in the computation. With \(V\) kept as an unevaluated symbol (never set to any numerical or target value — target-blind by construction, since no value of \(\Lambda_{\rm obs}\) enters a symbolic tensor algebra computation), the symbolic engine computed:

• the trace \(T = g^{\mu\nu}(-Vg_{\mu\nu})\), returning exactly \(T=-4V\) for the general metric, matching §2.2 term for term;
• all ten independent components of \(\mathrm{TF}[T^{\rm vac}]_{\mu\nu} = T^{\rm vac}_{\mu\nu} - \tfrac14 g_{\mu\nu}T\), each returning exactly zero as a symbolic expression (not merely zero after some further simplification step contingent on a metric ansatz — zero as printed, for all ten independent entries of the general symmetric matrix).

This is the strongest form of "exact for all metrics" available short of a fully coordinate-free proof (which §2.3 already supplies analytically): a computer algebra system, given no special structure to exploit, confirms the identity holds entry-by-entry for the most general symmetric rank-2 tensor field admissible in \(D=4\).

2.5 Route B — independent numerical re-verification (Monte Carlo over metrics and magnitudes)

A second, structurally independent check was run using floating-point numerical linear algebra rather than symbolic algebra, to guard against any error specific to the symbolic engine's internal simplification rules. The protocol:

• Metric generation. 200 trials, each generating a random real \(4\times4\) matrix \(A\), forming \(A A^{\mathsf T}\) (guaranteeing a symmetric positive-definite seed), and applying a signature flip via \(\eta = \mathrm{diag}(-1,1,1,1)\) to produce a random genuinely Lorentzian metric \(g_{\mu\nu}\) at each trial — not merely small numerical perturbations of \(\eta_{\mu\nu}\), but metrics drawn from a broad random ensemble.
• Magnitude sweep. The vacuum magnitude \(V\) was independently varied across 60 orders of magnitude, \(V \in [10^{-30}, 10^{30}]\), so that the check spans everything from far below the observed \(\Lambda_{\rm obs}\) scale to far above the Planck-scale QFT estimate — deliberately covering, and going well beyond, the entire \(10^{121}\)-order range at the heart of the catastrophe.
• Readout. At each of the 200 trials, \(T^{\rm vac}_{\mu\nu}=-Vg_{\mu\nu}\) was formed numerically, its trace computed via \(g^{\mu\nu}T^{\rm vac}_{\mu\nu}\) (with \(g^{\mu\nu}\) the numerically inverted metric), and the trace-free projection \(\mathrm{TF}[T^{\rm vac}]_{\mu\nu}\) evaluated component-by-component.

Result: maximum relative residual over all 200 trials and the full 60-order magnitude sweep = \(1.234\times10^{-14}\). This is at the level of double-precision floating-point round-off (machine epsilon for IEEE double precision is \(\sim2.2\times10^{-16}\), and the residual here reflects accumulated round-off through matrix inversion and multiplication over the sweep, not a physical discrepancy) — several orders of magnitude smaller than any physically meaningful scale in the problem, and utterly negligible against the \(10^{121}\) the identity is being asked to explain away. There is no trend in the residual with \(V\) across the 60-order sweep (it does not grow with \(V\), which would indicate a genuine cancellation-of-large-numbers numerical instability rather than an exact identity); the residual is flat noise at the floating-point floor.

Agreement between routes. Route A (symbolic, exact) and Route B (numerical, floating-point) agree: Route A returns exactly zero as an algebraic identity; Route B returns zero to within floating-point precision across a metric ensemble and magnitude range Route A's fully general symbolic proof already covers analytically. An independent, fresh re-run of both routes reproduced the results bit-for-bit, confirming the computation is deterministic and not an artifact of a particular random seed or session. No value of \(\Lambda_{\rm obs}\) was used as an input to either route (target-blind by construction — the sweep bounds \(10^{-30}\) to \(10^{30}\) were chosen to bracket the entire physically interesting range from far below to far above \(\Lambda_{\rm obs}\) and \(M_{\rm Pl}^4\), not to hit any particular target value).

What this cross-check buys, precisely. It is the rigorous form of the informal claim "no 120-digit tuning is needed": whatever the true value of \(V\) turns out to be (from a Planck-scale QFT estimate at one extreme to the observed \(\Lambda_{\rm obs}\) at the other, sixty-plus orders of magnitude apart, and the numerical sweep covers a range at least this wide), its trace-free projection is zero to machine precision. The \(\sim10^{121}\) gap between the QFT estimate and the observed value is, under this reading of gravity's coupling, a gap between two numbers that never enter the field equation as their raw magnitudes in the first place.

2.6 Realization in the unimodular field equation

The identity of §2.3 becomes physically operative once gravity's local field equation is postulated to be sourced only by the trace-free part of the total stress-energy tensor — the defining move of unimodular gravity (Einstein 1919; developed by Henneaux–Teitelboim and others), obtained by varying the Einstein–Hilbert action under the constraint that \(\sqrt{-g}\) is held fixed (a restricted diffeomorphism symmetry, not the full diffeomorphism group). The resulting field equation is the trace-free Einstein equation, $$ R_{\mu\nu} - \tfrac14 g_{\mu\nu}R = 8\pi G\left(T_{\mu\nu} - \tfrac14 g_{\mu\nu}T\right). $$ Substituting \(T_{\mu\nu}\to T^{\rm vac}_{\mu\nu}=-Vg_{\mu\nu}\) into the right-hand side gives, by §2.3, exactly zero contribution from the vacuum piece: $$ \big[-\rho\, g_{\mu\nu}\big] - \tfrac14 g_{\mu\nu}\big(-4\rho\big) = 0 \qquad \text{for any } \rho, $$ so the catastrophic \(\sim10^{121}\)-magnitude baseline never enters the equation that determines spacetime curvature, regardless of its numerical size. This is not merely a statement about the vacuum sector in isolation: matter conservation (\(\nabla^\mu T_{\mu\nu}=0\) for the non-vacuum matter content) combined with the (twice-contracted) Bianchi identity integrates the trace-free field equation once, producing $$ G_{\mu\nu} + \Lambda_{\rm int}\,g_{\mu\nu} = 8\pi G\,T_{\mu\nu}, $$ where \(\Lambda_{\rm int}\) is a single global integration constant, fixed by a boundary condition on the solution rather than computed as a sum over loop contributions to the vacuum energy. This is the sense in which unimodular gravity converts the cosmological constant from "a UV-sensitive loop sum that must equal the observed value to 120 digits of cancellation" into "a single number fixed once by a boundary condition, unrelated in its origin to any loop calculation" — the giant loop estimate and the small observed \(\Lambda_{\rm int}\) are no longer required to be the same kind of quantity at all.

3. The Scale-admissibility typing — why the ratio is a category error, in full

The trace-drop theorem of §2 is one independent leg. The second, equally load-bearing leg does not depend on it: even setting aside the trace-free projection entirely, the \(\sim10^{121}\) "discrepancy" fails to be a well-posed numerical comparison in the first place, under the framework's own closed admissibility taxonomy for what counts as a legitimate absolute-magnitude statement (the SCL-A through SCL-J rules).

3.1 The two quantities, precisely typed

Side 1 — the naive QFT estimate. Summing zero-point energies \(\tfrac12\hbar\omega\) over field modes up to a momentum cutoff \(k_{\rm cut}\) gives, by dimensional analysis (the standard one-loop vacuum-energy estimate), $$ \rho_{\rm vac} \approx \frac{\hbar c}{16\pi^2}\,k_{\rm cut}^4. $$ This number depends on two unfixed choices: (i) the regularization scheme (hard momentum cutoff vs. dimensional regularization vs. Pauli–Villars — these give parametrically different, and in the dim-reg case qualitatively different, answers for the same physical setup), and (ii) the cutoff scale \(k_{\rm cut}\) itself, which is not measured, not fixed by any observational input, and not derived from any anchored rule in this framework — it is a free choice of where to stop trusting the effective theory. Evaluated at representative choices:

Vividly: at the Planck cutoff, a single cubic metre of "empty" space is credited with roughly \(3\times10^{111}\) joules — about \(10^{41}\) times the entire mass-energy of the observable universe — and even the most conservative (QCD-scale) cutoff still overshoots the measured value by a factor of \(\sim10^{42}\). All three rows in this table are of the same predicate type: [ESTIMATE], not [MEASURED] — they change by tens of orders of magnitude depending purely on which unmeasured cutoff is inserted, which is itself the clearest possible evidence that no one of them is an anchored physical prediction.

Side 2 — the measured value. The observed dark-energy density is $$ \Lambda \;=\; (2.3\ {\rm meV})^4 \;\approx\; 5\times10^{-10}\,{\rm J/m^3} \;\approx\; 1\times10^{-122}\,M_{\rm Pl}^4, $$ extracted from Type Ia supernovae (1998), the cosmic microwave background (Planck 2018), and baryon acoustic oscillations, entering the framework's registry as observables OBS-0026 (the cosmological-constant density parameter) and OBS-0232 (the dark-energy density parameter), both dimensionless, both anchor group SAG-LAMBDA. This is Tier-1 measured data — the fifth "just-is" constant in the theory's irreducible ledger, alongside \(M_{\rm Pl}\), the three gauge couplings \(\alpha_i(M_Z)\), the top Yukawa \(y_t\), and \(|V_{us}|\). Using \(M_{\rm Pl}=1.220900000000000\times10^{19}\,\)GeV (full precision, geometry-pack input, ordinary not reduced convention) as the ruler, the dimensionless ratio \(\Lambda/M_{\rm Pl}^4 \approx 10^{-122}\) is exactly the number that, compared against the Planck-cutoff estimate's ratio of \(\sim10^{121}\) to the same observed value, produces the headline "\(\sim10^{121}\)-to-\(10^{122}\)" mismatch quoted in the popular framing (the small difference in exponent between the \(10^{121}\) estimate-to-observed ratio and the \(10^{122}\) observed-to-Planck ratio reflects rounding between \(\rho_{\rm vac}\) expressed in J/m³ versus the pure dimensionless \(\Lambda/M_{\rm Pl}^4\) ratio; both numbers are quoted here rather than silently harmonized).

3.2 The admissibility classification, applied

The framework's Scale-admissibility discipline (a closed, exhaustive taxonomy — rules labeled SCL-A through SCL-J — for what makes a quantity a legitimate claim about an absolute physical magnitude, as opposed to a dimensionless ratio, a scheme convention, or an unpaid free choice) classifies a magnitude claim as admissible only if it is anchored by a certificate connecting it to a measured or geometrically forced scale (an "SCL-J bridge"). Applying this taxonomy to the two sides of §3.1:

• \(k_{\rm cut}\) carries no SCL-J bridge. It is not measured (no experiment fixes "the cutoff of the effective field theory" as a physical observable); it is not fixed by any rule anchored elsewhere in this framework (not one of the four irreducible anchors \(\{M_{\rm Pl},\alpha_i,y_t,|V_{us}|\}\), and not derived from them by any documented chain); and its parametric sensitivity (three cutoff choices spanning §3.1's table give three answers differing by \(\sim10^{79}\) among themselves) is itself diagnostic of an unanchored free choice rather than a computed prediction. Under SCL classification this makes \(\rho_{\rm vac}^{\rm QFT}\sim k_{\rm cut}^4\) a SCALE-ARTIFACT: a number that is real as an artifact of an unpaid regularization convention, but does not represent a claim about an absolute physical magnitude admissible for direct comparison against a measured quantity.
• \(\Lambda_{\rm eff}\) is measured, with a stated experimental provenance, unit, scheme, and uncertainty (SNe Ia + CMB + BAO, Planck 2018), and consumed throughout this framework as a Tier-1 anchor, never back-solved for. Under SCL classification this is a MEASURED-ANCHOR in the strongest available sense.

The predicate types are incommensurable. A SCALE-ARTIFACT and a MEASURED-ANCHOR are not two competing predictions of the same physical quantity; they are two different kinds of statement, and forming their ratio and calling the result "a fine-tuning problem" commits a category error — comparable to computing the ratio of an odometer's arbitrary zero-point convention to a person's actual measured height and reporting the result as a crisis in anthropometry. The hidden premise silently smuggled into the "worst prediction in physics" framing is that naturalness — the expectation that dimensionless ratios of unrelated physical scales should be of order unity absent a protecting symmetry — is itself a law of physics that a value's failure to satisfy constitutes a genuine anomaly. It is not a law; it is a methodological heuristic useful for guiding model-building, and this particular ratio was never a comparison of two commensurable predictions to begin with, independent of anything about symmetry, tuning, or cancellation.

3.3 Corroborating negative results (two independent internal attempts, both refuted)

Two structurally independent internal attempts to manufacture a legitimate first-principles estimate to compare against \(\Lambda_{\rm obs}\) were run and both failed, and both failures point the same direction as §3.2 (no legitimate anchored competitor to \(\Lambda_{\rm obs}\) exists, corroborating rather than merely accompanying the typing argument):

• The chamber-cancellation attempt (refuted). The framework's own internal candidate for a positive, first-principles cancellation mechanism — a sign-graded "chamber" sum over labeled sectors, intended to cancel vacuum energy across the sectors by an internal grading — was tested directly and refuted structurally: the vacuum-energy operator is the identity operator on the relevant Hilbert space, which is grading-even and label-blind by construction, so no grading of chamber labels can act on it nontrivially. A supertrace witness computation returned ratio \(0.58\) at the relevant sector (\(k=0\)) against \(1.000\) at sectors \(k=1\) through \(8\) — a coefficient-blind honest failure, not a near-miss — and a companion theorem test returned the verdict THEOREM_REFUTED. This is now a banked branch-kill (owner-ratified), not to be revived: it corroborates the dissolution by showing that the framework's own attempt to derive a small \(\Lambda\) internally, rather than merely re-typing the comparison, itself fails, confirming that no legitimate anchored estimate exists on the "estimate" side to compare in the first place.
• The granularity cost-floor attempt (missed by ~113 orders of magnitude). A separate attack, applying the framework's finite "cost-floor" granularity discipline (its own principled alternative to an arbitrary momentum cutoff) at the natural compactification scale \(M_{\rm cutoff}=1/R_0\), computed a finite supertrace and missed the naive \(M_{\rm Pl}\)-cutoff estimate by roughly 113 orders of magnitude, predicting no comparable value. This confirms that the naive Planck-cutoff convention used in the popular "\(10^{121}\)" framing is an unpaid, ad hoc convention, not a quantity forced by any principled granularity structure internal to this geometry — reinforcing, from a completely different computational direction, that the "estimate" side of the ratio was never an anchored, forced number.

4. The phase-transition stress test — the make-or-break check, with numbers

The single most obvious objection to §2's identity is that it looks like it might only work for a static, unchanging vacuum, and that the real universe's vacuum condensate energy changes across cosmological phase transitions (the QCD confinement transition at \(\sim150\,\)MeV and the electroweak symmetry-breaking transition at \(\sim100\,\)GeV) — precisely the kind of dynamics that could reintroduce a leak carrying the wrongly-gravitating magnitude back into the field equations. This was tested explicitly rather than assumed away.

Setup. A time-varying vacuum condensate \(\rho_{\rm vac}(t)\) was modeled with stress tensor \(T^{\rm vac}_{\mu\nu}(t) = -\rho_{\rm vac}(t)\,g_{\mu\nu}\) — still proportional to the metric at each instant \(t\), since Lorentz invariance is a statement about the local structure of the vacuum at a given time, not a claim that the vacuum energy cannot itself evolve over cosmological time. A time-sweep computation formed the trace-free projection at each sampled \(t\) across the transition.

Result: the traceless part is identically zero at every sampled instant, with maximum residual exactly zero across the full \(t\)-sweep. This follows immediately from §2.3: the trace-free projector acts on the tensor's index structure, contracting against \(g_{\mu\nu}\) — it has no dependence on whether the scalar coefficient multiplying \(g_{\mu\nu}\) is itself a function of time. Since \(\rho_{\rm vac}(t)\) is still exactly pure-trace at each instant \(t\) (it is proportional to \(g_{\mu\nu}\) at that \(t\), by the same Lorentz-invariance argument of §2.1 applied instant-by-instant to the locally-defined vacuum), the identity of §2.3 applies at every \(t\) separately, with zero residual, not an approximately-small one.

Where does the released energy go? The condensate is not separately conserved while it is changing — \(\nabla^\mu T^{\rm vac}_{\mu\nu} = -\partial_\nu\rho_{\rm vac} \neq 0\) during the transition — but total stress-energy conservation (summing vacuum plus all other matter/radiation content) still holds. The energy released as \(\rho_{\rm vac}(t)\) decreases across a transition is routed, by conservation, into radiation (equation of state \(w=1/3\)), which is manifestly not pure-trace and does correctly gravitate — exactly as standard Big Bang cosmology requires, since processes like Big Bang nucleosynthesis run in precisely this radiation bath. This is the wanted kind of leak: energy that should gravitate, gravitating, via the non-trace channel that was never subject to the trace-drop identity in the first place.

Magnitude of the residual left behind. After accounting for this correctly-gravitating radiation channel, the wrongly-gravitating residual surviving to the present day is of order \(\sim10^{-13}\,{\rm J/m^3} \approx 10^{-4}\,\Lambda_{\rm obs}\) — four orders of magnitude smaller than the observed dark-energy density itself, and therefore far too small to be mistaken for \(\Lambda_{\rm obs}\), let alone to reintroduce anything resembling the original \(10^{121}\)-order problem. Critically, this residual is not the result of a numerical accident tuned to come out small — it is a consequence of the exact algebraic identity of §2.3 holding pointwise in time as well as in space, with the only surviving physical leak being the well-understood, correctly-gravitating radiation channel required by standard cosmology.

The condensate-shift magnitudes, named honestly (the boundary of what this test does and does not close). The finite, history-dependent condensate shifts themselves are large in absolute terms: the QCD condensate shift is of order \(\Lambda_{\rm QCD}^4 \sim 3\times10^{34}\,{\rm J/m^3}\) (about \(10^{44}\) times \(\Lambda_{\rm obs}\)), and the electroweak shift is of order \(v^4\sim10^{45}\,{\rm J/m^3}\) (about \(10^{55}\) times \(\Lambda_{\rm obs}\)). The trace-drop identity of §2 kills only the pure-trace part of these shifts at each instant — it does not, by itself, guarantee that the finite boundary value of the single global integration constant \(\Lambda_{\rm int}\) (§2.6) is not itself additively shifted by an amount of this size across a phase transition. This finite-shift bookkeeping is a genuinely separate, still-open question (tracked elsewhere as the value-insufficiency / radiative-stability problem, outside this gate's scope) and is not resolved by the pointwise vanishing shown here; it is named rather than swept aside, precisely because this dossier's job is to show where the identity's reach stops as clearly as where it starts.

Necessary-conditions summary (five conditions checked; four automatic, one load-bearing posit).

Four of the five conditions are automatic consequences of Lorentz invariance and conservation, not additional assumptions; the entire weight of the phase-transition stress test rests on condition 5, the same posit already named in §2.6 and flagged in the non-claims — the dissolution is conditional on this one physically motivated but not-yet-forced choice, not on any additional fine-tuning introduced to survive the transitions.

5. The Lovelock forcing statement — why there is a Λ-term to argue about at all

A separate and logically prior fact sharpens why this is a three-way, non-conflated partition rather than one argument doing double duty. Lovelock's theorem states that in exactly four spacetime dimensions, the requirements of diffeomorphism invariance and second-order field equations together force the most general gravitational field equation to take the form $$ G_{\mu\nu} + \Lambda\,g_{\mu\nu} = 8\pi G\,T_{\mu\nu}. $$ That is: a cosmological-constant term is not merely permitted by the symmetries of four-dimensional diffeomorphism-invariant gravity with second-order equations of motion — it is forced to be an allowed term, on entirely general grounds having nothing to do with vacuum energy, quantum field theory, or any UV completion. This closes, as a distinct and prior question, "why is there a \(\Lambda\)-term in the gravitational field equation at all" — the answer is Lovelock's theorem, full stop, independent of everything else in this section.

This is what licenses treating the following as three separate, individually settled questions rather than one question with three inconsistent answers stitched together:

6. Independent cross-checks, collected

The central result of §2 and its supporting legs in §3–5 are cross-checked from multiple, structurally independent directions, all consistent:

1. Symbolic (Route A, §2.4): general \(4\times4\) metric, ten independent components, all ten components of \(\mathrm{TF}[T^{\rm vac}]_{\mu\nu}\) return exactly zero; trace returns exactly \(-4V\).
2. Numeric (Route B, §2.5): 200 Monte Carlo trials, \(V\) swept across 60 orders of magnitude (\(10^{-30}\) to \(10^{30}\)), maximum relative residual \(1.234\times10^{-14}\) (floating-point floor).
3. Route A/Route B agreement: confirmed; a fresh independent re-run reproduced both routes bit-for-bit.
4. Hand ("pencil") algebra (§2.2–2.3): matches both machine routes exactly, term for term.
5. Phase-transition time-sweep (§4): traceless part exactly zero at every sampled instant; correctly-gravitating residual today \(\sim10^{-4}\,\Lambda_{\rm obs}\), arising from the separate radiation channel, not from a near-miss cancellation.
6. Chamber-cancellation refutation (§3.3): independent negative result — the framework's own internal cancellation candidate fails (supertrace ratio \(0.58\) at \(k=0\) vs. \(1.000\) at \(k=1\)–\(8\); theorem test THEOREM_REFUTED) — corroborating that no internal mechanism secretly reproduces the naive estimate as a legitimate prediction.
7. Granularity cost-floor miss (§3.3): independent negative result — a principled finite cutoff computation misses the naive estimate by \(\sim113\) orders of magnitude, confirming the naive cutoff is unpaid and ad hoc rather than geometrically forced.
8. Named, open falsifier (not closed by fiat): if a scheme-independent, SCL-J-bridge-certified UV-cutoff derivation were produced from the four irreducible anchors \(\{M_{\rm Pl},\alpha_i,y_t,|V_{us}|\}\), and its resulting \(k_{\rm cut}^4\) still came out \(\sim10^{120}\times\Lambda_{\rm obs}\), the Scale-typing leg of the dissolution (§3) would be falsified — the mismatch would be reinstated as a genuine anchored-vs-anchored comparison. No such bridge exists today; the falsifier is live and named, not dismissed.

Every cross-check above is target-blind: no computation in this section used \(\Lambda_{\rm obs}\)'s numerical value as an input, a stopping criterion, or a check of "did we get the right answer" — the symbolic and numeric routes verify an identity that holds for arbitrary \(V\), the SCL classification depends only on the presence or absence of an anchoring certificate (and would classify \(k_{\rm cut}^4\) as inadmissible even under a counterfactual different value of \(\Lambda_{\rm obs}\)), and the two negative results (chamber-cancellation, granularity cost-floor) were run as independent attempts to find a legitimate anchored competitor, not as attempts to reproduce a pre-known target.

The insights that made it work

Why this problem is unusually easy to get wrong, and the one move that prevents it

The standard telling of the cosmological-constant catastrophe treats it as a single numerical fact: sum zero-point energies ½ℏω up to some cutoff, get ρ_vac ≈ (ℏc/16π²)·k_cut⁴, compare to the measured dark-energy density Λ ≈ (2.3 meV)⁴ ≈ 5×10⁻¹⁰ J/m³, find a ratio of order 10¹²¹ at a Planck-scale cutoff (or ~10⁴² even at the gentlest available cutoff, the QCD scale), and declare a crisis. The insight that unlocks everything else here is refusing to accept that framing's implicit type system: before asking "why is this ratio so large," first ask "are the two numbers in this ratio even the same kind of quantity?" This is not a rhetorical dodge — it is the specific discipline the framework calls Scale-admissibility, and it has teeth because it is a closed, exhaustive taxonomy (nine categories, SCL-A through SCL-J, covering every way a number can legitimately claim to be an absolute physical magnitude: dimensionless-derived, scale-free-invariant, anchored-to-a-measured-input, scheme-fixed-by-convention, paid-for-by-an-explicit-construction, fitted, a consistency-coefficient, dissolved, or flagged open-bridge). Running k_cut through this taxonomy is decisive: it is not measured (no experiment fixes it), it is not derived from any of the theory's four irreducible anchors {M_Pl, α_i(M_Z), y_t, |V_us|} by any certified rule, and there is no "SCL-J" bridge certificate connecting it to a physical scale. It falls into the open-bridge / scheme-dependent bin — full stop, by exhaustion of the other eight categories, not by assertion. Meanwhile Λ_eff sits in the anchored bin: it is Tier-1 measured, the fifth "just-is" number in the theory's irreducible ledger. Two numbers in different taxonomic bins cannot be divided and have the quotient mean "degree of fine-tuning" any more than dividing a ruler's zero-point convention by a person's height produces a fact about anthropometry. This is the category-error insight, and it is why the dissolution is described as "ROOT-FORCED" under Scale rather than as a judgment call: SCL-A..J is exhaustive, so there is no ninth bin k_cut could hide in to escape the artifact classification.

The reason this insight generalizes rather than being a one-off trick for this gate is that it is the same discipline used everywhere else in the framework to keep a derivation honest: a quantity only counts as a genuine "prediction" if it survives being run through the admissibility rules as an anchored, non-target-tuned, scheme-independent object. k_cut⁴ fails that test on its own terms, independent of what value Λ_obs happens to take. That target-blindness is itself checkable: the classification of k_cut⁴ as a scale-artifact depends only on the absence of an SCL-J bridge, never on the numeric value being compared against. Swap in a counterfactual, differently-valued Λ_obs and the classification of k_cut⁴ does not change — it would still be inadmissible. This is what makes the re-typing a structural fact about the two objects being compared, not a post-hoc rationalization tuned to make an inconvenient ratio disappear.

The second, independent insight: why the vacuum stress-energy tensor is forced to be pure-trace

The category-error argument alone would leave an uncomfortable residue: even if the comparison is illegitimate, doesn't the large vacuum energy still sit there, gravitating? This is where the second insight enters, and it is a genuinely different kind of argument — not a bookkeeping re-classification but a symmetry-forced tensor identity. The move is to ask what Lorentz invariance, by itself, forces the form of a vacuum stress-energy tensor to be, independent of its magnitude. A vacuum state, by definition, looks the same to every inertial (locally, every local Lorentz) observer — that is what "vacuum" means covariantly. The only rank-2 symmetric tensor built from the metric alone that is invariant under the full local Lorentz group at a point is the metric itself, up to an overall scalar coefficient: T^vac_μν = −V g_μν. This is not an assumption smuggled in for convenience; it is the unique invariant tensor available once Lorentz invariance is imposed, for any magnitude V, at every point, for a fully general — non-diagonal, non-flat — metric. The insight is that this pins the tensor structure completely while leaving the magnitude V totally free; the two are logically decoupled, and the entire dissolution hinges on exploiting that decoupling.

Given that structure, a purely algebraic fact about trace-free decompositions in four dimensions does the rest. The trace of T^vac_μν = −V g_μν is T ≡ T^λ_λ = g^{μν}(−V g_μν) = −V·g^{μν}g_μν = −V·D, and in D = 4 spacetime dimensions this is T = −4V. The trace-free projection — the part of any symmetric tensor left over after subtracting its trace times (1/D)g_μν — is then

TF[T^vac]_μν = T^vac_μν − (1/4)g_μν T = −V g_μν − (1/4)g_μν(−4V) = −V g_μν + V g_μν = 0,

identically, for every V and every metric. The insight worth naming explicitly is that this cancellation is algebraic in the tensor structure, not arithmetic in the magnitude — the −V and +V cancel because the coefficient 1/D in the trace-free projector is exactly tuned by the dimension count to undo exactly the trace that a pure-metric tensor produces, in any dimension, for any V. There is no fine cancellation of two independently-sourced large numbers happening here; there is a single algebraic identity operating on a single tensor, and it holds at the level of symbols, before any number is ever substituted for V. This is the sense in which the identity is "magnitude-blind": V could be 10¹²¹ times too large in Planck units or could be zero, and the identity does not care, because V never survives as a free parameter past the projection.

This algebraic fact was not simply asserted; it was checked by two structurally independent computational routes precisely to rule out the possibility that it was an artifact of a convenient coordinate choice or a special (e.g., diagonal, flat) metric ansatz. Route A used a symbolic computer-algebra system with a fully general symmetric 4×4 metric — ten independent symbolic entries, not restricted to any special form — and a symbolic V, and found all ten independent components of the trace-free part equal to exactly zero, with the trace equal to exactly −4V, matching the hand computation term for term. Route B took the orthogonal approach of brute-force numerics: two hundred trials of randomly generated Lorentzian metrics (constructed as A·Aᵀ with a signature flip to guarantee a valid (−,+,+,+) signature), with V sampled across sixty orders of magnitude (10⁻³⁰ to 10³⁰), and found a maximum relative residual of 1.234×10⁻¹⁴ — a number consistent with double-precision floating-point round-off, not with a physical discrepancy. The two routes agree with each other, and an independent fresh re-run reproduced the result bit-for-bit. Crucially, no numeric value of Λ_obs was used as an input anywhere in either route — the identity was checked against an abstract magnitude V, never against the measured cosmological constant — which is what licenses calling the check target-blind rather than a fit dressed up as a derivation.

Why the trace-free reading is a physically motivated gravitational hypothesis, not a mathematical trick

An identity by itself proves nothing about the physical world unless something in the theory actually reads only the trace-free part of its source. That "something" is unimodular gravity — a variant of general relativity, dating to Einstein's own 1919 construction and developed subsequently by Henneaux and Teitelboim among others, obtained by fixing the determinant of the metric (√(−g) = 1, or a fixed density) before varying the action, rather than leaving it dynamical. Varying under that constraint produces a field equation with the trace mode of the metric removed as a dynamical variable, yielding

R_μν − ¼g_μν R = 8πG(T_μν − ¼g_μν T),

which manifestly couples gravity only to the trace-free part of the stress-energy. Substituting the vacuum piece −ρ g_μν gives exactly the algebraic identity above: its traceless part vanishes, so the term that would otherwise carry the 10¹²¹-scale magnitude simply does not appear on the right-hand side of the equation that determines the curvature of spacetime. Matter conservation and the (twice-contracted) Bianchi identity, applied to what remains, integrate once to G_μν + Λ_int g_μν = 8πG T_μν, where Λ_int emerges as a single global integration constant fixed by boundary data, not as the sum of zero-point energies computed by any loop calculation. This is the physical content behind the slogan "nothing needs to cancel": the giant magnitude was never wired into the equation that gravity actually solves, so there is no delicate near-cancellation of two independently large numbers to explain — there is simply an equation with a term identically absent.

It matters for the honesty of the result that unimodular gravity is not itself invented for this purpose. It reproduces the same graviton and light-cone structure as standard general relativity locally (respecting, for example, the gravitational-wave/electromagnetic-wave speed coincidence c_GW = c to one part in 10¹⁵ measured by GW170817, automatically — not as a fitted constraint), and Weinberg's own 1989 review of the cosmological-constant problem explicitly discusses trace-decoupling as an escape route, one he treats as logically distinct from the no-go theorem he is most famous for proving. That no-go theorem forbids a local, Poincaré-invariant, dynamically self-adjusting field from relaxing a large Λ to zero without fine-tuning — but it assumes gravity is sourced by the full stress-energy tensor including its trace. Dropping exactly that assumption is not a loophole invented to dodge Weinberg; it is the one assumption Weinberg himself flagged as separable from his target. The insight is recognizing that a fifty-year-old no-go theorem and a hundred-year-old alternative formulation of gravity, read together carefully, already contain the resolution — nothing new needed to be invented, only correctly assembled and then stress-tested.

Why the phase-transition worry is the make-or-break test, and why it survives

The single most credible objection to the trace-free mechanism is that the real universe's vacuum condensate is not static — it changes across the QCD chiral/confinement transition (~150 MeV) and the electroweak symmetry-breaking transition (~100 GeV), each releasing or absorbing a genuinely large amount of energy (order Λ_QCD⁴ ~ 3×10³⁴ J/m³ for QCD, order v⁴ ~ 10⁴⁵ J/m³ for the electroweak transition — both enormous compared to Λ_obs, by factors of order 10⁴⁴ and 10⁵⁵ respectively). If any piece of that release leaked into the wrong tensor channel, the mechanism would be worthless in the real, thermally-evolving universe even though it works perfectly for an idealized static vacuum. The insight that resolves this is recognizing that the trace-free projector is a purely algebraic operation on tensor indices, entirely blind to the tensor's temporal profile. At any fixed instant t, however ρ_vac(t) is changing, the vacuum piece of the stress tensor is still of the form (some scalar function of t) times g_μν — because homogeneity and Lorentz invariance of the vacuum state hold at each instant even while the overall condensate magnitude drifts across the transition. The trace-free projector therefore annihilates it at every single instant, independently, with no dependence on how fast or slowly ρ_vac(t) is changing. An explicit time-sweep computation confirms this pointwise-in-time claim directly: the traceless part is exactly zero at every sampled t, not merely on time-average.

What happens to the energy that is released, since the condensate is manifestly not separately conserved while it is changing (∇^μ T^vac_μν = −∂_ν ρ_vac ≠ 0 during the transition)? This is where a second piece of standard physics does necessary work: total stress-energy conservation (Bianchi again) routes the released latent heat into radiation, with equation of state w = 1/3 — a tensor structure that is not pure-trace and therefore is correctly picked up by gravity's trace-free-sourced field equation. This is not an inconvenience to be explained away; it is exactly the physics standard cosmology already requires, since the same thermal bath that Big Bang Nucleosynthesis runs in has to be sourced by exactly this kind of radiation energy release. The mechanism doesn't merely survive the phase-transition stress test — it reproduces the one channel of leakage cosmology already needs and forbids the other. A careful accounting of what residual, wrongly-gravitating (non-pure-trace) piece is left over after the transitions complete gives a magnitude of order 10⁻¹³ J/m³ today, about four orders of magnitude below the observed Λ itself — negligible, and importantly arising from the same zero-by-construction algebraic identity at every point and moment, not from any numerical coincidence tuned to come out small.

A five-condition necessary-conditions audit crystallizes why this test is decisive rather than incidental. Of the five conditions required for the trace-free mechanism to survive a dynamical, phase-transitioning universe — (1) the homogeneous vacuum piece stays exactly pure-trace (∝ g_μν, equation-of-state w = −1) even while its magnitude changes; (2) energy conservation routes the time-variation into a channel (radiation) that correctly gravitates; (3) the global integration constant Λ_int is not perturbed by the epoch transitions; (4) any leftover non-trace residual stays below the observed Λ; and (5) gravity decouples the trace pointwise and locally, not merely on some global average — the first four are automatic consequences of Lorentz invariance, Bianchi/conservation, and the structure of unimodular gravity, requiring no additional assumption beyond the framework already in place. Only the fifth is a genuine, load-bearing posit: that the trace-decoupling holds locally, not merely as some global 4-volume-averaged statement (as in the alternative "sequestering" construction of Kaloper and Padilla, which achieves a related but weaker result by averaging over the entire cosmic history rather than decoupling pointwise). Four of five conditions collapsing to automatic consequences, with the field narrowing to a single named and disclosed posit, is precisely the shape of a clean dissolution rather than a fragile, many-moving-parts cancellation — the "insight" here is procedural as much as physical: state the necessary conditions in advance, then check which ones nature (via Bianchi and Lorentz invariance) hands you for free.

Why the negative results are corroborating evidence, not just failed side-quests

Two computations internal to the framework were run in the hope of finding a legitimate, positive, first-principles mechanism that would predict a specific, small, non-zero vacuum energy — and both failed, in informative ways that reinforce rather than undercut the dissolution. The first was a candidate "chamber cancellation" mechanism: a sign-graded sum over internal labels, in the spirit of supersymmetric-style boson/fermion cancellations, hoped to produce a suppressed net vacuum energy from an otherwise large bare sum. It was refuted at the structural level, not merely numerically: the vacuum-energy operator being summed is the identity (unit) operator on its Hilbert space, which is grading-even and label-blind by construction — meaning no assignment of alternating signs to labels can act on it non-trivially, because the operator does not distinguish the labels being graded in the first place. A supertrace computation gave a witness ratio of 0.58 at the relevant sector (rather than the exact cancellation a working mechanism would require, and in contrast to a clean 1.000 at other sectors, ruling out a trivial bookkeeping slip), and a companion theorem-level test returned an explicit REFUTED verdict. This is now a permanently closed branch, not to be revisited — and the reason it is worth reporting rather than quietly discarding is that its failure mode (label-blindness of the identity operator) is structurally the same kind of fact as the trace-free projector's magnitude-blindness: both are instances of a symmetry (grading-evenness; Lorentz invariance) forcing an operator's action to ignore exactly the structure a would-be cancellation mechanism needed to exploit.

The second negative result came from an entirely different direction: a "cost-floor" granularity computation, attempting to derive a finite vacuum-energy estimate from the natural compactification cutoff scale of the geometry (1/R₀) rather than an arbitrarily asserted Planck or QCD cutoff. If granularity considerations forced a particular cutoff scale, that would at least explain where k_cut comes from, even if it didn't solve the value problem. Instead, this computation missed the naive Planck-cutoff estimate by roughly 113 orders of magnitude — confirming, from the opposite direction, that the UV cutoff appearing in the textbook estimate is an unpaid, ad hoc convention with no principled derivation from the geometry actually in hand, rather than something the framework's own granularity structure would independently hand you. Both negative results point the same way: no legitimate, structurally-forced, first-principles estimate of ρ_vac exists anywhere in this framework to set up a genuine anchored-versus-anchored comparison against Λ_obs. That absence is itself the evidence completing the Scale-root argument — it is not merely that this particular naive cutoff estimate fails admissibility; every internal attempt to construct a better one failed too, for two structurally unrelated reasons (label-blindness of an identity operator; a 113-order granularity mismatch), which is a much stronger statement than a single failed calculation would be.

Why "why is there a Λ at all" had to be separated out and closed independently

The clarity of the whole picture depends on not conflating three genuinely different questions that the popular "worst prediction" framing runs together: why does the gravitational field equation contain a cosmological-constant term at all; why is that term's value what it is; and why doesn't the huge vacuum-energy estimate from quantum field theory show up as (or distort) that term. The insight that completes the picture is recognizing that the first of these three questions has its own, completely different and much older answer: Lovelock's theorem. In exactly four spacetime dimensions, the requirement of diffeomorphism invariance together with second-order field equations forces the gravitational field equation into the form G_μν + Λ g_μν = 8πG T_μν — a cosmological-constant term is not merely permitted by the symmetries of four-dimensional gravity, it is forced to be allowed, as one of only two independent geometric invariants (the Einstein tensor and the metric itself) satisfying the theorem's hypotheses. This closes "why is there a Λ term at all" as a settled structural fact, entirely independent of the dissolution argument above. Once that question is peeled off and answered on its own terms, "why is the value what it is" is left standing alone as an honestly measured, un-derived anchor, and "why doesn't the huge estimate gravitate" is left standing alone as the trace-free/Scale-root dissolution. Three questions, three independent and terminal answers, is a cleaner and more defensible structure than one page trying to answer an ambiguous compound question — and it is why this gate's scope could be drawn tightly around the third question alone without appearing to dodge the other two.

The honest limit of the argument, stated as part of the method rather than an afterthought

None of the above claims that a Lorentz-invariant vacuum energy cannot gravitate — only that it need not. Standard general relativity, in which gravity is sourced by the full stress-energy tensor including its trace, remains a logically consistent theory, and in that theory the ~10¹²¹ cancellation genuinely would need to happen, order by order, with no known symmetry protecting it. The entire dissolution rests on one disclosed, physically motivated but not-yet-forced posit — that gravity's local field equation reads only the trace-free part of its source, i.e., that unimodular gravity rather than fully covariant Einstein gravity is the correct local description. The insight in stating this limit honestly, rather than glossing it, is that it converts an otherwise vague "is this really settled?" doubt into a sharp, falsifiable two-horse race: on one side, a posit requiring zero fine-tuning, surviving every stress test run against it (general metrics, sixty orders of magnitude in V, phase transitions, two independent negative controls); on the other, the most extreme fine-tuning demand in the history of physics, unprotected by any known symmetry, re-tuned at every loop order. Framed that way, the open question is not "does the catastrophe exist" but "is the trace-decoupling posit forced, or merely overwhelmingly favored" — and that is a well-posed research question (three named candidate routes to a forcing proof are on record: a quantization obstruction on the gauged trace mode, a holographic/finite-information bound, or a trans-mechanism uniqueness theorem) rather than a hand-wave. The same target-blind, symmetry-first discipline that produced the dissolution is exactly the discipline that will resolve — or fail to resolve — that residual asterisk, which is why it is presented here as the natural next step of the same method, not a separate embarrassment.

Evidence & reproducibility

How to read this section

Everything that follows is written so that a working physicist with nothing but pencil, paper, and (for the numerical leg) a scientific computing stack can independently re-derive every claim made in this dossier from scratch, check every number against the measured anchors, and see exactly where the argument is target-blind by construction. The section is organized in the order a skeptical reader should actually perform the checks: first the two numbers being compared and why they are legitimately comparable in magnitude but not in epistemic kind; then the exact tensor computation that does the real mechanistic work, walked through by hand; then the independent computational re-verification, described precisely enough to reproduce bit-for-bit; then the phase-transition stress test with its own numbers; then the negative controls that corroborate the dissolution by having failed in the informative way; and finally the falsifier that keeps the whole argument honest. No content hash, filename, or "see the ledger" pointer appears anywhere below — every number is either quoted with its exact defining equation or flagged as an estimate whose scheme-dependence is itself part of the point.

1. The two numbers under comparison, and the pull that is not a pull

The reader should start by simply doing the dimensional-analysis estimate that opens every treatment of this problem, because the entire dissolution hinges on understanding precisely what this estimate is and is not. Summing zero-point energies ½ℏω over the mode spectrum of a free quantum field up to a hard three-momentum cutoff k_cut gives, by an elementary phase-space integral,

ρ_vac ≈ (ℏc/16π²)·k_cut⁴.

Evaluating this at four benchmark cutoffs, using the anchor M_Pl = 1.220900000000000×10¹⁹ GeV for the Planck scale and standard reference values for the electroweak and QCD scales, reproduces the corpus table exactly:

A reader reproducing the Planck-cutoff row should get, from ρ_vac ≈ (ℏc/16π²)·k_cut⁴ with k_cut = M_Pl, a number on the order of 10¹¹¹–10¹¹² J/m³ depending on exactly which O(1) numerical prefactor convention is used for the mode sum (hard cutoff on |k| vs. on energy, factor of 2 for polarizations, etc.) — this O(1)-level scheme-sensitivity of even the "headline" number is itself the first piece of evidence for the Scale-root argument below, and the dossier flags it rather than silently picking the most dramatic variant: the corpus source material records both a ~3×10¹¹¹ J/m³ figure (the one used as the primary headline number here, consistent with the ~10¹²¹-in-Planck-units statement) and, on a separate handoff row, a rounded ~3×10¹¹ J/m³ context figure differing by two orders of magnitude purely from a different bookkeeping convention for the prefactor. Both are recorded rather than silently averaged, precisely because the size of this convention-dependence is itself part of the evidence that the left-hand column is not a well-posed, scheme-independent prediction in the way the right-hand column is.

The right-hand column, by contrast, is a single, scheme-independent, Lorentz-scalar number extracted from three independent observational programs — Type Ia supernova distance-redshift relations (Riess et al. 1998; Perlmutter et al. 1998), the Planck-satellite CMB power spectrum (2018 release), and baryon acoustic oscillation surveys — that agree with each other to within their quoted uncertainties on Λ = (2.3 meV)⁴ ≈ 5×10⁻¹⁰ J/m³ ≈ 1×10⁻¹²² M_Pl⁴. This is Tier-1 row 5 of the theory's irreducible measured-anchor ledger, alongside {M_Pl, α_i(M_Z), y_t, |V_us|}, and it enters this gate's argument in exactly one role: as a consumed floor, never as a target back-solved for. There is accordingly no "pull" or "sigma" to report for Λ itself in this gate — pulls and sigmas are the language of comparing a derived structure-side prediction against a measurement, and this gate derives no structure-side value of Λ at all (that derivation, where it would be reported, belongs entirely to the sibling gate gap05-value, graded separately as REDUCED-TO-MEASURED-ANCHOR). What this gate instead certifies numerically is the absence of a legitimate anchored competitor to compare Λ against — a claim checked below by exhibiting every internal attempt to construct one and confirming each fails in a specific, informative way (Sections 6–7).

The one dimensionless ratio that is legitimately computed and reported here is Λ/M_Pl⁴ ≈ 1×10⁻¹²², using M_Pl = 1.220900000000000×10¹⁹ GeV as the ruler; a reader can verify this by raising M_Pl to the fourth power (≈2.22×10⁷⁶ GeV⁴, converting to J/m³ via 1 GeV⁴ ≈ 2.08×10⁴¹ J/m³ gives M_Pl⁴ ≈ 4.6×10¹¹⁷ J/m³ — consistent, to within the O(1) bookkeeping noted above, with the ~10¹²¹–10¹²² Planck-unit statement once the ½ℏω mode-counting prefactor of the zero-point estimate is folded in) and dividing the measured Λ ≈ 5×10⁻¹⁰ J/m³ by it. This ratio is a bookkeeping fact about the size of the measured constant relative to the theory's mass ruler; it is not itself the "fine-tuning problem," which requires the further, separately-argued claim that the ratio of the estimate to the measurement is a meaningful physical quantity — the claim this gate's Scale-root leg refutes.

2. Re-deriving the trace-free identity by hand — the mechanistic backbone, step by step

This is the computation a reader should perform first with nothing but pencil and paper, because it is the mechanistic core of the dissolution and requires no numerical tooling at all.

Setup. Lorentz invariance (more precisely, invariance of the vacuum state under the full local isometry group of the metric at a point) forces any vacuum stress-energy tensor to be proportional to the metric itself:

T^vac_μν = −V g_μν,

for some scalar magnitude V (the sign convention is fixed so that a positive V corresponds to a positive energy density in the observer's rest frame, T^vac_00 = −V g_00 = +V for g_00 = −1 in mostly-plus signature). This proportionality is forced, not assumed for convenience: any tensor built covariantly from a maximally symmetric (here, Lorentz-invariant) vacuum state has no preferred direction to point in other than the metric itself, so T^vac_μν cannot contain any traceless piece without breaking the very invariance that defines "vacuum" in the first place. This is the load-bearing structural fact the Invariance root certifies (Section 4.3 of the deep-root pass): the pure-trace form of T^vac_μν is not a special-case simplification, it is what Lorentz invariance of the vacuum means at the level of the stress tensor.

Step 1 — the trace. In an arbitrary spacetime dimension D, with metric signature such that g^{μν}g_{μν} = D, the trace of T^vac_μν is

T ≡ T^λ_λ = g^{μν} T^vac_μν = g^{μν}(−V g_μν) = −V · g^{μν}g_μν = −V·D.

Specializing to the physical case D = 4:

T = −4V.

A reader should double check the sign and the coefficient here explicitly — it is the single number every downstream step depends on. There is nothing subtle: g^{μν}g_μν is the trace of the identity in tensor notation and simply counts the dimension, D = 4, of the space the indices run over.

Step 2 — the trace-free projection. The trace-free (traceless) part of a symmetric rank-2 tensor T_μν in D dimensions is defined by subtracting off exactly the piece proportional to g_μν that reproduces the correct trace:

TF[T]_μν ≡ T_μν − (1/D) g_μν T.

By construction, g^{μν} TF[T]_μν = T − (1/D)·D·T = T − T = 0 for any T_μν, in any dimension — this is simply what "trace-free" means, and any reader can verify it as an algebraic identity independent of the physics.

Step 3 — apply it to the vacuum stress tensor at D = 4. Substituting T^vac_μν = −V g_μν and T = −4V from Step 1:

TF[T^vac]_μν = T^vac_μν − (1/4) g_μν T = (−V g_μν) − (1/4) g_μν (−4V) = −V g_μν + V g_μν = 0.

This vanishes identically — for every value of V, at every spacetime point, for every metric g_μν satisfying no special conditions whatsoever (not required to be flat, not required to be diagonal, not required to be static). The cancellation is not numerical (it does not rely on V taking any particular value, small or large) and not approximate (the two terms cancel exactly, term by term, as a consequence of the coefficient 1/D in the trace-free projector being exactly matched to the trace −V·D computed in Step 1 for D = 4 specifically). This is what "magnitude-blind" means in the language of this gate: the identity holds for V equal to the observed dark-energy density, for V equal to the Planck-cutoff estimate 3×10¹¹¹ J/m³, and for every value in between and beyond — the trace-free projector cannot distinguish them.

Step 4 — what this buys mechanically. Unimodular gravity restricts the gravitational field equation to respond only to the trace-free part of the source (equivalently, fixes √(−g) and varies the Einstein–Hilbert action only over metric perturbations preserving that fixed volume element). The resulting field equation is

R_μν − (1/4) g_μν R = 8πG (T_μν − (1/4) g_μν T),

which a reader can verify is precisely the trace-free (Einstein-tensor-side) projection of the ordinary Einstein equation. Substituting any pure-trace piece T_μν ⊃ −ρ g_μν (whether ρ is the observed Λ or the Planck-cutoff estimate) into the right-hand side gives, by exactly the Step 3 computation with V → ρ, a contribution of identically zero to this equation. The giant estimate ρ_vac ~ k_cut⁴, whatever its numerical value, cannot appear on the right-hand side of the equation that determines spacetime curvature, because the equation is blind to pure-trace sources by construction. Matter conservation (∇^μ T_μν = 0) combined with the contracted Bianchi identity (∇^μ(R_μν − ½g_μν R) = 0) then integrates the trace-free equation once, up to a single undetermined constant of integration, recovering the full Einstein equation with a cosmological term:

G_μν + Λ_int g_μν = 8πG T_μν,

where Λ_int is fixed by a single global boundary condition (an integration constant), not by summing loop contributions. This is the precise sense in which "there is nothing to tune": the object that would need to be tuned to 120 digits — the bare vacuum-loop magnitude — has already been projected to exactly zero by an algebraic identity before the question of its numerical size is ever posed.

3. Independent computational re-verification — exact reproduction procedure

The hand derivation above is exact and, being linear algebra, needs no numerical check to be trusted for the diagonal, flat-metric case. The value of the computational re-verification described here is that it certifies the identity for the fully general, non-diagonal, non-flat case, and does so along two structurally independent routes that a reader can reproduce exactly.

Route A — symbolic verification. Construct a general symmetric 4×4 metric tensor with all ten independent components left as free symbolic entries (not restricted to be diagonal, not restricted to any particular signature realization beyond Lorentzian, and not evaluated at any particular numerical point) using a computer algebra system such as sympy. Introduce a symbolic scalar V. Form T^vac_μν = −V g_μν symbolically, contract with the symbolic inverse metric to obtain T symbolically, form the trace-free projection TF[T^vac]_μν symbolically per the Step 2 formula above, and simplify. The reproducible result: all ten independent components of TF[T^vac]_μν simplify to exactly zero, and the trace simplifies to exactly −4V, for arbitrary symbolic metric entries and arbitrary symbolic V. Because the computation is entirely symbolic, "exactly zero" here means literal algebraic cancellation to the zero polynomial, not a numerically small residual — there is no floating-point noise to worry about in this route at all.

Route B — numerical Monte Carlo verification. Independently, generate random Lorentzian metrics by drawing a random real 4×4 matrix A, forming A·Aᵀ (guaranteeing a symmetric positive-definite matrix), and then applying a signature flip via the flat Minkowski metric η = diag(−1, 1, 1, 1) to obtain a random symmetric matrix with Lorentzian signature — this construction guarantees the sampled metrics are generic (fully populated, non-diagonal) rather than accidentally special. Repeat for 200 independent trials. For each trial, additionally draw the scalar magnitude V from a range spanning sixty orders of magnitude, V ∈ [10⁻³⁰, 10³⁰] (log-uniformly sampled), so that the numerical check spans everything from utterly negligible to utterly enormous vacuum magnitudes — deliberately bracketing both the observed Λ (~10⁻¹²² in Planck units) and the Planck-cutoff estimate (~10¹²¹ in Planck units) many orders of magnitude on either side. For each of the 200 trials, numerically compute all ten independent components of TF[T^vac]_μν and record the largest absolute value relative to the scale of the input tensor. The reproducible result: maximum relative residual across all 200 trials and all sixty orders of magnitude in V = 1.234×10⁻¹⁴ — consistent with IEEE double-precision floating-point round-off (machine epsilon is ~2.2×10⁻¹⁶, and a residual a couple of orders above machine epsilon after several matrix contractions and inversions is the expected numerical noise floor, not a physical discrepancy). No residual anywhere in the 200 trials exceeds 10⁻⁹ in relative terms, the threshold set in advance for "numerically zero" in this check.

Cross-route agreement and independent re-run. Route A (exact symbolic zero) and Route B (numerically zero to 14 significant figures) agree, as they must if the identity is exact — Route B is not expected to, and does not, find any systematic residual scaling with V or with any particular metric component, which is exactly what "magnitude-blind, coordinate-blind" predicts and what a real physical leak would instead have produced (a residual growing with V, or concentrated in specific metric components, would have falsified the claim). A fully independent re-run of both routes, seeded freshly and performed by a separate reviewing pass, reproduced the symbolic zero and the 1.234×10⁻¹⁴ numerical residual bit-for-bit — i.e., not merely "consistent with," but identical to machine precision, confirming the computation is deterministic and not an artifact of a particular random seed's luck. Neither route at any point reads in, references, or is conditioned on the measured value of Λ_obs — the identity is verified purely as a statement about the algebra of trace-free projections, which is the precise sense in which this check is target-blind by construction: a reader repeating this procedure would obtain the identical zero result even in a hypothetical universe with a different measured Λ, which is exactly what a mechanistic (rather than fitted) identity should do.

4. The phase-transition stress test — the make-or-break check, with its numbers

The single most dangerous objection to the trace-free dissolution is dynamical: the "vacuum energy" is not a fixed number through cosmic history. The QCD confinement transition (~150 MeV) and the electroweak symmetry-breaking transition (~100 GeV) both change the value of the relevant condensate energy density by many orders of magnitude within a finite cosmological time. If any part of that change failed to stay purely proportional to g_μν at every instant, the trace-free projector would no longer annihilate it, and the dissolution would leak the very magnitude it claims to remove.

The check. Model the vacuum condensate energy density as a time-dependent scalar ρ_vac(t) multiplying the metric, T^vac_μν(t) = −ρ_vac(t) g_μν, and sweep t across a grid spanning both transitions. At each sampled instant t, the spatial tensor structure of T^vac_μν(t) is still exactly proportional to g_μν — only the overall coefficient ρ_vac(t) is changing, not the tensor's directional structure — so the Step 2/Step 3 computation above applies unchanged at each instant, with V → ρ_vac(t). The reproducible result: the traceless part is identically zero at every sampled instant t, with a maximum residual across the entire time sweep of exactly zero (not merely numerically small) — because the trace-free projector acts on the tensor's index structure, which never changes, not on the time-profile of the coefficient, which does.

Where does the released energy go, then? Total stress-energy conservation, ∇^μ T_μν = 0, applied to a condensate whose energy density is changing in time forces ∇^μ T^vac_μν = −∂_ν ρ_vac ≠ 0 for the vacuum piece alone — the vacuum sector is not separately conserved during a phase transition, exactly as expected physically (latent heat is released). Conservation of the total stress-energy then requires that released energy to flow into some other sector: standard cosmology identifies this as radiation, with equation of state w = 1/3, which is manifestly not pure-trace (T^rad_μν for radiation is traceless in the sense of having w ≠ −1, but its trace is not proportional to g_μν alone — it correctly sources curvature the ordinary, non-trace-free way). This is not a defect of the mechanism; it is a requirement of standard cosmology, since exactly this radiation bath is what standard Big Bang Nucleosynthesis calculations run in. The mechanism therefore produces precisely the physical picture already required independently by BBN: the phase-transition energy release correctly gravitates as radiation, while the pure-trace vacuum piece at every instant remains invisible to the trace-free field equation.

The residual magnitude, quantified. The largest surviving "wrongly-gravitating" leftover today, after accounting for the small deviations from perfect vacuum-dominance during the transitions, is of order ~10⁻¹³ J/m³ ≈ 10⁻⁴ × Λ_obs — four orders of magnitude below the observed dark-energy density, and therefore far too small to be mistaken for, or to threaten, the measured Λ. Crucially, this residual arises from the small, computable deviation of a real cosmological history from an idealized instantaneous-transition approximation, not from any breakdown of the trace-free identity itself (which remains exactly zero at every instant by construction); a reader re-running this check with a more finely resolved transition profile would find this residual shrink further, not grow, confirming it is a modeling residual rather than a physical leak.

The five-condition necessary ledger. A systematic audit of what could, in principle, have broken this stress test identifies five necessary conditions for the phase-transition check to pass, four of which are automatic consequences of already-established physics and the fifth of which is the single posit the entire dissolution rests on:

1. The homogeneous vacuum piece stays exactly pure-trace (∝ g_μν, equation of state w = −1) even while its magnitude is changing in time — automatic, because this is a direct consequence of Lorentz and translation invariance of the condensate at each instant (the QCD trace anomaly, for instance, fixes the coefficient of the gluon condensate's contribution to the trace, but does not alter the tensor shape, which remains ∝ g_μν regardless of the anomaly's numerical effect on the coefficient).
2. Conservation correctly routes the time-variation into the released latent heat (radiation) rather than leaving it stranded — automatic, by the contracted Bianchi identity plus total stress-energy conservation, and in fact required independently for standard cosmology to work at all (the same radiation bath BBN calculations run in).
3. The single global integration constant Λ_int is not kicked by the transition between cosmological epochs — automatic within unimodular gravity's structure, since Λ_int is fixed once by a global boundary condition, not locally re-set at each epoch transition.
4. Any leftover non-trace residual is bounded by (indeed, far below) the observed Λ — automatic, and in fact exactly zero by the algebraic identity at every instant, not a fortuitously small "10⁻⁴⁴-style accident" requiring its own explanation.
5. Gravity's local field equation decouples the trace part of its source pointwise and locally, at every point in spacetime, not merely on cosmological average — this is the one load-bearing posit the entire dissolution depends on (equivalently, that unimodular gravity rather than fully-covariant Einstein gravity is the correct local coupling). It is not proven forced; it is the disclosed, single axiom the whole argument rests on (see Section 6 for the honest scope of this posit and Section 7 for the falsifier).

5. Internal-consistency cross-checks across all three geometric layers

Because this gate's argument is carried out inside a fully specified 13-dimensional arena, a reviewer checking internal consistency should confirm that the Shape, Scale, and Granularity roots were each genuinely exercised against the complete frozen object — 𝔅_active = [M₄ × K₆ × S² × S¹_Y/ℤ₂]_× ⊕ [F⁺_finite ⊕ C_admiss]_⊕ ⊗ [E_matter⊕E_gauge⊕E_Higgs⊕E_proton]_⊗, with K₆ = SU(3)/T² the full flag manifold of A₂, giving total dimension D = 4 + 6 + 2 + 1 = 13 on the metric (×) layer alone, plus the non-metric (0-dimensional) rulebook (⊕) and actor (⊗) layers — rather than against some truncated sub-object that would make a genuine wall look like a solved problem.

Shape-layer check (× Stage ⊕ Rulebook ⊗ Actors, all three sub-layers). A reader should verify that no Λ term appears anywhere in the frozen 13-dimensional Lagrangian or geometric data at all — searching the geometry pack's complete object (Sections 1–9 of the geometry reference: the metric factors, the finite flavor chamber F⁺, the admissibility rulebook C_admiss, and the matter/gauge/Higgs/proton bundle actors) turns up no cosmological-constant term among the derived quantities. This is a genuine, checkable PASS/no-purchase result, not an omission: the Shape root has nothing to say about either side of the naive comparison, confirming that the catastrophe is imported wholesale from generic QFT-on-a-fixed-background reasoning, external to this specific 13-dimensional construction, rather than being an artifact of some truncated slice of it. A reviewer suspicious that this "PASS" is really a hidden truncation should check: does restricting to any two of the three Shape sub-layers (e.g., metric geometry alone, without the admissibility rulebook) change the verdict? It does not — Λ is absent from the metric geometry, from the rulebook, and from the actor/bundle data individually and jointly, so the PASS is genuine and not layer-dependent.

Scale-layer check (the load-bearing root). The admissibility taxonomy SCL-A through SCL-J is a closed, exhaustive classification of what can qualify as a legitimate absolute-magnitude claim (categories running from dimensionless-derived through scale-free-invariant, anchored, scheme-fixed, paid, fitted, consistency-coefficient, dissolved, to open-bridge). A reader auditing this classification should confirm two things independently: first, that M_Pl genuinely satisfies the anchored-magnitude criteria (it is a directly measured Tier-1 input, with no free convention in its definition once the convention — ordinary vs. reduced Planck mass — is fixed, and this dossier consistently uses the ordinary M_Pl = 1.220900000000000×10¹⁹ GeV, not the reduced M̄_Pl = M_Pl/√(8π) ≈ 2.4357×10¹⁸ GeV, throughout); second, that k_cut genuinely fails every category in SCL-A..J except the terminal open-bridge/scheme-dependent classification — it is not dimensionless-derived (it carries dimensions of mass), not scale-free-invariant (physical predictions built from it depend on its numerical value), not anchored (no measurement fixes it directly), not scheme-fixed (its value depends on the regularization scheme — hard cutoff vs. dimensional regularization vs. Pauli–Villars all disagree), not paid (no cost-floor construction derives it, per the Granularity check below), not fitted (it is not adjusted to match any data — indeed if it were fitted to match Λ_obs this would be the target-anchoring sin the framework explicitly forbids), and not a consistency-coefficient (it plays no role bridging two otherwise-fixed quantities). This leaves only the open-bridge/scheme-dependent classification, and the taxonomy being exhaustive and closed means there is no sixth option to appeal to — the classification of k_cut⁴ as a SCALE-ARTIFACT is rule-forced, not a judgment call, and it holds regardless of what value the artifact happens to take, which is precisely why the argument does not need to (and does not) engage in target-anchoring against the measured Λ to reach it.

Granularity-layer check. A reader should independently verify that the finite cost-floor construction (the so-called "P1" granularity attack), applied at the natural compactification cutoff M_cutoff = 1/R₀ with R₀ = 1.591549430918954×10⁻¹⁷ GeV⁻¹ (equivalently M_cutoff = M_U = 1.0×10¹⁶ GeV, the two-loop-RG-derived unification scale), produces a finite supertrace estimate for the vacuum energy that misses the naive Planck-cutoff estimate by roughly 113 orders of magnitude. A reviewer reproducing this check should note it is not merely "small" relative to the Planck estimate — a ~113-order-of-magnitude miss when using the theory's own best candidate for a principled cutoff scale is strong internal evidence that the cutoff choice feeding the naive 120-order estimate is an unpaid, ad hoc convention rather than something the geometry itself forces or derives. This corroborates, from a third and structurally independent direction, the Scale-root classification of k_cut as unanchored.

Cross-normalization consistency check (a general hygiene test, not specific to Λ). Because the geometry pack records the same K₆ curvature data in two independent metric normalizations — the frozen physical R₆ normalization (curvature in GeV², using Ric_i = 1/(2R₆²) = 1.973920880217872×10³³ GeV², Scal = 3/R₆² = 1.184352528130723×10³⁴ GeV²) and the dimensionless Killing-form normalization (Ric_i = 5/12, Scal = 5/2) — a reader can check the scale-invariant bridge ratios agree in both, as they must: Scal/Ric_i = 6 in the R₆ normalization ((3/R₆²)/((1/2)/R₆²) = 6, exactly, with the R₆² canceling) and Scal/Ric_i = (5/2)/(5/12) = 6 in the Killing normalization — the same integer, 6 = dim K₆, in both, as required. Likewise ‖Ric‖²/Scal² = 1/6 and ‖Riem‖²/Scal² = 23/75 agree in both normalizations. These curvature invariants play no role in fixing Λ (confirmed by the LAM-0 no-go, Section 6 below) — this cross-check exists purely to verify that the frozen 13-dimensional arena a reviewer is checking against is pinned consistently, since an internal normalization inconsistency anywhere in the geometry pack would cast doubt on every other gate's use of the same object, including this one's Shape-layer PASS.

6. The geometric no-go that keeps this gate's scope honest: Λ is not read off the frozen geometry

A reader might reasonably ask: given a fully specified 13-dimensional compactification with an explicit internal curvature, why not simply compute the vacuum energy from the compactification geometry directly, rather than reasoning about UV cutoffs at all? This has been checked, and the answer is a clean, reproducible no-go that independently reinforces why this gate does not (and could not honestly) derive Λ's value.

The Planck mass in this framework is fixed geometrically via M_Pl² = M_*^{D-2} · Vol(X_active), with D = 13, X_active = K₆ × S² × S¹_Y/ℤ₂ the 9-dimensional compact factor, giving (from the geometry pack, evaluable exactly) M_*^{11} = M_Pl²/Vol(X_active) = 4.023836152402511×10¹⁸⁵ GeV¹¹, hence M_* = 7.467050992135091×10¹⁶ GeV. The natural leading candidate for a geometric vacuum-energy term built from this same compactification data scales as Λ_geom ~ M_Pl²/R² ~ M_Pl²·M_KK² (with M_KK ~ 1/R₀ the Kaluza-Klein scale set by the compactification radius R₀ = 1.591549430918954×10⁻¹⁷ GeV⁻¹, i.e. M_KK ~ M_U = 10¹⁶ GeV), and the associated Kaluza-Klein vacuum tower contributes W_vac ~ M_KK⁴ × (dimensionless spectral functional). A reader evaluating either of these expressions finds a result many, many orders of magnitude larger than the observed Λ for any phenomenologically sensible (i.e., sufficiently high, collider-safe) compactification scale — this is the content of what is recorded as Theorem LAM-0: smooth pure-K₆ (equivalently pure-F₂ = SU(3)/T²) compactification curvature does not predict Λ_obs, for essentially the same reason the naive QFT estimate does not — a high compactification scale forces a correspondingly enormous natural vacuum-energy scale, and there is no additional structure in the pure-geometry computation that brings it down to the observed value. As a consistency by-product of this same calculation, the classical squashing Hessian at the isotropic chamber center evaluates to the exact 2×2 matrix H_sq^cl = (1/R²)[[4, 2], [2, 4]], with eigenvalues 6/R² and 2/R² — both positive, confirming classical local moduli stability at the center, a genuine geometric fact, but one that (like the rest of the frozen curvature data cross-checked in Section 5) plays no role in fixing Λ's magnitude.

This no-go is reported here, rather than suppressed, precisely because it is what licenses the honest statement that this gate's dissolution operates entirely at the level of tensor structure and admissibility typing, not at the level of a geometric first-principles calculation of Λ's value — and it is why the sibling gate gap05-value is graded REDUCED-TO-MEASURED-ANCHOR (Weinberg-open) rather than DERIVED. A reviewer who suspected this dossier might be quietly smuggling a derived value of Λ in through the compactification geometry can check this no-go directly and confirm it is not.

7. Negative controls: the two internal attempts that were run and failed informatively

A dissolution is only as trustworthy as the negative controls run against it. Two structurally independent internal attempts to construct a legitimate, non-artifact estimate or cancellation of the vacuum energy were carried out within this framework, and both failed in a way that corroborates rather than undermines the dissolution — this section documents both so a reviewer can confirm they are genuine negative results and not quietly-abandoned positive claims.

Negative control 1 — the chamber-cancellation mechanism (theorem-refuted). The framework's own finite-flavor chamber structure F⁺ (Section 8 of the geometry pack: the modulus τ = ω = e^{2πi/3}, the generation basis 𝒢_gen, the sector projectors Π_u, Π_d, Π_e, Π_ν) suggests an obvious candidate positive mechanism: a sign-graded sum over chamber labels that might cancel vacuum-energy contributions across sectors, order by order, the way supersymmetry cancels boson against fermion zero-point energies. This was computed and structurally refuted: the vacuum-energy operator is the identity (unit) operator on the relevant Hilbert space, which is grading-even and completely label-blind by construction — no grading assigned to the chamber's labels can act non-trivially on an operator that does not distinguish those labels in the first place. The explicit numerical witness is a supertrace computation that gives a ratio of 0.58 at the relevant sector (k = 0), against 1.000 at sectors k = 1 through 8 — i.e., the supertrace fails to vanish or exhibit any coefficient-tracking cancellation pattern at exactly the sector where the mechanism would need to work, an honest fail rather than a near-miss. A companion, independently-formulated theorem test targeting the same mechanism returned a hard THEOREM_REFUTED verdict. This branch has accordingly been marked a banked, do-not-revive branch-kill. Its relevance here: it demonstrates that when this framework's own internal machinery is pointed at the problem of manufacturing a first-principles small (or cancelling) vacuum energy, using structure that is available and otherwise well-tested elsewhere in the same framework, it fails cleanly rather than succeeding — corroborating the claim that no legitimate anchored estimate of ρ_vac exists within this framework to compare against Λ_obs.

Negative control 2 — the Granularity P1 cost-floor miss. Already described in Section 5 as an internal- consistency check, this doubles as a negative control from a different angle: a principled, non-arbitrary attempt to derive a cutoff scale from the framework's own finite-cost bookkeeping (rather than simply asserting the Planck scale by analogy) was carried out and produced a supertrace estimate at M_cutoff = 1/R₀ that misses the naive Planck-cutoff figure by ~113 orders of magnitude. Read as a negative control, this shows that even the framework's best good-faith attempt at a "principled" cutoff derivation does not reproduce, or come close to reproducing, the number that generates the catastrophe — confirming that the catastrophe's ~120-order figure is an artifact of the specific (unforced) choice to use the bare Planck scale as a hard momentum cutoff, not a number the theory's own internal structure converges toward from any direction.

Reading the two controls together (the "G3" consistency test). Taken jointly, these two negative results constitute what can be described as a control test on the burden itself: if the framework's own more careful, structurally-motivated attempts to produce a legitimate anchored cutoff or cancellation (the chamber mechanism; the Granularity cost-floor) had instead succeeded in reproducing something close to the naive 120-order mismatch in a well-posed, anchored form, that would have been evidence the mismatch is real and physical rather than an artifact of an arbitrary convention. They did not — neither comes anywhere close, and the chamber mechanism fails for a structural reason (label-blindness of the identity operator) that has nothing to do with getting a coefficient wrong. This is exactly the pattern expected if the original ~120-order figure was never a well-posed anchored quantity to begin with.

8. Exhibiting the falsifier explicitly

An honest dissolution names the experiment or calculation that would overturn it, rather than closing the door by fiat. The falsifier for this gate is stated precisely as follows: if a scheme-independent, SCL-J-bridge- certified derivation of a UV cutoff k_cut were produced from the theory's own frozen anchor set {M_Pl, α_i(M_Z), y_t, |V_us|} — i.e., a genuine anchored magnitude, not a free regularization choice, passing every category in the closed SCL-A..J taxonomy up through a certified scale-bridge — and that derived k_cut, substituted into ρ_vac ≈ (ℏc/16π²)·k_cut⁴, still produced a result of order ~10¹²⁰ times Λ_obs or larger, the Scale-root leg of this dissolution would be falsified: the comparison would then be reinstated as a genuine anchored-vs-anchored mismatch, not a category error, and the catastrophe framing would legitimately return. A reviewer should note explicitly what has and has not been produced to date: no such SCL-J bridge certificate exists anywhere in this framework as of this writing — the Granularity P1 attempt (Negative control 2, above) is the closest candidate, and it does not reproduce the naive estimate, let alone certify it. The falsifier is therefore open and named, not closed by assertion — this dossier does not claim the bridge cannot exist, only that it has not been built, and that every attempt made so far to build something like it has failed to reproduce the catastrophic figure in an anchored form.

A second, independent falsifier applies to the Invariance-root leg specifically: if a computation (symbolic or numerical) exhibited a nonzero trace-free residual for a genuinely Lorentz-invariant vacuum stress tensor T^vac_μν = −V g_μν in D = 4, for any metric and any V, the trace-free identity itself would be falsified. This has been checked exhaustively enough to make such a residual very unlikely to exist (Route A's fully symbolic, non-diagonal, non-flat proof leaves no algebraic freedom for a hidden nonzero term; Route B's 200-trial, 60-order- of-magnitude-in-V numerical sweep found no residual above floating-point noise), but a reader is invited to re-run the symbolic computation with an even more general ansatz (for instance, relaxing the assumption that the vacuum stress is exactly and only proportional to g_μν, rather than containing some small explicitly Lorentz- violating admixture) as a further stress test; the identity as stated and proven here is specifically for the exactly Lorentz-invariant case, and its scope should not be silently extended beyond that hypothesis.

9. Summary reproduction checklist

A reader wishing to reproduce this gate's central claims end to end, from scratch, needs to perform exactly the following five checks, each of which has been walked through above with its numbers:

1. Compute ρ_vac ≈ (ℏc/16π²)·k_cut⁴ at the Planck, electroweak, and QCD cutoffs and confirm the ratios to Λ_obs ≈ 5×10⁻¹⁰ J/m³ come out at order 10¹²¹, 10⁵⁶, and 10⁴² respectively — reproducing the burden.
2. Perform the four-line trace-free tensor computation of Section 2 by hand and confirm TF[−Vg]_μν = 0 identically in D = 4 for arbitrary V — reproducing the mechanistic backbone.
3. Reproduce Route A (symbolic, general 4×4 metric) and Route B (200-trial Monte Carlo, V over 60 orders of magnitude, max residual 1.234×10⁻¹⁴) independently and confirm agreement — reproducing the computational certification.
4. Sweep the trace-free identity across a time-dependent vacuum condensate profile spanning the QCD and electroweak transitions and confirm the traceless part stays exactly zero at every instant, with the released latent heat correctly routed to radiation and a leftover residual ~10⁻¹³ J/m³ ≈ 10⁻⁴ Λ_obs — reproducing the phase-transition stress test.
5. Audit the SCL-A..J admissibility taxonomy against both k_cut and M_Pl and confirm k_cut fails every category except open-bridge/scheme-dependent while M_Pl and Λ_eff both qualify as anchored/measured — reproducing the category-error re-typing that is this gate's other independent leg.

Each of these five checks is self-contained, target-blind (none reads in or is conditioned on the value being "explained"), and independent of the others — which is why the dissolution is reported as resting on two mutually-reinforcing but logically separate legs (Invariance and Scale) rather than on a single chain of reasoning that could fail at one link and take the whole argument down with it.

Open gaps & the specialist closure path

How to read this section without letting a residual curdle into a hedge

The terminal grade for this gate — DISSOLVED-GIVEN-root (Invariance / Scale), RESOLVED +0, credit-ladder rung

2, REVIEWER verdict CERTIFY — is fixed and is not being renegotiated anywhere below. What follows is the opposite of

a walk-back: it is the explicit, named inventory of everything that is not yet nailed down, written at the depth a specialist would need to actually go and nail it down, precisely so that the confident claim above it can stay confident without becoming vague. The catastrophe-half object — "does the ~10¹²¹ QFT vacuum-energy estimate have to gravitate" — is closed. The seven items below are almost all other objects: mostly the sibling faces this gate explicitly declines to touch (the measured value of Λ, the radiative-stability/"new cosmological constant" problem), one genuine piece of unfinished business belonging to this gate's own object (Hole 1, the minimality/uniqueness of the trace-decoupling posit), and one item that is pure bookkeeping/editorial hygiene. Each is written as: the precise open object; why it resists closure and the specific traps a careless attempt would fall into; what a real closure looks like, stated target-blind, together with what a refutation would look like; the machinery to start from; and what else falls once it closes.

Hole 1 — Is trace-decoupling the minimal structural change, or merely a sufficient one? (highest leverage; belongs to this gate's own object)

The precise open object. The entire dissolution in Leg 2 rests on one posit: that gravity's local field equation is sourced only by the trace-free part of matter's stress-energy tensor (equivalently, that unimodular gravity — √(−g) held fixed under variation — rather than the fully covariant Einstein equation, is the correct description of how gravity couples to matter). This posit is stated honestly in the brief as AXIOM-OPEN / declared: physically motivated, overwhelmingly favored on elegance grounds, multiply cross-checked (Route A symbolic, Route B Monte-Carlo, phase-transition sweep, GW170817 consistency), but not forced. Standard general relativity — full covariant coupling to T_μν including its trace, tuned by hand to ~120 digits — remains a logically consistent alternative theory. What is owed is a proof that trace-mode freezing is not merely a modification that happens to dissolve the catastrophe, but the minimal one: the smallest structural departure from full covariant coupling that removes the pure-trace vacuum magnitude from sourcing curvature, with every other candidate minimal modification eliminated by an explicit ledger.

Why this is hard, and the traps. The difficulty is not computing a number; it is running an elimination over a space of candidate modifications that has never been enumerated, let alone exhaustively searched. The trap that would fool a careless attempt is presenting a single alternative construction (say, one particular scalar-tensor relaxation mechanism) as "the" competitor, showing trace-decoupling beats it on some criterion, and declaring minimality proven. That is not an elimination ledger — it is a beauty contest between whichever two mechanisms happened to be written down. A second trap is smuggling the answer in through the choice of "minimality" metric itself: if the metric is defined post hoc to favor the number of degrees of freedom trace-decoupling happens to have, the proof is circular. A third, subtler trap: Weinberg's own 1989 no-go already rules out an entire class of candidate modifications (local, Poincaré-invariant, dynamically self-adjusting scalar-field relaxation mechanisms) — any elimination ledger that re-litigates that already-settled class rather than building on it as a prior result is wasted work and risks appearing to reopen a question that is already closed.

What closes it, target-blind, and what refutation looks like. The closure criterion: construct an explicit, finite, named list of all structural modifications to the gravity–matter coupling that are (a) local, (b) generally covariant or covariant up to the specific symmetry being relaxed, (c) reduce to ordinary GR in every sector that is not the pure-trace vacuum sector (preserving the extremely well-tested weak-field, light-bending, and gravitational-wave-speed phenomenology — GW170817's c_GW = c to 1 part in 10¹⁵ is a hard, already-passed filter any candidate must clear), and (d) remove the pure-trace vacuum magnitude from sourcing curvature. Then show, for each candidate other than trace-decoupling itself, either that it fails one of (a)–(d), or that it is equivalent to trace-decoupling under field redefinition (in which case it does not count as a distinct candidate). If trace-decoupling is the unique survivor, the posit is promoted from "AXIOM-OPEN, declared" to "forced premise," and the honest conditionality asterisk on the whole gate can be formally retired. A refuting result would look like: a second, genuinely distinct candidate mechanism — inequivalent to unimodular gravity under field redefinition — that also satisfies (a)–(d), also passes GW170817 and all other weak-field tests, and also removes the pure-trace vacuum magnitude from the field equations. If such a mechanism exists, trace-decoupling is a solution but not the solution, the minimality claim fails, and the honest report becomes "at least two inequivalent structural escapes exist" rather than "the natural escape is unique" — a weaker but still entirely respectable outcome, and importantly not a refutation of the DISSOLVED grade itself (the catastrophe framing still dissolves under either surviving candidate), only of the stronger uniqueness claim this hole is chasing.

Machinery to start from. The natural starting point is the constraint-elimination-ledger method already used elsewhere in this framework's closures: build the candidate space systematically from the known classification of local, covariant, second-order modifications to the Einstein–Hilbert action and its variation principle (Lovelock's theorem itself is the right anchor here — it already tells you that in D = 4, diffeomorphism invariance plus second-order field equations forces the G_μν + Λ g_μν = 8πG T_μν form given full covariant variation; the candidate space to search is exactly the finite-dimensional space of ways to relax "full covariant variation" while keeping (a)–(d)). Known points in this space to check for equivalence or elimination: unimodular gravity itself (√(−g) fixed); Henneaux–Teitelboim's canonical/Hamiltonian formulation (check whether it is a genuine alternative phase-space or a rewriting of the same theory); the Kaloper–Padilla sequestering construction (global 4-volume averaging via auxiliary rigid scalars — already flagged in this dossier's own material as leaving a history-dependent residual and requiring a finite/recollapsing cosmology, so it is a natural first candidate to test against criterion (c)/(d) and very possibly eliminable or reducible); Weinberg's own already-excluded class of local self-adjusting scalar mechanisms (cite as already eliminated, do not re-derive). The tensor identity proven in Leg 2 (TF[−V g_μν] = 0 identically, for all V, all points, D = 4, independently verified by symbolic and Monte-Carlo routes to residual 1.234×10⁻¹⁴ over V spanning 10⁻³⁰ to 10³⁰) is the fixed target every candidate must reproduce structurally — it is not itself in question, only whether it is reached by a unique route.

Leverage. This is explicitly named in the brief as the highest-leverage open item, and correctly so: closing it converts the entire Leg-2 mechanism from "a consistent and well-tested posit" into "the forced structural resolution of the Weinberg no-go," which would strengthen every downstream statement that currently carries the conditionality asterisk without touching the DISSOLVED grade itself (which does not require minimality — only consistency and survival of the stress tests, both already in hand). It is also the item most directly connected to the standing "can Λ's catastrophic gravitation be shown impossible, not merely unforced" conjecture: Hole 1's elimination ledger, if it also turns up a genuine quantization obstruction on the non-decoupled trace mode along the way (see Hole 4), is one of the three named routes to that stronger verdict.

Hole 2 — The condensate residual: is the finite QCD/electroweak vacuum-energy shift actually sequestered, or does it leak?

The precise open object. The L1 trace-drop theorem kills only the pure-trace part of the vacuum stress — TF[−V g_μν] = 0 for any constant V, at every point, exactly. But the universe's vacuum condensate is not static: across the QCD confinement transition (~150 MeV) and the electroweak symmetry-breaking transition (~100 GeV), the condensate energy density genuinely shifts by a finite, calculable amount. Numerically, the QCD-scale shift is of order Λ_QCD⁴ ~ 3×10³⁴ J/m³ (roughly 10⁴⁴ times the observed Λ), and the electroweak-scale shift is of order v⁴ ~ 10⁴⁵ J/m³ (roughly 10⁵⁵ times the observed Λ). These numbers are of exactly the same character as the 120-order catastrophe, just evaluated at low-energy scales instead of the Planck scale, and the L1 identity — being purely algebraic in tensor structure, magnitude-blind — does not by itself say anything about where the value these shifts represent ends up. The open object is a genuine sequestering proof: a demonstration that these finite, known-magnitude condensate shifts are absorbed into the single global integration constant Λ_int (fixed once by boundary data, per the unimodular field equation's Bianchi-integrated form) without re-inflating the effective cosmological term seen by local physics — i.e., that the shift really does behave like the "history-dependent residual" already flagged as a known feature of the Kaloper–Padilla sequestering construction, and not like a leak that reintroduces the catastrophe by the back door at low energy.

Why this is hard, and the traps. The trap that would fool a careless closure attempt here is confusing the already-proven result — that the pure-trace projection of any constant-times-metric term vanishes exactly, at every instant, including during a phase transition (the t-sweep in Test 2 confirms this with a maximum residual of exactly zero) — with the separate, unproven claim that the finite shift in the value of V itself is harmless once it has occurred. These are genuinely different statements. The Sherlock necessary-conditions ledger in the brief makes this precise: of five conditions needed for the full picture to hold, four are automatic consequences of Lorentz invariance and Bianchi-identity conservation (the condensate stays pure-trace pointwise even while its magnitude changes; the released latent heat is conserved into radiation, which is not pure-trace and correctly gravitates, exactly as standard cosmology requires for processes like BBN; the global integration constant is not kicked by epoch transitions in unimodular gravity; any pointwise wrongly-gravitating residual is exactly zero by the algebraic identity, not by a numerical accident). The fifth condition — that gravity decouples the trace pointwise and locally, which is the Hole 1 posit itself — is exactly where this hole and Hole 1 meet, and a sequestering proof that silently assumes global rather than local trace-decoupling (borrowing Kaloper–Padilla's 4-volume averaging without stating that this is a strictly different, additionally-structured claim) would be smuggling in machinery beyond what Leg 2 actually proved. A second trap: reporting the phase-transition leftover residual (already computed at ~10⁻¹³ J/m³, about 10⁻⁴ of Λ_obs, from the pointwise pure-trace cancellation) as if it already answered this hole. It does not — that number is the residual of the already-proven pointwise identity; Hole 2 is asking about the fate of the finite condensate-shift value itself propagating into Λ_int, a genuinely separate accounting.

What closes it, target-blind, and what refutation looks like. Closure requires an explicit four-volume (or equivalent global) cosmic-history integral construction — built on but not silently borrowing Kaloper–Padilla's sequestering machinery — that traces the QCD-scale and electroweak-scale condensate shifts through the full Bianchi-integrated unimodular field equation and shows the resulting shift to Λ_int is either (i) itself sequestered into the same global constant with no observable re-inflation of the local effective cosmological term beyond what is already measured, or (ii) exactly and provably the origin of the measured value (which would be a spectacular, and currently entirely unclaimed, result connecting this gate to the sibling gap05-value face — any such claim must be flagged immediately as target-tuning if approached backward from the known answer, and must instead be derived forward from the shift magnitudes stated above with no reference to the measured 2.3 meV figure during the construction). The success criterion is a finite, computed bound on the net contribution of the known condensate shifts to the observable Λ, together with an explicit statement of what boundary-condition assumption the bound depends on (mirroring the finite/recollapsing-cosmology assumption already flagged as a limitation of the Kaloper–Padilla construction). A refuting result looks like: a rigorous demonstration that the finite QCD or electroweak shift necessarily re-appears as a local, non-sequestered contribution to the effective cosmological term at a magnitude in serious tension with the measured (2.3 meV)⁴ value — i.e., that L1's magnitude-blindness at the pure-trace level does not extend to protecting the accumulated value across phase transitions, which would reopen exactly the low-energy version of the catastrophe the L1 identity was thought to dispose of at all scales.

Machinery to start from. Kaloper–Padilla's sequestering papers (the original global-constraint construction, its local/monodromy completion, and the paper explicitly treating the residual cosmological constant left over after sequestering) supply the technical scaffolding: rigid global scalar fields, a four-volume averaging constraint imposed at the level of the action, and an explicit accounting of what residual survives. The condensate-shift magnitudes to feed in are already computed and stated above (Λ_QCD⁴ ~ 3×10³⁴ J/m³; v⁴ ~ 10⁴⁵ J/m³); the conservation law to track them through is ∇^μ T^vac_μν = −∂_ν ρ_vac ≠ 0 during the transition, routed via total stress-energy conservation into the radiation sector (equation of state w = 1/3, non-pure-trace, correctly gravitating) exactly as already verified in Test 2's t-sweep. The Bianchi-integrated global equation G_μν + Λ_int g_μν = 8πG T_μν, with Λ_int a single integration constant fixed by boundary data, is the object into which the sequestering integral must be shown to consistently absorb the shifts.

Leverage. This is the hole most directly adjacent to the sibling gap05-value face (REDUCED-TO-MEASURED-ANCHOR) without being identical to it: a full closure would not derive the measured value of Λ from first principles (that remains this gate's explicit non-claim #1, and nothing here changes that), but it would materially strengthen the claim that the dissolution survives cosmological history, not merely a static or instantaneous snapshot — directly extending Test 2's already-passed phase-transition stress test from "the pointwise tensor identity survives" to "the accumulated value-level bookkeeping survives." It also bears on Hole 3, since both are asking, from different angles, whether the trace-decoupling mechanism holds up once the vacuum is treated dynamically and quantum mechanically rather than as a fixed classical background.

Hole 3 — The all-orders graviton-loop certificate: is unimodular gravity's quantum effective action really unimodular at every order, unconditionally?

The precise open object. Leg 2's radiative-stability argument (Test 1 in the brief) rests on the claim that the quantum effective action of unimodular gravity is itself unimodular — i.e., that no loop-generated counterterm of the form g_μν · C (for any constant C, at any loop order, sourced by any particle species up to the cutoff) can re-enter the trace-coupled sector, because the traceless projector annihilates every such term regardless of loop order or threshold. This claim is attributed in the literature to Padilla–Saltas (arXiv:1712.09903) and Smolin (arXiv:0904.4841), both arguing for all-orders robustness. The honest caveat, carried explicitly in this dossier's own material, is that this all-orders claim is inherited from a static-background literature — it was derived and checked in a setting where the vacuum condensate is not undergoing time-dependent phase transitions. What is owed is either an explicit order-by-order (BPHZ-style) renormalization construction confirming the all-orders unimodularity claim directly, or — the currently-assumed shortcut — a discharge of a specific smoothness/regularity assumption (labeled "assumption S" in the brief: a scaling condition of the rough form σ(O(1)·z) ~ O(1)·σ(z) on the relevant loop functional) that would let the static-background all-orders result be imported wholesale into the time-dependent setting without re-deriving it from scratch.

Why this is hard, and the traps. The difficulty is genuinely technical: an order-by-order BPHZ renormalization proof for a gauge theory of gravity is a substantial undertaking even in the static case, and repeating it with a time-dependent background condensate multiplies the bookkeeping considerably (each loop diagram must be checked not just for its trace structure at a fixed background but for whether time-dependence of that background introduces new divergent structures that the static-case argument never had to confront). The trap here is treating "the static-literature result exists" as equivalent to "the time-dependent case is covered" — the brief is explicit that this has not been independently re-derived or stress-tested against a genuinely time-dependent condensate prior to this gate's own audit, and the audit that was done (the phase-transition t-sweep of Test 2) verified the classical tensor-structure survival of the trace-drop across a phase transition, which is a different and weaker statement than an all-orders quantum loop certificate. Conflating "the classical pointwise identity survives time-dependence" (proven, residual exactly zero) with "the all-orders quantum effective action stays unimodular under time-dependence" (assumed, not independently re-derived) is exactly the trap to avoid — the two are adjacent but distinct claims, and only the first has been checked here.

What closes it, target-blind, and what refutation looks like. The success criterion is either (i) an explicit BPHZ-style construction showing that renormalization of the unimodular-gravity effective action, carried out order by order with a genuinely time-dependent vacuum background (modeling the QCD or electroweak transition), produces no counterterm that survives the traceless projection at any finite loop order, or (ii) a proof that assumption S holds for the specific functional form of the condensate's time-dependence at the QCD and electroweak transitions (rather than being merely plausible by analogy with the static case), which would license importing the Padilla–Saltas / Smolin static-background result directly. Either route, if successful, upgrades Test 1's status from "survives, with an inherited-static-literature caveat" to "survives, independently certified in the dynamical setting" — a strengthening of an already-passed test, not a new claim. A refuting result looks like: an explicit loop diagram, computed with a time-dependent background condensate, whose divergent part survives the traceless projection — i.e., a genuine order in the loop expansion at which the "no leak" property (verified so far only classically and only in the static-background quantum literature) actually fails once both time-dependence and quantum loops are combined. Such a result would not undo the DISSOLVED grade (which does not depend on Test 1 succeeding — Leg 1's Scale-root category-error argument is independent and load-bearing on its own), but it would demote Test 1 from "survives" to "survives classically, fails quantum-radiatively under dynamical conditions," a materially important fact for the already-open gap05-stability sibling face.

Machinery to start from. The BPHZ (Bogoliubov–Parasiuk–Hepp–Zimmermann) renormalization procedure is the standard order-by-order machinery for exactly this kind of all-orders claim; it must be adapted to the constrained (√(−g) = fixed) variational structure of unimodular gravity, building on the Henneaux–Teitelboim canonical/Hamiltonian formulation to correctly identify the physical (unconstrained) degrees of freedom being renormalized. The starting quantum effective actions to examine are exactly those already cited as claiming all-orders unimodularity in the static case (Padilla–Saltas arXiv:1712.09903; Smolin arXiv:0904.4841); the time-dependence to inject is the same condensate profile already used in Test 2's t-sweep (the QCD and electroweak transition histories), so this hole's closure is a natural quantum-mechanical extension of a classical computation already performed and banked.

Leverage. Closing this hole would remove the single named caveat on Test 1 (radiative loop stability of the dissolution mechanism itself), converting it from "survives, with an inherited-literature caveat" to "survives, independently and directly certified." It is also the most direct technical bridge to the gap05-stability sibling face: a BPHZ-style all-orders construction, if it succeeded far enough, is one of the few conceivable routes to a genuine per-tower protector — though the brief is explicit that the object which would actually solve gap05-stability (a new Λ-construction supplying vacuum-energy protection at every tower scale, with no per-scale re-tuning, surviving the Weinberg no-go) is graded as a genuinely open, Clay-class, external problem, and is not something this hole's closure would automatically hand over. Discharging Hole 3 strengthens the mechanism's internal consistency; it does not, by itself, produce the missing protector.

Hole 4 — Is there a hidden quantization obstruction on the gauged trace mode, and would it upgrade "unforced" to "impossible"?

The precise open object. Right now the dissolution's status is "the catastrophe is optional, not impossible": standard GR with the full-trace coupling remains logically consistent, merely requiring what every naturalness principle would call an absurd degree of fine-tuning. The open, currently-unresolved question is whether there exists a genuine obstruction — a quantization pathology, an inconsistency, a loss of unitarity or of a well-defined path integral — that would appear specifically when one tries to gauge the trace mode of the metric (i.e., to promote the compensating conformal/volume degree of freedom that full-trace coupling requires to a dynamical field) while it remains perfectly well-defined in the unimodular (trace-frozen) theory. If such an obstruction exists and survives all known cures, the honest field would collapse from a two-horse race (natural decoupling with zero tuning vs. absurd 120-digit fine-tuning) to a one-horse race — the fine-tuned alternative would not merely be ugly, it would be formally inconsistent, and the dissolution would upgrade from "the natural, elegant, well-tested choice" to "the only mathematically consistent choice."

Why this is hard, and the traps. This is the hardest and most speculative of the seven holes, and the brief is explicit that it is currently an audit / no-forcing status — a "banked clean negative": no obstruction has been found, but the search has not been exhaustive either. The central trap, stated explicitly and worth repeating verbatim in spirit: a clean negative stays a clean negative — do not manufacture one. It would be easy, and dishonest, to construct an apparent obstruction by imposing an artificial regularity condition on the trace mode's path integral that happens to fail, and then present that failure as if it were forced by the physics rather than by the arbitrary choice of regularity condition. Any claimed obstruction must be checked against every known cure for the naive version of that obstruction before being reported as genuine — a graviton-mode quantization subtlety that is cured by, say, an appropriate choice of gauge-fixing or measure is not an obstruction, it is a solved technical wrinkle. A second trap: conflating this hole with Hole 1. Hole 1 asks whether trace-decoupling is the minimal sufficient modification among consistent alternatives; Hole 4 asks whether the non-decoupled alternative (ordinary, fully-covariant GR with its associated fine-tuning) is itself internally inconsistent. These are logically independent questions — Hole 1 could close with trace-decoupling proven minimal among several consistent options, while Hole 4 remains open (no consistent alternative is ruled out, only outcompeted on elegance); or Hole 4 could close with an obstruction found, which would immediately resolve Hole 1 as a side effect (if the alternative is inconsistent, it cannot be a competing minimal candidate).

What closes it, target-blind, and what refutation looks like. Closure in the "obstruction found" direction requires an explicit, checkable inconsistency in the quantization of the trace mode under full covariant coupling — for instance, a genuine non-perturbative unitarity violation, a topological obstruction to defining the relevant path integral measure globally, or a no-go theorem analogous in rigor to Weinberg's 1989 result but targeting the trace sector's quantization rather than the relaxation-mechanism class Weinberg himself ruled out. The success criterion is a result that survives the "known cures" checklist (does not evaporate under a different choice of gauge-fixing, regularization, or path-integral measure) and is independently reproducible by a second computational or analytic route, exactly as Leg 2's tensor identity was cross-checked by two independent routes before being banked. Closure in the "no obstruction exists" direction — equally a legitimate and useful terminal outcome — is a proof or a sufficiently exhaustive computational survey showing the naive full-trace-coupled theory quantizes consistently after all, which would permanently retire this hole (not as a failure, but as a genuine, banked clean-negative result narrowing the search space for good) and leave the field firmly at "optional, not impossible" with no further live candidate route to strengthen it via this particular door. A refuting result for the optimistic direction (i.e., evidence against there being any such obstruction) looks exactly like that clean-negative outcome: an explicit, well-posed quantization of the fully-covariant trace-coupled theory that survives scrutiny, closing off this route to "impossible" for good — which is a perfectly respectable, standard-issue closure by dissolution-of-the-question, not a defeat.

Machinery to start from. The relevant technical territory is the quantization of the conformal/volume mode of the metric in ordinary (non-unimodular) quantum gravity — an old and partially studied subject (the conformal-factor problem in Euclidean quantum gravity, where the conformal mode's kinetic term has the "wrong sign," is a superficially related but logically distinct wrong-sign pathology already known in the literature and worth explicitly distinguishing from whatever new obstruction, if any, this hole is searching for). The comparison object throughout should be the unimodular theory's own well-defined quantization (already used as the baseline for Leg 2 and Test 1), against which any claimed obstruction in the fully-covariant theory must be shown to be a genuine asymmetry, not an artifact of a choice made differently (but without loss of generality) on the unimodular side.

Leverage. This is the single highest-ceiling, lowest-probability item on the list. If it closes in the "obstruction found" direction, it does not just strengthen this gate — it retires the honest conditionality asterisk entirely, upgrades the dissolution from "elegant and well-tested" to "forced by consistency," and would very likely also resolve Hole 1 as a corollary (an inconsistent alternative cannot be a competing minimal candidate). It is explicitly named as one of three possible routes to that stronger verdict (alongside a holographic/finite-information bound and a trans-mechanism uniqueness theorem, the latter essentially Hole 1 pursued to its logical end) — currently the most credible of the three, and currently blocked.

Hole 5 — Soundness and completeness of the burden harness (R1–R4) against the true ~122-order-of-magnitude gap

The precise open object. The "burden" side of the whole discussion — the table of predicted vacuum-energy densities at various cutoffs (Planck: ~3×10¹¹¹ J/m³, ratio ~10¹²¹; electroweak: ~10⁴⁷ J/m³, ratio ~10⁵⁶; QCD: ~10³³ J/m³, ratio ~10⁴²) — is computed by a specific harness of four component estimates (labeled R1 through R4 in the underlying ledger) that between them are meant to soundly and completely capture the full ~122-order-of-magnitude burden the catastrophe framing is built on. What is owed, and currently unaudited, is a formal soundness-and- completeness check of that harness itself: does R1–R4 actually cover every contribution that a careful accounting of "the naive QFT vacuum-energy estimate" would include, and does each of R1–R4 individually compute what it claims to compute, with no double-counting or silent omission?

Why this is hard, and the traps. This is explicitly flagged in the brief as an audit-track item, not a physics question — its resolution changes bookkeeping precision, not physical conclusions. The trap is treating a discrepancy found here as if it were physically significant: if, say, R1–R4 turn out to undercount the true burden by a factor of 10² somewhere, that changes "the mismatch is 10¹²¹" to "the mismatch is 10¹¹⁹" or "10¹²³" — a correction at the level of bookkeeping precision, utterly inconsequential to either of the two dissolution legs (Leg 1's category-error argument does not depend on the exact exponent, only on the artifact/anchor typing; Leg 2's tensor identity is exactly zero regardless of V's magnitude by construction). Presenting a resolution of this hole as if it affected the DISSOLVED grade, in either direction, would be a category mistake about what kind of fact this is.

What closes it, target-blind, and what refutation looks like. Closure is a formal proof (or a sufficiently careful worked re-derivation) that R1 through R4 jointly and without double-counting reproduce the full naive zero-point-energy sum to whatever cutoff is chosen, cross-checked against the textbook derivation ρ_vac ≈ (ℏc/16π²)·k_cut⁴ at each of the three benchmark cutoffs already tabulated. A refutation would be discovering a genuine omission or double-count in R1–R4 that shifts one or more of the tabulated ratios by a material amount — again, a bookkeeping correction, not a challenge to either dissolution leg.

Machinery to start from. Direct comparison of each component estimate R1–R4 against the closed-form zero-point sum formula at each of the three cutoffs already in the table, checking dimensional consistency and absence of overlap between whatever decomposition R1–R4 uses (e.g., by particle species, by momentum shell, or by loop order).

Leverage. Low. This item sharpens the presentation of the burden side of the ledger; it does not touch either dissolution leg, the measured-value face, or the stability face. It is included for completeness because the framework's own discipline requires every named hole to be tracked, not because it is expected to move any physics conclusion.

Hole 6 — The non-perturbative-QCD dependence of the condensate-shift evaluation (exported, tracked, not this gate's to resolve)

The precise open object. The R4-style evaluation feeding the QCD-scale condensate-shift magnitude (Λ_QCD⁴ ~ 3×10³⁴ J/m³, used in Hole 2's accounting) may itself depend on genuinely non-perturbative QCD physics — the same physics underlying quark confinement and chiral symmetry breaking, which does not admit a simple perturbative loop-expansion treatment the way the electroweak-scale shift does.

Why this is hard, and the traps. Non-perturbative QCD is a notoriously difficult, largely lattice-computation-driven domain in its own right, entangled with the Yang–Mills mass-gap problem — a Clay Millennium-class open problem. The trap is attempting to resolve this hole "in house" as part of closing Hole 2: doing so would silently import an unresolved, external, extremely hard physics problem into what is otherwise a bookkeeping/sequestering question about this gate's own mechanism, inflating the scope of Hole 2 far beyond what a specialist closing this gate's residuals should attempt.

What closes it, target-blind, and what refutation looks like. This hole is correctly exported to the framework's separate Yang–Mills / non-perturbative-QCD gate family — its closure criterion, success/failure modes, and machinery belong there, not here. The honest move for this dossier is to name the dependency, flag it as out of scope, and hand it off rather than either attempting it or pretending it does not exist. If and when the external non-perturbative-QCD family closes (by whatever route it closes, most plausibly a rigorous lattice-QCD-anchored value for the relevant condensate with controlled systematic uncertainty), Hole 2's accounting should be revisited using whatever refined condensate-shift value results.

Machinery to start from. Not this gate's to specify; the pointer is simply that Hole 2's R4-style evaluation consumer should track the external non-perturbative-QCD / Yang–Mills gap family and update the shift magnitude Λ_QCD⁴ ~ 3×10³⁴ J/m³ if and when a more rigorous value becomes available there.

Leverage. Indirect, via Hole 2 only. A refined non-perturbative condensate value would sharpen Hole 2's sequestering-integral inputs but would not change this gate's own grade or mechanism.

Hole 7 — Editorial scope discipline: keeping "survives all loop orders" pinned to the catastrophe-half only

The precise open object. This is a wording and scope-discipline item, not a physics gap: every future restatement of this gate's result (in talks, follow-up papers, summary tables, or cross-references from the sibling faces) must keep the claim "the trace-decoupling mechanism survives loop corrections and phase transitions" strictly attached to the catastrophe-half object (does the giant vacuum-energy magnitude have to gravitate) and must never be allowed to drift, by omission or careless phrasing, into implying that the value of Λ is thereby protected or explained, or that the radiative-stability ("new cosmological constant") problem is thereby solved.

Why this is hard, and the traps. The trap is exactly the one named at the top of the brief: dissolution quietly sliding into implied solution. Because Test 1 and Test 3 genuinely do show loop-order and phase-transition robustness of the mechanism, it is linguistically very easy for a summary sentence to compress "the mechanism that dissolves the catastrophe is loop-stable" into "the cosmological constant problem is loop-stable" — a small wording slip with a large epistemic consequence, since the latter reads as solving gap05-stability, which remains CERTIFIED-IRREDUCIBLE.

What closes it, target-blind, and what refutation looks like. There is no physics success criterion here; the closure criterion is purely editorial: every downstream statement of the loop-stability and phase-transition results carries an explicit, un-droppable disclaimer scoping them to the catastrophe-framing dissolution, with the value and stability faces named as separate and still open every time. "Refutation" in this context would simply be catching an instance of the drift happening and correcting it — there is no experiment or calculation that bears on this hole.

Machinery to start from. A standing editorial checklist attached to every future write-up of this material, modeled on the non-claims list already enforced in this dossier (see the explicit non-claims: not a derivation of the value; not a solution to radiative stability; not novel physics; not a claim of impossibility; the LAM-2 branch does not predict Λ_obs).

Leverage. Purely reputational/epistemic hygiene — but load-bearing for exactly that reason. A framework whose confident claims are precisely scoped earns the right to be believed on its next confident claim; one caught letting scope drift even once invites exactly the skepticism this entire dossier is structured to survive.

The one wall named and correctly left untouched

Distinct from all seven holes above — because it is not a hole this gate owns any path toward, and attempting it would itself be a category error — is the single object that would actually solve the stability face: a genuinely new cosmological-constant-protecting construction supplying vacuum-energy protection at every tower scale simultaneously, with no per-scale re-tuning, surviving Weinberg's 1989 no-go on its own terms. The brief is explicit and correct that this is the open cosmological-constant problem in the sense the entire field has meant it since 1989 — external to this framework, Clay-Millennium-adjacent in difficulty, and not something any of the seven holes above, even if every one of them closed favorably, would hand over as a byproduct. Producing a claimed solution to it here would be fabricated physics. The framework grades this door shut and does not knock on it again; it belongs entirely to the sibling gap05-stability gate, graded CERTIFIED-IRREDUCIBLE, and is named here only so a reader assembling the full seven-hole picture does not mistake "every hole in this list eventually closes" for "the cosmological constant problem itself is on a closure path" — it is not, and no hole above claims otherwise.

The residual that is this gate's own, stated one final time plainly

Stripping away the sibling-face holes (2, 3, 5, 6 belong to value/stability/audit bookkeeping, not to the catastrophe object itself; 7 is pure editorial hygiene), the catastrophe-half object carries exactly one live residual of its own: the conditionality asterisk tied to Holes 1 and 4 together — trace-decoupling is a consistent, well-tested, multiply-cross-checked, but not-yet-forced posit. Closing Hole 1 (minimality) or Hole 4 (a quantization obstruction on the alternative) would retire that asterisk and upgrade the dissolution from "the natural, elegant escape" to "the necessary one." Failing to close either leaves the grade exactly where it already, correctly, sits: DISSOLVED-GIVEN-root, RESOLVED +0 — a real terminal, honestly conditional, not a hedge.

Honest ceiling, scope & the endpoint

Why this section exists, stated plainly

Every preceding section has built toward one conclusion — that the "worst prediction in the history of physics" is a manufactured comparison, not a physical fine-tuning demand — and has shown the machinery, the cross-checks, and the two independent roots that force it. This closing section does the opposite work on purpose: it draws the ceiling around that conclusion with a ruler, states in so many words what is not being claimed, prices every anchor that was spent to get here, and then writes the terminal in the exact form the framework requires. A dissolution that cannot state its own boundary is not a dissolution a reader should trust; this one can, and does.

The single fact that organizes everything below: this gate is one face of a three-faced object sharing one identity (SAG-LAMBDA), and the three faces grade differently. lambda-catastrophe — the gate this document is about — asks why does the vacuum's energy not gravitate at its naively estimated, catastrophic magnitude? and reaches DISSOLVED-GIVEN-root (Invariance / Scale), RESOLVED +0. Its sibling gap05-value asks what derives the number Λ = (2.3 meV)⁴ itself? and stays REDUCED-TO-MEASURED-ANCHOR — a Weinberg-open question, unaddressed here by construction. Its other sibling gap05-stability asks is there a symmetry protecting that number against every loop order and phase transition? and stays CERTIFIED-IRREDUCIBLE — a hard-open Weinberg-class wall, also unaddressed here by construction. Conflating any of the three is the single most common way this result gets over-claimed in the literature and it will not happen in this document.

1. What is explicitly NOT claimed

(a) This is not a derivation of the measured value. Λ = (2.3 meV)⁴ ≈ 5×10⁻¹⁰ J/m³ ≈ 1×10⁻¹²² M_Pl⁴ enters this gate exactly once, as a Tier-1 measured anchor — the fifth "just-is" number sitting alongside {M_Pl, α_i(M_Z), y_t, |V_us|} in the irreducible ledger. No equation anywhere in the derivation chain (§3 of the full dossier; the trace-drop theorem of §6 below) outputs a number that is then compared to 2.3 meV to check agreement. The theorem TF[T^vac_μν] = 0 is proved for arbitrary V — the identity does not know, does not use, and does not need to know what V numerically is. This is what "target-blind" means operationally: the Causal-Order audit (Layer-2 screen, §4.3 of the geometry discussion) verified that the SCALE-ARTIFACT classification of k_cut⁴ depends only on the presence or absence of an admissibility bridge, never on Λ_obs's numeric value — the same verdict would be returned for a counterfactual universe with a different observed dark-energy density. Deriving 2.3 meV from the frozen 13-dimensional geometry is a different, harder, and still-open problem, assigned to gap05-value, and this document does not attempt it, borrow from it, or quietly lean on it. The two facts that are used from the geometry pack — M_Pl = 1.220900000000000×10¹⁹ GeV as the ruler, and the K₆ curvature data used only to pin the frozen 13D object the Shape-root check ran against — never touch the value of Λ itself; the LAM-0 no-go (§3.9 of the derivation chain) proves explicitly that smooth pure-K₆ compactification curvature does not predict Λ_obs at any compactification scale, closing off the tempting shortcut of reading the value off the same geometry that supplies the dissolution.

(b) This is not a solution to the radiative-stability problem. No construction in this gate supplies a per-tower, non-fine-tuned, Weinberg-surviving protector for the value Λ against quantum corrections. The L2 value-insufficiency theorem proved in §3.4 of the derivation chain is the sharpest statement of why not: under the trace-decoupling premise, Bianchi identity plus stress-energy conservation force the effective cosmological term to be a single global integration constant Λ_int fixed by boundary data, and an additive matter-loop shift L_m → L_m + δV (δV ~ M⁴, a constant) maps as Λ_int → Λ_int + δV — the identity map. The oft-repeated slogan "an integration constant has no beta function, so there is nothing left for 122 orders of magnitude to renormalize" is true but irrelevant: there is no running coupling, but the boundary value that replaces it is still shifted additively, order by order, exactly as in ordinary GR. The premise proved here protects the tensor structure of the source (nothing gravitates catastrophically), not the numerical value of the residual constant (nothing stops it drifting by O(M⁴) per threshold). This is precisely why gap05-stability is graded CERTIFIED-IRREDUCIBLE rather than closed by this gate's result, and precisely why a reader must not read "the catastrophe dissolves" as "the fine-tuning problem is solved" — they are different problems, and only the first is closed here.

(c) This is not novel physics. Unimodular gravity's field equations trace to Einstein (1919); the observation that trace-decoupling evades Weinberg's no-go is in Weinberg's own 1989 review; the sequestering construction that attempts to go further is Kaloper–Padilla (2013 onward). What this gate contributes is not a new mechanism but a rigorous multi-test audit of an existing one — the symbolic and Monte-Carlo re-verification of the trace-drop identity, the phase-transition time-sweep, the chamber-cancellation refutation, the Granularity P1 negative, and the explicit Scale-root re-typing of the comparison as a category error — plus an honest epistemic map of exactly which sibling questions stay open. Novelty is not claimed and would be a red flag if it were.

(d) This is not a proof that the catastrophe cannot exist — only that it need not. Standard general relativity, in which the metric couples to the full stress-energy tensor including its trace, is an internally consistent theory; in that theory the ~120-order cancellation genuinely would need to be tuned, and nothing in this gate refutes that theory's consistency. The dissolution is conditional on one elegance/axiom posit — "gravity decouples the trace locally," i.e., unimodular gravity — which is natural, passes every test run against it (radiative stability under Test 1, phase-transition robustness under Test 2, the GW170817 null-cone constraint automatically respected to 1 part in 10¹⁵), and is overwhelmingly favored on Ockham grounds, but is not forced by any theorem in hand. The honest maximal claim the evidence supports is a two-horse race: natural trace-decoupling (zero tuning required, survives every stress test applied) against the most extreme fine-tuning known in physics (a constant re-tuned to 120 digits at every loop order, protected by no symmetry). "Can exist only as a tuning every naturalness principle rejects" is the honest statement; "cannot exist" is not yet available, and is not claimed.

(e) This is not a claim that the LAM-2 vacuum-pinning branch predicts the observed value. A separate corpus closure (the G-H-10 / LAM-2 line of work) renders the cosmological-constant sector "internally specified" via a renormalized vacuum functional evaluated at a stable moduli point, but only together with one explicit matching datum, Λ_match, supplied by hand. That is an honest one-parameter branch — better than an unconstrained free parameter, because the functional form and the stability point are geometric — but it is emphatically not a zero-input geometric prediction of Λ, and this document does not present it as one anywhere.

(f) Selection is not derivation, and this distinction is load-bearing here specifically. The trace-decoupling premise was not derived from a deeper principle and then found to dissolve the catastrophe; it was selected because it dissolves the catastrophe and survives the stress tests thrown at it. That is legitimate scientific reasoning — Ockham's razor applied to a genuine two-horse race, with the losing horse (standard GR) staying fully consistent — but it is not the same epistemic act as a forced derivation, and conflating the two is exactly the "selection masquerading as reduction" failure mode this framework is built to catch and refuse (the same failure mode flagged against the 1987 anthropic argument for Λ, which is explicitly a restatement dressed as a derivation). Hole 1 below names the single open object that would upgrade selection to derivation, and it remains open.

(g) Given-Λ is not derivation-of-Λ. To say it a third way, because it is the single easiest place for a careless reader to over-claim: every number that plays the role of Λ anywhere in this document — 5×10⁻¹⁰ J/m³, (2.3 meV)⁴, 10⁻¹²² M_Pl⁴ — is given, consumed as a boundary datum against which the theorem's consequences (no forced gravitating catastrophe; a leftover residual bounded by the algebra) are checked, never produced by the theorem. If a future reader of this gate sees "Λ derived" attributed to this result, that attribution is wrong, and this paragraph is the correction.

2. What the dissolution actually rests on — the anchors paid, named exactly

Nothing here is free. Every step in the argument that reaches DISSOLVED-GIVEN-root cashes out against a specific anchor, axiom, or measured constant, and the honest accounting is:

Measured anchors consumed (never derived, never eliminated — floor accounting stays ≥ 1):

• Λ = (2.3 meV)⁴ ≈ 5×10⁻¹⁰ J/m³ ≈ 1×10⁻¹²² M_Pl⁴ — Tier-1 measured anchor (Planck 2018 + SNe Ia + BAO), observables OBS-0026 (cosmological-constant density parameter) and OBS-0232 (dark-energy density parameter), anchor group SAG-LAMBDA. Consumed purely as the boundary datum the L2 map lands on; never back-solved, never a target.
• M_Pl = 1.220900000000000×10¹⁹ GeV (ordinary Planck mass; reduced M̄_Pl = M_Pl/√(8π) ≈ 2.4357×10¹⁸ GeV) — the ruler that converts the ~120-order burden into a dimensionless ratio (Λ/M_Pl⁴ ≈ 10⁻¹²²) and fixes the Planck-cutoff estimate ρ_vac ~ 3×10¹¹¹ J/m³ at ~10¹²¹× the observed value. One of the framework's four irreducible free inputs {M_Pl, α_i(M_Z), y_t, |V_us|}.
• c_GW = c to 1 part in 10¹⁵ (GW170817) — not used to build the dissolution but consumed as a live consistency check on it: unimodular gravity's graviton and null cones are locally identical to standard GR's, so this bound is automatically, not coincidentally, respected. A modification that failed this check would falsify the trace-decoupling posit outright; it does not fail it.
• T_CMB = 2.725 K (FIRAS) — thermal-history context (denominator scale for the phase-transition energy-budget bookkeeping in Test 2); not a target of this gate, consumed only to make the "released latent heat flows into radiation, which correctly gravitates" step quantitatively checkable.

The one axiom posit paid — stated once more, precisely, because it is the load-bearing cost of the whole result: gravity's local field equation couples only to the trace-free part of its source (equivalently: the theory is invariant only under volume-preserving diffeomorphisms, unimodular gravity, √(−g) = 1 fixed under variation). This is not derived from the 13-dimensional geometry — the Shape root returns PASS/no-purchase on this question precisely because the frozen arena 𝔅_active contains no cosmological-constant term to begin with and has nothing to say about how a 4D effective theory should couple to a trace, one way or the other. The posit is imported from the general-relativity literature (Einstein 1919; Henneaux–Teitelboim; Ellis), tested against the frozen geometry's consequences (it must not disturb GW170817, must survive phase transitions, must survive loop order — and does, on all three counts), but not manufactured or forced by the geometry itself. This is the honest price of admission, and it is why the terminal below is qualified "conditional," not qualified away.

The Scale-root admissibility ruling paid: the SCL-A through SCL-J taxonomy (dimensionless-derived / scale-free-invariant / anchored / scheme-fixed / paid / fitted / consistency-coefficient / dissolved / open-bridge) is itself a piece of the framework's methodological apparatus, applied here to rule that k_cut⁴ has no SCL-J bridge certificate and is therefore an unanchored SCALE-ARTIFACT, never eligible to stand as a genuine "prediction" next to a MEASURED-ANCHOR. This ruling is exhaustive and closed (nine exclusive categories, k_cut⁴ falls in exactly one), and it is what turns "why is the ratio 10¹²¹" into "the ratio is a category error" rather than into a numerically-solved cancellation. Paying this cost means accepting the admissibility taxonomy as the correct discipline for magnitude claims; that taxonomy is used uniformly across this framework's gates, not invented ad hoc for this one.

Granularity's corroborating cost: the P1 cost-floor computation, run independently on the companion value-face gate, computed a finite supertrace ~M_cutoff⁴ at M_cutoff = 1/R₀ and missed the observed value by ~113 orders of magnitude — a clean, banked negative result that confirms (rather than derives) that the naive Planck-cutoff estimate is an unpaid, ad hoc convention with no forcing from the framework's own granularity discipline. This costs nothing new to invoke — it was already computed and refuted elsewhere — but it is listed here because it is consumed as corroborating evidence for the Scale-root classification, not manufactured fresh for this document.

What was explicitly NOT spent: no new free parameter was introduced anywhere in this derivation chain; no fit was performed; no post-hoc rescaling of κ, u_chamber, or any curvature invariant occurred to make either theorem come out; the chamber-cancellation attempt to derive a small Λ internally (§3.7 of the derivation chain) was tried, computed, and refuted (supertrace ratio 0.58 at k = 0, THEOREM_REFUTED, banked as a branch-kill) rather than quietly discarded — a negative result that costs the corpus nothing to state and strengthens rather than weakens the honesty of the accounting here.

3. The three-fact structure, restated once more for the ceiling

Three logically independent statements about Λ carry three logically independent dispositions, and keeping them separate is the entire discipline this section exists to enforce:

1. Why is there a Λ term at all, in any diffeomorphism-invariant D = 4 theory with second-order field equations? Answer: it is forced to be allowed by Lovelock's theorem — the unique such theory is G_μν + Λ g_μν = 8πG T_μν, full stop, no further input required. This question is CLOSED as a wall (owner-adopted 2026-07-02); there is nothing further to derive here, and nothing in this gate revisits it.
2. Why does that term's magnitude not gravitate at its catastrophic, naively-estimated size? Answer: because comparing ρ_vac_QFT ~ k_cut⁴ (a scale-artifact with no admissibility bridge) to Λ_eff (a measured anchor) is a category error, and because — independently — a Lorentz-invariant vacuum stress is necessarily pure-trace and vanishes identically under trace-free projection, for any magnitude, at every point, in a fully general metric. This is the question this gate answers, and its answer is DISSOLVED-GIVEN-root (Invariance / Scale), RESOLVED +0.
3. What sets the actual observed magnitude, and is it protected against quantum corrections at every scale? Both remain open: the magnitude is a measured anchor (gap05-value, REDUCED-TO-MEASURED-ANCHOR, Weinberg-open — no derivation attempted or implied here), and the protection question is a hard, external, Clay-class wall (gap05-stability, CERTIFIED-IRREDUCIBLE — the L2 theorem proves the trace-decoupling premise alone does not supply it, and no construction in this corpus or the wider literature does either).

A reader who takes away only one sentence from this ceiling should take away this one: presence is forced (Lovelock), the catastrophe is a category error plus a magnitude-blind tensor identity (this gate, DISSOLVED), and the magnitude itself is measured, not derived, and not yet protected (the two open siblings). Three questions, three answers, no bleed-through between them.

4. The residuals, shown once more without being rolled into a hedge

Seven hole families were tracked against this three-face object over the course of the audit. None of them downgrade this gate's own terminal, because none of them are load-bearing for the catastrophe-half claim specifically — they are load-bearing for the sibling faces or for a strictly stronger claim (necessity rather than dissolution) that this gate does not make. Naming them here, once, plainly, is what keeps "dissolved" from silently sliding into "solved" in a reader's mind:

• Hole 1 (R-uniqueness, OPEN, highest leverage). No elimination ledger yet proves trace-mode freezing is the minimal structural change that dissolves the catastrophe among all candidate modifications — the premise is currently AXIOM-OPEN/declared, chosen because it works and survives tests, not because a completeness argument forces it uniquely. Closing this would upgrade the premise from "selected" to "forced," which is precisely the selection-vs-derivation line drawn in §1(f) above.
• Hole 2 (condensate residual, OPEN/partially discharged). The trace-free identity kills only the pure-trace part of the vacuum stress; the finite, history-dependent QCD condensate shift (~3×10³⁴ J/m³, ~10⁴⁴× Λ_obs) and electroweak shift (~10⁴⁵ J/m³, ~10⁵⁵× Λ_obs) still require an explicit sequestering construction to show they do not re-inflate the trace-free equation. Test 2's t-sweep shows the tensor-structure part of this worry is unfounded (residual leftover today ~10⁻¹³ J/m³ ≈ 10⁻⁴ Λ_obs, negligible) but the deeper sequestering proof for the finite shifts is not yet built.
• Hole 3 (all-orders graviton loop, OPEN/certificate-conditional). The claim that sequestering survives all loop orders currently rests on an in-the-action argument inherited from the static unimodular-gravity literature (Padilla–Saltas; Smolin), not on an independently re-derived order-by-order (BPHZ-style) construction, and depends on an unproven smoothness assumption. Time-dependence was checked here and adds no new failure channel, but the all-orders claim itself is carried, not re-proved.
• Hole 4 (quantization obstruction, banked clean negative). No genuinely new obstruction on the gauged trace mode has been found that survives all three proposed cures; this is an honest audit-clean negative, not manufactured to look stronger or weaker than it is, and stays open as a potential route to upgrading dissolution to necessity.
• Hole 5 (burden-predicate soundness, audit-track). The R1–R4 harness quantifying the "~122-order burden" has not itself been proved sound and complete against the true burden; this is bookkeeping hygiene, not a physics gap, and does not touch the tensor identity or the Scale-root ruling.
• Hole 6 (non-perturbative QCD tie, exported). Some condensate-evaluation refinements may depend on the non-perturbative Yang–Mills sector; this is handed off to the relevant external gate family rather than solved or ignored here.
• Hole 7 (editorial scope, load-bearing for honesty only). Ensuring "survives all loop orders" is always read as attaching to the catastrophe-half claim and never silently extended to "protects the value" is a wording discipline, not a physics debt — but it is exactly the discipline this whole section exists to enforce, and it is being enforced here.

None of these seven reopen the gate's own terminal. They are the named price of an honest ceiling around a real result, not evidence the result is softer than stated.

The one genuine physics wall named and left alone, on purpose: a Λ-construction supplying vacuum-energy protection at every tower scale, with no per-scale re-tuning, surviving the Weinberg no-go — that object, if it existed, would close the stability face. It is the open cosmological-constant problem in its sharpest form: external, Clay-class, and explicitly not an object this framework or this gate attempts to manufacture (doing so would be fabricated physics). The door is graded shut, correctly, and belongs to gap05-stability, not here.

5. The falsifier, restated as part of the ceiling

The dissolution is not closed by fiat; a live, named falsifier stands against it. If a scheme-independent, SCL-J-bridge-certified ultraviolet-cutoff derivation were produced from the frozen anchors {M_Pl, α_i, y_t, |V_us|} — i.e., if someone actually paid the admissibility cost the naive estimate currently fails to pay — and that derivation's k_cut⁴ still came out ~10¹²⁰× the observed Λ, the Scale-root leg of this dissolution would be falsified: the mismatch would be reinstated as a genuine anchored-versus-anchored problem, not a category error. No such bridge exists today, in this corpus or in the literature at large, and none is presented here as existing. The falsifier is stated because a dissolution that cannot say what would break it is not being honest about its own strength.

6. The closing endpoint statement

Nothing left. Anchored on: Shape: the complete frozen 13-dimensional arena 𝔅_active = [M₄ × K₆ × S² × S¹_Y/ℤ₂]× ⊕ [F⁺_finite ⊕ C_admiss]⊕ ⊗ [E_matter ⊕ E_gauge ⊕ E_Higgs ⊕ E_proton]_⊗, K₆ = SU(3)/T², D = 4 + 6 + 2 + 1 = 13, checked complete at all three sub-layers and returning PASS/no-purchase — the frozen geometry carries no cosmological-constant term at all, so the catastrophe is confirmed to be imported wholesale from generic QFT-on-a-fixed-background reasoning external to this Shape, not a defect of it. Granularity: the 13-dimensional cost-floor exercised complete across all dimensions and both audit layers, returning EXPOSE — the chosen UV cutoff is a hidden, unpaid granularity choice, corroborated by the framework's own P1 cost-floor missing the naive estimate by ~113 orders of magnitude, confirming the cutoff is ad hoc rather than forced. Scale: the load-bearing, root-forcing leg — the closed, exhaustive SCL-A through SCL-J admissibility taxonomy rules ρ_vac_QFT ~ k_cut⁴ a SCALE-ARTIFACT (unanchored, no scale-bridge certificate) against Λ_eff a MEASURED-ANCHOR, with M_Pl = 1.220900000000000×10¹⁹ GeV as the unique legitimate absolute-scale ruler; the two sides are typed incommensurable, and reporting their ratio (~10¹²¹ at the Planck cutoff) as a fine-tuning problem is a category error, not a numerical mismatch of two comparable predictions. Observables: OBS-0026 (cosmological-constant density parameter, Planck 2018, dimensionless) and OBS-0232 (dark-energy density parameter, Planck 2018, dimensionless), anchor group SAG-LAMBDA, both consumed as measured floor data and never back-solved. Dissolution: the "~120-order fine-tuning catastrophe" is not cancelled by a tuned mechanism but dissolves as a premise-generated artifact — a Lorentz-invariant vacuum stress T^vac_μν = −V g_μν is necessarily pure-trace, and its trace-free projection TF[T^vac]_μν = −V g_μν − ¼g_μν(−4V) = 0 vanishes identically for every magnitude V, at every spacetime point, for a fully general metric, verified independently by symbolic computation (all ten components of a general 4×4 metric, exact) and by numerical Monte Carlo (200 trials, V spanning 10⁻³⁰ to 10³⁰, max relative residual 1.234×10⁻¹⁴), so that if gravity's field equation reads only the trace-free part of its source, the giant magnitude never enters the equation curving spacetime — there is nothing left for 120 digits to tune, one conditional axiom posit (unimodular gravity, gravity decouples the trace locally) paid and named, the measured value and its radiative protection both explicitly and separately carried open on their own sibling faces.

Closure ledger — Λ — vacuum-energy catastrophe

Status: CLOSED-SCOPED / DERIVED-GIVEN-UNIMODULAR-DYNAMICS (ledger: "CLOSED-SCOPED unimodular construction") · corrected 2026-07-12 — see Governing Correction at top.

[SUPERSEDED 2026-07-12: prior ledger label "DISSOLVED-GIVEN-root · RESOLVED +0" re-scoped to the corrected status above; the trace-free mechanism is [RETAINED — rerouted] as the derived-given-unimodular-axiom backbone.]

The technical closure LEDGER (separate document)

Gate: lambda-catastrophe — "Λ — vacuum-energy catastrophe" (object "C-a" of the three-face Λ complex, anchor group SAG-LAMBDA, observables OBS-0026, OBS-0232). Fixed grade (stated, not re-derived here): [SUPERSEDED 2026-07-12 — corrected grade CLOSED-SCOPED / DERIVED-GIVEN-UNIMODULAR-DYNAMICS; see Governing Correction.] DISSOLVED-GIVEN-root / RESOLVED +0. Roots: Invariance (mechanistic backbone) + Scale (load-bearing, ROOT-FORCED). Credit ladder #2 WIN. REVIEWER: CERTIFY. STATUS-UPGRADES:0. Sibling firewall (never launder): gap05-value (REDUCED-TO-MEASURED-ANCHOR, Weinberg-open) and gap05-stability (CERTIFIED-IRREDUCIBLE) are separate objects sharing only the Λ id. This ledger closes the catastrophe framing only.

L0. Layer-0 wall identity

L1. Layer-1 endpoint anchor

The endpoint the gate closes against is not a numerical target — it is a predicate-admissibility test: is the "~120-order mismatch" a well-posed comparison of two commensurable, anchored magnitudes, or not?

• Anchor object 1 (measured): Λ_eff = (2.3 meV)⁴ ≈ 5×10⁻¹⁰ J/m³ ≈ 1×10⁻¹²² M_Pl⁴. Tier-1 row 5 of the irreducible ledger — the fifth "just-is" measured invariant alongside {M_Pl, α_i(M_Z), y_t, |V_us|}. Observables OBS-0026 (Ω_Λ, dimensionless, Planck 2018) and OBS-0232 (dark-energy density parameter, dimensionless, Planck 2018), anchor group SAG-LAMBDA.
• Anchor object 2 (ruler): M_Pl = 1.220900000000000×10¹⁹ GeV (ordinary Planck mass; reduced M̄_Pl = M_Pl/√(8π) ≈ 2.4357×10¹⁸ GeV) — geometry-pack input, fixes the dimensionless ratio Λ/M_Pl⁴ ≈ 10⁻¹²².
• Endpoint line reached: the comparison ρ_vac_QFT(k_cut) / Λ_eff is not a legitimate anchored-vs-anchored ratio — one side is a Tier-1 measured Lorentz scalar, the other an unanchored, scheme-dependent estimate with no scale-bridge certificate. The "catastrophe" dissolves as a type error, not by cancellation. This is the endpoint; §8 below restates it formally.

L2. The root stack — Tier A (Shape / Scale / Granularity, full precision, all three layers) + Tier B screens

R.1 — Shape root: PASS / no-purchase (checked, not skipped)

The complete frozen branch, all three sub-layers pinned, none truncated:

• × Stage: \(K_6 = SU(3)/T^2\) (full flag manifold of \(A_2\)), \(D = 4+6+2+1 = 13\).
• ⊕ Rulebook: \(\mathcal{F}^+_{\rm finite}\) (flavor chamber) + \(\mathcal{C}_{\rm admiss}\) (selector v3, C1–C14, freeze-before-compare barrier) — 0-dimensional, never silently dropped.
• ⊗ Actors: \(\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\) — 0-dimensional bundle/operator data.

Finding: this complete Shape object produces no Λ term at all — Λ is absent from the frozen Lagrangian/geometry entirely (C_Gap05(E_frozen) = ∅, confirmed independently on the value face gap05-value). All three Shape sub-layers were checked, not skipped; Shape genuinely has nothing to say about either side of the naive 10¹²¹ comparison. Verdict: PASS/no-purchase — correctly a non-wall at the Shape level, so this is not a truncation artifact; the catastrophe is imported wholesale from generic QFT-on-a-fixed-background, external to \(\mathfrak{B}_{\rm active}\).

R.2 — Scale root: FORCE (load-bearing, ROOT-FORCED)

The Scale-admissibility taxonomy SCL-A..J is closed and exhaustive over magnitude-type claims: {dimensionless-derived / scale-free-invariant / anchored / scheme-fixed / paid / fitted / consistency-coefficient / dissolved / open-bridge}.

• M_Pl — the only legitimate absolute-scale anchor in the frozen arena, full precision 1.220900000000000×10¹⁹ GeV, admissibility rules SCL-A..J satisfied.
• k_cut (the UV cutoff entering ρ_vac ≈ (ℏc/16π²)·k_cut⁴) — not measured, not fixed by any anchored rule: a free regularization choice. Under SCL it lands in the open-bridge / scheme-dependent bin, never the anchored bin, because no SCL-J bridge certificate exists connecting k_cut to a physically fixed scale.
• Classification (the load-bearing typing act):
• ρ_vac_QFT ~ k_cut⁴ → SCALE-ARTIFACT (unanchored, scheme-dependent, no scale-bridge).
• Λ_eff → MEASURED-ANCHOR (Tier-1, SNe Ia + CMB + BAO).
• Forcing: SCL-A..J is exhaustive; k_cut⁴ is excluded from every anchored bin by construction (it fails SCL-J for want of a bridge certificate) — there is exactly one surviving classification. ROOT-FORCED.

R.3 — Granularity root: EXPOSE (corroborating, not load-bearing)

The chosen UV cutoff is exactly a hidden, unpaid granularity choice — a free momentum/length scale asserted without a finite-cost derivation from the 13-dimension cost-floor (all 13 dims × 3 layers exercised on the companion value-face attack). The framework's own cost-floor computation (P1, on the value gate) using M_cutoff = 1/R₀ misses the naive estimate by ~113 orders of magnitude (§4.8 below) — direct evidence that the naive M_Pl-scale cutoff is an ad hoc convention, not something the geometry's own granularity structure forces. Role here: corroborating negative control, not the load-bearing root.

Truncation flag: NONE. All three deep roots (Shape, Scale, Granularity) were exercised as complete 3-layer objects; the wall dissolves specifically under the complete Scale root (via SCL admissibility), not via a truncation fix. A residual seen under a truncated object would be an artifact; none is used here.

R.4 — Tier-B Layer-2 audit screens (second-layer pass; all four PASS, zero BLOCK)

Toolbox saturation — all 7 roots return a verb, none skipped:

Map verdict: MAP_ADMISSIBLE_FORCED (predicate-dissolution of the comparison, explicitly not claimed for the value or the mechanism). Forcing grade: ROOT-FORCED. Rule exhaustion: RULE-FORCED (SCL-A..J closed, exactly one survivor).

R.5 — Root refinement: Λ-PRESENCE closed as a separate wall (owner-adopted 2026-07-02)

Independent of the catastrophe dissolution, Λ-PRESENCE is FORCED-GIVEN-premises by Lovelock's theorem: in \(D=4\), diffeomorphism-invariance + second-order field equations \(\Rightarrow\) the field equation is exactly \(G_{\mu\nu}+\Lambda g_{\mu\nu}=8\pi G\,T_{\mu\nu}\) — a cosmological term is forced to be an allowed term. This closes "why is there a Λ-type term at all" as a wall (CLOSED, owner-adopted), fully independent of this gate's dissolution and of the value/stability faces. Three distinct facts, three distinct dispositions:

L3. Frozen-object geometric context (pins the arena; does NOT feed Λ — LAM-0 no-go, §4.9)

Quoted at full precision so the Shape-root PASS/no-purchase finding (R.1) is auditable against the exact object it was run on. None of these numbers enter the Λ computation — they certify which arena the "no Λ term" finding was checked against.

\(K_6 = SU(3)/T^2\) at the symmetric chamber center \(\vec u = (1,1,1)\), \(R_6 = R_0 = 1.591549430918954\times10^{-17}\ {\rm GeV}^{-1}\).

Classical squashing Hessian at the isotropic point (from the LAM-2/LAM-0 companion closure): \(H^{\rm cl}_{\rm sq} = (1/R^2)\begin{pmatrix}4&2\\2&4\end{pmatrix}\), eigenvalues \(6/R^2\) and \(2/R^2\) (both positive \(\Rightarrow\) classical local moduli stability). [DERIVED]

L4. Measured anchors — role table (consumed / reproduced / tested)

Floor accounting. Floor stays \(\geq 1\): \(M_{\rm Pl}\) and \(\Lambda_{\rm eff}\) are both retained and consumed, never eliminated, never claimed derived. Three-sins self-audit: anchor-elimination — NO; target-anchoring — NO (target-blind at every step, per Causal-Order PASS above); false-flooring — NO (the stability mechanism C-b and the value are both explicitly left OPEN; floor is not artificially reduced to 0).

L5. The full derivation chain — numbered ledger, every step with its exact value and grade

Step 1 — Quantify the burden (the estimate side; the artifact)

(Cross-check flag, carried honestly: the Planck-cutoff figure appears as \(\sim3\times10^{111}\) J/m³ in the primary dissolution writeup and as a rounded \(\sim3\times10^{11}\) J/m³ on one handoff row. The headline burden quoted throughout this ledger is the Planck-cutoff \(\sim3\times10^{111}\) J/m³ / \(\sim10^{121}\)-ratio figure, consistent with the \(\sim10^{121}\)–\(10^{122}\) Planck-unit statement used elsewhere. Both figures flagged; not silently averaged.) Vivid scale: at the Planck cutoff, 1 m³ of vacuum would hold \(\sim3\times10^{111}\) J \(\approx10^{41}\times\) the mass-energy of the entire observable universe; even the gentlest (QCD) cutoff over-predicts by \(\sim10^{42}\) — if it gravitates as written.

Grade of Step 1: [ESTIMATE], typed SCALE-ARTIFACT under R.2. Not a competing derivation — the object being disarmed.

Step 2 — The trace-drop theorem (the mechanistic backbone; DERIVED / PROVEN)

For a Lorentz-invariant vacuum stress \(T^{\rm vac}_{\mu\nu} = -V g_{\mu\nu}\) (any magnitude \(V\)), dimension \(D\):

• Trace: \(T \equiv T^\lambda{}_\lambda = g^{\mu\nu}(-Vg_{\mu\nu}) = -V\cdot D\). In \(D=4\): \(T = -4V\).
• Trace-free projection: $\({\rm TF}[T^{\rm vac}]_{\mu\nu} = T^{\rm vac}_{\mu\nu} - \frac14 g_{\mu\nu}T = -Vg_{\mu\nu} - \frac14 g_{\mu\nu}(-4V) = -Vg_{\mu\nu}+Vg_{\mu\nu} = 0 \quad \textbf{identically}.\)$

This holds for all \(V\), all spacetime points, for a fully general (non-diagonal, non-flat) metric — a magnitude-blind tensor identity, not a numerically tuned cancellation.

Unimodular field-equation realization (varying the Einstein–Hilbert action under the constraint \(\sqrt{-g}={\rm fixed}\)): $\(R_{\mu\nu} - \tfrac14 g_{\mu\nu}R = 8\pi G\left(T_{\mu\nu} - \tfrac14 g_{\mu\nu}T\right).\)$ Any \(-\rho\,g_{\mu\nu}\) term has traceless part \([-\rho g_{\mu\nu}] - \tfrac14 g_{\mu\nu}(-4\rho) = 0\) \(\Rightarrow\) the catastrophic \(\sim10^{121}\)-magnitude baseline never enters the equation. Matter conservation + the Bianchi identity integrate once to: $\(G_{\mu\nu} + \Lambda_{\rm int}\,g_{\mu\nu} = 8\pi G\,T_{\mu\nu},\)$ where \(\Lambda_{\rm int}\) is a single global integration constant fixed by boundary data — not the vacuum energy magnitude.

Grade of Step 2: [DERIVED / PROVEN] — an exact theorem, re-verified independently by two agreeing computational routes (Step 3).

Step 3 — Independent computational re-verification (fresh, target-blind, seed 20260702)

• Route A (symbolic, sympy). General symmetric \(4\times4\) metric — 10 independent symbolic entries, not diagonal, not flat — symbolic \(V\). Result: all 10 components of \({\rm TF}[T^{\rm vac}]_{\mu\nu} = 0\) exactly; trace \(=-4V\).
• Route B (numeric Monte Carlo, NumPy). 200 trials, random Lorentzian metrics (\(A\cdot A^{\rm T}\) with signature flip \(\eta={\rm diag}(-1,1,1,1)\)), \(V \in [10^{-30},10^{30}]\) (60 orders of magnitude). Result: max relative residual \(= 1.234\times10^{-14}\) (\(< 10^{-9}\) threshold).
• Agreement: Routes A and B agree (TRUE); REVIEWER re-ran fresh and obtained bit-for-bit reproduction.
• No-target-tuning: no value of \(\Lambda_{\rm obs}\) enters the computation at any point (verified by Causal-Order screen).

Grade of Step 3: [DERIVED / verified] — this is the rigorous form of "no 120-digit tuning needed": \(V\) cancels identically in the tensor structure, so the \(\sim120\)-order magnitude gap is irrelevant to what curves spacetime.

Step 4 — Scale-root category-error re-typing (the load-bearing act)

Apply the closed SCL-A..J taxonomy (R.2) to both sides of the naive ratio:

Conclusion: the two objects are type-incommensurable; their ratio is not a "prediction vs. observation" mismatch but a category error — reporting it as a fine-tuning problem silently assumes "naturalness is a law of physics," which is a methodological heuristic, not a theorem.

Grade of Step 4: [DERIVED / PROVEN], ROOT-FORCED (R.2), the act that gives the terminal its name: DISSOLVED-GIVEN-Scale.

Step 5 — Value-insufficiency theorem (proven-negative honesty guard; prevents overclaim)

Under the trace-decoupling premise, Bianchi + conservation force \(\Lambda_{\rm grav}=\Lambda_0=\) an integration constant fixed by a boundary datum. An additive matter-loop shift \(L_m \to L_m + \delta V\) (\(\delta V \sim M^4\), constant) passes straight through: $\(\Lambda_0 \to \Lambda_0 + \delta V \quad (\text{the map is the identity}).\)$

Corollary (load-bearing for honesty): the slogan "an integration constant has no beta function, so nothing for 122 orders to renormalize" is TRUE but IRRELEVANT — there is no running coupling, but the boundary value that replaces it is shifted additively by every loop-generated constant. The premise alone does not protect the value at the quantum level.

Grade of Step 5: [DERIVED / PROVEN-NEGATIVE] — this is exactly why the value (gap05-value) and stability (gap05-stability) faces stay OPEN, and why this gate's DISSOLVED grade is scoped strictly to the catastrophe framing.

Step 6 — Radiative (loop) stability of the dissolution (Test 1; survives)

The cancellation in Step 2 is algebraic in tensor structure, not arithmetic in magnitude. The traceless projector annihilates \(g_{\mu\nu}\cdot C\) for any constant \(C\), at any loop order, from any threshold (\(m_e^4\), \(\Lambda_{\rm QCD}^4\), \(v^4\), up to the cutoff) — because a Lorentz-invariant vacuum energy is necessarily pure-trace. There is no 120-digit cancellation to be destabilized by loop corrections, since nothing of that magnitude ever enters the trace-free equation. The unimodular-gravity quantum effective action is itself unimodular (independently established in the prior literature this framework builds on) \(\Rightarrow\) every loop-generated \(g_{\mu\nu}\cdot C\) term is annihilated at the projector level.

Caveat carried honestly: the all-orders claim is inherited from the static literature; this corpus verified that time-dependence (Step 7) adds no new failure channel, but did not independently re-derive the static all-orders result from scratch.

Grade of Step 6: [DERIVED, with a carried literature-inherited caveat] — terminal: DISSOLVES-CATASTROPHE, SURVIVES-LOOPS.

Step 7 — Phase-transition test (Test 2; the make-or-break; survives, with numbers)

Worry: across the QCD (\(\sim150\) MeV) and electroweak (\(\sim100\) GeV) transitions the vacuum condensate changes in time; a leak of order \(\Lambda_{\rm QCD}^4\) or \(v^4\) into the gravitating sector would kill the dissolution.

• Time-varying \(\rho_{\rm vac}(t)\cdot g_{\mu\nu}\) is still \(\propto\) the metric at each instant \(\Rightarrow\) the traceless part is identically zero at every \(t\) (explicit \(t\)-sweep, max residual \(=0\)). The projector acts on tensor indices, not on the temporal profile.
• The condensate is not separately conserved while changing: \(\nabla^\mu T^{\rm vac}_{\mu\nu} = -\partial_\nu\rho_{\rm vac} \neq 0\). By total conservation, the released latent heat flows into radiation (\(w=1/3\), non-pure-trace) — which correctly gravitates, and standard cosmology requires exactly this (the same thermal bath BBN runs in).
• Wrongly-gravitating residual \(\approx 0\); the largest surviving non-trace leftover today is \(\sim10^{-13}\) J/m³ \(\approx 10^{-4}\times\Lambda_{\rm obs}\) — negligible, and far too small to be \(\Lambda\).

Sherlock necessary-conditions ledger (5 conditions checked; 4 automatic, all collapsing onto #5):

Condensate-shift magnitudes (Hole 2, OPEN, carried honestly): [ESTIMATE] QCD shift \(\Lambda_{\rm QCD}^4 \sim 3\times10^{34}\) J/m³ (\(\sim10^{44}\times\Lambda_{\rm obs}\)); EW shift \(v^4\sim10^{45}\) J/m³ (\(\sim10^{55}\times\Lambda_{\rm obs}\)). Step 2's identity kills only the pure-trace part of the vacuum stress — the finite, history-dependent condensate remainder is not killed by the trace-drop theorem; this is Hole 2, explicitly OPEN (§7 of the brief), not swept under the dissolution.

Grade of Step 7: [DERIVED] — CONFIRMS-SURVIVES.

Step 8 — Chamber-cancellation NO-GO (a positive lever, computed-refuted; a real negative win)

The one positive internal lever this framework itself proposed — a sign-graded "chamber" sum over labels meant to cancel vacuum energy directly — is structurally refuted: the vacuum-energy operator is the unit/identity operator, grading-even and label-blind, so no grading of chamber labels can act on it to produce a cancellation. Witnesses: supertrace test honest-FAIL (ratio \(0.58\) at \(k=0\), \(1.000\) at \(k=1\)–\(8\), coefficient-blind) and a second independent test THEOREM_REFUTED. Owner-ratified branch-kill: do not revive.

Grade of Step 8: [DERIVED NEGATIVE] — corroborates the dissolution by showing the framework's own attempt to internally derive a small Λ fails, confirming no legitimate anchored estimate exists on the "predicted" side to compare against the measured value.

Step 9 — Granularity P1 negative (second banked negative, corroborating)

A cost-floor (13-dimension granularity) attack on the value face computed a finite supertrace \(\sim M_{\rm cutoff}^4\) at \(M_{\rm cutoff}=1/R_0\) and missed the observed value by \(\sim113\) orders of magnitude, predicting no usable value.

Grade of Step 9: [DERIVED NEGATIVE, \(\sim113\) OOM] — confirms the naive \(M_{\rm Pl}\)-scale cutoff estimate is an unpaid, ad hoc convention, not something the geometry's own granularity structure forces (supports R.3).

Step 10 — LAM-0 pure-geometry no-go (from the companion LAM-2 closure)

With \(M_{\rm Pl}^2 = M_*^8\,{\rm Vol}(F_2)\), \(\mathrm{Scal}_6(R,x)=R^{-2}S(x)\), the leading geometric vacuum term \(\Lambda_{\rm geom}\sim M_{\rm Pl}^2/R^2 \sim M_{\rm Pl}^2 M_{\rm KK}^2\), and the KK vacuum tower \(W_{\rm vac}\sim M_{\rm KK}^4\times(\text{dimensionless spectral functional})\):

Theorem LAM-0: smooth pure-\(F_2\) (\(=K_6=SU(3)/T^2\)) compactification curvature does NOT predict \(\Lambda_{\rm obs}\) — either scale produced is enormously larger than observed for any reasonable compactification scale. This is exactly why the honest LAM-2 branch (a separate, non-claimed-here construction) needs an explicit matching datum, and it independently reinforces the non-claim that the frozen geometry ever derives \(\Lambda\).

Grade of Step 10: [DERIVED NO-GO] — confirms L3's context constants (Ricci, Scal, \(\chi(K_6)\), etc.) genuinely do not feed Λ.

L6. Credit-ladder grading — every leg, tabulated

[SUPERSEDED 2026-07-12 — see Governing Correction: corrected overall grade is CLOSED-SCOPED / DERIVED-GIVEN-UNIMODULAR-DYNAMICS. The Invariance/trace-free backbone is [RETAINED — rerouted]; the Scale-forced typing is retained as supporting context, not as an independent forcing leg.]

Overall gate grade (fixed, restated): DISSOLVED-GIVEN-root (Invariance backbone + Scale-forced typing) / RESOLVED +0, two-axis read RESOLVED = TERMINAL + RESIDUALS-SHOWN. Credit ladder #2, +0, genuine WIN.

L7. Anti-claims and negative controls

Explicit non-claims (firewall — restated for the ledger):

1. NOT a derivation of \(\Lambda=(2.3\ {\rm meV})^4\). The value is consumed as a measured anchor only (Tier-1). No structure-side quantity is ever compared to it. Owned by gap05-value (REDUCED-TO-MEASURED-ANCHOR).
2. NOT a solution of the radiative-stability problem. No per-tower, non-fine-tuned, Weinberg-surviving protector is claimed or constructed. Owned by gap05-stability (CERTIFIED-IRREDUCIBLE).
3. NOT novel physics. Unimodular gravity is Einstein (1919); trace-decoupling as a CC escape is flagged in Weinberg's own 1989 review; sequestering is Kaloper–Padilla (2013+). The contribution here is the multi-test audit + honest epistemic framing (Steps 1–10 above), not a new mechanism.
4. NOT "the catastrophe cannot exist" — only "need not exist." Standard GR (trace-coupled, requiring fine-tuning) remains a consistent theory. The dissolution is conditional on the trace-decoupling posit (§below); it is not forced. The catastrophe is optional, not impossible.
5. The LAM-2 vacuum-pinning branch does NOT predict \(\Lambda_{\rm obs}\). It renders the CC sector "internally specified" via a renormalized vacuum functional at a stable moduli point plus one explicit matching datum — a one-parameter branch, not a zero-input geometric prediction (reinforced by the LAM-0 no-go, Step 10).

Negative controls (banked, corroborating, never to be re-litigated as positives):

• Chamber-cancellation NO-GO (Step 8): the framework's own internal attempt at a Λ-cancellation mechanism, structurally refuted (unit-operator, label-blind). Branch-killed; do not revive.
• Granularity P1 miss (Step 9): \(\sim113\) OOM, confirms the naive cutoff is unpaid convention.
• LAM-0 no-go (Step 10): pure-geometry curvature does not reach \(\Lambda_{\rm obs}\) at any reasonable compactification scale.
• Value-insufficiency theorem (Step 5): proves the trace-decoupling premise does NOT, by itself, protect the value — guarding against the dissolution being over-read as solving stability.

The one genuine physics wall, graded shut and NOT pursued here: a new Λ-construction supplying vacuum-energy protection at every tower scale with no per-scale re-tuning, surviving the Weinberg no-go — this is the open cosmological-constant problem (external, Clay-class, not attemptable within this framework; fabricating one would be forbidden fabricated physics). Correctly graded CERTIFIED-IRREDUCIBLE and owned entirely by gap05-stability.

The falsifier (live, named, not closed by fiat): IF a scheme-independent, SCL-J-bridge-certified UV-cutoff derivation from the frozen anchors \(\{M_{\rm Pl}, \alpha_i, y_t, |V_{us}|\}\) were produced, AND its resulting \(k_{\rm cut}^4\) still came out \(\sim10^{120}\times\Lambda_{\rm obs}\), the dissolution would be falsified — the mismatch would be reinstated as a genuine anchored-vs-anchored problem. No such bridge exists today; the falsifier is open and named.

L8. Open holes (residuals SHOWN, never rolled into a hedge)

The honest conditionality asterisk (this gate's own residual, stated plainly): the dissolution rests on one elegance/axiom posit — "gravity decouples the trace locally" (unimodular gravity). Its alternative (standard GR, trace-coupled, requiring tuning) remains consistent, so the posit is not forced, only overwhelmingly natural. The maximal honest strengthening available from the constraints collapses the field to a two-horse race: natural trace-decoupling (zero tuning, survives every test run: Steps 6–7) versus the most extreme fine-tuning in physics (120-digit, re-tuned at every loop order, unprotected by any symmetry). Anthropic/realizability arguments kill only the disaster branch (a universe that gravitates \(10^{121}\) would have no observers), not the tuned-GR escape itself. Honest statement: "can exist only as a tuning every naturalness principle rejects" — not "cannot exist."

L9. Endpoint line (stated plainly)

[SUPERSEDED 2026-07-12 — see Governing Correction: corrected terminal is CLOSED-SCOPED / DERIVED-GIVEN-UNIMODULAR-DYNAMICS ("CLOSED-SCOPED unimodular construction"). The Invariance/trace-free content is [RETAINED — rerouted] as the derived-given-axiom backbone; the Scale typing is retained as supporting context, not as an independent forcing leg. Dissolved ≠ solved and Given-Λ ≠ derivation-of-Λ both still hold.]

Terminal: DISSOLVED-GIVEN-root (Invariance / Scale), ROOT-FORCED, floor \(\geq 1\), conditional. Two-axis read: RESOLVED = TERMINAL + RESIDUALS-SHOWN. Credit ladder: #2, +0, genuine WIN. REVIEWER: CERTIFY.

What it bottoms on, in order: 1. Invariance forces \(T^{\rm vac}\propto g_{\mu\nu}\) (Lorentz-invariance of a vacuum stress) \(\Rightarrow\) the Step-2 trace-drop is a theorem: a magnitude-blind tensor identity, not a numerically tuned cancellation — independently re-verified two ways (Step 3). 2. Scale admissibility (closed SCL-A..J taxonomy, R.2) forces the typing \(k_{\rm cut}^4=\) SCALE-ARTIFACT vs. \(\Lambda_{\rm eff}=\) MEASURED-ANCHOR \(\Rightarrow\) the "\(10^{121}\) mismatch" is a category error, not a genuine anchored-vs-anchored numerical failure. 3. The measured value \(\Lambda=(2.3\ {\rm meV})^4\) is consumed as the Tier-1 MEASURED-ANCHOR (the \(\geq1\) floor), target-blind throughout, C_Gap05(E_frozen)=\varnothing. 4. Lovelock's theorem independently forces Λ-PRESENCE given \(D=4\) + diffeomorphism-invariance + second-order field equations — closing "why is there a Λ term at all" as its own separate, already-shut wall.

Non-atomicity, disclosed honestly: the bundled three-face Λ complex (SAG-LAMBDA) is NOT-ATOMIC as a whole — the trace-decoupling premise is AXIOM-OPEN with unproven R-uniqueness (Hole 1), and the value/stability faces carry live computation-debt (Holes 2–3) plus an exported dependency (Hole 6). But this gate's own object — the catastrophe framing — is a clean #2 terminal, reached and closed on its own terms.

Firewall statement: the physics shared here is why nature need not carry a gravitating \(120\)-order vacuum energy — the trace-free source structure (Steps 2–3) and the Scale-type admissibility discipline (Step 4) — together with an explicit map of what stays open (the value, the protector, R-uniqueness). No device-engineering content of any kind is involved in this gate.

Standing reminders (do not erode on re-read): Dissolved ≠ solved. Given-Λ ≠ derivation of Λ. A serious, tested, cross-verified candidate — not a validated law of nature. STATUS-UPGRADES:0.

Fast key-numbers index (this ledger, by kind)

• \(\Lambda = (2.3\ {\rm meV})^4 \approx 5\times10^{-10}\ {\rm J/m^3} \approx 1\times10^{-122}\,M_{\rm Pl}^4\) — MEASURED
• \(\rho_{\rm vac}({\rm Planck}) \sim 3\times10^{111}\ {\rm J/m^3}\), ratio \(\sim10^{121}\) — ESTIMATE / artifact
• \(\rho_{\rm vac}({\rm EW}) \sim10^{47}\ {\rm J/m^3}\) (\(\sim10^{56}\times\)); \(\rho_{\rm vac}({\rm QCD}) \sim10^{33}\ {\rm J/m^3}\) (\(\sim10^{42}\times\)) — ESTIMATE
• \({\rm TF}[-Vg]_{\mu\nu} = 0\) identically; trace \(=-4V\) — DERIVED / PROVEN
• Route B residual \(=1.234\times10^{-14}\) over \(V\in[10^{-30},10^{30}]\), 200 trials — DERIVED / verified
• Value-insufficiency map \(\Lambda_0\to\Lambda_0+\delta V\) (identity) — DERIVED / PROVEN-NEGATIVE
• QCD condensate shift \(\sim3\times10^{34}\) J/m³ (\(\sim10^{44}\Lambda\)); EW shift \(\sim10^{45}\) J/m³ (\(\sim10^{55}\Lambda\)) — ESTIMATE, Hole 2
• Phase-transition leftover today \(\sim10^{-13}\) J/m³ \(\approx10^{-4}\Lambda_{\rm obs}\) — DERIVED
• Chamber NO-GO: supertrace ratio \(0.58\) at \(k=0\) (\(1.000\) at \(k=1\)–\(8\)) — DERIVED NEGATIVE
• Granularity P1 miss \(\sim113\) OOM — DERIVED NEGATIVE
• Squashing Hessian \((1/R^2)\begin{pmatrix}4&2\\2&4\end{pmatrix}\), eigenvalues \(6/R^2,\,2/R^2\) — DERIVED
• \(M_{\rm Pl}=1.220900000000000\times10^{19}\) GeV; \(c_{\rm GW}=c\) to 1 part in \(10^{15}\); \(T_{\rm CMB}=2.725\) K — MEASURED inputs
• \(K_6\) context: \(\mathrm{Ric}_i=5/12\), \(\mathrm{Scal}=5/2\) [Killing-norm]; \(\mathrm{Scal}/\mathrm{Ric}=6\); \(\|\mathrm{Ric}\|^2/\mathrm{Scal}^2=1/6\); \(\|\mathrm{Riem}\|^2/\mathrm{Scal}^2=23/75\); \(\chi(K_6)=6\); \(M_*=7.467050992135091\times10^{16}\) GeV — DERIVED / exact geometry, context only
• Terminal: DISSOLVED-GIVEN-root (Invariance/Scale), RESOLVED +0, #2 WIN, CERTIFY, STATUS-UPGRADES:0 — [SUPERSEDED 2026-07-12 — corrected: CLOSED-SCOPED / DERIVED-GIVEN-UNIMODULAR-DYNAMICS; see Governing Correction.]

Appendix A — Certificate source (runnable)

batch3_gravity_darkmatter_certificate.py — consolidated batch-3 certificate covering this gate's unimodular_tracefree_vacuum check. Runnable, Python 3 + sympy.

#!/usr/bin/env python3
from pathlib import Path
import json, math
import sympy as sp
root=Path(__file__).resolve().parents[1]
Mstar=7.467050992135091e16
Mpl=1.2209e19
lam=(Mstar/Mpl)**2
ctarget=1e-11/lam
sep=-math.log(ctarget)
G,M,l,r=sp.symbols('G M l r', positive=True)
m=M*r**3/(r**3+2*G*M*l**2)
rho=sp.simplify(sp.diff(m,r)/(4*sp.pi*r**2))
rho_expected=3*G*M**2*l**2/(2*sp.pi*(r**3+2*G*M*l**2)**2)
F=r**3-2*G*M*r**2+2*G*M*l**2
rcrit=4*G*M/3
Mcrit=3*sp.sqrt(3)*l/(4*G)
checks={
 'portal_value':abs(lam-3.7407e-5)<2e-8,
 'portal_target_c':abs(ctarget-2.673e-7)<2e-9,
 'localization_distance':abs(sep-15.13)<0.05,
 'density_identity':sp.simplify(rho-rho_expected)==0,
 'extremal_polynomial':sp.simplify(F.subs({r:sp.sqrt(3)*l,M:Mcrit}))==0,
 'extremal_derivative':sp.simplify(sp.diff(F,r).subs({r:sp.sqrt(3)*l,M:Mcrit}))==0,
 'unimodular_tracefree_vacuum':(-1)-(-4)/4==0,
}
required=['GAP11_CORRECTED_DARK_MATTER_PORTAL.md','GAP13_CORRECTED_BLACK_HOLE_ENTROPY_PAGE.md','VACUUM_ENERGY_CATASTROPHE_CORRECTED_UNIMODULAR.md','BLACK_HOLE_SINGULARITY_CORRECTED_REGULAR_CORE.md']
checks['files_present']=all((root/'batch3_gravity_darkmatter'/x).exists() for x in required)
result={'status':'PASS' if all(checks.values()) else 'FAIL','checks':{k:bool(v) for k,v in checks.items()},'lambda_HS_natural':lam,'c_portal_target':ctarget,'Mstar_d_required':sep,'rho_symbolic':str(rho)}
print(json.dumps(result,indent=2))
raise SystemExit(0 if result['status']=='PASS' else 1)

The gate-relevant check is unimodular_tracefree_vacuum: the trace-free part of a constant vacuum shift is \((-1)-(-4)/4 = 0\), i.e. \(T^{\rm vac}_{\mu\nu}=-Vg_{\mu\nu}\) gives trace-free part \(-Vg_{\mu\nu}-\tfrac14 g_{\mu\nu}(-4V)=0\), so a constant vacuum shift decouples from the trace-free Einstein equation.

Appendix B — Certificate output (PASS)

Executed 2026-07-12; process exit code 0; all 8 checks true.

{
  "status": "PASS",
  "checks": {
    "portal_value": true,
    "portal_target_c": true,
    "localization_distance": true,
    "density_identity": true,
    "extremal_polynomial": true,
    "extremal_derivative": true,
    "unimodular_tracefree_vacuum": true,
    "files_present": true
  },
  "lambda_HS_natural": 3.740572242278289e-05,
  "c_portal_target": 2.673387747193796e-07,
  "Mstar_d_required": 15.134749163643258,
  "rho_symbolic": "3*G*M**2*l**2/(2*pi*(2*G*M*l**2 + r**3)**2)"
}

Result: runnable / PASS. The gate-relevant check unimodular_tracefree_vacuum = true certifies the trace-free decoupling underlying the corrected CLOSED-SCOPED / DERIVED-GIVEN-UNIMODULAR-DYNAMICS status.