# Lab catalogue — closed-F proofs and open residuals

### Loadable kills, not slogans · mill + probe + freeze · open work sits on that map · neutron first, then other programmes

**CPT Framework — lab (measey.com)**  
**Date:** 2026-09-18  
**Status:** **CANONICAL LAB INDEX** · neutron line + leftovers, hold, F2, F5/BQ, pair, flavour, formation, scale, sky, dynamics, join · grain: freeze-level, not every mill · no promote  
**Parents:** `free_neutron_beta_closeout_results.md` · `PROGRAMME_READING_ORDER.md` · `PUBLIC_DOCTRINE_V1_SITE_ROLE_MATRIX.md` §4.1  
**Audience:** joining humans · research agents · reviewing AIs

Tags: **[E honesty]** · **[E process]** · **[Programme]**

---

## 0. How to use this

| Status | Meaning | What to do |
|--------|---------|------------|
| **CLOSED F** | Route ruled out, with a written kill | Do not redo. Confirm by reading the mill and re-running the probe. |
| **KNOWN [E/M]** | Positive account, not a theorem dump | Load the mill; do not sloganeer past the tag. |
| **OPEN / PARKED** | Still available | Work only **outside** the closed-F list in the same programme. |

A **slogan** is a kill without a claim, a number, and a file. This catalogue is the opposite: each CLOSED F row is a pointer to a **proof**. Hub status pages may summarise; they must link here or to the mill, not replace it.

**Verify a kill:** from the repo venv,

```text
python <probe path>
```

Compare stdout / JSON to the mill’s scored claim. If you think the kill is wrong or incomplete, say which **premise** or **variant** is missing — do not reopen the same claim.

Grain is **freeze-level**: one row per closed *route*, not every session mill. An unlisted mill is **not** CLOSED F. Handover §0 NOW remains the live snapshot.

---

## 1. Programme: free neutron β / \(\tau_n\)

### 1.1 What is known (not open, not a lifetime theorem)

| ID | Claim | Tag | Proof |
|----|-------|-----|-------|
| **FB-K1** | Free β is driven by the internal Coulomb multipole of \(T(3,2)\) | **[E/M]** | `paper_np_mass_splitting_g2.md` |
| **FB-K3** | Free clock is 3D EM (R-N03), not N7 \(\Gamma_{\mathrm{Ev}}\) | **[E]** | `n7_lifetime_vs_eversion_layer_split.md` |
| **FB-K4** | S-map / Path A \(T(3,2)\leftrightarrow T(2,3)\) is the channel pattern | **[E]** | `discrete_knot_symmetries_results.md` · `free_neutron_path_wkb_toy_results.md` |
| **FB-K6** | \(E_0=3\sqrt{3}/(2pq\alpha)=m_0/(2pq U_0)=(3/(2\alpha))\varepsilon\) | **[E algebra]** | `free_neutron_alpha_eps_two_factor_results.md` · `a_geom_p1_e0_coulomb_mass_reading_sharpen.md` |
| **FB-K7/K9** | \(\tau\sim(L/c)\,e^{E_0}\Phi\), \(\Phi\sim O(1)\) → minutes | **[M] inference** | `free_neutron_eversion_wkb_barrier_tau_results.md` · `a_geom_p1_wobble_period_times_probability.md` |

**Not claimed:** a unique first-principles \(\tau_n\), or \(E_0\) as a path/overlap theorem.

---

### 1.2 CLOSED F (do not redo)

Each row: the **claim that failed**, the **kill**, and files to confirm.

| ID | Failed claim | Kill | Mill | Probe |
|----|--------------|------|------|-------|
| **FB-C1** | Nucleon-mass WKB on the MeV·fm D1 hump yields minutes | \(S\sim 0.05\)–\(1.1\); \(\tau\sim 10^{-23}\,\mathrm{s}\) | `free_neutron_path_wkb_toy_results.md` | `scripts/investigations/s3_geometry/free_neutron_path_wkb_toy.py` |
| **FB-C2** | Multipole dissolve \((e/3)^3\to e\) is the minutes clock | Path B downhill, no barrier | same | same |
| **FB-C3** | \(\Gamma_{\mathrm{Ev}}=1/\tau_n\) | Layer split: engine \(\neq\) free clock | `n7_lifetime_vs_eversion_layer_split.md` | — |
| **FB-C4** | \(\tau_n\) from \(pq\) alone | Integrity / layer split | same | — |
| **FB-C5** | Zero-parameter sub-percent \(\tau_n\) | Not achieved; \(\Phi\sim O(1)\) | `free_neutron_beta_closeout_results.md` | — |
| **FB-C6** | Hist \((1+8\alpha\varepsilon/9)\) is finite-ε Coulomb | Closed as that identification | `free_neutron_alpha_eps_two_factor_results.md` | — |
| **FB-C7** | LEAD-5 is an independent Willmore *action* | Rewrite, not a second mill | `free_neutron_S_measure_selection_results.md` | — |
| **FB-C8** | Tube \(\Delta W/\alpha\) is LEAD-5 | ε-coincidence | same | — |
| **FB-C9** | Quadratic \(W_{\mathrm{lep}}\varepsilon^2\) is LEAD-5 | Closed | same | — |
| **FB-C10** | Shop \(c\) in \((c/\alpha)\int v\,dt = 59\) | Method closed | `free_neutron_L_path_action_results.md` | — |
| **FB-C11** | L14 \(\sqrt{2}\) unique / \(R_C\)-robust | Closed | `free_neutron_L_motivated_results.md` | — |
| **FB-C12** | M1 length-ratio unique / thin / \(R_C\)-robust | Closed | same | — |
| **FB-C13** | Path-ratio family as unique mechanism | Closed | same | — |
| **FB-C14** | Barrier-class path (WKB/Kramers) whose action *is* \(E_0\) | \(E_0\propto 1/U_0\) vs \(S\sim\sqrt{U}\) or \(U/T\) | `a_geom_p1_fb_o1_prime_overlap_class_results.md` | `scripts/investigations/s3_geometry/p1_fb_o1_prime_overlap_class_results_probe.py` |
| **FB-O1** | Unique barrier-class path proof of \(S=E_0\) | Same class error as FB-C14 | same | same |
| **FB-O1′** | Overlap exhibit: \(\ell_\star=12.48\,\mathrm{fm}\), \(2pq\) framing, FC \(\hbar\omega=U_0\) | No banked \(\ell_\star\); \(2pq\) clothing; \(C_3\) modes \(39\) or \(4.9\,\mathrm{MeV}\neq U_0\) | same · design `a_geom_p1_fb_o1_prime_overlap_class_design.md` | `.../p1_fb_o1_prime_framing_exhibit_probe.py` · results probe above |
| **KRAMERS-C3** | Named-\(T\) Kramers from \(C_3\) / Path A → minutes | Dissolve has no saddle; named \(T\) → \(10^{-23}\,\mathrm{s}\) | `a_geom_p1_kramers_c3_lobe_escape.md` | `scripts/investigations/s3_geometry/p1_kramers_c3_lobe_escape_probe.py` |
| **C3-MODES** | \(C_3\) Coulomb \(\hbar\omega\) is the Gamow denominator | \(\hbar\omega\simeq 5\)–\(39\,\mathrm{MeV}\); \(B/\hbar\omega\sim 0.04\)–\(0.29\) | `a_geom_p1_c3_lobe_normal_modes.md` | `scripts/investigations/s3_geometry/p1_c3_lobe_normal_modes_probe.py` |
| **LARMOR-Q** | Larmor \(Q\sim 1/\alpha\) of those modes is \(P\) or \(n\to p\) | \(Q\sim 10^3\)–\(10^5\neq 59\); damps energy not topology | `a_geom_p1_larmor_q_c3_modes.md` | `scripts/investigations/s3_geometry/p1_larmor_q_c3_modes_probe.py` |
| **LSTAR-RX** | Reverse-engineered \(12.48\,\mathrm{fm}\) as a non-circular identity | Only circular hits; \(6\pi^2 R_C\) is \(0.20\%\) near-miss, not accepted | `a_geom_p1_lstar_reverse_engineer_exception.md` | `scripts/investigations/s3_geometry/p1_lstar_reverse_engineer_exception_probe.py` |
| **LSTAR-CAND** | New primitive pays \(\ell_\star\) or the \(2\) | Area\(\times\)Bohr is a nickname; MSCT-\(S\) unpaid | `a_geom_p1_lstar_new_primitive_candidates.md` | `scripts/investigations/s3_geometry/p1_lstar_new_primitive_candidates_probe.py` |
| **FIREAMP-Φ** | FIRE-AMP \(\lvert A\rvert^2\sim\alpha^2\) is the \(\Phi\) that keeps minutes | \(\alpha^2\) → months or \(10^{-19}\,\mathrm{s}\), not \(880\,\mathrm{s}\) | `a_geom_p1_tau_n_om_internal_em_fireamp.md` | `scripts/investigations/s3_geometry/p1_tau_n_om_internal_em_fireamp_probe.py` |
| **WCURV** | Weber \(U''(T(3,2))<0\), \(U''(T(2,3))>0\) along Path A | Both wells; barrier at mid-path | `a_geom_p1_weber_smap_second_variation.md` | `scripts/investigations/s3_geometry/p1_weber_smap_second_variation_probe.py` |
| **N2P-COUPLE** | Reverse \(\tau\) couples to the S-map | \(N\neq S\); commuting \(U(1)\)s; no join | `a_geom_p1_tau_couples_to_smap.md` | `scripts/investigations/s3_geometry/p1_tau_couples_to_smap_probe.py` |

JSON next to probes: `scripts/investigations/s3_geometry/data/<stem>.json` (names follow the probe).

**Method closed with FB-C10/C14:** do not search for a coefficient \(c\) that makes a barrier integral equal \(59\). Do not mint \(\ell_\star\). Do not accept \(6\pi^2=E_0\) because \(\lvert\Delta S\rvert<\ln 2\).

---

### 1.3 OPEN / PARKED (work allowed — with that context)

These are what a newcomer can still take. Each line names the **closed routes you must not use** to “solve” it.

| ID | Residual | Status | May work on | Must not approach via |
|----|----------|--------|-------------|------------------------|
| **FB-K7 as [M]** | Minutes inference (\(E_0\), \(L/c\), \(\Phi\sim O(1)\)) | **[M] standing** | Sharpen *reading* only (`a_geom_p1_e0_coulomb_mass_reading_sharpen.md`) | FB-C1–C14, FB-O1′, LSTAR-*, LARMOR-Q, KRAMERS-C3 |
| **FB-O2** | Hist \(8/9\) coefficient | **PARKED** | Optional polish, not the clock | FB-C6 (that coeff as finite-ε Coulomb) |
| **FB-O3** | Finite-ε \(\beta_2\varepsilon^2\) on **mass** | **PARKED / L2** | Mass-split layer, not \(\tau_n\) | Using it as the free-β exponent |
| **FB-O4** | Weak matrix element / SM \(\Phi\) | **PARKED** | Interface to Fermi/\(G_F\) as packaging | Replacing \(E_0\) with \(G_F\) as a geometric mint; FIREAMP-Φ |
| **FB-O5** | Bound \(n\) quantitative | **HAND OFF** | Nuclear / multi-body Weber | Equating to free \(\tau_n\) (FB-C3) |
| **N2P occupancy** | Internal pair, consumed \(e^+\), leftover \(\Phi\) | **KIND**, not unique mill | Clothing of R-N03 | Rewriting NU-CC as a pair theorem; unparking pair EOM |
| **R1 / P1** | Geometric \((\nu_e,\nu_\mu,\nu_\tau)\) seats | **OPEN** (labels *kind*; seats not exhibited) | New object, not Route E copied onto \(\Phi\) | `a_geom_p1_neutrino_r1_triad_from_n2p.md` |
| **R2 beyond \(\mathcal{J}_W\)** | Charged–neutral join past \(\ell\leftrightarrow\mathrm{Op}_\ell\) | **OPEN** | New interface law | Conjugate-page as family CC; `a_geom_p1_neutrino_r2_charged_neutral_join.md` |

There is **no** open task “derive \(\tau_n\) from present primitives.” That is FB-O1 / FB-O1′ **CLOSED F**.

---

## 2. Leftovers \(\alpha\) and \(a\) (AU-NOGO)

**Known:** \(\alpha\) INPUT; length leftover \(a\) INPUT; \(m_e=\hbar/(ac)\) is ACCESS of \(a\), not a second input.

| ID | Failed claim | Kill | Proof |
|----|--------------|------|-------|
| **AU-NOGO** | Particle geometry mints \((a,\alpha)\) for a 3-slice observer | L1 blocks dimensionful \(a\); \(\alpha\) is slice-relative, not a knot invariant | `a_geom_em_units_access_nogo_freeze.md` · `a_geom_em_units_access_nogo_results.md` · `scripts/investigations/s3_geometry/em_units_access_nogo_census.py` |
| **137-hunt** | A formula for \(1/\alpha\) from present primitives | Method closed with F2; exhaustion is not a theorem | same · doctrine F2 |
| **Route A mint** | Hold / local \(m_e\) factory | Route A **FIRE as mint** | compact core · HOLD-PARK |

| Residual | Status | May work on | Must not |
|----------|--------|-------------|----------|
| Value of \(\alpha\) | **INPUT / leftover** | Slice-access *reading* only | Mint from knot/bulk; 137-hunt |
| Value of \(a\) | **INPUT** | ACCESS via \(m_e\) | Local hold-as-\(m_e\) factory |

---

## 3. Hold / F1 (local seat)

**Known:** Public F1 chip **OPEN**. Local programme **parked**, not solved.

| ID | Failed claim | Kill | Proof |
|----|--------------|------|-------|
| **HOLD-PARK** | Continue local one-seat hold on leftover \(R=1\) | Bounded, not held | `a_geom_hold_local_seat_park_freeze.md` |
| **DUAL-CANCEL** | Dual-band cancel is continuum hold | H-D15: \(\mu^\star\approx-0.40\) under \(\max\lvert\beta\rvert<1\); needs near-null \(r\ddot r\) | `a_geom_hold_hd15_subluminal_reg_field_sf_results.md` |
| **DW-SG** | Schott / Goedecke is a required CPT condition | CLOSED-NULL; wrong book | `a_geom_dw_sg_schott_goedecke_ontology_freeze.md` |
| **HOLD-CURR** | Coulomb bunching / ILC-1 as EOM closes hold | Coulomb RESTORE bunching; Weber DRIFT; ILC-1 not an EOM | `a_geom_hold_curr_current_perturbation_results.md` |
| **F1-DICT** | Hopfion / ACT is H-D hold | FAIL_IDENTIFY; bulk soliton \(\neq\) pair-force on a wind | `a_geom_f1_dict_act_hd_results.md` |
| **N12-2S** | One leftover \(R\) yields a thin hierarchy | \(O(1)\) roots only | `a_geom_n12_two_scale_hierarchy_consideration.md` |
| **N12-2SE** | Dilaton / unfrozen \(g\) / Einstein mint \(L_*\) | Extra field \(\neq\) extra length | `a_geom_n12_second_scale_entry_results.md` |
| **N12 ranks 1–7** | Path-B \(O(1)\) turn as public hold | Closed as an \(O(1)\) turn, not H-D | `a_geom_n12_ranks37_pathb_closeout.md` |
| **N12-COS** | Cosserat G2 as \(O(1)\) turn | **G4 fail** | `a_geom_n12_cosserat_turn_results.md` |
| **R-EFF-N12** | \(R_{\mathrm{eff}}\) is the electron \(S^3\) | \(\bar\lambda_C/R_{\mathrm{eff}}\sim 10^{-39}\) | `a_geom_r_eff_n12_job_cut_results.md` |

| Residual | Status | May work on | Must not |
|----------|--------|-------------|----------|
| Public F1 (continuum hold) | **OPEN** | **L-NEW** or a transmutation *named in \(L\)* that first exhibits **two wells** | N12 rerun; thin-tube ODEs; hold-as-\(m_e\); leftover \(R=1\) census |

---

## 4. F2 — hard join / second length \(L_*\)

**Known:** Hard join **OPEN**. Only survivor class is **L-NEW**.

| ID | Failed claim | Kill | Proof |
|----|--------------|------|-------|
| **F2-class** | Compton/Bohr/\(r_e\), Haar-as-meters, present \(R_{\mathrm{eff}}\) are independent \(L_*\) | Fail independence / L1 | `a_geom_f2_lstar_survivor_classification.md` |
| **BF-RMIN** | 3D Weber / shell energy with \(r_{\mathrm{min}}=r_e/2\) is hard join | \(E_\Sigma=(\alpha/2)mc^2\) at Compton; \(R=r_e/2\) is a free cutoff (B1 KILL) | `a_geom_bf2d_bf1_surface_freeze_contact_results.md` |
| **F2-LNEW-5** | Reach, Reeb, DN gap, GL core, Berger as meters | \(cR\) or shape, not I1–I4 | `a_geom_f2_lnew_five_candidates_consideration.md` |
| **PATH-B** | A named complete \(L\) has two wells | Parked: no such \(L\) | `a_geom_n12_ranks37_pathb_closeout.md` |
| **GS-W1-FLUX** | Fixed-flux CP¹ \(g^{-2}k^4\) is the join | Hessian \(k^2\); no \(3/(2\alpha)\) | `a_geom_gs_w1_fixed_flux_bent_soliton_results.md` |

| Residual | Status | May work on | Must not |
|----------|--------|-------------|----------|
| Hard bulk–face join | **OPEN** | A genuinely new length (L-NEW) | Recycling \(R_{\mathrm{eff}}\) as electron \(S^3\); naming \(R\); \(m_e\) mint |

---

## 5. F5 / Foot \(\delta\) / BQ / Gap 3

**Known:** Lab charge is a 3-chart point of **input** \(e\); BQ-0 averaged face current is \((He)u^\mu\delta^3\). Public \(\delta\) chips **OPEN**. Licensed mills on this skeleton **exhausted**.

| ID | Failed claim | Kill | Proof |
|----|--------------|------|-------|
| **F5-EXHAUST** | Remaining licensed F5 selector on frozen R-HOPF | MODE/Z2/QF/BITI/QHC/SUMA STOP or FAIL | `a_geom_f5_bq_g3_licensed_routes_exhausted_consideration.md` |
| **F5-Z2** | Native \(\mathbb{Z}_2\) midpoint is Foot \(B\) | Equator \(90^\circ\), not \(B\) | `a_geom_f5_z2_hopf_midpoint_results.md` |
| **F5-SUMA-0** | Forced \(S_M\) orbit is Foot | Unique stable min equator | `a_geom_f5_suma0_forced_response_orbit_consideration.md` |
| **G3-K** | Two-seat kernel is Weber | Static \(K\) is Coulomb; slow Darwin | `a_geom_g3_k_j1j2_two_seat_kernel_consideration.md` |
| **G3-T4-FF** | Finite-\(a\) Euclidean ring is lab \(e\) | Darwin \(O((a/R)^2)\); ring fails B4 | `a_geom_g3_t4_finite_a_darwin_form_factor_consideration.md` |
| **C5-RSP-0** | Internal Hilbert tower for \(\chi\) | \(\mathcal H=(H,\tau)\otimes\mathbb C^2\); **STOP** | `a_geom_c5_rsp0_hilbert_operator_freeze.md` |
| **QTC-0A** | Hopf \(Q_H[n]\) as physical charge | Gauge-equivalent to 0; **STOP** | `a_geom_qtc0a_topology_gauge_quotient_consideration.md` |

| Residual | Status | May work on | Must not |
|----------|--------|-------------|----------|
| Foot \(\delta\) / \(K/L\) | **OPEN** (chips) | A **new** selector class | MODE/Z2/QF/BITI/QHC/SUMA reruns; minting \(e\) |
| C5 observable | **OPEN** | After BQ, \(j=\tfrac12\) leftovers are Dirac or tree-zero | Compute \(\chi_{ab}\); `a_geom_c5_projection_surviving_observable_consideration.md` |
| Native two-limit action | **OPEN** (`PASS_FREE_ACTION` false) | Not concatenation | `a_geom_native_two_limit_action_consideration.md` |

---

## 6. Pair production / \(\gamma\gamma\)

**Known:** Working *movie*: two trains, \(s\)-gate, FIRE-AMP clothing, 2→2 \(CT\). BN1 unpaid. Cartoon mills **parked**.

| ID | Failed claim | Kill | Proof |
|----|--------------|------|-------|
| **PAIR-PARK** | Another mill of this skeleton pays which-meeting | Needs new principle or a lab camera | `a_geom_p1_pair_branch_proceed_or_park.md` · `scripts/investigations/s3_geometry/p1_pair_branch_proceed_or_park_probe.py` |
| **CONV-EXH** | DNA, tunnel, widths, \(\sqrt{\alpha}\) from the face | Conventional primitives exhausted | `a_geom_p1_conventional_primitive_exhaustion.md` |
| **GG-EL-0** | Tree Maxwell mints seats | Tree 0; box \(\mathrm{Im}\) is not Become | `a_geom_gg_el0_elastic_inventory_consideration.md` |
| **GG-CL-TWO** | Clifford two-circles are the pair pathway | Product cores \(\neq\) polar pair | `a_geom_gg_clifford_two_circles_pathway_consideration.md` |
| **RADIO-γ** | Nuclear γ lines are a BW collider | Bethe–Heitler; they do not collide | `a_geom_p1_radioactive_gamma_not_two_photon_bw.md` |

| Residual | Status | May work on | Must not |
|----------|--------|-------------|----------|
| Which-meeting / overlap meter | **OPEN** | Lab watch of real linear LBW; a new principle | Mill \(a\) or \(\sqrt{\alpha}\); invert luminosity; unpark pair EOM |
| BN1 discrete particular | **UNPAID** | Recoverability *kind* | Formation theorem from lab ED |

---

## 7. Flavour: neutrinos / PMNS / CKM

**Known:** Neutrino is a generation-matched residual (\(\mathbb{Z}_2\) \(\Phi\)), not a knot ladder. CKM L-PKG texture **[M]**. Unique geometric \(V\) **FAIL**.

| ID | Failed claim | Kill | Proof |
|----|--------------|------|-------|
| **CKM rail** | Unique geometric CKM \(V\) | FAIL; L-GEO-CKM DENIED | `a_geom_ckm_status_board.md` · `a_geom_ckm_package_rail_closeout.md` |
| **PMNS-1b** | Mass triad from M3-link/Z3 | PARK · FIRE | `a_geom_pmns0_mixing_design_freeze.md` |
| **R1-N2P** | \(n\to p\) mints three geometric \(\Phi\) seats | Labels from Route E \(n\); \(\Phi\) is \(\mathbb{Z}_2\) | `a_geom_p1_neutrino_r1_triad_from_n2p.md` |
| **R2-JOIN** | Join beyond \(\ell\leftrightarrow\mathrm{Op}_\ell\) | FAIL_EXHIBIT | `a_geom_p1_neutrino_r2_charged_neutral_join.md` |
| **RE-FILL** | Route E \(1..n\) filling | FAIL | `a_geom_route_e_filling_rule_results.md` |
| **GS-E1** | Neutrino masses from Route E v1 | ν out of v1 | `a_geom_gap2_gs_e1_route_e_activation_results.md` |

| Residual | Status | May work on | Must not |
|----------|--------|-------------|----------|
| PMNS \(U\) / P1 geometric triad | **OPEN** | New geometric object | Copy Route E onto \(\Phi\); mill angles from n→p |
| R2 beyond \(\mathcal{J}_W\) | **OPEN** | New interface | Conjugate-page as family CC |
| CKM full \(V\) | **PARK** | New principle only | Cabibbo-alone \(V\) |
| \(E_{\mathrm{def}}\) / \(m_\nu\) | **UNPAID** | Not \(T(2,3)\) as proton mass | NU-PICKUP |

---

## 8. Formation / atlas (AOA, G1–G7)

**Known:** No formation theorem. Pair production is physics; BN1 unpaid, not a no-go.

| ID | Failed claim | Kill | Proof |
|----|--------------|------|-------|
| **G1-E2** | Spherical Einstein boson star as round CAP | No round CAP | `a_geom_aoa0_gate_e_g1_e2_spherical_einstein.md` |
| **G1–G6** | Named matter models as \(m_e\) / bounce | E0 held; Derrick / \(Q_e=0\) / \(S^2\) wall | `a_geom_aoa0_gate_e_g*_design.md` family |
| **G7-E1** | Horndeski implicit BVP is \(S^3\) CAP | Matter lump, not CAP | `a_geom_aoa0_g7_e1_implicit_bvp.md` |
| **IC0** | 5D instanton-current | SPECTRUM_FAIL · STOP | `a_geom_ic0_instanton_current_admission.md` |
| **TC0** | Topology-change family as a vertex | Not a vertex | `a_geom_tc0_topology_change_family_admission.md` |
| **L-F-COLLAPSE** | Collapse L into F | `STOP_L_F_COLLAPSE` | `a_geom_aoa0_l_f_collapse_consideration.md` |

| Residual | Status | May work on | Must not |
|----------|--------|-------------|----------|
| BN1 / particular creation | **UNPAID** | Recoverability *kind* | Mill bounce; mill Dirac/Proca/BM star as \(m_e\); G8–G12 (parked) |
| **F7 smash** | Whole seats CONTACT; unique \(pq\) mint FAIL (FT-2) | Named exclusive census vs PDG as *catalogue* | On-shell quarks; mix probe into jets; unique \(T(p,q)\) from listing |

---

## 9. Scale / unnamed \(R\)

**Known:** \(R_{\mathrm{eff}}\approx 3.28\times 10^{26}\,\mathrm{m}\) under the published coefficient book; ontology **unresolved**. Do **not** name \(R\).

| ID | Failed claim | Kill | Proof |
|----|--------------|------|-------|
| **R-ONT** | Name \(R\) as FLRW \(R_k\), expanding \(S^3\), spin-2 length, or horizon | Honesty freeze | `a_geom_r_eff_ontology_honesty_freeze.md` · `scripts/investigations/s3_geometry/r_eff_ontology_honesty_census.py` |
| **R-ONT-1** | \(\sqrt{6}\,c/H_0\) as independent derivation | FAIL_DERIVE; same M13 invert | same |
| **M13 \(k\)** | Remainder \(k\) derivation | FAIL_DERIVE | R-MCR-2 |

| Residual | Status | May work on | Must not |
|----------|--------|-------------|----------|
| What \(R\) is | **OPEN** (unnamed) | Stationarity **and** the \(\sim\sqrt{6}\) Hubble match together | Naming \(R\); locking \(\omega_2=H_0\); retuning \(k\); \(m_e\) mint |
| **\(\ell_{\mathrm{edge}}\)** | Type-new, not exhibited (FT-4) | Derived \(N\) from a named poset, no leftover \(R\) | Hold STAGE; ILC; Hopf mesh; writhe as meter |
| M13 \(H_0\simeq 69\) | **[P]** convention-conditional | Wait on Hubble | Recycle as a derivation |

---

## 10. Sky / cosmogony (SP-Z)

**Known:** A-geom stays **local**. Scored sky: spacetime wins. Sky cosmogony **TO BED**.

| ID | Failed claim | Kill | Proof |
|----|--------------|------|-------|
| **SP-COS-OBS** | Slice-projection redshift / Tolman / acoustic = Hubble | SCORED_NO · TO BED | `a_geom_sp_cos_obs_redshift_tolman_acoustic_results.md` |
| **SP-Z-GRAV** | Bulk-mass gravity spectroscopic \(z\) = Hubble | Homogeneous \(z=0\) | `a_geom_sp_z_grav_bulk_mass_results.md` |
| **SP-Z-GRAV-CL** | Clifford torus on cosmic \(S^3\) | Same-\(\eta\) \(z=0\) | `a_geom_sp_z_grav_clifford_torus_results.md` |
| **SP-Z-BIRTH / GREAT / ABSORB** | Birth-well / great-circle / absorption as Hubble | SCORED_NO | `a_geom_sp_z_birth_well_results.md` · `a_geom_sp_z_great_circle_bulk_results.md` · `a_geom_sp_z_absorb_scatter_results.md` |

| Residual | Status | May work on | Must not |
|----------|--------|-------------|----------|
| Local IPC seats + nucleation | **OPEN** (with hold) | Local A-geom | Stop \(S^3\) Hubble; reopen SP-Z without a new \(z(d)\) |

---

## 11. Dynamics (DYN-PARK) and join

**Known:** Geometry \(\not\Rightarrow\) evolution. `PASS_FREE_ACTION` false. Hard join OPEN. Join-gap A named, not closed.

| ID | Failed claim | Kill | Proof |
|----|--------------|------|-------|
| **DYN-PARK** | Further HT / filament / DYN-F-NL mechanism censuses | Parked pending a new dynamical object | `a_geom_dyn_layer_mechanism_park_freeze.md` |
| **HK3-K** | Named ambient metrics as T(2,3) geodesic page | KILL_HK3_NAMED_AMBIENT | `a_geom_hk3_k_named_ambient_closeout.md` |
| **PAGE-CENSUS** | Conventional page selector | KILL_PAGE_CONVENTIONAL_SELECTOR | `a_geom_page_conventional_selector_census.md` |
| **CURV2-GRAV** | Gravity as curvature-squared (Stelle rescue) | Not licensed | `a_geom_curvature_squared_gravity_consideration.md` |
| **GAL-ROT-ELEC** | July Z-pinch 1/r as Tully–Fisher / halo retire | TF algebra inconsistent; I dial; J×B not stellar gravity | `a_geom_galactic_rotation_electrical_dm_consideration.md` |
| **P-HI** | Paired disk-loop tangentially drags HI at halo order | aφ=0; leftover ~0.16–0.40% of v²/R disk-wide | `a_geom_p_hi_tangential_drag_results.md` |

| Residual | Status | May work on | Must not |
|----------|--------|-------------|----------|
| Causal evolution / native \(S\) | **OPEN** | A genuinely new integrand from the DYN-PARK list | HT lighthouse/helix toys; SP-Z Hubble retries; SPARC I; missing mass = Birkeland |
| **\(W_{12}\)** | **UNPAID** (FT-5) | Named two-seat bilinear, I1–K7 | Newtonian invert; \(S_U+S_{\mathrm{Max4}}\) as native \(S\); EH as \(W_{12}\); Cavendish mill |
| Join-gap A | **OPEN** | Named, not closed | Painting cones on leftover \(S^3\) |
| T-RT CUBE ingest | **OPEN** | Common-input disk/torus book | BHAC; SNAP \(\delta_\star\) flip as a theorem |

---

## 11b. Programme: leftover extra-\(\Phi\) / constitutive RAR (2026-09-24 honesty cut)

GitHub is private. Public index: `/validation/leftover-phi` (OPEN residual, full kill table). Exhibition cards on `/validation/known-failures` (MA-LONE, WE-ANALYTIC, BEND-GRAPH, PYTH-SS, GR-CURV-IR, VEL-PG, MICRO-W, RAR-FLOOR, ISRAEL-GEJ, VOL4, FOAM, BULK-ACCUM, ELAS-HALO, A0-Z, GW-EXTRA, L3-SCIAMA) and `/docs/a_geom_ft_rar_kills_catalog`. Constitutive 4-metric \(W\) stays **OPEN** ([O]/[M], not [E]). Chips unflipped.

---

## 12. Integrity

| Gate | Verdict |
|------|---------|
| CLOSED F distinguished from OPEN | **PASS** |
| Neutron kills mill+probe | **PASS** |
| Other programmes freeze-level | **PASS** (not every mill) |
| Unlisted mill = CLOSED F | **NO** |
| Promote / reopen FB-O1′ / name \(R\) / mill \(\alpha\) | **NO** |

---

## 13. One-line for agents

> **Lab catalogue: neutron CLOSED F is loadable; other programmes indexed at freeze grain with open residuals and must-nots; unlisted ≠ closed; no slogans.**