Gap-05-value — Λ value (cosmological-constant value as Tier-1 measured anchor): full dossier

Honest status (binding, matches the live popup): MEASURED ANCHOR · terminal-as-anchor (NOT derived). Direction: held. STATUS-UPGRADES:0. Frozen 13D branch dcc66f1b2685 / manifest meta a5b1e6f9d951: READ-ONLY, unmutated. This dossier is the deep version of the 30-second popup spine. It expands the gate brief and synthesizes the gate's rigorous source material (PER_GATE_DOSSIERS/LAMBDA_COMPLETION_HANDOFF/01_DOSSIER.md, GAP05_LAMBDA_ASSESSMENT.md, 02_CURRENT_STATE.md, MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md, the TEST sweeps, and the 2026-06-29 regrade/hole-queue). It never upgrades a grade, and it derives no number.

Source-citation note (binding). The handoff and the master ledger reference an artifact named LAMBDA_COMPLETION_RESULT.md (the A9 over-tiering flag is recorded against that name). That file is not separately present on disk in the corpus snapshot used here; the substantive content it would carry — Theorem 1 (L1/L2/L3), R6′, the named-axiom tiering — is the content actually recorded in 01_DOSSIER.md §4.5 and MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md (A9). All such claims below are therefore cited to those real loci; where the flagged filename is named it is named only as the master-ledger's flag target, not as a separately readable source.

0. Reader's map — what this dossier covers, and the one line to keep

This dossier treats one half of the Λ wall: the value — the observed dark-energy density, Λ ≈ (2.3 meV)⁴ ≈ 1×10⁻¹²² M_Pl⁴ — and the precise claim the framework makes about it. The companion half (the radiative-stability mechanism, the open cosmological-constant problem proper) and the catastrophe-dissolution are treated in their own dossiers (Gap-05-stability, Gap-05-catastrophe); they appear here only where they bound what the value-leg can honestly say.

The one line to keep, because everything below is an unpacking of it:

We do not derive the value of Λ. We record it as a single directly measured number, we prove there is no structure-side quantity quietly compared to it (zero target-fitting), and we localize why no one — us or the field — has anything deeper to stand it on. The refusal to dress a measured number as a derived one is the strength of this gate, not its weakness.

That posture is the most disciplined thing a theory can do at the worst over-fit hazard in all of physics. (2.3 meV)⁴ is the most target-temptingly small number a unification could reverse-engineer toward; the value-leg's entire job is to not do that, and to be able to prove it didn't.

1. Executive summary + honest status

1.1 Headline

The value of Λ is a Tier-1 measured anchor — correct and terminal as an anchor, never claimed as derived. The framework's frozen 13D geometry produces no Λ at all, so the observed (2.3 meV)⁴ is not fit to anything internal; it is consumed only as a measured input, the way the electron mass is. We took the honest, defensible position — "this number is measured and is not reduced here or anywhere" — and made it airtight by doing the one constructive thing available: we attacked the temptations to fake a reduction, and each attack correctly failed.

1.2 The honest grade (must match the live chip)

The chip word MEASURED ANCHOR is load-bearing and exact: it says the value is the program's ledger floor (the ≥1 genuine anchor every honest theory must pay), and it says — by not saying "derived/closed/predicted" — that the value-leg does not terminate its own gate. Calling a claimed-output a "measured anchor" to close its own gate is, in this program's own words, the cardinal Prime-Truth sin; this gate is graded precisely so that sin cannot be committed here.

1.3 What this dossier establishes — and what it does not

Establishes (all positive-in-honesty, none a derivation of the value): 1. The value is precisely localized as Tier-1 row 5 of the irreducible ledger — a measured number that, for now, just is (GATE_BRIEF_LAMBDA.md §"geometry's role"; 01_DOSSIER.md §0). 2. No target-fitting is structural, not promised: the frozen 13D geometry yields no Λ, so there is no structure-side quantity to compare to (2.3 meV)⁴ (02_CURRENT_STATE.md (ii); 01_DOSSIER.md §A.🎯). 3. A granularity attack on the value was run and failed by ~113 orders of magnitude — a deliberately tripped negative control proving the value is a finite wall granularity does not dissolve (GAP05_LAMBDA_ASSESSMENT.md §3). 4. The corpus's own internal cancellation lever (the sign-graded "chamber" sum) is computed-refuted: the vacuum-energy operator is the identity / unit operator, blind to the grading (Λ-R1; GAP05_LAMBDA_ASSESSMENT.md §2 row 1; 01_DOSSIER.md §2 W2). 5. A gate-specific banked negative — load-bearing for the value-leg's neighbors — is that the separating premise alone is insufficient at the quantum level: the boundary value is additively shifted Λ₀ → Λ₀ + δV at one loop, so the old "an integration constant has no beta function" slogan is true-but-irrelevant and must not be re-leaned on (01_DOSSIER.md §4.5 Theorem-1 L2).

Does NOT establish (firewalled against overclaim): - It does not derive, predict, or explain the value of Λ. (Frozen docs deny this; see §7.) - It does not claim the measured value closes Gap-05. An anchor terminates itself, not its gate. - It does not claim granularity dissolves the value the way it dissolves continuum walls — the ~113-OOM control failure proves the opposite. - It does not claim Λ is provably irreducible. The honest form is earned-irreducible (irreducible under all known reductions), never provably so (Weinberg-OPEN).

2. The community gap — what is actually open, and why nobody has it

2.1 The precise open problem

The cosmological constant carries two distinct, never-to-be-conflated problems plus one historical framing (01_DOSSIER.md §0.1, §1.1; 02_CURRENT_STATE.md §1):

1. The catastrophe-half — "why isn't Λ of order M_Pl⁴?" — the ~122-order gap between the naive QFT vacuum-energy estimate (~M_Pl⁴) and observation.
2. The radiative-stability wall — even if Λ is small, why does it stay small under ~122 orders of radiative correction at every tower scale (M_Pl, m_t, v_EW, Λ_QCD) without per-scale re-tuning?
3. The value — the observed number itself.

This dossier is about (3). The community gap for the value is stark and simple: the observed dark-energy density has no first-principles derivation in any framework. It sits in our ledger as a number that, for now, just is.

2.2 The size of the number (every digit traceable)

• In particle-physics units: Λ ≈ (2.3 meV)⁴ (GATE_BRIEF_LAMBDA.md §1; 01_DOSSIER.md §0).
• In Planck units: Λ ≈ 1×10⁻¹²² M_Pl⁴ (01_DOSSIER.md §0; 02_CURRENT_STATE.md §1; GATE_BRIEF_LAMBDA gate brief §1).
• The size of the gap (stated only to characterize the burden, never to derive): Λ sits ~122 orders of magnitude below M_Pl⁴. The corpus records this only as a round, bounded estimate ("~122 orders"; equivalently ~1×10⁻¹²² M_Pl⁴), not as a per-digit computed result — there is no finer "verified arithmetic" in the source material, and none is asserted here. No structure-side quantity is compared to this figure — the geometry produces no Λ (GAP05_LAMBDA_ASSESSMENT.md §1; 02_CURRENT_STATE.md §1).
• The ~122-OOM figure is the size of the burden, a bounded estimate — not a result (GAP05_LAMBDA_ASSESSMENT.md §1, §2).

2.3 State of the art / best bound, and why each "explanation" relocates rather than reduces

The cardinal fact about the value's gap is that every known "explanation" relocates the number 1:1 — it never reduces it. This is the relocation map (01_DOSSIER.md §2 W6; GAP05_LAMBDA_ASSESSMENT.md §2):

The best published bound the value is measured against is Weinberg (1989), The Cosmological Constant Problem, Rev. Mod. Phys. 61, 1 — the no-go theorem foreclosing the easy routes to a naturally small Λ. The anthropic side, Weinberg (1987) (the galaxy-formation upper bound), is the canonical example of a restatement masquerading as a reduction: it selects conditional on an unproven scanning measure — selection, not derivation (01_DOSSIER.md §5.3; GAP05_LAMBDA_ASSESSMENT.md §2 row 4).

2.4 Prior attempts and why each falls short — the honest scorecard

The corpus enumerated the levers and graded each (GAP05_LAMBDA_ASSESSMENT.md §2; 01_DOSSIER.md §4.2). For the value, the upshot is uniform: no lever derives it.

The single named positive object that would genuinely move the gate — a new L-construction supplying per-tower vacuum-energy protection with no re-tuning and surviving Weinberg — is the open cosmological-constant problem itself, external and Clay-class (GAP05_LAMBDA_ASSESSMENT.md §4). It is not what the value-leg needs: the value-leg's honest endpoint is the measured anchor, full stop.

3. The construction — the rigorous content of the value-leg

The value-leg has no derivation to show — that is the whole point. What it does have is a set of rigorous, checkable structural facts and negative results that together make "measured anchor, no target-fitting" airtight rather than a bare assertion. This section shows that work in full.

3.1 Where the value lives: Tier-1 row 5 of the irreducible ledger

The framework declares exactly N = 5 "just-is" numbers — the inputs it does not attempt to derive (GAP05_LAMBDA_ASSESSMENT.md §1 Half B; 01_DOSSIER.md §0):

 Tier-1 Irreducible Ledger
 ─────────────────────────
 row 1   M_Pl          (the one dimensionful anchor)
 row 2   α_i(M_Z)      (gauge couplings at M_Z)
 row 3   y_t = 0.9665  (top Yukawa)
 row 4   |V_us| = 0.22436  (CKM)
 row 5   Λ  = (2.3 meV)^4 ≈ 1×10⁻¹²² M_Pl⁴   ← THIS GATE

Two structural facts make row 5 special and force the honest grade:

1. Λ is NOT a frozen-geometry output. The 13D branch produces no Λ. There is no per-Λ first-principles hash because the framework does not derive it (01_DOSSIER.md §0, §5.4). The other four rows are consumed against internal structure; Λ has nothing internal to be consumed against.
2. Exactly one of the five rows is dimensionful (M_Pl); Λ is row 5 (GAP05_LAMBDA_ASSESSMENT.md §1). Λ enters the ledger as a dimensionless ratio Λ/M_Pl⁴ — i.e. it is anchored against M_Pl, never terminal as its own output. This is the both-FORBIDDEN tiering (input-consumed only vs M_Pl, never terminal as its own gate's output) flagged in the master ledger (A9), and it is exactly why the value-leg may anchor but may not close.

3.2 The no-target-fitting guarantee — structural, not promised

The cardinal sin on the Λ gate would be to invent any protector, measure, or normalization reverse-engineered to land on (2.3 meV)⁴. The framework's defense against this is structural: there is no internal Λ to compare to (02_CURRENT_STATE.md (0), (ii); 01_DOSSIER.md §1.1 fact 1).

The geometry-role split is decisive (02_CURRENT_STATE.md (ii)):

• The measured value Λ = (2.3 meV)⁴ — [generic / measured] (a measured fact, geometry-free)
• The radiative-stability problem across ~122 orders — [generic-survives-without] (the open CC problem, geometry-free)
• The Weinberg 1989 no-go — [generic-survives-without] (external, geometry-free)
• The catastrophe-dissolution — [generic-survives-without] (a claim about gravity, geometry-free)
• The chamber-cancellation idea + its unit-operator no-go (Λ-R1) — [circular / gap-defined-by-geometry] (the one corpus-internal lever; refuted)
• Λ is NOT a frozen-geometry output — [NOT-essential — the geometry produces no Λ]

The reading: the geometry does no validated derivational work on Λ. It produces no Λ to compare (the no-target-fitting guarantee), and its one internal lever (chamber-cancellation) is computed-refuted. This is the rigorous backbone of "measured anchor, zero target-fitting."

3.3 The granularity negative control (the value is a finite wall) — failed by ~113 OOM

The program's deepest reduction lever elsewhere is granularity (the cost-floor / discreteness axiom that dissolves continuum walls — e.g. it is the move that reduces the a→0 UV-divergence class and underwrites Gap-02). A disciplined adversary asks: does granularity also dissolve the Λ value? The corpus ran this as a deliberate negative control and it failed by ~113 orders of magnitude (GAP05_LAMBDA_ASSESSMENT.md §3; 02_CURRENT_STATE.md (0); regrade GATE_REGRADE..._2026-06-29.md Gap-05-value "Proven"):

"granularity: a finite supertrace ~M_cutoff⁴ at M_cutoff = 1/R₀ is off by ~113 OOM and predicts no value."

The physics: granularity replaces a divergent continuum integral with a finite cutoff sum. For continuum walls that is curative — the divergence was the disease. But the Λ value is not a divergence; it is a finite wall. A finite supertrace at the natural granular scale M_cutoff = 1/R₀ lands ~113 orders away from (2.3 meV)⁴ and predicts no value at all. So:

• Finite walls SURVIVE granularity (granularity buys nothing on them).
• This is a genuine tripped negative control, not a failure of the method — it is the method correctly reporting that this particular lever does not apply (GATE_REGRADE..._2026-06-29.md Gap-05-value bright-line 3).

Discipline note (bright-line): This ~113-OOM datum is real and load-bearing, but it must never be promoted into "no reduction of Λ is possible." That would be a universal negative (see §7). It proves one attempted reduction fails; it does not prove all do.

3.4 The chamber-cancellation no-go (Λ-R1) — the gate's one genuine negative win

The only positive corpus-internal idea for the value/mechanism was a sign-graded "chamber" sum: discrete chambers of K₆ = SU(3)/T² carry signs, and a signed inventory sum was conjectured to cancel the vacuum energy. The corpus attacked its own idea target-blind and refuted it (GAP05_LAMBDA_ASSESSMENT.md §2 row 1, §2 verbatim; 01_DOSSIER.md §2 W2, §4.1):

"Lemma 2 fails structurally: 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. A computed negative theorem, banked at full strength."

The structure of the no-go: - A sign-grading can only cancel a sum if it acts on labels that distinguish the terms. - The vacuum-energy operator is the identity / unit operator — it is grading-even and label-blind. - Therefore no chamber-label grading can produce a cancellation. The supertrace witness is honest-FAIL: ratio 0.58 at k=0, 1.000 at k=1–8, coefficient-blind (I2); the theorem is THEOREM_REFUTED (I3), a banked negative.

This is real recovered physics in the negative direction: the framework's own most promising lever for Λ is dead, and the program says so. Crucially it is target-blind — the obstruction is a structural fact about the operator, stated without reference to (2.3 meV)⁴. The κ³/π falsification test PASSES it as a no-go (01_DOSSIER.md §4.1).

Why this is in the value dossier: the chamber route is the only thing that could have turned the value from "anchor" into "derived from a cancellation." Its refutation is what makes "measured anchor" the correct grade rather than a premature one — the corpus tried the constructive route and it broke.

3.5 The gate-specific banked negative: the separating premise is insufficient at the quantum level

This is the most subtle banked result on the gate, and it is load-bearing as a guard rail for the value-leg's neighbors (the mechanism and catastrophe rows). It comes from Theorem 1 (R5'-SEQUESTERING-ALL-ORDERS), adversarially verified (01_DOSSIER.md §4.5 Theorem-1 update). It is a three-layer split:

(L1) PROVEN — tree-level trace-drop. The trace-free projector annihilates any pure-trace vacuum stress. For a vacuum stress T^vac_μν = −V g_μν, the trace-free combination is, identically,

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

for vacuum energy V of any magnitude (verified for all n; exact at n=4). So a spatially-constant vacuum energy — of any size, including O(M_Pl⁴) — does not source curvature. This hardens the catastrophe-half (R4) from conjecture to a tree-level theorem at the level of the local field equations (01_DOSSIER.md §4.5 L1).

(L2) PROVEN — NEGATIVE — the premise ALONE is INSUFFICIENT at the quantum level. Under the premise, Bianchi + matter conservation force Λ_grav = Λ₀, an integration constant fixed by a boundary datum. An additive matter-loop vacuum shift L_m → L_m + δV (δV ~ M⁴, constant) passes straight through:

 Λ₀  →  Λ₀ + δV        (the map is the identity)

Hence Λ_grav IS radiatively shifted at one loop already (Padilla–Saltas, arXiv:1409.3573). The banked corollary (load-bearing): the gate's own 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. Future rounds must not re-lean on the no-beta-function argument (01_DOSSIER.md §4.5 L2). This is a correction to this gate's own prior reasoning — exactly the kind of self-audit the program's discipline demands.

(L3) CONDITIONAL/PARTIAL — all-orders sequestering holds only for a strictly heavier construction, and only given an unproven assumption. The Kaloper–Padilla mechanism (arXiv:1606.04958) is not the premise: 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 O(M⁴)×[smooth] and absorbable, 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; and background-curvature corrections are asserted "harmless," not proven (01_DOSSIER.md §4.5 L3).

The decisive consequence for the VALUE (R6'). 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 (01_DOSSIER.md §4.5 "Net effect on the floor", R6′). So even the heaviest available construction does not derive the value; it relocates it to an incalculable boundary datum. ANCHOR-LAMBDA-MEASURED remains the irreducible floor. This is the rigorous reason the value-leg is graded MEASURED ANCHOR and not, e.g., DISSOLVED or REDUCED.

3.6 The value's interaction with the chamber moduli (a Λ-free side-result)

A clean, Λ-free computation in the chamber sector deserves mention because it shows the discipline of keeping Λ out of computations that don't need it (TEST2_LAMBDA_FREE_CHAMBER_POTENTIAL_2026-06-23.md). The K₆ chamber moduli u = (u₁,u₂,u₃) (the three positive-root radii) have a Weyl group S₃ permuting them; the symmetric point u = (1,1,1) is automatically a critical point of any S₃-invariant potential. The Hessian splits 3 = 1 ⊕ 2:

The point for this gate: Λ is used nowhere in that decomposition (TEST2... header — "Λ used nowhere (downstream test only)"). The shape doublet is decidable without ever touching the value — an instance of the no-target-fitting discipline in practice. The volume/breathing singlet ties to the hierarchy wall (c_loop), not to Λ. This is included to show the firewall between the value and the rest of the machine is real and operative, not just declared.

3.7 Honest scoping across the corpus (the consistency check)

The value-leg's grade is only credible if the whole corpus is consistent with "no Λ derived." It is, and this is lint-enforced (01_DOSSIER.md §0, §1.1; GAP05_LAMBDA_ASSESSMENT.md §1; GATE_BRIEF_LAMBDA.md §Sources):

• GUT manuscript Gate-11 EXCLUDES the cosmological-constant / vacuum-energy problem — it carries no vacuum-energy certificate.
• Quantum manuscript explicitly does not claim a CC solution.
• TOE manuscript carries the Λ cross-reference and explicitly does not claim a CC solution.
• SG-10 claim-boundary names dark energy / vacuum energy as an excluded sector (machine-enforced, W5).
• No Λ value is derived in any paper.

So the value-leg's "measured anchor, not derived" is not a local claim — it is the corpus's globally enforced posture.

4. The insights we used (now shareable)

These are the actual moves that produced the value-leg's airtight honest grade. Sharing them is what lets a reader both check the grade and re-derive the discipline.

4.1 ANCHORED ≠ DERIVED — and the floor is ≥ 1, forever

The program's Prime Truth is that derivation is anchor-transfer, never anchor-elimination; the axiom floor is ≥ 1 forever; the goal is minimal measured-invariant anchors / maximal derived reach; and the trap is anchoring on the target (02_CURRENT_STATE.md (0), (iv)). Λ is the floor's most important single member. The insight is that paying one genuine measured anchor for Λ is not a defeat — it is what a floor is. The error would be either (a) pretending the floor is zero (faking a derivation), or (b) declaring "premature just-is" before exhausting known reductions. The value-leg threads both: it pays exactly one anchor and proves the known reductions were tried.

4.2 The no-target-fitting move: make the geometry produce no Λ

The single most powerful structural insight is that the geometry produces no Λ, so there is nothing to fit. Most over-fit hazards arise because a theory has an internal quantity that could be slid toward the observed value. Here that lever doesn't exist — by construction the comparison set is empty (01_DOSSIER.md §A.🎯; 02_CURRENT_STATE.md (ii)). This converts "we promise we didn't tune" into "there is structurally nothing to tune," which is a far stronger guarantee.

4.3 Attack your own best idea first (the chamber no-go)

The discipline of attacking the corpus's own most promising lever target-blind — and banking the refutation rather than repairing it toward zero — is what separates a real negative result from a buried failure. The chamber-cancellation no-go (§3.4) is the model: the obstruction (unit operator is grading-blind) is stated structurally, the quantitative witness (0.58 at k=0) is recorded, and the explicit rule is never re-grade toward the target (01_DOSSIER.md §4.1 κ³/π falsification test). A reader can re-run it and must see the obstruction reappear.

4.4 Distinguish a finite wall from a divergent one

The granularity negative control (§3.3) rests on a sharp conceptual distinction: granularity cures divergences (continuum walls), not finite mismatches. The value of Λ is a finite wall. The insight — recorded as a tripped negative control — is that a method must be allowed to report "does not apply here," and that an honest program runs the control rather than assuming the method generalizes (GAP05_LAMBDA_ASSESSMENT.md §3).

4.5 The relocation lens: a 1:1 relocation is not a reduction

Every candidate "explanation" of Λ is tested by asking: does the unknown count go down, or just move? Unimodular → boundary constant; sequestering → 4-volume constraint; quintessence → IC + potential; anthropics → measure. Each is a 1:1 relocation (§2.3). The insight is that relocation must never be scored as reduction — and the sharpest application is Kaloper–Padilla's own admission that the residual is "incalculable, set by measurement" (§3.5). This is why the value-leg's grade survives even the heaviest available construction.

4.6 The "grade the door shut" discipline

For the mechanism (the open CC problem proper), the insight is that the honest move is to grade the door shut — to enumerate the refuted levers and refuse to fabricate a protector — rather than to claim a closure (01_DOSSIER.md §3.2 the cardinal honest point, §4.2). For the value, the analogue is: bank the measured anchor, and refuse to promote it. Both are applications of the same rule: say exactly what you have, and no more.

5. Evidence & reproducibility

5.1 The witness ledger (each independently checkable)

From 01_DOSSIER.md §2.1, the load-bearing witnesses:

5.2 Frozen-object hash index (READ-ONLY)

• Branch dcc66f1b2685 / manifest meta a5b1e6f9d951 (01_DOSSIER.md §0, §5.4).
• Λ has NO per-value first-principles hash — it is a declared measured input (Tier-1 row 5), not a frozen-geometry output. The absence of a hash is itself the evidence that the value is not derived.

5.3 Numerical checks — model vs measured, with honest pulls

There is no model value of Λ to compare to the measured one — that is the no-target-fitting guarantee. The only numbers on this gate are:

• The measured value: Λ ≈ (2.3 meV)⁴ ≈ 1×10⁻¹²² M_Pl⁴ (SNe Ia + CMB + BAO).
• The irreducibility-gap figure: ~122 orders below M_Pl⁴ (a round, bounded estimate; GAP05_LAMBDA_ASSESSMENT.md §1). This is not a pull against a prediction — there is no prediction; it is the size of the burden the mechanism would have to overcome. (No finer per-digit value is recorded in the source material, and none is asserted here.)
• The granularity control: a finite supertrace ~M_cutoff⁴ at M_cutoff = 1/R₀ lands ~113 OOM from observation and predicts no value (GAP05_LAMBDA_ASSESSMENT.md §3) — a deliberately failed control.
• The chamber-cancellation witness: ratio 0.58 at k=0, 1.000 at k=1–8 (GAP05_LAMBDA_ASSESSMENT.md §2) — the quantitative signature of the unit-operator obstruction.

Every one of these is a number whose role is to certify a gap or a no-go, never to claim a hit. There is no "model = X, measured = Y, pull = Zσ" line on this gate, because there is no model X.

5.4 How a reader re-runs / re-derives

1. Confirm Λ has no internal comparator. Inspect the frozen branch dcc66f1b2685; confirm no field-theoretic quantity is identified with Λ (the no-target-fitting check; 01_DOSSIER.md §1.1 attack handle 1).
2. Re-run the chamber no-go target-blind. Reconstruct the sign-graded chamber sum and confirm the vacuum-energy operator is the identity; the obstruction must reappear (0.58 at k=0), never be tuned toward zero (01_DOSSIER.md §4.1).
3. Re-run the granularity control. Form the finite supertrace at M_cutoff = 1/R₀; confirm it lands ~113 OOM away and predicts no value (GAP05_LAMBDA_ASSESSMENT.md §3).
4. Re-derive Theorem 1 L1/L2. Verify the trace-free projector annihilates −V g_μν identically (L1), and that an additive δV maps Λ₀ → Λ₀ + δV under the premise (L2) (01_DOSSIER.md §4.5 Theorem-1 update).
5. Check corpus consistency. Confirm GUT Gate-11 carries no vacuum-energy certificate and SG-10 lists dark energy as excluded (W5).

5.5 What does NOT reproduce (honest, by design)

• No derivation of the value reproduces — none exists (01_DOSSIER.md §2.3).
• No radiative-stability mechanism reproduces — that is the open CC problem (companion gate).
• The catastrophe-dissolution reproduces only as a contested conjecture (Smolin; Padilla–Saltas), hardened to a tree-level theorem (L1) but not above tree level (companion gate).

6. Open gaps + closure path — the specialist work plan

This is the most load-bearing section. The value-leg is terminal as an anchor, so most "holes" here are not "derive the value" (that is the dissolved unicorn of §7 — do not chase it). They are concrete, bounded, publication- and rigor-grade obligations the specialist can act on immediately. Each is a work-package with (a) precise statement, (b) why hard / trap, (c) what closes it (with refuting outcome), (d) machinery & inputs, (e) leverage. STATUS-UPGRADES:0 — none of these upgrades the value grade; they harden or correct it.

6.1 Hole 1 — Citation-hygiene defect (PUBLICATION-BLOCKING)

(a) Precise statement. The source artifact historically carried a misattributed arXiv identifier — arXiv:2507.20073 — cited in 01_DOSSIER.md §4.5 (the L3 citation note) for the minimal-sequester insufficiency claim. The gate is marked REQUIRES_COUNTERSIGN before live deploy specifically because of this (handoff §"Open holes"; GATE_REGRADE..._2026-06-29.md Gap-05-value Hole 1). (Note: the handoff/regrade record the locus as "line 371"; in the live 01_DOSSIER.md the remediated note now sits at ≈lines 374–377 — a stale line-pointer, not a second defect.)

Current source state (verified while building this dossier): 01_DOSSIER.md §4.5 already records the remediation — the citation note now reads "a specific arXiv ID previously cited here was found to be misattributed and has been removed pending re-verification of the exact source; the substance — minimal-sequester insufficiency for the unit-operator tension — is independently corroborated and is itself recorded as a REMAINING GAP, G4." So the offending ID has been removed from the live dossier prose; the substantive claim is demoted to an explicit open gap (G4), not leaned on. What remains owed is the verification + guard-clear step.

(b) Why hard / trap. The trap is inventing a replacement citation to make the publication-blocker disappear. That would be fabrication. The substance (minimal sequesters cannot remove the geometric unit-operator tension) is independently corroborated, so it is tempting to "find" a paper that says it — do not. The honest path is verify-or-remove.

(c) Exactly what closes it. Verify the real identifier and authors for the minimal-sequester-insufficiency result by independent literature search. Then either (i) cite the correct source, or (ii) keep the claim as REMAINING-GAP G4 with no citation. Re-run the citation-hygiene lint over the artifact; confirm zero misattributed identifiers. Then clear the deploy-exclusion guard / countersign. Refuting outcome (equally valid): if no correct source exists, the minimal-sequester-insufficiency claim stays G4-OPEN and is not asserted — the L1/L2/L3 disposition does not logically depend on it (01_DOSSIER.md §4.5 citation note).

(d) Machinery & inputs. 01_DOSSIER.md line ~371 (the citation note); the citation-hygiene lint; arXiv / INSPIRE search for "minimal sequester," "vacuum sequestering no-go," "graviton-loop sequestering." Cross-check against the correctly attributed anchors already in the artifact: Padilla–Saltas arXiv:1409.3573 (radiative shift of the integration constant) and Kaloper–Padilla arXiv:1606.04958 (the augmented all-orders mechanism).

(e) Leverage. Closes the deploy guard for the whole value-leg article — it is the gating obligation for going live. Zero new physics; pure hygiene; highest value-per-effort on this gate.

6.2 Hole 2 — Anchor over-tiering (the cardinal-sin guard)

(a) Precise statement. The master ledger (A9) explicitly flags LAMBDA_COMPLETION_RESULT.md for over-tiering: Λ is tagged both-FORBIDDEN — input-consumed only vs M_Pl, never terminal as its own gate's output (MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md A9 row, verbatim: "input-consumed ONLY vs M_Pl, NEVER terminal; LAMBDA_COMPLETION_RESULT.md over-tiering FLAGGED"). The risk is that the value-as-anchor copy could read as closing the gate (handoff §"Open holes"; GATE_REGRADE..._2026-06-29.md Gap-05-value Hole 2).

Current source state. The master ledger A9 already records Λ at the correct tier — T3 (ΛCDM) and both-FORBIDDEN — and names LAMBDA_COMPLETION_RESULT.md as the artifact under the over-tiering flag. (That flagged file is not separately present on disk in this snapshot; the binding tiering of record is the master-ledger A9 row.) So the tiering of record is correct; the live obligation is to enforce it at every public surface and confirm no copy regresses to a terminal reading.

(b) Why hard / trap. The trap is the cardinal Prime-Truth sin: calling a claimed-output a "measured anchor" to close its own gate (handoff bright-line 2). The phrase "measured anchor" is correct only in the sense "this is the floor," and wrong if it reads "this terminates Gap-05." The two readings are one word apart.

(c) Exactly what closes it. Confirm the public popup never uses the measured value to TERMINATE Gap-05 — only to anchor vs M_Pl. Enforce the anchor-vs-target gate so Λ is shown as an input-consumed signpost, not a claimed-output. Confirm LAMBDA_COMPLETION_RESULT.md tiering reads T3 / both-FORBIDDEN consistently across all copies. Success criterion: every surface that mentions the value renders the gate roll-up as OPEN and the value-leg as MEASURED ANCHOR (not a closure). Refuting outcome: any surface that renders Λ as DERIVED/CLOSED/PREDICTED is a confirmed over-tiering hit — fix it.

(d) Machinery & inputs. The master ledger A9 over-tiering flag (MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md, T3 / both-FORBIDDEN row); the popup chip text ("MEASURED ANCHOR · terminal-as-anchor (NOT derived)"); the anchor-vs-target lint. Grep the deploy tree for any "Λ ... derived/closed/predicted/explained" string.

(e) Leverage. Protects the program's single most attackable claim (the cardinal sin) at exactly the gate where it is most tempting. Also protects every other gate's credibility — one over-tiering of Λ would discredit the whole ledger discipline.

6.3 Hole 3 — R-uniqueness (the highest-value structural move)

(a) Precise statement. It is not established whether volume-mode freezing (the unimodular trace-decoupling premise) is the unique minimal trace-decoupling modification of gravity. Until then the separating premise stays NON-ATOMIC, and the sequestering claim is not load-bearing (handoff §"Open holes"; 01_DOSSIER.md §4.5 secondary theorem T-A, marked NOT-established / OPEN).

Note on scope: this supports the companion mechanism/dissolution rows, not the value itself. It cannot make the value derived; at most it upgrades the separating premise from "conjecture" to "forced-but-still-unmeasured" (which leaves the value still 1:1-relocated and still anchored).

(b) Why hard / trap. The obstruction is that "minimal" must be defined over a declared candidate space of gravity-coupling modifications, without knowing the answer should be volume-mode freezing. The trap is a circular definition of "minimal" that picks out the premise by construction. The κ³/π discipline applies: the candidate space and the minimality metric must be written before checking which one wins.

(c) Exactly what closes it. Over a declared candidate space of minimal gravity-coupling modifications (unimodular / trace-free / sequestering / Gauss–Bonnet-augmented / …), prove or refute that volume-mode freezing is the unique minimal trace-decoupling change that leaves local GR intact. If proven → a named conditional theorem (the premise becomes atomic-given-the-candidate-space). If refuted → volume-mode freezing is one of many routes, and the separating premise stays explicitly non-atomic. Both outcomes are valid closes — a refutation is as useful as a proof.

(d) Machinery & inputs. The trace-free Einstein equation; unimodular gravity; the Kaloper–Padilla augmented action (arXiv:1606.04958); the candidate-space enumeration must be architecture-neutral. Start from 01_DOSSIER.md §4.5 (the separating-premise disposition, "still NOT atomic, still REDUCE_FURTHER," and the T-A secondary uniqueness/minimality theorem, marked NOT-established / OPEN).

(e) Leverage. Highest-value structural move on the neighbors: closing it (either way) is the only path that upgrades the separating premise's atomicity, which is what the catastrophe-dissolution (Gap-05-catastrophe) and the all-orders sequestering (Gap-05-stability) both wait on. It does not move the value-leg's grade (the value stays a measured anchor regardless).

6.4 Hole 4 — R5 finite condensate-shift sequestering (computation-debt)

(a) Precise statement. The finite electroweak / QCD vacuum-condensate shifts (~10⁴⁴–10⁵⁵ above the observed Λ; GAP05_LAMBDA_ASSESSMENT.md §1 Half A) must be shown genuinely sequestered — not re-tuned per scale — for the catastrophe-dissolution to be complete. Currently not done; inherits the contested status of the premise-drop (handoff §"Open holes"; 01_DOSSIER.md §4.5 R5 / R5′ Theorem-1 update).

(b) Why hard / trap. The trap is a sequestering construction that appears to absorb the condensate shifts but secretly re-tunes at each scale — which would be the fine-tuning the whole program forbids. The Theorem-1 L2 result is the warning: under the bare premise, an additive δV passes straight through (Λ₀ → Λ₀ + δV), so any claimed sequestering must be shown to actually absorb δV via the global constraints, not relabel it.

(c) Exactly what closes it. Carry out the explicit finite computation showing the EW/QCD condensate shifts do not reintroduce a per-scale tuning under the augmented sequestering construction — i.e. that the global 4-volume / flux constraints absorb them. Success criterion: a concrete, falsifiable finite calculation in which the condensate shifts are demonstrably absorbed with no scale-dependent counterterm. Refuting outcome: if the shifts require per-scale re-tuning, the sequestering is incomplete and the catastrophe-dissolution stays conjecture-grade — a valid negative.

(d) Machinery & inputs. The Kaloper–Padilla global constraints (arXiv:1606.04958); the QCD and EW condensate values; the Padilla–Saltas additive-shift result (arXiv:1409.3573) as the thing that must be defeated, not assumed away; assumption S (smoothness/non-degeneracy) must be tracked as unproven (01_DOSSIER.md §4.5 L3, which states S — [σ(O(1)z) ~ O(1)σ(z), nonlinear] — is assumed, not proven).

(e) Leverage. Bounds how far the value's neighbors can advance: it is the concrete obligation R4 (catastrophe-dissolution) leaves behind. Does not touch the value-leg grade.

6.5 Hole 5 — Authenticity tier / co-consumption ledger for the value anchor

(a) Precise statement. The value anchor is filed T3 (ΛCDM-laden): (2.3 meV)⁴ is extracted within the ΛCDM model, so it is theory-laden — not a directly-measured invariant in the raw sense (MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md A9 row, "T3 (ΛCDM)"; handoff §"Open holes" Hole 5). The master rule says no anchor may sit above T1 until its co-consumption ledger is enumerated — i.e. everything "measured along with it."

(b) Why hard / trap. The trap is treating Λ as a pristine T1 measured invariant (like a single clean number from one apparatus) when in fact extracting (2.3 meV)⁴ co-consumes H₀, ρ_crit, and a stack of ΛCDM model assumptions. Over-tiering the anchor (T1 vs the honest T3) would strengthen the value-leg illegitimately — the opposite of the discipline.

(c) Exactly what closes it. Enumerate the co-consumption ledger for (2.3 meV)⁴: list H₀, ρ_crit, and the explicit ΛCDM model assumptions used to extract it; record the raw-record → as-consumed transform; and record the explicit tier (T3) + provenance. Success criterion: a standing artifact a reviewer can attack, mapping the observed value to its full extraction chain. Refuting outcome: if the extraction is found to be less model-laden than T3 (e.g. a direct geometric distance measurement that does not assume ΛCDM), re-tier accordingly — but default to weaker (T3) under uncertainty.

(d) Machinery & inputs. SNe Ia (1998), CMB (Planck), BAO data chains; the ΛCDM extraction pipeline; the master-ledger A9 row (already records T3 / ΛCDM-laden) and the master-ledger tiering rule (T1 = directly-measured invariant, T3 = model-laden). This is a provenance / documentation task, not new physics.

(e) Leverage. Makes the anchor's tier honest and attackable; protects against the most subtle over-tiering (treating a model-laden number as pristine). Cross-checks Hole 2 (over-tiering guard) from the data side.

6.6 Holes the value-leg exports or dissolves (do not chase as value-derivations)

For completeness, the specialist should know which residuals are not value-leg work:

• R2 (radiative-stability mechanism) — the open CC problem; export to Gap-05-stability. Not closeable inside the value-leg. Grade the door shut; do not fabricate a protector (01_DOSSIER.md §4.2).
• R6 (burden-predicate soundness/completeness) — a soundness check owed against the true 122-order burden; OPEN/BLOCKED; do not fabricate (01_DOSSIER.md §4.6).
• R7 (non-perturbative-QCD cascade tie) — EXPORTED to the Gap-02 / UQF-11 family; not closeable inside Gap-05 (01_DOSSIER.md §4.7).
• R8 (boundary-only protection / reopen-branch witness) — keep scope explicit; a universal negative is out of reach (01_DOSSIER.md §4.8).

7. Honest ceiling & scope

7.1 What is explicitly NOT claimed (the bright lines)

The frozen docs DENY the following; none may be printed as proven (handoff §"Bright-line"; 01_DOSSIER.md §0):

1. NOT claimed: the framework derives / predicts / explains the Λ value. Frozen doc: "No Λ value is derived in any paper"; "the value has no derivation, here or anywhere"; Λ is Tier-1 row 5, a declared measured input; GUT Gate-11 carries no vacuum-energy certificate.
2. NOT claimed: the measured value closes Gap-05. Frozen doc: master ledger A9 tags Λ both-FORBIDDEN ("input-consumed ONLY vs M_Pl, NEVER terminal"); an anchor is the floor, not a closure; using a claimed-output as a measured anchor to close its own gate is the cardinal Prime-Truth sin. Gate roll-up = OPEN.
3. NOT claimed: granularity dissolves the Λ value the way it dissolves continuum walls. Frozen doc: the value is a FINITE wall — the granularity attack FAILED by ~113 OOM; finite walls SURVIVE.
4. NOT claimed: the catastrophe-dissolution is established / forces a small Λ. Frozen doc: DISSOLVED is conjecture-grade, conditional on dropping an unmeasured premise, contested (Smolin; Padilla–Saltas); leaves the R5 sequestering residual OPEN; dissolved ≠ solved.

7.2 The dissolved unicorns (shared ceilings, never open weaknesses, never claimed as proven)

These are universal negatives over open-ended domains — unprovable for everyone, so they are dissolved as limits on all knowledge, not gaps in ours (handoff §"Dissolved unicorns"; 02_CURRENT_STATE.md (0)):

• "No reduction of (2.3 meV)⁴ exists under ANY possible mathematics, ever." A universal negative; unprovable in principle for anyone. The bounded honest claim — no reduction is known; every known route relocates 1:1 — is the ceiling, not a hedge. The ~113-OOM granularity datum is real but cannot be promoted into "no reduction is possible."
• "Λ is THE absolutely irreducible / provably-unique fifth anchor." Absolute irreducibility is a universal negative; the honest form is earned-irreducible under all known reductions, but never provably irreducible (Weinberg-OPEN).
• "No future theory could ever derive the value." A claim about all possible future theories; unprovable for anyone. Dissolve it; keep the testable bet of §7.3.

7.3 The confident, testable edge

Here is the falsifiable line that turns the honest ceiling into a strength:

If anyone — us or the field — ever derives (2.3 meV)⁴ from deeper structure without secretly feeding the answer back in (no target-fitting), this row converts from anchor to prediction on the spot.

Until then, the value terminating on a measured invariant is not our limitation — it is a limit on all physics: there is nothing deeper to transfer it onto, here or anywhere, and anthropics only restates it through a measure no one has shown exists. We refuse to dress a measured number up as a derived one; that refusal is the strength.

7.4 The anchors paid, and the disciplines that bind this gate

• Anchor paid: exactly one — ANCHOR-LAMBDA-MEASURED-VALUE = Λ = (2.3 meV)⁴ ≈ 1×10⁻¹²² M_Pl⁴ (filed T3 / ΛCDM-laden, pending the co-consumption ledger of Hole 5). It is the program's ledger floor (≥1 anchor, forever).
• Distinctions that survive the grade (all binding): ANCHORED ≠ DERIVED; AXIOM-CLOSED ≠ atomic; DISSOLVED ≠ solved; given-Λ ≠ derivation of Λ; a captured log ≠ an independent reproduction; selection ≠ derivation.
• Ceiling: serious candidate, NOT validated — Λ left open exactly where physics left it.

7.5 Closing honest statement

The value of Λ is a measured anchor with nothing deeper to transfer onto — measured-but-irreducible, the floor. The framework's frozen 13D geometry produces no Λ, so there is zero target-fitting: the most over-fit-tempting number in physics is recorded as a clean measured input, not laundered into a fake derivation. The one constructive thing a theory can do here was done: the corpus's own cancellation idea was attacked and computed-refuted (the unit-operator no-go), granularity was tried as a reduction lever and correctly failed by ~113 OOM, and even the heaviest available sequestering construction was shown to relocate the value 1:1 rather than derive it. The gate rolls up OPEN because the radiative-stability mechanism beside it is the open cosmological-constant problem — but the value-leg itself is correct and terminal as an anchor. Serious candidate, NOT validated. STATUS-UPGRADES:0. No number newly derived. Frozen branch dcc66f1b2685 / a5b1e6f9d951 READ-ONLY, unmutated. Given-Λ ≠ derivation of Λ.

Dossier built from the Gap-05 LAMBDA completion handoff (01_DOSSIER.md, 02_CURRENT_STATE.md, MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md), GAP05_LAMBDA_ASSESSMENT.md, TEST2_LAMBDA_FREE_CHAMBER_POTENTIAL_2026-06-23.md, the gate brief, and the 2026-06-29 regrade + specialist hole queue. (The handoff/master-ledger name an artifact LAMBDA_COMPLETION_RESULT.md as the over-tiering flag target; that file is not separately present on disk in this snapshot, and the content it would carry is cited above to its real loci — 01_DOSSIER.md §4.5 and the master ledger A9.) Synthesized and expanded; no new number derived; no grade upgraded.