Honest status (binding; matches the live popup chip): OPEN · with a banked negative theorem (route honestly refuted). Direction: held. STATUS-UPGRADES:0. Frozen 13D branch
dcc66f1b2685/ manifest metaa5b1e6f9d951— READ-ONLY, unmutated. No vacuum-energy value is read, fitted, or compared to Λ_obs anywhere in this gate (no-target-fitting held throughout).
Headline. We do not have a mechanism that holds the vacuum energy roughly 122 orders of magnitude below the natural scale — and we say so plainly. This is the radiative-stability face of the cosmological-constant problem, the marquee open problem of fundamental physics, and it stays open here exactly as it stays open for everyone. What this gate contributes is the rare honest thing: we took our own candidate cancellation mechanism, computed it to a clean FAIL, and banked the failure as a theorem.
The one-sentence spine. Gap-05-stability reduces to a clean floor — one ATOMIC measured anchor (the value of Λ, handled in the companion gate Gap-05-value) plus, for the mechanism, a genuinely-OPEN wall (AXIOM-RADIATIVE-PROTECTION, no clean posit: this is the open cosmological-constant problem) — where the only non-promoting wins are two computed negatives: the chamber-cancellation route is killed target-blind by a unit-operator no-go, and the gravity-side trace-free Axiom is proven insufficient at the quantum level (the boundary value is additively shifted at one loop). So the gate stays OPEN at the honest ceiling: serious candidate / partial unification, NOT validated — Λ's radiative stability left open exactly where physics left it.
The honest grade and why it is exactly this. By the gate-grading rubric, status = the least-closed residual; any open piece ⇒ gate OPEN. The radiative-stability mechanism has no clean posit at all — the only thing that would pin a per-tower vacuum-energy protector is the observed small Λ itself, and reverse-engineering to that number is target-fitting (the κ³/π pattern). So the gate is not higher than OPEN. It is not lower (REFUTED), because the framework never claimed to close Λ; it correctly grades the door shut and banks its genuine negatives. The chip reads "OPEN · with a banked negative theorem (route honestly refuted)" because the gate's signature deliverable is precisely a negative result done correctly, not a closure.
What this dossier establishes — and what it does not.
It establishes four faithfully-banked facts, each traceable below:
1. The corpus's own ±-chamber-cancellation idea was computed to an honest FAIL (certificate I2) and proved structurally refuted (certificate I3) — the relevant Λ operator is the identity/unit operator, blind to the grading the cancellation needs (owner-ratified 2026-06-14, both C19 countersign slots cleared).
2. A four-predicate radiative-stability burden (R1–R4) was pre-registered, verified to have teeth (an empty probe correctly fails; a hypothetically-satisfied candidate correctly reopens), and run against all three surviving relocation candidates (L1, L2, L3) — all three return BURDEN_FAIL (owner-ratified 2026-06-14).
3. On the separate gravity-side dissolution route, a three-layer Theorem 1 was proved with its negative half intact: the trace-free Axiom kills any Lorentz-invariant vacuum stress at tree level (L1, PROVEN-positive), but the Axiom alone is insufficient at the quantum level (L2, PROVEN-negative: an additive matter-loop shift passes straight through, Λ₀ → Λ₀ + δV), and all-orders sequestering holds only for a strictly-heavier augmented construction and only given an unproven smoothness assumption S (L3, conditional).
4. No vacuum-energy value entered, was fitted, or was compared to Λ_obs; the 122-OOM figure is the SIZE OF THE BURDEN, explicitly not a claimed result.
It does not establish — and explicitly does not claim — any of the following: a mechanism that makes Λ radiatively stable / technically natural in this framework (frozen docs say REFUTED); a derivation or prediction of the Λ value (that lives in Gap-05-value as a measured Tier-1 anchor); that the R1–R4 burden is a proven-sound test, so that BURDEN_FAIL would be a rigorous closure-by-elimination (it is a banked elimination at decision grade, audited only for consistent application). The single reopen door — a brand-new cancellation mechanism passing all four burden predicates — is the cosmological-constant problem itself (its first two predicates together essentially restate Weinberg's 1989 no-go). It is external, Clay-class, and explicitly not AI-attemptable; we refuse to fabricate one, name the door, and grade it shut.
A note on two distinct "L1/L2/L3" triples (read before §3, to avoid the one trap the verifier caught). This gate carries two unrelated triples that both happen to be labeled L1/L2/L3. They must never be conflated:
- The relocation candidates L1, L2, L3 — three physical proposals for where the vacuum-energy cancellation could live (a chamber-pairing symmetry; a non-perturbative wall; boundary degrees of freedom). All three return BURDEN_FAIL. (§3.4)
- Theorem-1 layers (L1)/(L2)/(L3) — three logical layers of a single proof about the gravity-side trace-free Axiom: a positive tree-level layer, a negative quantum-level layer, and a conditional all-orders layer. (§3.5)
Throughout this dossier the relocation candidates are written "relocation-L1/L2/L3" and the theorem layers "Theorem-1 (L1)/(L2)/(L3)" wherever ambiguity could arise.
The cosmological-constant problem has two faces that grade differently and must never launder each other. This gate is the radiative-stability face (the mechanism face). The companion gate Gap-05-value handles the value face (the measured number); the third, historical item — the catastrophe-half ("why isn't Λ of order M_Pl⁴?") — is handled in Gap-05-catastrophe (dissolved-conditional).
The radiative-stability problem, stated once cleanly (from gap_05_lambda_radiative_stability/00_decomposition.md §1 and subsystems/L05.A_weinberg_no_go.md):
Top object L05 = the existence of a mechanism that holds the vacuum energy at its tiny observed scale against ~122 orders of magnitude of quantum corrections, at every tower scale {M_Pl, m_t, v_EW, Λ_QCD}, without per-scale re-tuning, and surviving the Weinberg 1989 no-go which forecloses the easy routes to a naturally-small Λ.
Why this is hard, stated structurally: vacuum energy is a dimension-zero (cosmological-constant) operator. Naive quantum-field-theory estimates of the vacuum energy overshoot the observed value by ~122 orders of magnitude (a bounded estimate of the burden's size, not a measured discrepancy of any computed quantity in this corpus — see subsystems/L05.A_weinberg_no_go.md). Every threshold at which new physics turns on — the top quark at m_t, electroweak symmetry breaking at v_EW, the QCD chiral/deconfinement transition at Λ_QCD, and ultimately the Planck scale M_Pl — contributes a fresh additive shift to the vacuum energy. A genuine solution must keep the net vacuum energy tiny across all of these, simultaneously, without a new fine-tuning at each one. That "no per-scale re-tuning" clause is the whole difficulty.
The binding external wall is Weinberg, S. (1989), The Cosmological Constant Problem, Rev. Mod. Phys. 61, 1. Its content, faithfully reported (subsystems/L05.A_weinberg_no_go.md; 01_DOSSIER.md §5.3):
This is why an honest FAIL is the corpus's banked state. Λ is the textbook non-technically-natural quantity: no symmetry sends it small without killing observed physics.
The corpus enumerates and grades the levers (GAP05_LAMBDA_ASSESSMENT.md §2; gap_05_lambda_radiative_stability/03_attempt.md). Each is stated target-blind — none references the observed Λ value.
| # | Lever | Verdict | Why (one line) |
|---|---|---|---|
| 1 | ±-layer chamber-cancellation (the corpus's own idea) | REFUTED | The Λ operator is the unit/identity operator — grading-even, label-blind — so no chamber-label grading can act on it (I2 honest-FAIL, I3 THEOREM_REFUTED). |
| 2 | Protecting symmetry / technical naturalness | REFUTED | This is exactly the non-technically-natural object Weinberg 1989 forbids; no symmetry sends Λ small without killing observed physics. |
| 3 | SUSY breaking | RELOCATES | Broken SUSY reintroduces a vacuum energy at the breaking scale (M_SUSY⁴), far above the observed scale — relocates the problem ~60 OOM up, fails R1/R2. |
| 4 | Weinberg anthropic / no-go | RESTATES | Not a mechanism but an epistemic claim; the 1987 galaxy-formation bound gives environmental selection conditional on an unproven scanning measure, not a derivation. |
| 5 | Cost-floor / compactification geometry (M_* ~ 6×10¹⁶ GeV, KK/orbifold Casimir) | WRONG-SHAPE | The wrong end of the axis: UV structure supplies contributions ~M_*⁴ (the disease), not an IR-surviving no-re-tuning cancellation (the cure). |
| — | L05.D / MO-1: a genuinely-NEW L-construction passing all four R1–R4 | RESTATES | It is the open cosmological-constant problem (R1+R2 together = the Weinberg no-go). External-Clay; named and graded shut; NOT AI-attemptable. |
The single cardinal honest point: Λ is the most target-temptingly small number in physics, and the worst possible outcome on this gate would be to invent any protector, measure, or normalization reverse-engineered to land on the observed value. That is the κ³/π pattern (true-by-construction): it relocates the mystery and closes nothing. The Weinberg anthropic bound is the canonical example of a restatement masquerading as a reduction. The correct posture is to grade the door shut.
This is the load-bearing technical content. It has three computed pieces: the chamber-cancellation no-go (I2/I3), the four-predicate burden and the three relocation refutations, and the gravity-side three-layer Theorem 1. Each is reproduced at the level a working physicist can check.
The framework is the 13-dimensional constraint-selection program — a Kaluza-Klein GUT candidate on a single frozen geometry (00_HANDOFF_README.md §0; 03_FROZEN_GEOMETRY_CONTEXT.md):
$$\mathfrak{B}_{\rm active} = [\mathcal{M}_4 \times K_6 \times S^2 \times S^1_Y/\mathbb{Z}_2] \oplus [F^+]\otimes[E], \qquad K_6 = SU(3)/T^2,$$
with anchor hash dcc66f1b2685 and manifest meta-hash a5b1e6f9d951 (READ-ONLY). The load-bearing fact for this gate: the 13D branch produces no Λ. Λ is carried as Tier-1 row 5 of the irreducible ledger — one of N=5 declared "just-is" inputs the theory does not attempt to derive: the four empirical anchors {M_Pl, αᵢ(M_Z), y_t = 0.9665, |V_us| = 0.22436} plus Λ = (2.3 meV)⁴ ≈ 1×10⁻¹²² M_Pl⁴ (GAP05_LAMBDA_ASSESSMENT.md §1). There is no per-Λ first-principles hash, because the framework does not derive it. The geometry's honest contribution here is negative and clarifying: its one internal lever (chamber cancellation) is computed-refuted, and it produces no Λ to compare (the no-target-fitting guarantee).
The ⊕-layer "chamber-cancellation" idea is the framework's deepest internal proposal for a vacuum-energy cancellation. The intuition: the particle inventory splits into sign-graded "chambers"; a single signed sum over the inventory — a supertrace — would vanish identically if the chambers' contributions paired up to cancel. If it vanished structurally (at every coefficient order, not by accident of one tuning), the vacuum energy would cancel and Λ would be protected.
Certificate I2 (v12) — the supertrace, computed to an honest FAIL. A single signed sum over the theory's particle inventory (the Paper-3 §4 nine-row ledger; the 17-row physical inventory confirmed) was computed at successive coefficient orders k. It would vanish iff the chamber's cancellation were real (subsystems/L05.B_chamber_route_refuted.md; 00_decomposition.md §0):
That is: no structural cancellation at any coefficient order. The grading is coefficient-blind — at orders k=1 through 8 the graded sum equals the ungraded sum exactly (ratio 1.000), so the grading does nothing at all; at k=0 it shifts the sum only to 0.58 of the ungraded value, nowhere near the zero a real cancellation would force. No structural cancellation at any order. (toe.md §III, Certificate 1.)
The structure-side witness number. The corpus records the supertrace at the frozen radii as
$$\mathrm{Str}\,\rho \;=\; \frac{-88.93 \,\pm\, \text{band}}{R_Y^4} \;+\; c_{\rm loop}$$
(I2 datum, subsystems/L05.A_weinberg_no_go.md; GAP05_LAMBDA_ASSESSMENT.md). This is a structure-side number — a witness of the chamber FAIL — and is never compared to Λ_obs. The −88.93/R_Y⁴ is emphatically not a Λ prediction; it is the magnitude of the residual that the failed cancellation leaves behind.
Reproducibility detail. The companion computational scaffold (c_loop_spectra_ai/) computes the verified K6 = SU(3)/T² scalar Laplacian tower (the bosonic content) and an explicitly labeled fermionic proxy lifted by a twist-gap Δ (the real twisted-Dirac spectrum needs c₁(L_{K6}), the open R4 artifact). The count-only limit is n_B − n_F = 35 − 90 = −55 (bosonic_supertrace_partial.csv); the script supertrace_signflip.py demonstrates the supertrace S(k) flips sign with k and that the crossing scale moves with Δ — i.e. the sign at the physical flow scale is genuinely owner/R4-gated, no c_loop value is asserted. This is exactly the honest posture: the deterministic bosonic geometry is fixed; the sign/value of c_loop is undetermined until the owner pins retention + radii + M_* + twist.
The decisive piece is not the numerical FAIL but the structural reason for it, banked as a refuted theorem.
Certificate I3 (v14) — Chamber-Cancellation Theorem: THEOREM_REFUTED. The theorem's Lemma 2 fails structurally (subsystems/L05.B_chamber_route_refuted.md; toe.md §III, Certificate 2; Table V-B row 20):
The Λ operator is the unit operator — grading-even and label-blind — so no grading of chamber labels can act on it; the 0.58 residual at k=0 is the quantitative witness.
The argument, spelled out: a sign-graded cancellation works only if the grading operator acts non-trivially on the object being summed — it must map "+chamber" contributions to "−chamber" contributions so they cancel in the signed sum. But the vacuum-energy operator is the identity (the unit operator) on the relevant space. The identity is invariant under any chamber-label grading: it commutes with every grading, so the graded sum and the ungraded sum coincide. There is nothing for the grading to act on. The cancellation cannot happen, not because the numbers came out unlucky, but because the operator is structurally blind to the labels the cancellation needs.
This is real recovered physics in the negative direction (the residual register's R1). It is target-blind: the obstruction is stated without any reference to (2.3 meV)⁴ — it is a structural fact about the operator. The κ³/π falsification test PASSES as a no-go: if anyone "repairs" the chamber sum by re-grading toward a small Λ, that is reverse-engineering and RELOCATES — it must be killed. An independent re-run must reproduce the obstruction, never tune the grading to approach zero.
Both C19 countersign slots (I2 verdict + ledger authority; I3 update) were cleared by the owner 2026-06-14. named_missing_object for the chamber route = None: a closed negative result is not an incompleteness; the refutation is the deliverable.
Once the chamber route is refuted, the framework asks: given the chamber is ruled out, where could the cancellation still live? It pre-registered three relocation candidates and a four-predicate radiative-stability burden to grade them against (subsystems/L05.C_relocation_lane.md; gap_05_lambda_radiative_stability/03_attempt.md).
The burden = four structural predicates that must ALL pass (conjunction; failing any one ⇒ BURDEN_FAIL):
- R1 — a real mechanism exists.
- R2 — one symmetry-protected mechanism cancels at every tower scale {M_Pl, m_t, v_EW, Λ_QCD} with no per-scale re-tuning. (This is the operationalized 122-OOM radiative-stability burden.)
- R3 — SM-mass-compatible.
- R4 — non-perturbatively supplied.
The three relocation candidates and their verdicts (owner-ratified 2026-06-14):
Relocation-L1 — exact discrete chamber-pairing symmetry G⁺ on chiral SM content (subsystems/L05.C.1_L1_chamber_pairing_symmetry.md). Verdict: BURDEN_FAIL, failing all four R1–R4. Structural reason: no such G⁺ exists — this is the Weinberg obstruction — and I3 already shows the Λ operator is the unit operator, so a chamber-label symmetry cannot act on it. L1's R1 failure (no real mechanism) is the Weinberg no-go restated in the geometry's own language. This is the deepest-rooted of the three failures, doubly walled (Weinberg + I3).
Relocation-L2 — non-perturbative ΔV_NP wall along the +modulus (subsystems/L05.C.2_L2_nonperturbative_wall.md). Verdict: BURDEN_FAIL, failing R1/R2/R4 (note R3 SM-mass-compatibility is not the failing predicate). The crux is R2: "a wall pins the modulus, not the 122-OOM zero-point — a wall is not a cancellation symmetry." A potential wall fixes a field VEV; it does not enforce a symmetry-protected cancellation holding at every tower scale without re-tuning. The load-bearing category distinction: modulus stabilization ≠ vacuum-energy cancellation — which is exactly why Gap-04 (moduli, closed at decision grade) does not spill into Gap-05.
Relocation-L3 — chamber-projected boundary degrees of freedom on S¹_Y (the hypercharge orbifold circle / its Z₂ fixed-point boundary) (subsystems/L05.C.3_L3_boundary_dof.md). Verdict: BURDEN_FAIL, failing R1/R2/R4. Structural reason: "the boundary-Casimir term re-renormalizes at every SM scale absent the exact bulk-tying symmetry (which is L1, refuted)." The boundary contribution is unprotected — it picks up scale-dependent renormalization at each tower scale (the R2 failure: per-scale re-tuning would be required) because the symmetry that would tie it down is exactly relocation-L1, already refuted. So L3 is parasitic on L1, not an independent third chance.
The harness has teeth (verified). The burden was verified to discriminate: an empty L0_NULL probe correctly FAILS, and a hypothetically-satisfied relocation-L1 correctly REOPENS (the terminal would flip to derived-reopens-toward-closure, requiring its own owner ratification). So the three refutations are genuine, not a rigged failure (subsystems/L05.C_relocation_lane.md).
What the lane is and is not. The lane as pre-registered is closed-by-elimination at decision grade (owner-ratified). It is a banked elimination, NOT a positive closure: nothing about Λ_obs entered, Weinberg is not cleared, the rule-layer selector C_Λ stays preserved-not-upgraded. The owner-ratified terminal (toe.md §III, verbatim): "Λ is Weinberg-open PERMANENT for the Class-2 route … Reopen only via a future L-construction passing the 122-OOM burden."
Separate from the matter-side chamber/relocation work is the gravity-side dissolution route (the unimodular/sequestering premise-drop). A three-layer Theorem 1 was proved against the request: "after adopting the separating premise (metric volume-mode non-dynamical / the trace-free Einstein equation), the graviton-loop and global-constraint vacuum terms are sequestered to ALL ORDERS." The honest verdict is a three-layer split, and the gate did not close (01_DOSSIER.md §4.5, the R5'-SEQUESTERING-ALL-ORDERS update, verified valid + non-target-fitted 2026-06-25).
Theorem-1 (L1) — PROVEN, positive-but-limited (tree-level trace-drop). The trace-free projector annihilates any pure-trace vacuum stress. With $T_{\mu\nu}^{\rm vac} = -V g_{\mu\nu}$, the trace-free combination is
$$T_{\mu\nu}^{\rm vac} - \tfrac14 g_{\mu\nu} T^{\rm vac} = -V g_{\mu\nu} + V g_{\mu\nu} = 0$$
identically (verified for all n; exact at n=4). So a spatially-constant vacuum energy V of any magnitude — including O(M_Pl⁴), including the constant pieces of graviton vacuum bubbles — does not source curvature. This hardens the catastrophe-half (the "why not M_Pl⁴?" question) from conjecture to a tree-level theorem at the level of the local field equations. (It is a theorem about tensor structure, not numbers, so it cannot be numerically destabilized at tree level.)
Theorem-1 (L2) — PROVEN, NEGATIVE — the Axiom ALONE is INSUFFICIENT at the quantum level (a correction to this gate's own earlier slogan). Under the Axiom, Bianchi + matter conservation force $\Lambda_{\rm grav} = \Lambda_0$ = an integration constant fixed by a boundary datum. An additive matter-loop vacuum shift $\mathcal{L}_m \to \mathcal{L}_m + \delta V$ (with $\delta V \sim M^4$, constant) passes straight through: $\Lambda_0 \to \Lambda_0 + \delta V$ — the map is the identity. Hence $\Lambda_{\rm grav}$ IS radiatively shifted at one loop already (Padilla–Saltas, arXiv:1409.3573).
The banked, load-bearing corollary (a specialist must not re-violate this). The earlier slogan "an integration constant has no beta function, so there is nothing for 122 orders to renormalize" is TRUE BUT IRRELEVANT — there is no running coupling, yet the boundary value that replaces it is shifted additively. The requested all-orders cancellation does NOT follow from the Axiom alone; it is FALSE as stated for plain volume-mode freezing. Future rounds must not re-lean on the no-beta-function argument.
Theorem-1 (L3) — CONDITIONAL/PARTIAL — all-orders sequestering holds only for a STRICTLY STRONGER construction, given an unproven assumption. The Kaloper–Padilla mechanism (arXiv:1606.04958) is not the Axiom: it augments gravity with rigid global scalars {Λ, θ, M_Pl}, a Gauss–Bonnet term θR_GB, and global flux / 4-volume constraints. Given that structure, two approximate rigid shift symmetries plus a scaling argument make every cutoff-dominated vacuum bubble (any loop order, with/without virtual gravitons) O(M⁴)×[smooth] and absorbable by the constraints, so the vacuum piece "completely drops out." But this is established in the action, not by an order-by-order BPHZ proof; it is CONDITIONAL on a smoothness/non-degeneracy assumption S [σ(O(1)z) ~ O(1)σ(z), nonlinear]; and background-curvature corrections are asserted "harmless," not proven. A minimal-sequester no-go result (banked as remaining gap G4) further indicates that minimal sequesters cannot remove the geometric unit-operator tension (a residual renormalized by graviton/matter–graviton loops), so the graviton sector requires the non-minimal Gauss–Bonnet augmentation — confirming L3 is a heavier posit, not the Axiom.
Net effect on the floor. No residual closed. The separating premise is hardened in scope only to a conditional structural posit (augmented sequestering, all-orders-given-S) — strictly heavier than the Axiom, still NOT atomic. The surviving residual ΔΛ is, in Kaloper–Padilla's own words, "radiatively stable, albeit with a value that is incalculable and should be set by measurement (just like the electron mass)" — a verified 1:1 relocation of the value, so the measured anchor remains the irreducible floor. Gate disposition unchanged: OPEN at the honest ceiling. STATUS-UPGRADES:0.
The only genuinely AI-attemptable piece of this gate is a structural-logic audit of the R1–R4 harness (node L05.C.4) — checking the bookkeeping was applied consistently, not that the world satisfies it. It is fail-closed: the instant it would need to evaluate physics, it stops and names the blocker. The attempt (gap_05_lambda_radiative_stability/03_attempt.md) ran four steps:
BURDEN_FAIL.What the audit establishes: on the bookkeeping/logic axis, the owner-ratified BURDEN_FAIL × 3 verdict is internally consistent. What it does NOT and CANNOT establish: that R1–R4 is a sound/complete operationalization of the true 122-OOM burden (that is MO-3 / BLOCKER-A1, [O]); that the predicates' physical reasons are true; that Gap-05 is closed. Producing any of those would be fabrication.
These are the reasoning moves that produced the progress — now shareable so the result is believable and reproducible.
(a) Compute your own best idea to a clean FAIL, then bank the failure as a theorem. The single most credibility-building move on this gate is not a closure — it is the discipline of taking the framework's own positive lever (chamber cancellation), running it target-blind, watching it fail (I2), and then proving why it had to fail (I3). A computed negative theorem, banked at full strength, is real physics. The temptation on Λ — the most target-temptingly small number in physics — is to repair the failing sum by re-grading until it approaches the observed value. That repair is reverse-engineering; it relocates the mystery and closes nothing. Refusing it is the win.
(b) The unit-operator obstruction is structural, not numerical. The deep insight in I3: a sign-graded cancellation needs the grading to act on the summed object. The vacuum-energy operator is the identity, which commutes with every grading — so the graded and ungraded sums coincide and the cancellation is impossible as a matter of operator structure, independent of any coefficient. This is why the ratio is 1.000 at k=1–8: the grading literally does nothing. The lesson generalizes: before proposing a symmetry-cancellation of any constant, check whether the symmetry can act on it at all.
(c) Pre-register a burden with teeth, then enumerate against it. Rather than argue informally that "no mechanism works," the framework operationalized the 122-OOM requirement into four falsifiable predicates (R1–R4), verified the harness discriminates (an empty probe fails; a hypothetically-satisfied candidate reopens), and then ran the three surviving relocation candidates through it. The teeth-test is what separates an honest elimination from a rigged "everything fails." This is closure-by-elimination done carefully — and it is explicitly only decision-grade (the predicates are not proven sound/complete).
(d) Separate the faces, and never let one launder another. The value, the mechanism, and the catastrophe-half grade differently. The value is a measured anchor (terminal as an anchor, not a closure). The mechanism is the open wall. The catastrophe-half is dissolved-conditional. Conflating them is the program's signature mis-close: e.g. letting the dissolved catastrophe read as the value is radiatively protected (which Theorem-1 (L2) explicitly refutes). The discipline is to hold the faces strictly apart.
(e) Report the negative half of your own theorem. The hardest honesty move on this gate — and the one a verifier specifically guards — is Theorem-1 (L2): the gravity-side trace-free Axiom is proven insufficient at the quantum level, which corrects this gate's own earlier over-reach ("an integration constant has no beta function"). Reporting only the favorable tree-level half (L1) while dropping the banked negative half (L2) is exactly the failure that lets a specialist wrongly believe tree-level trace-drop extends quantum-mechanically. The full three-layer split is the honest deliverable.
(f) "Wall ≠ cancellation symmetry," and "modulus stabilization ≠ vacuum-energy cancellation." Two category distinctions do real load-bearing work. A potential wall pins a modulus VEV but does not enforce a tower-wide protected cancellation (relocation-L2's R2 failure). This is precisely why a closed moduli gate (Gap-04) cannot be borrowed to close Λ — a clean firewall against accidental cross-gate laundering.
01_DOSSIER.md §2.1)| ID | Witness | What it shows | Verified? |
|---|---|---|---|
| W1 | Tier-1 irreducible ledger, row 5 = Λ | The framework declares Λ a measured input, not a derived output | YES (ledger structure) |
| W2 | Λ-R1 chamber no-go (unit-operator obstruction; 0.58 witness) | The corpus's own cancellation idea is structurally refuted | YES (computed; adversarially re-checked) |
| W3 | Weinberg 1989 no-go | Forecloses easy routes; any protector must survive it | YES (external, in-category) |
| W4 | Measured-differences fact (Casimir, Lamb shift) | Every measured vacuum effect probes differences, never the absolute | YES (external, measured) |
| W5 | SG-10 claim-boundary + GUT Gate-11 | The framework mechanically excludes vacuum energy from its closed gates | YES (lint-enforced) |
| W6 | Relocation map for each reduction | unimodular→boundary; sequestering→global constraint; quintessence→IC+potential; anthropics→measure | YES (each a known 1:1 relocation) |
Str ρ = (−88.93 ± band)/R_Y⁴ + c_loop, never compared to Λ_obs.BURDEN_FAIL; "Weinberg-open PERMANENT for the Class-2 route."dcc66f1b2685 / a5b1e6f9d951 — READ-ONLY; Λ has NO per-value first-principles hash (it is a declared measured input, not a frozen-geometry output).Two adversarial reduce-attacks on this gate also FAILED, correctly (GAP05_LAMBDA_ASSESSMENT.md §3) — these are deliberately tripped negative controls, reported for honesty:
- Granularity attack: a finite supertrace ~M_cutoff⁴ at M_cutoff = 1/R₀ is off by ~113 orders of magnitude and predicts no value. (A negative control that confirms the route does not secretly back-solve the value.)
- Implicit-assumption audit: no known assumption-drop predicts the value (einstein_granularity_attack/VACUUM_CATASTROPHE_ASSUMPTION_AUDIT.md §3 — dissolving "why not M_Pl⁴?" is achieved; deriving the specific 10⁻¹²² is not).
The two seductive coincidences (κ³/π, 5+3=8) are RETIRED cautionary examples (they belong to BG-10, not Gap-05) and were never banked here.
c_loop_spectra_ai/su3_spectra.py + full_bosonic_kk_tower_real_radii.csv; the sign-flip demonstration is in supertrace_signflip.py. Discipline: the obstruction must reappear; never tune the grading toward zero.BURDEN_FAIL classifications (03_attempt.md).This is the most load-bearing section. Each open hole is a concrete work-package a specialist can act on immediately. All physics; firewall the applications. None of these holes is the unsolvable one — the marquee unsolvable object (a new L-construction passing all four predicates = the open CC problem) is named and graded shut, not handed out for plugging. The holes below are bounded and falsifiable.
Traps the verifier already caught (do NOT repeat them):
- Do not report only the favorable Theorem-1 (L1) tree-level result and omit the PROVEN-negative (L2) (the Axiom alone fails at one loop; Λ₀ → Λ₀ + δV is the identity map). Selectively reporting half a three-layer theorem is the exact honesty failure that misleads the next specialist.
- Do not re-lean on the "an integration constant has no beta function" slogan — it is TRUE BUT IRRELEVANT (L2 corollary).
- Do not conflate the relocation candidates L1/L2/L3 with the Theorem-1 layers (L1)/(L2)/(L3) — two distinct triples.
- Do not fabricate any protector/measure/normalization reverse-engineered to land on (2.3 meV)⁴ — that is the κ³/π pattern (true-by-construction, RELOCATES).
- Do not treat BURDEN_FAIL as a rigorous closure-by-elimination — the burden is audited only for consistent application, not proven sound/complete (BLOCKER-A1).
- Citation hygiene: a previously-cited arXiv ID in the L3 minimal-sequester discussion was found misattributed and removed pending re-verification; do not reinstate it unverified. (The substance — minimal-sequester insufficiency for the unit-operator tension — is independently corroborated and recorded as remaining gap G4.)
(a) Precise statement. The four-predicate burden R1–R4 is audited only for consistent application, not proven SOUND and COMPLETE against the true 122-OOM radiative-stability requirement. The missing object is an argument that (R1 ∧ R2 ∧ R3 ∧ R4) is necessary and sufficient for genuine 122-OOM radiative stability.
(b) Why it's hard / prior-attempt lessons. The first-pass structural audit (03_attempt.md) explicitly fail-closes here: "whether R2's every-tower-scale, no-re-tuning captures 122-OOM radiative stability is physics (MO-3)." The danger if unsound (too weak): a future candidate could spuriously "reopen toward closure." If incomplete (too strong): it could wrongly refute a genuinely-stable mechanism. Trap: do not declare R1–R4 sound by fiat to make BURDEN_FAIL look like rigorous elimination — that is the precise over-claim the bright-line forbids.
(c) Exactly what closes it. Either (i) a soundness-and-completeness proof that R1 ∧ R2 ∧ R3 ∧ R4 exactly operationalizes 122-OOM radiative stability; or (ii) a counterexample — a construction that passes all four predicates yet is provably radiatively unstable (refutes soundness), or a known-stable mechanism (e.g. a fully-worked sequestering construction) that fails one predicate (refutes completeness). A negative is a valid close. Success criterion: a reviewer-checkable theorem or an explicit counterexample.
(d) Machinery & inputs. Decision-grade theory work [O]. Start from subsystems/L05.C.4_burden_predicate_harness.md, the four-step audit in 03_attempt.md, and the Weinberg 1989 statement of the radiative-stability burden. Compare R1–R4 against the literature's standard criteria for technical naturalness of a dimension-zero operator.
(e) Leverage. Closing A1 upgrades the entire relocation lane from decision-grade elimination to a rigorous closure-by-elimination, and makes any future BURDEN_FAIL/reopen verdict trustworthy. It is the keystone for the harness's authority.
(a) Precise statement. Predicate R4 may not be EVALUABLE without the non-perturbative-QCD continuum engine that gates Gap-02 / UQF-11. If so, grading any relocation (including a future L05.D) secretly cascades on Gap-02. The exact missing object: a well-defined non-perturbative evaluation of ΔV_NP from the Gap-02/UQF-11 continuum measure.
(b) Why it's hard / prior-attempt lessons. R4 ties any candidate to the same continuum-limit difficulty that gates the Yang-Mills mass gap (Gap-02) and the UQF-11 family — both themselves OPEN/AUDIT (the framework supplies UV data only). The structural audit (03_attempt.md Step 3) could not confirm R4's evaluation is well-defined and fail-closed here. Trap: do not declare ΔV_NP evaluated by borrowing a perturbative proxy and labeling it "non-perturbative."
(c) Exactly what closes it. An owner/theory statement of how R4 is evaluated, plus a well-defined non-perturbative evaluation of ΔV_NP from the Gap-02/UQF-11 continuum measure. Refuting result that also closes A2: a proof that R4 is not evaluable inside the corpus without the continuum engine — which would make the cascade-tie explicit and export R4 cleanly to UQF-11.
(d) Machinery & inputs. [C] cascade on Gap-02/UQF-11. Start from subsystems/L05.C.2_L2_nonperturbative_wall.md (R4 framing), the Gap-02 / UQF-11 ledger entries, and the non-perturbative-supply discussion in 00_decomposition.md §3. Physics only — firewall any device engineering.
(e) Leverage. Resolving A2 either unblocks R4 evaluation for all relocation grading, or makes the Gap-02 dependency explicit so the wall is counted once at the right place. It is the cleanest cross-gate dependency on this gate.
(a) Precise statement. Relocation-L3's full parasitism on relocation-L1 is asserted, not exhaustively shown. A boundary-only protection mechanism — a fixed-point anomaly-inflow, or a Z₂-localized symmetry on the S¹_Y/Z₂ orbifold boundary — is un-ruled-out and could in principle protect without the bulk-tying symmetry G⁺.
(b) Why it's hard / prior-attempt lessons. The L3 refutation reasons "absent L1's bulk-tying symmetry, the boundary-Casimir term re-renormalizes per scale" — but this assumes L3 has no boundary-only protection independent of G⁺. Whether a fixed-point anomaly-inflow or a Z₂-localized symmetry could protect L3 without L1 is physics not evaluated in the reason. Trap: if such a candidate is found, it is a new L05.D instance, NOT a revival of L3 — and it must pass its own full BURDEN run; do not grandfather it in.
(c) Exactly what closes it. Run the four-predicate burden harness on any independent boundary-only protection candidate (a fresh BURDEN run). If it passes, it is a new L05.D instance (which then needs owner ratification, and is the reopen door). If no candidate exists (or every candidate fails the burden), owner confirmation closes A3. Either outcome is a valid terminal.
(d) Machinery & inputs. [O] owner-physics. Start from subsystems/L05.C.3_L3_boundary_dof.md (the S¹_Y/Z₂ boundary structure), the burden harness (L05.C.4), and the orbifold-boundary structure shared with Gap-06 (∂M₁₃ boundary extension). The same orbifold fixes chirality/charge quantization in the base geometry — a natural place to look for a localized symmetry.
(e) Leverage. Closing A3 makes the three-candidate enumeration genuinely exhaustive over the boundary-only class, sharpening the "permanent for the Class-2 route" terminal. If a boundary candidate passes, it is the one genuine reopen — high-value but Clay-adjacent.
(a) Precise statement. The teeth-test "a hypothetically-satisfied L1 reopens" check may merely toggle a satisfied flag (a stipulation) rather than run a real constructed witness through R1–R4. If the latter, the reopen branch is weaker than it appears.
(b) Why it's hard / prior-attempt lessons. The structural audit (03_attempt.md Step 4) could not determine from the text whether the reopen branch exercises real predicate evaluation. Trap: a reopen test that only flips a flag would make the harness's "teeth" partly illusory on the reopen side — accept-side discrimination is exactly what a teeth-test must demonstrate.
(c) Exactly what closes it. Inspect the harness code: confirm the reopen branch accepts a real constructed input evaluated through R1–R4 (genuine) versus a stipulated flag (weak). Success: the code path demonstrably runs a constructed candidate through all four predicates. Refuting result (also valid): the code only toggles a flag — in which case the reopen branch is re-classified as a stipulation and the teeth claim is scoped to the fail side only.
(d) Machinery & inputs. [A] re-audit if the harness code is provided; otherwise [O] owner confirm. This is the most AI-attemptable of the holes — a code inspection, fail-closed.
(e) Leverage. Closing A4 secures the harness's accept-side discrimination, completing the teeth verification and underwriting any future reopen verdict.
(a) Precise statement. It is NOT established that volume-mode freezing (the unimodular/trace-decoupling separating premise underlying the dissolution route) is the unique minimal trace-decoupling modification. Until shown, the separating premise stays NON-ATOMIC and the sequestering claim (R5') is not load-bearing.
(b) Why it's hard / prior-attempt lessons. The secondary uniqueness/minimality theorem (T-A: is volume-mode freezing the unique minimal structural change decoupling the trace?) is recorded as NOT established — OPEN (01_DOSSIER.md §4.5 net effect). Several trace-decoupling constructions exist in the literature (unimodular, various sequestering variants, degravitation); minimality among them is unproven. Trap: do not assume uniqueness to promote the premise to atomic.
(c) Exactly what closes it. Prove (or refute) that volume-mode freezing is the unique minimal trace-decoupling change. If proven, the structural premise sharpens to a named conditional theorem (still not a closure of the value/mechanism). If refuted, sequestering is exposed as one of many such constructions — which is itself a clean terminal disclosure.
(d) Machinery & inputs. [O]/theory. Start from the unimodular-gravity literature (Einstein 1919; Ellis et al. 2011 trace-free Einstein), VACUUM_CATASTROPHE_ASSUMPTION_AUDIT.md §2 (the "surgically precise form" of the dropped premise), and Theorem-1 (L1) in 01_DOSSIER.md §4.5.
(e) Leverage. Closing this sharpens whether the dissolution route rests on a named structural posit or on an arbitrary choice — load-bearing for Gap-05-catastrophe's grade as well.
(a) Precise statement. The smoothness/non-degeneracy assumption S [σ(O(1)z) ~ O(1)σ(z), nonlinear] in the Theorem-1 (L3) all-orders graviton-sequestering argument is UNPROVEN; the all-orders result holds only for a strictly-heavier augmented Kaloper–Padilla construction and only given S (plus "harmless" background-curvature corrections, asserted not proven).
(b) Why it's hard / prior-attempt lessons. The all-orders result is established in the action, not by an order-by-order BPHZ proof. The minimal-sequester no-go (remaining gap G4) shows minimal sequesters cannot remove the unit-operator tension, forcing the non-minimal Gauss–Bonnet augmentation. Trap: do not state "all-orders sequestering" without the assumption-S and heavier-construction caveats — and do not re-introduce the misattributed arXiv citation.
(c) Exactly what closes it. Prove smoothness assumption S (or supply the augmented-construction conditions under which sequestering survives all loop orders without S, e.g. an order-by-order BPHZ argument). Refuting result (valid close): a counterexample where S fails and a vacuum bubble is not absorbable — which would bound the sequestering route precisely.
(d) Machinery & inputs. [O]/theory. Start from Kaloper–Padilla arXiv:1606.04958, the L3 layer in 01_DOSSIER.md §4.5, and the G4 minimal-sequester finding. Bounded, falsifiable.
(e) Leverage. Closing S would make the all-orders sequestering claim unconditional for the augmented construction — the strongest available hardening of the gravity-side route (still a relocation of the value, not a closure).
(a) Precise statement. Finite electroweak/QCD condensate shifts (~10⁴⁴–10⁵⁵ above the observed scale) must be shown sequestering-clean; the latent heat from the QCD/electroweak phase transitions must gravitate correctly.
(b) Why it's hard / prior-attempt lessons. Even after dropping the absolute-vacuum-energy premise, the finite condensate shifts still gravitate and must be absorbed by the surviving constant or by the sequestering structure (VACUUM_CATASTROPHE_ASSUMPTION_AUDIT.md §3 quantitative-honesty caveat). The dissolution is not even fully complete on its own without this. Trap: do not let "the catastrophe dissolves" read as "the finite shifts are handled" — they are a separate owed computation.
(c) Exactly what closes it. Demonstrate that finite phase-transition condensate shifts are absorbed by the trace-free/sequestering structure without re-tuning, and that the released latent heat gravitates correctly across both transitions. Success: an explicit sequestering construction that holds across the QCD and electroweak transitions. A bounded computation.
(d) Machinery & inputs. [O]/theory; partially cascades on A2 (non-perturbative QCD for the condensate magnitudes). Start from 01_DOSSIER.md §4.5 (R5), GAP05_LAMBDA_ASSESSMENT.md §1 (Half A residual), and the sequestering literature.
(e) Leverage. Closing R5 (together with R-uniqueness and S) would move the catastrophe-half from conjecture-grade dissolution toward a genuinely-complete dissolution — though still not a derivation of the value, and not a radiative-stability mechanism for the value (Theorem-1 (L2) forbids that from the premise alone).
| Hole | What closes it | Tractability | Cross-gate leverage |
|---|---|---|---|
| A1 (soundness/completeness) | proof or counterexample | [O] theory | underwrites the whole lane |
| A2 (R4 evaluability) | non-perturbative ΔV_NP evaluation | [C] cascade Gap-02/UQF-11 | counts the wall once |
| A3 (boundary-only candidate) | fresh BURDEN run or owner confirm | [O] owner-physics | exhausts the boundary class; the one reopen |
| A4 (reopen-branch witness) | code inspection | [A]/[O] | secures harness accept-side teeth |
| R-uniqueness | uniqueness proof/refutation | [O] theory | sharpens dissolution + Gap-05-catastrophe |
| S (smoothness) | prove S or BPHZ argument | [O] theory | unconditional all-orders sequestering |
| R5 (condensate shifts) | explicit sequestering construction | [O] theory (+A2) | completes the dissolution |
The single unreachable object, named and graded shut (NOT a plugging task): MO-1 = L05.D — a future L-construction (≠ relocation-L1/L2/L3) supplying a vacuum-energy protection passing all four R1–R4, plus owner ratification. This is the open cosmological-constant problem (R1+R2 together ≈ the Weinberg no-go); it is external-Clay-class, NOT AI-attemptable, and producing one without a genuine new ingredient would be fabricated physics — the single worst outcome. It is named and graded shut, not pursued.
The ceiling, stated plainly. Gap-05-stability stays OPEN at the honest ceiling: serious candidate / partial unification, NOT validated — Λ's radiative stability left open exactly where physics left it. The gate's genuine, non-promoting wins are two computed negatives — the chamber-cancellation unit-operator no-go (I2/I3) and the gravity-side Theorem-1 (L2) proving the trace-free Axiom insufficient at the quantum level — plus the precise localization of the value (handled in Gap-05-value) as a measured row that just-is.
Dissolved ≠ solved. The catastrophe-half ("why isn't it M_Pl⁴?") is dissolved-conditional by dropping an unmeasured premise; this gate does not claim it solves the radiative stability of the value. Theorem-1 (L2) explicitly forbids that inference: the boundary value is additively shifted at one loop.
Selection ≠ derivation. The Weinberg anthropic bound gives environmental selection conditional on an unproven scanning measure — it restates the value, it does not derive it, and it supplies no radiative-stability mechanism.
Given-Λ ≠ derivation of Λ. The framework carries Λ as a measured Tier-1 anchor; carrying a number is not deriving it.
ANCHORED ≠ DERIVED; AXIOM-CLOSED ≠ atomic; decision-grade ≠ proven-sound. The BURDEN_FAIL × 3 verdict is a banked elimination at decision grade, audited for consistent application only — not a proven closure-by-elimination (BLOCKER-A1 open).
The three dissolved unicorns — shared ceilings, never claimed as proven, never listed as our private gaps: - "No L-construction can EVER exist" / "L1, L2, L3 PROVABLY EXHAUST the relocation space" — a universal negative over an open-ended space of possible mathematical constructions, unprovable in principle for everyone. The honest ceiling is the bounded, conditional "Weinberg-open PERMANENT for the Class-2 route, reopen only via a future L-construction passing the burden" — a pre-registered enumeration plus an explicit open door, NOT a proven exhaustion. - "Λ is PROVABLY irreducible — no future theory could derive it" — EARNED-irreducible (irreducible under all known reductions) is the honest maximum; provably-irreducible is a universal negative over all future physics. - "Gravity CANNOT read the absolute vacuum energy" — the conditional version (it need not gravitate under local trace-decoupling / unimodular gravity) is the defensible ceiling; the absolute "cannot" is unprovable.
The anchors paid. This gate pays one measured anchor (the Λ value, Tier-1 row 5 — handled in Gap-05-value). The mechanism leg pays no clean posit — it is the open CC problem, and the framework refuses to manufacture one. The catastrophe-half leg pays one dropped unmeasured premise (handled in Gap-05-catastrophe), conjecture-grade, with the condensate residual (R5) still owed.
What is explicitly NOT claimed. No mechanism makes Λ radiatively stable / technically natural in this framework. No Λ value is derived or predicted. No structure-side quantity is compared to Λ_obs. The 122-OOM figure is the size of the burden, not a result. The −88.93/R_Y⁴ supertrace witness is a structure-side residual of the failed cancellation, never a Λ prediction.
The honest bet. The one door that could reopen this gate — a brand-new cancellation mechanism passing all four burden predicates — is the cosmological-constant problem itself. So the bet is concrete and testable: exhibit a symmetry-protected, non-perturbative, Standard-Model-compatible mechanism that cancels the vacuum energy at M_Pl, m_t, v_EW and Λ_QCD with no per-scale re-tuning, and this gate flips toward closed. No one on Earth has it. We refuse to fabricate one — that would be the single worst outcome — so we name the door and grade it shut.
STATUS-UPGRADES:0. No number newly derived. Frozen branch dcc66f1b2685 / a5b1e6f9d951 READ-ONLY, unmutated. Given-Λ ≠ derivation of Λ.
Dossier built by synthesis + expansion of: TOE/PER_GATE_DOSSIERS/LAMBDA_COMPLETION_HANDOFF/01_DOSSIER.md, 00_HANDOFF_README.md, 02_CURRENT_STATE.md; TOE/GAP05_LAMBDA_ASSESSMENT.md; TOE/gap_05_lambda_radiative_stability/ (00_decomposition, 01_named_missing_objects, 03_attempt, subsystems L05.A–L05.E); TOE/c_loop_spectra_ai/ (supertrace_signflip.py, bosonic_supertrace_partial.csv, full_bosonic_kk_tower_real_radii.csv); TOE/einstein_granularity_attack/VACUUM_CATASTROPHE_ASSUMPTION_AUDIT.md; TOE/GATE_REGRADE_BESTCASE_AND_HOLES_2026-06-29.md. Protocol: TOE/30pagedoc/DOSSIER_BUILD_PROTOCOL.md. STATUS-UPGRADES:0 throughout.