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 `
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 |
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/ (names follow the probe).
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.