W05 — Given-E / bundle-uniqueness — rendered package. Rendered from W05_GIVEN_E_BUNDLE_CLOSURE_PATH.md; frozen technical content unchanged by rendering.

W05 — Given-E / bundle-uniqueness

Wall: The given-E / bundle-uniqueness wall · Closure routing via /closure

Where the gate above this wall stands (ratified board, 2026-07-08). The requirement-gate this wall serves, SG-3 — chiral matter, is RESOLVED at +0 · DERIVED-GIVEN-anchor on the live gate ledger: “three isn't a choice, it's forced by the geometry itself” — the family count is a whole-number tally on the frozen K₆ = SU(3)/T² weight lattice (the index evaluates to −3, computed two independent ways), two or four families are geometrically impossible, and the row declares its one stated assumption openly: among the admissible versions of the shape, take the one with the smallest amount of geometric twisting allowed. Full chain: the SG-3 dossier. The board stands at 33 gates RESOLVED at +0 · 0 ANCHORED at +1 · 0 OPEN — and, on the separate honest axis stated just as plainly, 0 of 33 are physics-closed: every terminal rests on declared measured anchors, none claims derivation from nothing.

What this page records is the wall's own bounded strengthening target, standing under that reached terminal: prove a value-blind selection theorem that singles out the |χ| = 3 weight/bundle from the frozen geometry alone, upgrading the row's one named assumption into a theorem. That is open work under a closed gate — not an open gate.

Routing decision

ANCHOR now; DERIVE only for the bounded bundle-uniqueness sub-target.

Deep-root link(s)

Reduction / dissolution verdict

The broad demand 'force E' is dissolved as a non-target: anomaly cancellation is a filter, not a selector. The observed spectrum is anchored as GIVEN-E / MEASURED-ANCHOR — the largest single paid input, charged openly, exactly as physics charges the meter and the second. A narrower bundle-uniqueness theorem remains bounded and open: a strengthening target under SG-3's reached terminal, not a debt that terminal owes.

Steps to the endpoint

  1. Label E_frozen as GIVEN-E / MEASURED-ANCHOR.
  2. Mark downstream results as DERIVED-GIVEN-E where appropriate.
  3. Forbid anomaly-cancellation-as-selector language.
  4. Isolate the bounded theorem: select the index ($-3$) weight/bundle without invoking three generations.
  5. If not proven, keep E anchored rather than derived.

Success criterion / falsifier

Success for bounded derivation: target-blind bundle theorem selecting required index and representation data from frozen geometry/constraints without using observed family count. Falsifier: an alternate admissible bundle with equal/lower cost, or proof selection requires observed E.

Terminal status assigned

MEASURED-ANCHOR / GIVEN-E for E; OPEN-BOUNDED for bundle uniqueness

Residual work

Bundle-uniqueness theorem remains open — bounded, named, value-blind strengthening work standing under SG-3's ratified terminal (gate row and dossier). Proving it would upgrade the row's one stated assumption into a theorem; not proving it changes nothing on the board.

Anti-claims

Systematic multi-pass analysis — 2026-06-29 (historical audit snapshot)

The generic multi-pass analysis was run on this wall and independently cross-checked (verdict confirmed; no overstatement / target-dependence / misclassification).

Preserved verbatim as the dated working record. Its wall-scoped finding — the precise value-blind selection rule still owed — remains this wall's live residual. For gate status it is superseded by the ratified board quoted at the top of this page: SG-3 stands RESOLVED at +0 on the live /gates/ ledger, its one named assumption declared on the row.

Verdict: EXHAUSTED_PARTIAL
Smallest missing rule (the precise hole):
  A target-blind SELECTION rule on segment S2 (admissible-weight -> chi): a minimality/admissibility criterion on the K6 weight lattice (the Z6 Tong-congruence weights), writable WITHOUT knowing the answer is "3" and WITHOUT the LEP N_nu input, that singles out the |chi|=3 weight (1,0) as the UNIQUE admissible survivor. Named as AXIOM-MIN-WEIGHT-LIFT; the finite enumeration + index-map it requires has not been run. (The extraction/readout sub-rule chi(L_{a,b}) = +/-(a+1)(b+1)(a+b+2)/2 is symbolically forced; only the value-blind selector is missing.)
Terminal status: MEASURED-ANCHOR / GIVEN-E for the spectrum E (terminal-by-anchoring); OPEN-BOUNDED (AXIOM-OPEN, ceiling AXIOM-CLOSED) for the bundle/weight-uniqueness sub-target (SG-3 R3 / AXIOM-MIN-WEIGHT-LIFT, named but NOT executed); local magnitude leg DERIVED-GIVEN-E (|chi(K6,E)|=3, n_R=0, deformation-proof given E). No gate here is physics-CLOSED.

Shared closure invariant

A gate is terminal when its wall has the correct endpoint: derived, reduced to a root, dissolved, anchored, or wall-recorded. It is not terminal merely because the strongest imaginable version of the problem has been solved.

Status-inflation guardrails: - DISSOLVED does not mean SOLVED. - SELECTED does not mean FORCED. - GIVEN-E does not mean DERIVED-E. - MEASURED-ANCHOR does not mean DERIVED VALUE. - WALL-RECORDED does not mean PHYSICS-CLOSED. - A bounded local certificate does not become global completion.

Completion tests for this wall file

This wall file is complete only if: - The wall is named exactly. - The routing decision is explicit. - At least one deep-root link is listed. - The endpoint status is explicit. - Local/banked wins are separated from the missing object. - The success criterion or falsifier is target-blind. - The anti-claims block prevents status inflation. - Any failure to reduce or dissolve is stated honestly. - Residual work is finite where possible; unicorn work is wall-recorded.

Completion report

Tests passed: - Wall named exactly. - Routing decision assigned. - Deep-root links listed. - Endpoint status assigned. - Honest failure to reduce/dissolve stated where applicable. - Success criterion/falsifier included. - Anti-claims included.

Tests failed: - None in this handoff draft.

Open items: - Execute the residual work listed above.

Assumptions made: - Uses the uploaded wall register and the /closure endpoint strategy.

See also