Gap-05-value — Lambda value (Tier-1 measured anchor): the gate anchor ledger

The honest one-line: Gap-05-value has a real, checkable win — the value of $\Lambda$ is recorded as a single directly measured number with zero reverse-engineering from the measured value (the frozen geometry produces no $\Lambda$ to fit), and the program's own best lever to fake a reduction was attacked and computed-refuted — but the value is a measured anchor, terminal as an anchor, never derived; on the ratified board the gate closes at exactly that honest terminal — MEASURED-ANCHOR · RESOLVED +0 — with the neighboring mechanism faces carried as shown residuals.

This page is the gate-specific instantiation of the anchoring method: it takes the master anchor and the four bridges and applies them, object by object, to one gate. Every exact thing Gap-05-value touches gets its own row — its status, what it is allowed to claim, and what it is forbidden to claim. It follows the same eleven-part shape as the canonical SG-4 ledger, adapted honestly to a gate whose nature is a measured anchor, not an obstruction-cancellation: there is no "anomaly ledger" here, and the gate's one closed leg is a no-reverse-engineering from the measured value guarantee, not $O(E_{\rm frozen})=0$.

1. Gate status header

• Gate-level Gap-05-value roll-up: MEASURED-ANCHOR · RESOLVED +0 (board-canonical, ratified 2026-07-08; closure-of-record: the live gate dossier). An anchor is the floor, not a from-nothing closure; the gate's other faces (the radiative-stability mechanism; the sequestering residual) remain open residuals, shown alongside the reached terminal — under the superseded least-closed-residual rule they rolled the gate up OPEN.
• Taxonomy reconciliation (2026-07-05): the gate-level grading is RESOLVED +0 (value-leg) — MEASURED-ANCHOR (ratified 2026-07-08), read as TERMINAL + RESIDUALS-SHOWN. The residual family listed in this ledger (R-uniqueness, R5 condensate-shift sequestering, the T3 co-consumption ledger, citation hygiene, and the exported neighbor mechanisms) remains listed and carried unchanged. The facts are unchanged: the earlier OPEN roll-up above reflects the superseded least-closed-residual rule (a gate rolled up to its least-closed residual), not a different state of the work.
• The value-leg itself: MEASURED ANCHOR · terminal-as-anchor (NOT derived). Direction: held (AXIOM-OPEN $\to$ MEASURED ANCHOR; a relabel to the honest floor, no upgrade of substance).
• The exact closed local leg — not an obstruction vanishing, but the no-reverse-engineering from the measured value guarantee: the frozen 13D geometry produces no $\Lambda$, so the set of structure-side quantities comparable to the observed value is empty, $$\mathcal C_{\rm Gap05}(E_{\rm frozen}) = \varnothing .$$ This is the gate's checkable win: with $\mathcal C_{\rm Gap05}=\varnothing$ there is structurally nothing to tune toward $(2.3\ \text{meV})^4$.
• Status, split so it cannot be misread:
  • No-reverse-engineering from the measured value leg $\mathcal C_{\rm Gap05}(E_{\rm frozen})=\varnothing$: DERIVED-GIVEN-E — a structural fact about the frozen branch, given $E$. This leg is not axiom-open.
  • The value $\Lambda=(2.3\ \text{meV})^4$: MEASURED ANCHOR · terminal-as-anchor — the program's ledger floor (the $\ge 1$ genuine anchor every honest theory must pay).
  • Gate-level Gap-05-value: MEASURED-ANCHOR · RESOLVED +0 (open mechanism faces shown as residuals).

The chip word MEASURED ANCHOR is load-bearing and exact: it says the value is the program's ledger floor, and — by not saying "derived/closed/predicted" — it says the value-leg does not terminate its own gate. Calling a claimed-output a "measured anchor" to close its own gate is precisely the error this honest status is designed to avoid.

selection ≠ derivation · given-E ≠ derivation-of-E · frozen/reproducible ≠ proven-unique.

2. Frozen inputs (what Gap-05-value stands on, not what it produces)

• Frozen branch hashes dcc66f1b2685 / a5b1e6f9d951. The branch is read-only and unmutated. These hashes are audit anchors — they certify which object was tested and that it cannot be quietly retuned. They do not validate the physics. Note the positive fact here: $\Lambda$ has no per-value first-principles hash, because the framework derives no $\Lambda$ — the absence of a hash is itself the evidence the value is not derived.
• Upstream spectrum $E_{\rm frozen}$ is given / charged / inherited. Gap-05-value does not derive $E$, and — unlike the other four ledger anchors — the geometry consumes nothing against $\Lambda$: there is no internal comparator at all.

3. Object anchors — the value and its ledger context (given-E / measured)

The framework declares exactly $N=5$ "just-is" inputs; $\Lambda$ is row 5: $$ \text{row 1: } M_{\rm Pl},\quad \text{row 2: } \alpha_i(M_Z),\quad \text{row 3: } y_t = 0.9665,\quad \text{row 4: } |V_{us}| = 0.22436,\quad \boxed{\text{row 5: } \Lambda = (2.3\ \text{meV})^4 \approx 1\times10^{-122}\,M_{\rm Pl}^4 .} $$ Two structural facts make row 5 special and force the honest grade:

1. $\Lambda$ is NOT a frozen-geometry output. The other four rows are consumed against internal structure; $\Lambda$ has nothing internal to be consumed against. Status: MEASURED ANCHOR.
2. Exactly one row is dimensionful ($M_{\rm Pl}$); $\Lambda$ enters as the dimensionless ratio $\Lambda/M_{\rm Pl}^4$ — anchored against $M_{\rm Pl}$, never terminal as its own output. This is the both-FORBIDDEN tiering (input-consumed only vs $M_{\rm Pl}$, never terminal) recorded in the master ledger (A9), and it is exactly why the value-leg may anchor but may not close.

4. Root and master-anchor traceability

Deep roots that are load-bearing for Gap-05-value:

Causal order and nonseparability are not primary load-bearing anchors for the value-leg.

Master anchors in play: finite invariant ledgers (the Tier-1 row-5 entry) · no unpaid labels (no internal $\Lambda$ to slide) · the frozen branch · given-$E$ · the declared measured anchor ANCHOR-LAMBDA-MEASURED-VALUE · open-residual discipline.

5. The Gap-05-value anchor ledger (the universal table)

6. The construction — the win is a refusal, made airtight

The value-leg has no derivation to show — that is the whole point. What it has is a set of rigorous, checkable structural facts and negative results that make "measured anchor, no reverse-engineering from the measured value" airtight rather than a bare assertion.

(1) The no-reverse-engineering from the measured value guarantee (the closed local leg). Most over-fit hazards exist because a theory has an internal quantity that could be slid toward the observed number. Here that lever does not exist: the frozen 13D geometry produces no $\Lambda$, so $$\mathcal C_{\rm Gap05}(E_{\rm frozen}) = \varnothing ,$$ i.e. the comparison set is empty by construction. This converts "we promise we didn't tune" into "there is structurally nothing to tune."

(2) The granularity negative control — failed by ~113 OOM (a diagnostic that the result is specific, not trivial). The program's deepest reduction lever elsewhere is granularity, which dissolves continuum (divergent) walls. Run as a deliberate control on the value — a finite supertrace at the natural granular scale $M_{\rm cutoff}=1/R_0$: $$\rho_{\rm vac}^{\rm gran} \sim M_{\rm cutoff}^4 = (1/R_0)^4 \quad\Longrightarrow\quad \text{lands } \sim 113\ \text{OOM from } (2.3\,\text{meV})^4,\ \text{and predicts no value.}$$ The value of $\Lambda$ is a finite wall, not a divergence; finite walls survive granularity. This is a genuine tripped negative control — the method correctly reporting "does not apply here," which is precisely what makes the win non-trivial rather than an artifact.

(3) The chamber-cancellation no-go $\Lambda$-R1 (the gate's one genuine negative win). The only positive corpus-internal idea was a sign-graded "chamber" sum over $K_6=SU(3)/T^2$. Attacked target-blind, it is refuted: a sign-grading can cancel a sum only if it acts on labels that distinguish terms, but the vacuum-energy operator is the identity / unit operator — grading-even and label-blind. The supertrace witness is honest-FAIL: ratio $0.58$ at $k=0$, $1.000$ at $k=1\text{–}8$ — the quantitative signature of the obstruction. Status THEOREM_REFUTED, banked at full strength. This is real recovered physics in the negative direction: the framework's own most promising lever for $\Lambda$ is dead, and the program says so.

The obstruction analog. There is no $O_{\rm Gap05}(E)=0$ to assert (this gate has no anomaly ledger). The gate's checkable content is the conjunction $$\big(\ \mathcal C_{\rm Gap05}(E_{\rm frozen})=\varnothing\ ,\quad \text{granularity-control} = \text{tripped}\ ,\quad \Lambda\text{-R1}=\text{REFUTED}\ \big),$$ all DERIVED-GIVEN-E, none of which derives the value. We do not assert that any of this closes the gate; the value remains a measured anchor and the neighbors remain open.

7. The sequestering theorem, split into three honest objects (L1 / L2 / L3)

The single phrase "sequestering" hides three different claims with three different statuses (Theorem 1, R5$'$-SEQUESTERING-ALL-ORDERS):

1. (L1) Tree-level trace-drop. For a vacuum stress $T^{\rm vac}_{\mu\nu}=-V g_{\mu\nu}$, the trace-free combination vanishes identically, $$T^{\rm vac}_{\mu\nu}-\tfrac14 g_{\mu\nu}T^{\rm vac} = -V g_{\mu\nu}+V g_{\mu\nu} = 0 ,$$ for vacuum energy $V$ of any magnitude (including $O(M_{\rm Pl}^4)$). Status: DERIVED (tree-level). This hardens the catastrophe-half from conjecture to a tree-level theorem — at tree level only.
2. (L2) The premise ALONE is insufficient at the quantum level. Under the premise, $\Lambda_{\rm grav}=\Lambda_0$ is an integration constant; an additive matter-loop shift $\delta V\sim M^4$ passes straight through, $$\Lambda_0 \;\to\; \Lambda_0 + \delta V \qquad(\text{the map is the identity}).$$ Status: DERIVED — NEGATIVE. The gate's own earlier slogan — "an integration constant has no beta function" — is TRUE BUT IRRELEVANT: there is no running coupling, yet the boundary value that replaces it is shifted additively. This is a correction to this gate's own prior reasoning; it must not be re-leaned on.
3. (L3) All-orders sequestering, conditional. The Kaloper–Padilla augmented mechanism (rigid global scalars, $\theta R_{\rm GB}$, global 4-volume / flux constraints) makes the vacuum piece absorbable — but established in the action, not by an order-by-order proof, and conditional on a smoothness / non-degeneracy assumption $S$ (unproven). Status: CONDITIONAL / PARTIAL.

The decisive consequence for the value (R6$'$). The surviving residual $\Delta\Lambda$ 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. So even the heaviest available construction does not derive the value; it relocates it to an incalculable boundary datum. This is the rigorous reason the value-leg is graded MEASURED ANCHOR and not DISSOLVED or REDUCED.

8. The relocation map — every "explanation" relocates 1:1

The cardinal fact about the value's gap is that every known "explanation" relocates the number 1:1; none reduces it.

The best published bound the value is measured against is Weinberg (1989), Rev. Mod. Phys. 61, 1 — the no-go foreclosing the easy routes to a naturally small $\Lambda$. The anthropic side (Weinberg 1987) is the canonical restatement masquerading as a reduction: selection, not derivation. Relocation must never be scored as reduction.

9. Open residuals — neighbor mechanism + provenance, none a value-derivation

The value-leg is terminal as an anchor, so these residuals are not "derive the value" (that is the dissolved unicorn of §10.6 — do not chase it). They are concrete, bounded obligations, grouped by family:

Provenance / hygiene family (value-leg's own): - Citation-hygiene defect — arXiv:2507.20073 was misattributed; removed from the live prose, the substantive minimal-sequester-insufficiency claim demoted to open gap G4. AUDIT — independent verification of the real source still owed. - Anchor over-tiering guard — the master ledger (A9) flags the value for over-tiering; $\Lambda$ is tagged both-FORBIDDEN. AUDIT / guard owed. - Authenticity tier / co-consumption ledger — the value is filed T3 (ΛCDM-laden); its co-consumption ledger ($H_0$, $\rho_{\rm crit}$, ΛCDM assumptions) is not yet enumerated. OPEN / provenance debt.

Neighbor mechanism family (exported, bound the neighbors, not the value): - R-uniqueness — is volume-mode freezing the unique minimal trace-decoupling modification? OPEN; the separating premise stays NON-ATOMIC. - R5 finite condensate-shift sequestering — EW/QCD condensate shifts ($\sim 10^{44}\text{–}10^{55}\,\Lambda$) must be shown genuinely sequestered (no per-scale tuning). OPEN / computation debt.

Exported (do not chase as value work): R2 (radiative-stability mechanism $\to$ Gap-05-stability), R6 (burden-predicate soundness), R7 (non-perturbative-QCD cascade $\to$ Gap-02 / UQF-11), R8 (boundary-only protection).

10. Specialist closure plan

Each open residual is a concrete, finite, target-blind work-package. None upgrades the value grade; they harden or correct it.

1. Hole 1 — Citation hygiene. Verify the real identifier/authors for the minimal-sequester-insufficiency claim by independent literature search; then either cite the correct source or keep the claim as REMAINING-GAP G4 with no citation. Re-run the citation-hygiene check. Trap: do not invent a replacement citation. Falsifier: if no correct source exists, G4 stays open and is not asserted — the L1/L2/L3 disposition does not depend on it.
2. Hole 2 — Over-tiering guard. Confirm the public surface never uses the measured value to terminate Gap-05 (only to anchor vs $M_{\rm Pl}$); enforce the anchor-vs-target gate; confirm T3 / both-FORBIDDEN tiering across all copies. Success: every surface renders the gate at its honest terminal — value-leg MEASURED ANCHOR, gate MEASURED-ANCHOR · RESOLVED +0, never a derivation. Falsifier: any surface rendering $\Lambda$ as DERIVED/PREDICTED (or as an output of the geometry) is a confirmed hit — fix it.
3. Hole 3 — R-uniqueness. 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 leaving local GR intact. Both outcomes valid: proof $\to$ named conditional theorem; refutation $\to$ one of many routes. Write the minimality metric before checking which wins.
4. Hole 4 — R5 condensate-shift sequestering. Carry out the explicit finite computation showing the EW/QCD condensate shifts are absorbed by the global 4-volume / flux constraints with no scale-dependent counterterm. Falsifier: if per-scale re-tuning is required, the sequestering is incomplete and the catastrophe-dissolution stays conjecture-grade — a valid negative. Track assumption $S$ as unproven.
5. Hole 5 — Co-consumption ledger. Enumerate everything measured along with $(2.3\,\text{meV})^4$ ($H_0$, $\rho_{\rm crit}$, the ΛCDM extraction assumptions); record the raw-record $\to$ as-consumed transform and the explicit tier (T3) + provenance. Default to weaker (T3) under uncertainty.

Closing these hardens the value-leg and advances its neighbors; none makes the value derived — the value stays a measured anchor regardless.

11. Anti-claims (what this page refuses to say)

• Gap-05-value does not derive, predict, or explain the value of $\Lambda$. There is no model value; formally there is no internal comparator: $\mathcal C_{\rm Gap05}(E_{\rm frozen})=\varnothing$.
• The measured value does not derive Gap-05 closed. An anchor terminates as an anchor — the ratified terminal is MEASURED-ANCHOR · RESOLVED +0, never DERIVED. Using a claimed-output as a measured anchor to close its own gate is the cardinal sin — refused here ($\Lambda$ enters as a measured input, never as a claimed output).
• Granularity does not dissolve the value the way it dissolves continuum walls — the ~113-OOM control proves the opposite. And the ~113-OOM datum may not be promoted into "no reduction is possible" (that is a universal negative).
• $\Lambda$ is not provably irreducible. The honest form is earned-irreducible under all known reductions, never provably so (Weinberg-OPEN).
• The chamber-cancellation route does not derive $\Lambda$ — it is computed-refuted ($\Lambda$-R1, unit-operator obstruction).
• The "an integration constant has no beta function" slogan is true-but-irrelevant (L2) and must not be re-leaned on.
• The frozen-branch hashes are audit anchors; they do not validate the physics.
• The value is not a pristine T1 invariant — it is T3 (ΛCDM-laden) pending its co-consumption ledger.

12. Completion tests for this page

Required presence (all met): gate roll-up MEASURED-ANCHOR · RESOLVED +0 · value-leg MEASURED ANCHOR · the no-reverse-engineering from the measured value leg $\mathcal C_{\rm Gap05}(E_{\rm frozen})=\varnothing$ as DERIVED-GIVEN-E · "$\Lambda$ not derived" · frozen hashes (AUDIT ONLY) · the Tier-1 row-5 entry $\Lambda=(2.3\,\text{meV})^4\approx 1\times10^{-122}M_{\rm Pl}^4$ · the granularity ~113-OOM negative control as a specificity diagnostic · the chamber no-go $\Lambda$-R1 (witness $0.58$ at $k=0$) · the L1/L2/L3 sequestering split with R6$'$ relocation · the relocation map · every open residual as its own row · T3 / both-FORBIDDEN tiering · the gate's anti-claims.

Required absence (all held): no claim that Gap-05-value is fully closed · $\Lambda$ derived/predicted/explained · the measured value selling the gate as closed · granularity dissolving the value · "no reduction is possible" (universal negative) · $\Lambda$ provably irreducible · a chamber cancellation that works · the no-$\beta$-function slogan re-leaned on · hashes validate physics · T1 treatment of the value · any reader-visible build-process vocabulary.

This gate follows the same eleven-part shape and universal table as the canonical SG-4 ledger, adapted to a measured-anchor gate: its closed leg is a no-reverse-engineering from the measured value guarantee, its diagnostic is a tripped negative control, and its banked win is a refusal made airtight.

See also: the anchoring method · the master anchor · Layer 2 — no unpaid exact labels (why every constant must be writable without knowing the verdict) · Layer 1 — the metric anchor $M_{\rm Pl}$ (the dimensionful row $\Lambda$ is anchored against) · the Gap-02 ledger (the granularity / non-perturbative-QCD neighbor) · the full Gap-05-value dossier.