Status (binding, matches the live popup chip): AUDIT (OPEN) — the classical chirality count is DERIVED-GIVEN-E and twice-confirmed; the quantum chirality certificate is an honestly located wall with no known route. STATUS-UPGRADES:0. Frozen branch
dcc66f1b2685/ manifest metaa5b1e6f9d951is READ-ONLY; this dossier synthesizes and expands the corpus, it does not re-run or re-derive the frozen artifacts.Reading contract. This is the deep version of the 30-second popup. It is written for two readers at once: the working physicist who wants to check every step, and the specialist who will close the open hole. Section 6 is the load-bearing one — it is a concrete work plan, not a wish list. Throughout, the cardinal discipline holds: a closed classical index count is not a closed quantum chirality certificate, and we never let the first masquerade as the second.
The geometry hands us exactly the matter we observe — three families, one handedness, no mirror twins — and we confirm that count by two structurally related routes. What stays open is whether that chirality survives quantization: whether the four-dimensional descent of a higher-dimensional coset compactification can be quantized without spawning light opposite-handed partners that nature plainly does not contain. That is a wall no unification programme has cleared, and we say so plainly. The win here is real and bounded; the open piece is located, named, and shared — not papered over.
UQF-7 is AUDIT (OPEN). By the program's grading rule the gate status is the least-closed residual, and the gate-defining residual — the non-perturbative quantum-chirality certificate — is a wall (no known route), not a computation-debt (a route exists but is unrun). One open piece ⇒ the whole gate is OPEN, regardless of how strong the closed pieces are. No status was ever upgraded in any pass; the bookkeeping wrinkle described in §5.5 was reconciled downward to AUDIT, the weaker verdict, precisely to avoid an accidental promotion.
The closed pieces are genuine recovered physics and we lead with them:
All four are DERIVED-GIVEN-E or measured-anchor: real, but established given the observed Standard-Model content $E$ as input, not as a derivation of $E$.
It establishes that the frozen survivor geometry supplies the correct classical, zero-mode-level chiral spectrum, twice; that the no-mirror structure holds perturbatively; that the open piece is exactly one object — the non-perturbative coset-twist quantization — and that this object is a wall in the difficulty class of the Yang–Mills mass gap, shared and counted once with companion gates UQF-4, SG-3, and the BG-10 discrete-bit family.
It does not establish — and explicitly refuses to claim — that quantization preserves the chiral spectrum with no light mirror partners. That is the open certificate. It does not claim the classical index settles the quantum question; it does not assume the production obstruction vanishes; and it does not name an axiom for the un-routed calculation. Every one of those refusals is a discipline, not a hedge: naming an axiom for a calculation nobody knows how to set up would be target-fitting to the known answer.
A unification theory survives only if its fermions survive quantization with the chirality the classical geometry hands them. Concretely, UQF-7 demands: after the full four-dimensional descent (Kaluza–Klein reduction plus the coset/quotient/orbifold projection) and after quantizing the resulting gauge-plus-fermion theory, the physical infrared spectrum must be exactly three chiral families of a single handedness, with no light mirror partners — no opposite-handedness fermions near the same masses — and, more sharply, no other unwanted low-energy residue of any kind.
The phrase "no light mirror partners" is the colloquial statement of the gap. The corpus deliberately retired that narrow phrasing because it permits a false win (see §2.4 and §6); the honest target is the complete predicate $P_{\text{IR-chiral}}$ of §3.6.
The classical field content of a unification model can look perfect — correct gauge group, correct representations, correct anomaly cancellation — and still fail the day the theory is quantized, because quantum effects can populate the low-energy spectrum with states the classical analysis never saw:
The historical record is unambiguous: mirror fermions spawned at the quantum level are one of the standard ways unification programmes die. The honest version of this gate refuses to declare victory on the classical count alone.
There is no accepted nonperturbative chirality-preservation certificate for a coset compactification anywhere in the field. This is not a gap unique to this program; it is a community-wide open problem. The relevant body of work is the decades-old, still-open subject of lattice chiral gauge theory and symmetric mass generation (SMG):
So the best the field can do today, for any theory of this type, is the classical/topological part — which is exactly what we have closed. The dynamical part is open for everyone.
A note on a verifier-flagged claim. An earlier internal verification narrative asserted (via a grep) that the Davighi–Gripaios–Lohitsiri anomaly literature was "absent from the corpus." That assertion was a factual error in the verification log and is corrected here: that literature is part of the relevant prior-work landscape, and it is cited above as state-of-the-art anomaly classification — which (per §3.5) is precisely the class of certificate that cannot settle the dynamical mirror question. The correction does not move the grade; it tightens the honesty of the prior-work map.
The signature failure mode — the one this gate is built to resist — is to read a classical/topological chirality certificate (single handedness, three families, no perturbative mirrors, an anomaly-descent / cobordism / index witness) as if it established the quantum infrared spectrum. It does not. The bridge from the classical/topological representation to the physical IR spectrum is dynamical, and that bridge is exactly the open object.
Our own first framing of the open piece — "is a light mirror forced or not?" — was itself too narrow and was retired internally, because (i) a light vectorlike mirror is anomaly-trivial and so invisible to every topological certificate (§3.5), and (ii) a strongly coupled IR can deviate in ways that have no elementary mirror particle at all (gapless composites, emergent topological sectors, wrong relevant operators). Certifying "no named mirror" while some other invalidating residue survives is a false win — the same error one level up as anomaly-blindness. The honest target is therefore the complete invalidating set (§3.6).
Full derivations of the closed legs live in the published manuscript (Quantum Paper III, §11 fermion quantization; §10 status scoreboard; §20 Corpus Reconciliation ledger) and in SG-3 (the family count as a topological index, GUT paper). This section recaps them at attack-grade depth and then builds the open object explicitly enough to attack.
The active branch is the frozen 13-dimensional object
$$
\mathfrak{B}_{\rm active} = \big[\mathcal{M}_4 \times K_6 \times S^2 \times S^1_Y/\mathbb{Z}_2\big] \oplus \big[F^+_{\rm finite} \oplus C_{\rm admiss}\big] \otimes \big[E_{\rm matter}\oplus E_{\rm gauge}\oplus E_{\rm Higgs}\oplus E_{\rm proton}\big],
$$
with $D = 13 = 4 + 6 + 2 + 1$ and $K_6 = SU(3)/T^2$ the $SU(3)$ flag manifold (source: …/UQF7_COMPLETION_HANDOFF/03_FROZEN_GEOMETRY_CONTEXT.md, which verifies against rendered/GUT/gut.md). The factors route to forces as isometries:
| Internal factor | Routes to | Mechanism |
|---|---|---|
| $K_6 = SU(3)/T^2$ | $SU(3)_c$ color | left-isometry algebra $\mathfrak{su}(3)$ |
| $S^2$ | $SU(2)_L$ weak | isometry $\mathfrak{su}(2)$ |
| $S^1_Y/\mathbb{Z}_2$ | $U(1)_Y$ hypercharge | isometry + orbifold chirality filter |
The chirality-relevant frozen facts are: the spin-$\mathbb{C}$ family index $\chi(K_6, E) = -3$ (gut.md:3010, family-count witnesses at gut.md:2997; recorded in 03_FROZEN_GEOMETRY_CONTEXT.md §"Three generations"), the global $\mathbb{Z}_6$ charge identification, and the $\mathbb{Z}_2$ orbifold action on $S^1_Y$ that acts as the chirality filter. UQF-7 is a survival / consistency gate evaluated on the survivor — no new geometry is searched; the chirality is read off the frozen branch.
The origin of three families and a single handedness is the index of the Dirac operator $D_{K_6}$ on the internal space, twisted by the Standard-Model bundle $E$. Because the active branch carries a boundary — the $S^1_Y/\mathbb{Z}_2$ fold — the relevant statement is an Atiyah–Patodi–Singer (APS) index with a one-sided spectral boundary condition, not a closed-manifold Atiyah–Singer index.
The general APS index for a Dirac operator $D$ on a manifold $X$ with boundary $\partial X$ is
$$
\mathrm{ind}\, D = \int_X \hat{A}(X)\,\mathrm{ch}(E) \;-\; \frac{\eta(\partial X) + h(\partial X)}{2},
$$
where $\hat{A}$ is the A-roof genus, $\mathrm{ch}(E)$ the Chern character of the twisting bundle, $\eta$ the eta-invariant of the boundary Dirac operator, and $h$ its kernel dimension. The corpus result for the frozen branch is that the net zero-mode count has magnitude 3 and a sign encoding a single handedness:
$$
(n_L, n_R) = (+3, 0).
$$
Three left-handed families, zero right-handed (mirror) zero-modes (source: …/UQF7_COMPLETION_HANDOFF/01_DOSSIER.md §1.1, §A.1; 02_CURRENT_STATE.md (ii)). The boundary term is what makes this one-sided: the $\mathbb{Z}_2$ fold projects out the would-be mirror zero-modes, which is why $n_R = 0$ rather than a mirror-symmetric $(+3, +3)$.
Scope of this result (the firewall). This is a classical, zero-mode-level statement, established given $E$. It is theorem-grade inside the APS framework. It says nothing — by construction — about states that are not zero-modes of the classical Dirac operator: KK-tower remnants, twisted-sector boundary modes, or quantum-generated pairs. It is explicitly not the open item.
The family count is confirmed by a second route: a Bott–Weil–Borel bundle scan on the flag manifold $K_6 = SU(3)/T^2$. Borel–Weil–Bott computes the cohomology of homogeneous holomorphic line/vector bundles over $G/T$ in terms of Weyl-group data and dominant weights; the holomorphic Euler characteristic of the relevant bundle $E$ returns
$$
\chi(K_6, E) = -3 \quad\Rightarrow\quad |\mathrm{index}| = 3.
$$
(source: …/01_DOSSIER.md §0.1, §1.1; 03_FROZEN_GEOMETRY_CONTEXT.md §2 "$\chi(K_6,E)=-3$"; inherited from SG-3.)
An important honesty refinement on "twice-derived." The two routes (APS and BWB) cross-reproduce the same single topological invariant — they are two computations of one index, a reproduction-strength confirmation, not two structurally independent anchors. The converged reduction states this explicitly: "APS and BWB CROSS-REPRODUCE the SAME single topological invariant (reproduction-strength, NOT two independent anchors)" (source: …/07_CONVERGED_REDUCTION_AND_B4_WALL_RECORD.md, residual ledger, R2). This is a strength — a second method confirming the count is real recovered physics — but we do not overclaim it as two independent legs. Both are given-E and both are classical/zero-mode-level.
To perturbative order, no opposite-handedness fermions appear near the Standard-Model masses (source: …/01_DOSSIER.md §1.1 item 2; handoff "Banked"). Independently, the family count is consistent with the measured light-neutrino number from LEP/SLD:
$$
N_\nu = 2.984 \pm 0.008
$$
(source: …/01_DOSSIER.md §0, §2.1 W4; 02_CURRENT_STATE.md R4; GATE_BRIEF_UQF7.md). The neutrino count is a measured consistency cross-check on the family number — it confirms three light species — but it is not a proof of mirror-freedom under quantization. Both checks are real and both are scope-limited: perturbative order misses exactly the non-perturbative KK/quotient effects where mirrors could hide, and a count of species says nothing about the handedness structure of the full quantized spectrum.
This is the load-bearing structural fact of the whole gate. Suppose quantization produces a light vectorlike mirror — a chiral family $R$ plus its full conjugate $\bar{R}$. Then:
Now observe that every topological certificate is a function of the net chiral content $(n_L - n_R)$ only:
Adding a light vectorlike pair adds a topologically trivial class. Therefore a spectrum with the correct net chiral index and extra light vectorlike mirrors is topologically indistinguishable from the clean chiral spectrum. (source: …/SHARED_BLOCKER_BUILDS/B4_dynamical_SMG/certificates/B4_wall_record/00_WALL_RECORD_FIRST.md, "Why topology cannot settle B4.")
The consequence is decisive and is the reason the wall is harder than a mere anomaly calculation: no 't Hooft / cobordism / Dai–Freed / APS / spin-$\mathbb{C}$ certificate can ever decide whether a light mirror is present. The deciding datum is dynamical — strong-coupling symmetric mass generation / mirror decoupling — not cohomological. Using a topological certificate here is the wrong instrument for the job.
A load-bearing nuance (do not overshoot the blindness). Anomaly-blindness is scoped to the single vectorlike-mirror failure mode. It does not mean topology is irrelevant to the whole invalidating set. The complete predicate (§3.6) still contains a "no topological IR sectors" term; Wang–Wen anomaly matching remains a live necessary-condition / completeness constraint (it can force or forbid residual TQFT / gapless sectors left behind after the gap). Topology is blind to whether a given vectorlike pair is light; it is not useless for the completeness sub-claim.
Because "no light mirror particles" is too narrow (it hides the premise that elementary mirror particles are the only possible IR deviation), the corpus upgraded the target to:
$P_{\text{IR-chiral}}(Q^{\rm 4D}_{\rm desc}) = \text{true}$ — the closed non-perturbative theory's physical IR readout is exactly the intended three-family chiral sector, with no unwanted low-energy residue.
A correct failure-detector $\Pi_{\rm bad}$ must see every member of the complete invalidating set (source: …/B4_wall_record/01_PREDICATE_UPGRADE.md):
Any survivor in this set $\Rightarrow P_{\text{IR-chiral}} = \text{false} \Rightarrow$ a FINDING (a first-class negative success; a real refutation of quantum chirality on the frozen branch). The completeness of $\Pi_{\rm bad}$ is itself a proof obligation — it must be necessary-and-sufficient for $P_{\text{IR-chiral}}$, not asserted from a finite checklist (see §6).
The single missing object is the non-perturbative coset-twist quantization of the frozen-branch gauge+fermion theory on $K_6 = SU(3)/T^2$ with the $S^1_Y/\mathbb{Z}_2$ walls, producing a well-defined quantum 4D light-fermion descriptor $Q^{\rm 4D}_{\rm desc}$ (source: …/SHARED_BLOCKER_B4_coset_twist_quantization.md, "the WALL RECORD"). A genuine closing construction must deliver three things, none of which may be assumed:
The object decomposes (at the identity level only — naming which object blocks, not a route to evaluate it) into two sub-obstructions, both shared and exported:
…/certificates/UQF7_B4_wall_record/01_R1_B4_inheritance.md, A2.)The disposition of the decomposition is explicit: R1 = A2 + A3, both OPEN/wall, shared-exported to UQF-4 and BG-10, counted once, reducing to the single atomic measured anchor A1 = CHIRAL-CONTENT-IS-DATA with no floor growth. Locating the object reached IDENTITY; it did not reach VALUE (no route to evaluate $[\omega]$ or to decide SMG decoupling). Locating the object does not promote the gate.
These are the moves that produced the believable, reproducible progress — now shared so a reader can both check them and build on them.
The single handedness is not imposed by hand; it is the $\mathbb{Z}_2$ orbifold action on $S^1_Y$ acting as a chirality projector at the boundary. This is why the APS index is one-sided $(+3, 0)$ rather than mirror-symmetric $(+3, +3)$: the fold removes the would-be right-handed zero-modes. The insight is that the same geometric factor that routes $U(1)_Y$ hypercharge also filters chirality — one structure, two jobs — which is why the classical count comes out chiral "for free" given the frozen branch.
The dominant blind spot, surfaced and stabilized across four independent probe passes, is anchoring on the representation: treating the classical APS/BWB zero-mode index as if it were already the physical 4D quantum spectrum — i.e. assuming chirality is functorial across the chain classical-index → KK/quotient/orbifold → quantization → IR (source: …/07_CONVERGED_REDUCTION…md, "Dominant blind spot"). The deepest hidden assumption is that a well-defined, regulator-independent, quotient-complete, danger-class-complete non-perturbative descent certificate even exists. The discipline that follows: no promotion from classical/topological chirality to quantum physical chirality without a proven dynamical mirror-decoupling bridge. This is the master rule the gate is built around.
It would be easy to treat "topology can't settle it" as a defeat. The corpus reframes it as a result: a precise proof that the deciding datum lives in the dynamical sector, not the topological one. That proof is what lets the gate correctly classify the wall — it tells the specialist which instruments are guaranteed to fail (any anomaly/cobordism/index certificate) and which class of instrument must be built instead (strong-coupling SMG). Knowing why a route cannot work is genuine progress: it prevents the field from burning effort on certificates that are structurally blind.
The move from "no mirror particles" to the seven-condition $P_{\text{IR-chiral}}$ is a reduction to the true target, not a relocation of the problem. The narrow predicate was hiding failure modes (gapless composites, emergent TQFT sectors, wrong operators) that a strongly coupled IR can produce without any elementary mirror. Widening the predicate is the failure-completeness dual of the term-inventory rule: it makes the gate honestly harder, but it also turns the would-be detector into a typed, bankable instrument with sharp pass/fail criteria.
The honest endpoint is not "open vs closed." A target-blind construction of the non-perturbative coset-twist quantization would yield one of three first-class outcomes: BUILT (dynamical decoupling proven), FINDING (an IR survivor — a real refutation of quantum chirality on this branch, a first-class negative success), or OPEN-wall (no known dynamical route — today's status). Designing the program so a negative result is a success is what makes it science rather than advocacy.
The open object is identical across UQF-7, UQF-4 (row-17 dynamical side), SG-3 (quantum 3-generation index), and the BG-10 discrete-bit family. The insight is to attack it once, centrally, as shared blocker B4 — and to forbid re-attacking UQF-7 as an isolated gate. The leverage is real (one construction advances 3–4 gates) but the inheritance must be typed (per-dependent object + must-NOT-rely-on list) so a single scoped win cannot silently over-export.
Each witness carries a grade and an honest "reaches the quantum certificate?" flag (source: …/01_DOSSIER.md §2.1):
| # | Witness | Asserts | Grade | Reaches quantum certificate? |
|---|---|---|---|---|
| W1 | APS index $(+3,0)$ on $K_6$ | 3 families, single handedness, no zero-mode mirrors | theorem-grade (given-E) | No — classical zero-mode level only |
| W2 | Independent BWB scan $\chi=-3$, $|\mathrm{index}|=3$ | cross-reproduces the same invariant | theorem-grade (given-E) | No — confirms the classical count |
| W3 | Perturbative no-mirror check | no opposite-handedness near SM masses, to perturbative order | perturbative | No — misses non-perturbative KK/quotient effects |
| W4 | LEP/SLD $N_\nu = 2.984 \pm 0.008$ | family count consistent with measured count | measured | No — a consistency anchor, not a mirror-freedom proof |
| W5 | Coset-twist quantization | 4D descent preserves chirality after quantization | wall | NO KNOWN ROUTE — the gate-defining open object |
| W6 | UV/IR structural boundary | framework supplies UV data; IR spectrum certificate out of reach structurally | structural | No — places the certificate on the IR side |
| W7 | UQF-4 shared-wall linkage | same class of missing non-perturbative descent object | wall (shared) | No — confirms the wall is generic |
(source: …/01_DOSSIER.md §3.1, §A.1; 02_CURRENT_STATE.md (i); CONSOLIDATED_OPEN_GATES_HANDOFF_2026-06-25/UQF7.md):
| ID | Residual | Disposition |
|---|---|---|
| R1 | Quantum-chirality certificate / coset-twist quantization | OPEN / WALL — no known route; the gate-defining residual; = A2 + A3 |
| R2 | Classical zero-mode index (APS $(+3,0)$ + BWB $|\mathrm{index}|=3$) | DERIVED-GIVEN-E (closed) — cross-reproduced single invariant; firewalled from R1 |
| R3 | Perturbative no-light-mirror check | DERIVED-GIVEN-E (perturbative-only / scoped) — does not reach R1 |
| R4 | LEP/SLD neutrino-count consistency | measured-but-irreducible / consistency-anchor |
| R5 | UV/IR structural boundary | DISCLOSED (structural) — exported to the IR-certificate ledger (shared with UQF-11) |
| R6 | CANDIDATE-vs-AUDIT bookkeeping wrinkle | DISCLOSED-CORRECTED — reconciled conservatively to AUDIT |
| R7 | Shared-wall linkage to UQF-4 | OPEN / WALL (shared, EXPORTED) — count once |
| A1 | CHIRAL-CONTENT-IS-DATA | ATOMIC (measured-invariant) — the single axiom the gate reduces TO; already in the SHAPE/E floor; no floor growth |
By the rubric, gate status = least-closed residual. R1 is OPEN/wall, so the gate is OPEN (AUDIT) — full stop, regardless of R2/R3/R4 being closed or anchored.
The shared-blocker B4 carries a formal wall-record certificate (source: …/B4_wall_record/00_WALL_RECORD_FIRST.md, 03_FINAL_ROLLUP.md). Its disposition is OPEN_WALL_RESEARCH_PROGRAM, with anomaly_blind_confirmed = true and promotion_violation = false. What the certificate proves (these are wall-record facts, not a closure):
What remains open: the entire dynamical construction (the regulated quantum descriptor; SMG existence/selectivity/completeness; the two-route composition). B4 stays a genuine non-perturbative, Clay-adjacent research program.
A six-point promotion / claim-boundary scan is recorded clean — all six forbidden promotions negated (topology settles B4; "no perturbative mirrors" ⇒ "no light mirrors"; axiomatize "no mirrors"; classical/topological ⇒ quantum physical; B2-built ⇒ B4-built; partial result ⇒ BUILT). And no under-claim: the full $P_{\text{IR-chiral}}$ target is kept, B4.1 is treated as a real bankable instrument, and FINDING is first-class.
The gate rides branch dcc66f1b2685 / manifest meta a5b1e6f9d951, READ-ONLY. The chirality sector objects are: the Dirac operator on $K_6$; the APS index $(+3,0)$; the independent BWB scan; the $\mathbb{Z}_2$ orbifold action on $S^1_Y$; the coset/quotient projection of the 4D descent (source: …/01_DOSSIER.md §0 header). This dossier does not re-run the index files — it synthesizes the corpus records. An optional reproducibility hardening (not a move on R1): mounting the from-scratch Dirac-spectrum file and re-running the index target-blind would make the already-closed classical leg machine-real, but that is a reproducibility gain on a closed leg, not progress on the open quantum certificate.
Two manuscript sections briefly disagreed on whether the row read CANDIDATE or AUDIT; this was reconciled conservatively to AUDIT (the weaker verdict) — a one-line relabel with no physics content (R6). Separately, the §2.3 verification correction (the false "Davighi–Gripaios–Lohitsiri absent from corpus" grep claim) is recorded here as a pre-live fix flagged by the gate's own verification pass (source: CONSOLIDATED_OPEN_GATES_HANDOFF_2026-06-25/UQF7.md, verdict SAFE-WITH-REQUIRED-FIX). Neither item moves the grade.
physics.magflowmeters.com/articles/ (Quantum / GUT / TOE).…/SHARED_BLOCKER_BUILDS/B4_dynamical_SMG/certificates/B4_wall_record/ (files 00–03).This is the most load-bearing section. The honest closure path is not "close UQF-7 directly." It is: attack shared blocker B4 once, centrally; UQF-7 inherits closure only if/when the ledger marks B4
BUILTwith a target-blind, adversarially-verified certificate carrying no target-fitting — not one second before. A false "B4 is built" would propagate a false anchor to all four dependent gates at once: the worst failure mode in the program. There are two open holes; both are facets of the one shared object.
(a) Precise statement. Compute whether the boundary-lifted coset-twist class $$ [\omega] \in H^*_{SU(3)}\big(SU(3)/T^2\big), $$ transported across the $S^1_Y/\mathbb{Z}_2$ wall by Hořava–Witten inflow into the $d{+}1 = 5$ relative problem, vanishes. A nonzero $[\omega]$ across the boundary lift = a forced light opposite-chirality state (a falsification / FINDING). A vanishing $[\omega]$ = production is safe (the first half of closure). This is the existence / anomaly-descent facet — the same object as UQF-4's O5 ($S^1_Y/\mathbb{Z}_2$ Dai–Freed / Pin$^c$ boundary structure) and O3 (the spin$^c$-$G$ integrality equation $w_2(X) + f^*\zeta = 0$), shared as blocker B2.
(b) Why it's hard / prior-attempt lessons / traps to avoid. - The class lives on a boundary-lifted, $d{+}1=5$ relative problem, outside the $\le 4$D regime where standard vanishing theorems would protect it; the protective machinery simply does not apply. - Trap 1 (the one the verifier caught): the specialist phrase "reduced from computation-debt to NO-GO-GRADE" for A2 is an unproven faithful bridge — it identifies mirror production with an anomaly-descent class, but A3 proves anomaly classes are blind to vectorlike mirrors. So A2 either collapses into the anomaly object (a wrong-object substitution) or is the full quantization wall renamed (a RELABEL risk). Per the conservative-default rule, A2 is NOT a named computation-debt object. Do not bank it as one. - Trap 2: $[\omega] = 0$ is REFUSED, not assumed. Naming an axiom for the un-routed calculation would be target-fitting to the known answer. - Trap 3: the B2/O3 objects ($w_2(X) + f^*\zeta = 0$) are themselves BLOCKED-on-data (the branch flux data is unassembled), so even the anomaly-descent facet is not runnable as written.
(c) Exactly what closes it (target-blind, with refutation criterion). A target-blind construction of the non-perturbative coset-twist quantization that computes whether $[\omega]$ vanishes across the boundary lift, rather than assuming it. Success criterion: a regulator-/scheme-independent evaluation of $[\omega]$ with the branch flux data pinned to actual frozen-branch objects before running. Refuting result (a valid close): $[\omega] \neq 0$ ⇒ a forced light mirror ⇒ FINDING (a real refutation of quantum chirality on the branch). Note even a clean $[\omega] = 0$ only closes the production half; A3 (removal) is still required, and A3 proves topology cannot finish the job.
(d) Machinery & inputs. Equivariant cohomology on the flag manifold $H^*_{SU(3)}(SU(3)/T^2)$ (BWB / Schubert-calculus methods); Hořava–Witten boundary inflow; Dai–Freed $\eta$-invariant / Pin$^c$ bordism for the $S^1_Y/\mathbb{Z}_2$ boundary; the spin$^c$-$G$ integrality equation $w_2(X) + f^*\zeta = 0$. Start from: …/certificates/UQF7_B4_wall_record/01_R1_B4_inheritance.md (A2 statement + the demotion governance), the UQF-4 dossier (…/UQF4_COMPLETION_HANDOFF/01_DOSSIER.md, row-17 / O3 / O5), and shared-blocker B2 (…/SHARED_BLOCKER_BUILDS/B2_daifreed/).
(e) Leverage. This is the same $[\omega]$ object as UQF-4's binding blocker — computing it once advances both. It is shared with the BG-10 discrete-bit family. But: a built B2 (the anomaly-descent facet) does NOT discharge UQF-7, because A3 proves anomaly classes are blind to the vectorlike mirror. So A2 closing is necessary, not sufficient.
(a) Precise statement. If a light mirror is produced, it pairs into a vectorlike (anomaly-trivial) combination. Determine — by strong-coupling symmetric mass generation (SMG) dynamics, not by any anomaly/index/cobordism certificate — whether the produced mirror acquires a symmetric mass and decouples, leaving the physical IR readout equal to exactly the three-family chiral sector. The decisive datum is pinned to the discrete mod-2 / mod-8 spin$^c$ / Pin sign bit shared with UQF-4 row-17 and BG-10's CP-phase residue. More completely, A3 is the obligation to certify the full predicate $P_{\text{IR-chiral}}$ (§3.6) — all seven conditions, not just "no mirror."
(b) Why it's hard / prior-attempt lessons / traps to avoid. - Anomaly-blindness (the structural no-go). Every 't Hooft / cobordism / Dai–Freed / APS / spin$^c$ certificate — including a future BUILT B2 / UQF-4 row-17 — is structurally blind to the vectorlike mirror (§3.5). So A3 is harder than any anomaly-descent facet and cannot be closed by any topological certificate. Asserting otherwise is a faithful-bridge over-claim. - Trap 1 — do NOT axiomatize "no mirrors." That asserts the target ⇒ RELABEL_FAIL. The correct complete terminus is the wall record + OPEN/wall. - Trap 2 — do NOT assume the global-toy-model SMG transfers. SMG existence for a chiral gauge theory with the coset gauge field coupled is far less established than lattice SMG of a global vectorlike toy (3-4-5-0, 16 Majorana). Existence, selectivity, and completeness all stay open rather than assumed; do not silently upgrade "SMG works for global toy models" to "SMG exists on the frozen gauged branch." - Trap 3 — predicate-narrowing. Proving "no named mirror" while a gapless composite, an emergent TQFT sector, or a wrong relevant operator survives is a false win. Keep all seven conditions of $P_{\text{IR-chiral}}$. - Trap 4 — target-blindness is fragile. A "minimal regulated model" hand-built to the branch can smuggle the answer via regulator / representation-choice / boundary-condition selection. The capable-of-failing requirement is necessary but not sufficient: pin every regulator / measure / boundary datum to actual frozen-branch objects before running, else the wall is merely relocated into the model-building step.
(c) Exactly what closes it (the three-stage program, target-blind, with refutation criterion). The B4 research program (source: …/B4_wall_record/02_RESEARCH_PROGRAM.md):
- B4.1 — the assay/instrument (tractable, bankable, build first). Type the predicate $P_{\text{IR-chiral}}$ and build the failure-complete detector $\Pi_{\rm bad}$ (sees the full invalidating set of §3.6) + the physical IR readout $R$ + the light/heavy criterion $L_{\rm IR}$ + a failure-mode inventory. This does not close B4; it prevents false closure and scopes the program, and it requires no non-perturbative dynamics — only theory-engineering plus negative-control validation. Validate with negative controls: $\Pi_{\rm bad}$ must FAIL on (1) an explicit light mirror, (2) a gapped desired sector (selectivity failure), (3) a boundary remnant, (4) a gapless composite, (5) a topology-passes-but-dynamics-fails case. Two governance-mandated hardenings: (a) an UNKNOWN-failure-mode typed slot that forces BLOCKED rather than a silent pass when an unclassified IR feature appears; (b) an over-completeness negative control — at least one control $\Pi_{\rm bad}$ must FAIL that is not on its own named list (completeness is a necessary-and-sufficient proof obligation, not an enumerated checklist).
- B4.2 — the regulated quantum descriptor (the frontier). Build a minimal target-blind regulated model $Q_\Lambda$ — capable of failing — comprising frozen-branch symmetries + $K_6=SU(3)/T^2$ coset-twist + $S^1_Y/\mathbb{Z}_2$ boundary + the chiral sector + candidate unwanted sectors + allowed strong interactions + IR readout. Then $Q_\Lambda \to Q^{\rm 4D}_{\rm desc}$ (continuum/IR limit) OR a named obstruction (a sharper wall).
- B4.3 — selective dynamical mirror-decoupling (the core). Three sub-claims: SMG-1 existence (a branch-admitted interaction/condensate/symmetric-mass/pairing exists); SMG-2 selectivity (it gaps the unwanted sector while preserving the desired chiral families); SMG-3 completeness (it removes ALL unwanted IR residue per $\Pi_{\rm bad}$, using Wang–Wen anomaly matching as a completeness constraint — forcing/forbidding residual TQFT/gapless sectors — not discarding topology).
- Composition + mount. Prove $Q_\Lambda + R + \Pi_{\rm bad} + \text{SMG} + \text{bulk/boundary/quotient/KK consistency} \Rightarrow P_{\text{IR-chiral}}(Q) = \text{true}$, via two structurally-independent routes (same load-bearing input = ONE route — guards against the two-machineries-over-one-input trap), with the two-route + composition precondition restated at the BUILT decision-tree node, and a per-dependent typed mount/bridge contract.
The fail-closed decision tree (every intermediate bin keeps the gate OPEN): predicate untyped ⇒ BLOCKED_MISSING_PREDICATE; assay can't fail controls ⇒ ASSAY_INVALID; $Q_\Lambda$ not built ⇒ OPEN/wall; readout not faithful ⇒ BLOCKED_READOUT; detector incomplete ⇒ BLOCKED_INCOMPLETE_DETECTOR; SMG mechanism absent ⇒ OPEN/wall; unwanted IR survives OR chiral sector damaged ⇒ FINDING (first-class refutation); composition unproven ⇒ BLOCKED_COMPOSITION; all pass (incl. composition + two independent routes) ⇒ BUILT.
Refuting result (a valid close): any survivor in the invalidating set ⇒ FINDING ⇒ a real refutation of quantum chirality on the frozen branch. A negative is a first-class success here, not a bookkeeping null. That asymmetry is what makes the program science.
(d) Machinery & inputs. Lattice chiral gauge theory and SMG (Eichten–Preskill; Wen; Wang–Wen 3-4-5-0 and the 16-fold way; Ginsparg–Wilson chirality); strong-coupling dynamics on the curved coset with boundary; Wang–Wen anomaly matching as a completeness constraint. Start from: …/SHARED_BLOCKER_BUILDS/B4_dynamical_SMG/certificates/B4_wall_record/ (00 wall record, 01 predicate upgrade, 02 research program, 03 final rollup); …/SHARED_BLOCKER_B4_coset_twist_quantization.md; the per-dependent mount contracts. Build B4.1 first — it is the bankable artifact and the very instrument that would catch a future over-promotion from classical to quantum chirality.
(e) Leverage. A genuine BUILT B4 advances 3–4 gates at once — UQF-7 (binding), UQF-4 row-17 (dynamical side), SG-3 (quantum 3-generation index), and the BG-10 discrete-bit family — via the typed mount. Scope guard (held): even a clean BUILT B4 is the fermion-sector facet of B3 only and cannot touch Gap-02 (the Yang–Mills mass gap); no leakage into the universal-wall / mass-gap ledger. And the program-level priority note: the tractable shared blocker to build first is B1 (the order-6 boundary heat-kernel / Seeley–DeWitt coefficient, a definite computation moving Gap-01 + Gap-13 + SG-6 + UQF-3); B4 is the harder fermion-sector facet, expected to return a sharper wall before any closure.
The ceiling, stated plainly. UQF-7 is a serious candidate / partial unification on the chirality facet — a closed classical chirality count, not a closed quantum chirality certificate. The gate is AUDIT (OPEN) and stays there until a specialist genuinely constructs and runs the non-perturbative certificate target-blind. STATUS-UPGRADES:0.
What is explicitly NOT claimed. - Not claimed: that quantization is proven to preserve the chiral spectrum with no light mirror partners (a closed quantum-chirality certificate). The frozen docs say AUDIT (OPEN); the nonperturbative coset-twist quantization has no known route. - Not claimed: that the twice-confirmed classical index $(+3,0)$ / $|\mathrm{index}|=3$ settles the quantum mirror question. The classical legs are firewalled and explicitly not the open item; promoting them onto the quantum question is refused. They are zero-mode / perturbative scope only. - Not claimed: that the production obstruction vanishes ($[\omega] = 0$) or that the mirror decouples. $[\omega] = 0$ is exactly what is refused; A2 and A3 are left OPEN/wall; no axiom is named for the un-routed calculation.
The dissolved unicorns — shared ceilings, not weaknesses. Three statements about this gate are universal negatives — limits on all knowledge, not gaps in ours: - "No light mirror partners exist at any energy, ever" is a universal negative over the open-ended energy domain; unprovable in principle for everyone. The honest, bounded claim is mirror-freedom up to accessible energies — a measured invariant (A1) — and that bounded statement is the ceiling. - "Three chiral families are uniquely forced across all possible geometries/bundles" requires a universal negative over an open-ended space of geometries. The index theorem certifies this geometry yields three; uniqueness-across-all-geometries is unprovable for any program in any field. The given-E framing is the correct ceiling. - "No future theory could supply the quantum-chirality certificate by some other route" is a universal negative over all possible future mathematics; the field-wide absence of a known route is a true present-tense statement, but "no route can ever exist" is unprovable for everyone.
The anchors paid. The gate reduces to exactly one genuinely atomic measured-invariant anchor — A1: CHIRAL-CONTENT-IS-DATA — which is already in the SHAPE/E floor, so there is no floor growth. The classical legs are DERIVED-GIVEN-E (the index does not reproduce without the bundle $E$ as input); the LEP/SLD count is a measured consistency anchor (A4). The two open sub-obstructions A2 and A3 are OPEN/wall, not axioms, shared-exported and counted once.
The discipline restated. given-E ≠ derivation of E; selection ≠ derivation; dissolved ≠ solved; a perturbative check ≠ a non-perturbative certificate; AXIOM-CLOSED ≠ proven. No theorem breaks a wall: the APS / Atiyah–Singer index theorem is legitimate inside its framework, and stretching it across the classical→quantum / 4D-descent boundary to "close" the gate would be assuming the answer. The honest endpoint of a target-blind construction is one of three outcomes — close, falsify (FINDING), or return OPEN-wall — not a clean binary. That is the truth of UQF-7, and it is shared so the specialist can move it.
Dossier built 2026-06-29 by synthesizing and expanding the UQF-7 completion handoff corpus (…/PER_GATE_DOSSIERS/UQF7_COMPLETION_HANDOFF/ files 01–07 + certificates; the shared-blocker B4 wall record; the consolidated open-gates handoff; and the frozen-geometry anchor), per DOSSIER_BUILD_PROTOCOL.md. STATUS-UPGRADES:0. Frozen branch READ-ONLY. No number in this dossier was fabricated; every value is traceable to a cited corpus file. Physics-only content; no engineering or device material.