# The Fable 13D Foundations Program — A Self-Verifying Test File **Two honest things in one file: (1) a transferable template for honest AI-assisted research, and (2) a worked, verifiable foundations result on one speculative geometry.** **Date:** 2026-06-23 · **Discipline:** No status was ever upgraded · **Frozen branch:** `dcc66f1b2685` / `a5b1e6f9d951` — READ-ONLY (nothing committed, nothing deployed). --- ## Abstract This document does two things, and it is honest about the difference between them. **(1) It is a template for honest AI-assisted research.** The transferable contribution is a *method*: an anti-overclaim discipline (No status was ever upgraded, no tuning to the known answer, blind-|z| testing before seeing the target, a frozen read-only object, and adversarial self-review that recorded negatives *against the program's own interest*). The κ³/π self-indictment and the |V_us| falsification below are kept as permanent against-interest disclosures, not buried. This is the broad, transferable hook — and it is methodological, not a physics result. **(2) It is a worked, verifiable foundations result on one speculative geometry** — the **Fable 13D active branch**: ``` B_active = [M₄ × K₆ × S² × S¹_Y/Z₂]_(×) (metric stage) ⊕ [F⁺ ⊕ C_admiss]_(⊕) (rulebook) ⊗ [E_matter ⊕ E_gauge ⊕ E_Higgs ⊕ E_proton]_(⊗) (actor / bundle E) K₆ = SU(3)/T², D = 13 = 4+6+2+1, spin-ℂ index χ(K₆,E) = −3 (computed WITH E as input). ``` It is **not** a claim to a Theory of Everything, and it is **not** a closed proof of anything in the Standard Model. It is the more modest payload: an **honest accounting** of what this geometry forces, what it does not, and exactly where the irreducible assumptions live. The concrete deliverables are a recordability no-go *plus* a named posit, a model-internal hierarchy no-go, and an axiom-floor map. **Honest scope, stated up front.** The kind of significance here is **methodological + foundations-bookkeeping, NOT new physics**, and the audience is narrow (foundations-of-QM / operationalist theorists; AI-research-methodology readers). There is no new prediction, no new derived or measured number, and nothing falsifiable-and-tested. The geometry itself is unpublished, unreviewed, and self-described as *selected*, not derived. Two things are true at once inside the payload, and both are stated plainly: 1. **There are correctly imported, correctly qualified published results, plus one fresh reframing.** Given the matter content E, several objects previously treated as free choices are *computed* using published mathematics — the gauge-center group content (Z₆, after Tong), the global spin form (after Davighi–Gripaios–Lohitsiri and Hsieh–Tachikawa–Yonekura), the Higgs mass-protection mechanism. The one arguably-own contribution — bottoming "granularity" into a single named primitive via recordability — **self-demotes to a posit** (§1.3). Each result is reported here **with its exact qualifier attached**; a result quoted without its qualifier is, by the rules of this program, a *failure*, not a win. 2. **There are honest boundaries.** The electroweak hierarchy is a genuine *second* dimensionful anchor that this geometry cannot deliver; the would-be bridge that might have linked it to the rest is shown to be circular; and a list of open lemmas is published rather than hidden. The distinctive feature of how this was produced is adversarial AI self-review operating under a fixed discipline. The boundaries below were not concessions extracted under questioning — they were *found* by the review process itself, which returned negatives against the program's own interests. (Note: that the file was *built by* such a process is a claim a standalone reader cannot verify; what the reader **can** verify is the three hand-checkable arguments below — see "What you can check from this file alone.") You are invited — in Part 4 — to hand this file to your own AI and instruct it to attack every claim. Review it adversarially and reach your own verdict. This file does not predict its own acquittal. --- ### How to read the status tags Every claim carries one of these: - **FORCED-GIVEN-E** — provably determined *once the matter content E is taken as input.* This is NOT "derived from nothing." E itself remains a posit (see §1.0 and the boundary on T3). The refusal to bank E-given reductions as count drops is deliberate and is a point in the program's favor, not a hedge. - **PROVEN SUB-RESULT (conditional)** — a real theorem, but one whose reach falls short of the headline goal; the shortfall is quantified. - **POSIT / NAMED PRIMITIVE** — an irreducible assumption, named explicitly so it can be attacked, not a derivation. - **NO-GO** — an honest wall, with the obstruction stated. - **SELECTION ≠ DERIVATION** — the geometry was *chosen* by an Occam funnel; choosing the best survivor is not the same as proving it forced. We never let selection masquerade as derivation. **Headline invariants (unchanged by everything below):** irreducible axiom count = **12**; provably-irreducible dimensionful/numeric anchors N = **5**; itemized Tier-2 "shape" degrees of freedom ≈ **4**. No row in this document moves any of these. That is what No status was ever upgraded means in practice. (Note: these counts — like E, the frozen branch, η_BK, θ_H*, and μ_cell — are *asserted here* and live in the cited private corpus; see the verifiability note immediately below.) --- ### What you can check from this file alone Be precise about what is independently verifiable here versus what is asserted: - **Independently checkable from this file (three claims, and only three):** (i) the Z₆ congruence table and kernel closure (§1.1); (ii) the continuum-pointer countermodel showing finite tests don't separate an uncountable record set (§1.3); (iii) the basin-packing lemma N ≤ ⌊B/Δ₀⌋ (§1.3). These are finite, hand-runnable exercises. They are also, by construction, textbook-level recomputations — correct, but not original. - **Asserted here, resident in the cited private corpus (audit these as claims, not as established facts):** the matter content **E**, the **frozen 13D branch**, **η_BK**, **θ_H\***, **μ_cell**, and the **12 / 5 / 4** axiom-anchor-DoF counts. None of these can be confirmed from this standalone file. Treat every statement that depends on them as a claim about an unpublished object, not a verified fact. So this file is best read as a **methodology demonstrator with three checkable kernels attached**, not as a self-contained physics artifact. --- ## Why this matters — two honest contributions, and how to weigh them Lead with the honest scope: **what follows is methodological + foundations-bookkeeping, not new physics, and its natural audience is narrow.** With that fixed, here are the two things the file offers and the axes on which a reader can judge each. The axes are stated; the scoring is left to you. ### Contribution 1 — a template for honest AI-assisted research (the transferable hook) The genuinely portable part is the *discipline*, independent of the physics: - **No status was ever upgraded** — no gap is allowed to close and no count to drop unless it genuinely does; "wins" are sharpenings and namings, not reductions. - **no tuning to the known answer + blind-|z|** — a candidate number must pass before the target is seen; the κ³/π "true-by-construction" embarrassment and the |V_us| falsification are *kept on the record* as against-interest disclosures. - **Frozen, read-only object** — the thing under study cannot be edited to fit a desired conclusion. - **Adversarial self-review that recorded negatives against interest** — the boundaries in Part 2 were produced by the review, not conceded under it. Axes a reader can use to weigh this: *Is the discipline actually novel, or already standard practice? Is it transferable to other AI-assisted research? Does the file demonstrate it convincingly?* (One caveat to keep in mind while scoring: the strongest version of this claim — that the file was **built by** such a process — is a process claim the standalone reader cannot verify; weigh only what the document shows on its face.) ### Contribution 2 — a worked foundations payload on one speculative geometry (the concrete thing to check) Three concrete deliverables, each with its qualifier: 1. **A model-internal no-go for the hierarchy.** Within this geometry the electroweak hierarchy is a *genuine second dimensionful anchor*; the tempting "dimensional-transmutation" reduction is **ruled out**, by a dimensional (Buckingham-π) obstruction *plus* a mechanistic one. This is a no-go *inside the model*, not a statement about nature, and it explicitly does **not** solve the hierarchy problem. 2. **A recordability reframing of granularity that self-demotes to a posit.** This is a *no-go plus a posit*, not a derivation: a rigorous countermodel proves finite resources alone do **not** yield granularity (Fork A, closed negatively), after which granularity is named in a single primitive — the **Uniform Operational Cell Law** — from which the floor then follows (Fork B). ħ is a *residue*, NOT derived; the ceiling is co-fundamentality, not strict irreducibility. It does not reach "beneath" quantum mechanics; it relocates the assumption and names it precisely. 3. **An axiom-floor map.** A precise, adversarially-audited statement of *what must be posited* (the cell, the anchors, the shape E) versus *what follows*. Axes a reader can use to weigh this: *Is the imported physics correct and correctly attributed? Are the qualifiers load-bearing and never dropped? Is the recordability posit a meaningful primitive or a relabeling of ħ? Does the no-go have a hidden escape hatch?* **What is *not* claimed, as plainly as the above:** this is not a verified theory of everything, it derives no new experimentally-tested number, and it does not *solve* the hierarchy problem — it *characterizes* it within one model. Share it only with that framing. --- # Part 1 — The Payload (correctly-imported results + one fresh reframing) These are the forward-facing items. Most are **correctly imported and correctly qualified published results** (Tong; Davighi–Gripaios–Lohitsiri; Hsieh–Tachikawa–Yonekura), recomputed given E — not new theorems. The one arguably-own contribution (§1.3, recordability → granularity) **self-demotes to a posit.** Read each one *with* its qualifier. ## 1.0 The geometry selection — Occam funnel, completeness over minimality **Status: SELECTION ≠ DERIVATION (declared corpus tenet).** The four-factor branch above was reached by an Occam funnel that ranked candidate geometries by **completeness first, minimality second**: among the surviving candidates, no Tier-1 competitor reproduces the full Standard-Model field content together with three chiral generations and the observed gauge structure. The winner is the most complete admissible candidate. **The mandatory qualifier:** *selection is not derivation.* The boxed branch in the abstract is the **definition of the chosen object**, presented with derivation-grade typography only for legibility — it is **not** a derivation, and the typographic authority should not be read as one. Asserting that the winning geometry is therefore "forced" would relocate the axiom rather than remove it — exactly the move this program forbids. Realization-minimality is **not earned**; the geometry E is a *residual shape primitive*, irreducible-under-known-reductions, not a theorem. (This is the same safeguard that catches Born-rule smuggling and the κ³/π precedent in Part 3.) **How to check:** confirm that nowhere below is "the geometry is selected by Occam" used as a premise to conclude "the geometry is derived/forced." It is used only to say: *of the candidates we could write down, this is the most complete one.* Any stronger reading is a misquote. ## 1.1 Z₆ gauge-center group content is FORCED-GIVEN-E **Status: FORCED-GIVEN-E (sub-claim A). Sub-claim B EXPLICITLY OPEN.** The Z₆ that glues the gauge center is **not a free primitive**. It is computed as the kernel of the gauge-center action on the actual SM spectrum: > Z₆ = ker( center → Aut(E) ) — the maximal subgroup of Z(SU(3)×SU(2)×U(1)) that acts trivially on E. A center element ξ = ω^{z₃} ⊗ η^{z₂} ⊗ e^{2πi q/6} acts trivially on a field iff > **2 z₃ + 3 z₂ + q ≡ 0 (mod 6)**, equivalently **q ≡ 3 z₂ − 2 z₃ (mod 6)**, where z₃ is SU(3) triality (3→1, 3̄→2, singlet→0 mod 3), z₂ is SU(2) center charge (doublet→1, singlet→0 mod 2), and q = 6Y (integer-normalized hypercharge). This is the Tong congruence (arXiv:1705.01853). **The check, field by field (one generation; replicate ×3):** | field | rep | z₃ | z₂ | q=6Y | 3z₂−2z₃ (mod 6) | q (mod 6) | trivial? | |---|---|---|---|---|---|---|---| | Q_L | (3, 2)_{1/6} | 1 | 1 | 1 | 1 | 1 | YES | | u_R | (3̄, 1)_{−2/3} | 2 | 0 | −4 | 2 | 2 | YES | | d_R | (3̄, 1)_{1/3} | 2 | 0 | 2 | 2 | 2 | YES | | L_L | (1, 2)_{−1/2} | 0 | 1 | −3 | 3 | 3 | YES | | e_R | (1, 1)_{1} | 0 | 0 | 6 | 0 | 0 | YES | | Higgs | (1, 2)_{1/2} | 0 | 1 | 3 | 3 | 3 | YES | Every field satisfies the congruence exactly. **Maximality** (computed, not posited): the U(1) factor is fully pinned because gcd of the q-values is 1 (Q_L carries q=1), so no continuous subgroup survives; enumerating the trivially-acting elements over Z₃×Z₂×U(1) gives exactly six, > H = { (0,0,0), (1,1,⅙), (2,0,⅓), (0,1,½), (1,0,⅔), (2,1,⅚) } = ⟨ξ⟩ ≅ Z₆, and 6 = |Z₃×Z₂| is the discrete maximum, achieved. So Z₆ is the maximal trivially-acting subgroup. **Mandatory qualifiers (a win without these is a FAIL):** - This is **FORCED-GIVEN-E**, not derived from the cost-floor. ħ>0 buys existence/finiteness; it never buys the integer hypercharges. There is **no implication cost-floor ⇒ Z₆.** The two deep roots stay independent (see W7 / §1.7). - **Sub-claim B is OPEN.** Faithful action on E forces only "quotient the gauge group by *some* Γ ⊆ Z₆." The four faithful global forms Γ ∈ {1, Z₂, Z₃, Z₆} act identically on the spectrum and differ **only** in their genuine line-operator spectra (electric/magnetic/dyonic), which are experimentally unmeasured. Selecting the *finest* Γ = Z₆ requires an extra "maximal/minimality" word — a theoretical choice, not a faithfulness consequence. Claiming Z₆-as-finest is "forced" would be an overclaim. - **Headline count: UNCHANGED (12).** Tier-2 stays one bundle row; the itemized shape DoF tick from ~5 to ~4. No gap closed, no number promoted. **How to check yourself:** recompute Q = T₃ + Y for every field. **Convention note (so the signs land):** the table writes every fermion as a left-handed Weyl multiplet, so the row labeled *u_R* is actually the *conjugate* field — the left-handed anti-up — for which Q = T₃ + Y = 0 + (−2/3) = **−2/3**, exactly the anti-up's charge (equivalently, the physical up quark carries +2/3). Apply that one convention consistently and you recover every measured charge: physical u = +2/3, d = −1/3, ν = 0, e = −1, …. If you do, the hypercharges are the standard ones — **not** reverse-engineered to produce Z₆. Then verify the six kernel elements close under multiplication. The whole computation is finite arithmetic. ## 1.2 The global spin form is FORCED-GIVEN-E; literal "spin-c" is REFUTED **Status: FORCED-GIVEN-E; literal spin-c REFUTED. (Count-reduction in principle only; not taken into the headline count.)** Working directly on the 15 Weyl fermions of one generation (mod-2 / center computation): - **(A) spin-c is OBSTRUCTED.** A spin-c structure requires a U(1) subgroup of G_SM giving *all-odd* Weyl charges. An all-odd-U(1) scan over a wide rational range returns **empty** for pure SM content — reproducing Davighi–Gripaios–Lohitsiri (arXiv:1910.11277 §7). *Test-the-test:* inserting a gauged B−L direction makes the all-odd search **succeed**, proving the scanner discriminates and the SM obstruction is genuine, not a bug. - **(B)** Z₆ = ker(center → Aut(E)) as in §1.1. - **(C)** (−1)^F is a gauge-center element: a center element acts exactly as the SU(2) 2π rotation on every fermion, identifying (−1)^F with the internal center. Therefore the global spin form forced by E is the twisted > **spin-G_SM = (Spin × [SU(3)_c × SU(2)_L × U(1)_Y]) / Z₆**, twist order n = 2 — **not** a product Spin × (gauge bundle), and **not** spin-c. **Mandatory qualifiers:** - The literal **"spin-c" wording in some on-disk anchors is REFUTED**, not relabeled. Asserting spin-c would itself be a smuggle — claiming a structure the content provably forbids. We report the refutation against our own prior wording. - **FORCED-GIVEN-E**, landing on E + the anomaly rulebook C_admiss + a Dai–Freed global-well-definedness (single-valued chiral measure) principle — **not** on the cost-floor. - **No headline count change is claimed here.** The result is sound as a count-reduction-in-principle only; the meter stays at 12 and itemized shape stays ~4. We deliberately do **not** let this read as a reduction that was taken. **How to check:** rerun the all-odd-U(1) search for pure SM (expect empty) and again with B−L added (expect a hit). The dichotomy is the load-bearing fact and it is a finite scan. ## 1.3 Granularity bottoms on the Finite Operational Cell Law (Δ₀ > 0) **Status: irreducible bottom identified (Fork-B closure). ħ is a residue, NOT derived. Conditional on the Uniform Operational Cell Law (a POSIT).** This is the program's deepest constructive move, and it is also where the discipline bites hardest, so read carefully. The question: *why is reality granular?* The hope was to **derive** granularity from finite physical resources (finite causal support, finite duration, finite action). The honest result is a **rigorous no-go against that hope**, followed by a precise naming of what must instead be posited. **The no-go (Fork A closed negatively).** Admissible binary tests f_a(r) = P(e_a | r, T_a) ∈ [0,1] define an operational distance d_op(r,s) = sup_a |f_a(r) − f_a(s)|. Take records R = [0,1] and delta-tests f_x(r) = 𝟙[r=x]. For distinct r ≠ s, f_r separates them, so d_op(r,s) = 1. But for **any finite** test family {f_{x₁},…,f_{x_M}}, pick r,s outside it (possible since [0,1] is uncountable): every selected test reads 0 on both, so the finite family certifies distance 0 while the true distance is 1. Hence the "Finite Total Connectivity" property (d_op ≤ max-over-finite + η) **fails for every η < 1.** > **Conclusion:** finite causal/action resources do **not** imply granularity. A continuum-pointer countermodel survives. Granularity is not free. **The named primitive (Fork B).** What granularity *is*, stated as the irreducible bottom: > **Finite Operational Cell Law.** A bounded causal record-support system has a positive (uniform) lower cell-size **Δ₀ > 0** for stable, independently resolvable records. The **existence** of the cell is the root; its **value** is a residue — it shows up as ħ in quantum mechanics. Adopting this law is *naming the real primitive*, not deriving granularity. **The sufficiency (cell law ⇒ granularity).** Conditional on Δ₀ > 0: if the operational stability landscape has finite total variation ≤ B and each stable record needs a robustness basin of depth ≥ Δ₀, then pairwise-resolvable robust records have disjoint depth-≥Δ₀ basins, so > **N · Δ₀ ≤ B ⇒ N ≤ ⌊B/Δ₀⌋ < ∞.** Finite ⇒ totally bounded ⇒ (with completeness) compact ⇒ FTC follows by finite ε-net extraction, with M(B,η) ≤ ⌈B/Δ₀⌉². This is the **basin-packing floor**. **Mandatory qualifiers (binding — a win without these is a FAIL):** - The **Uniform Operational Cell Law (a system-independent Δ₀ > 0) is a POSIT.** Given it, *both* faces follow — the finiteness face (a bounded milestone count under budget B, which is what blocks the continuum pointer) and the cost-floor face (cost ≥ Δ₀ > 0) — and the ℏ-graining correspondence N ≈ V/Ω₀ with Ω₀ ~ ℏⁿ falls out. **Deriving the uniformity is NOT claimed.** An earlier version used only an η-dependent Δ(η), which gives total boundedness (enough for the cost-floor face) but not the discrete finiteness face; the uniform version is the posit that recovers both. - **The axiom count does NOT drop.** Granularity stays exactly one deep root (R1). ħ, k_B, the Bekenstein constant, and Δ₀ remain residues. The ceiling is **co-fundamentality, not strict irreducibility.** No physics gap closes. **How to check:** the countermodel is elementary — verify that delta-tests on [0,1] defeat any finite test family. Then verify the basin-packing inequality is just disjoint-interval packing under a budget. Then confirm that *uniformity* of Δ₀ is asserted, never proven (it is flagged as the open tightening L5 in Part 2). **Surfaced up front (so a skimmer can't miss it):** this same uniformity claim — the "η-closure" — carries a *documented label conflict in our own corpus*: one internal doc marks it "[done]" while the firewall keeps it OPEN. **We carry it as OPEN** (tracked as L3 in §2.5). We are flagging our own inconsistency rather than quietly inheriting the "[done]." ## 1.4 The cost-floor dissolves the unbounded a→0 UV-artifact class **Status: GENUINELY DISSOLVED (1 of 11 impact targets) — a RESCOPING win, not physics closure.** A positive operational cost-floor (AXIOM-COSTFLOOR, ħ > 0; the value-bearing cousin of §1.3's existence claim) removes an entire *class* of would-be problems: the **unbounded a→0 ultraviolet-artifact tower** — the Seeley–DeWitt a₈/a₁₀ … coefficient cascade and the associated non-renormalizability that only exist in the strict continuum limit. If there is no arbitrarily-cheap arbitrarily-fine record, that limit is not physical, and the tower is a fictitious target. **Mandatory qualifiers:** - This is a **rescoping win — removing false targets — NOT a closure of physics.** It does not touch: the Born measure; the five numerical anchors; the *finite* a₆ coefficient (still OPEN, uncomputed); the value-half of Λ (gravity-read); or the floored certificate inequality ρ < 1 (ASSERTED, not derived). - **Over-dissolve guards held:** the program explicitly checked that the floor does *not* secretly "solve" the things just listed. Gap-02 (mass gap / continuum) stays **precisely OPEN**; the floored finite object remains a live open target. - **Axiom count UNCHANGED.** **How to check:** confirm the dissolution applies only to the *a→0-divergent* class and is fenced off from the finite-coefficient and anchor objects. The honesty test here is the *fence*, not the dissolution. ## 1.5 The two deep roots have NO KNOWN IMPLICATION (conjectured independent) **Status: NO-KNOWN-IMPLICATION / CONJECTURED-INDEPENDENT.** The program has exactly two deep roots: - **ROOT-1 (AXIOM-COSTFLOOR):** governs **existence/finiteness** — that records cost something, that the cell exists. - **ROOT-2 (TIER2-STRUCTURAL-FORM):** governs **shape** — the geometry, the matter content E, Z₆, the spin form. The honest claim is **failure to find any implication between them**, not a proof of independence. No positive arrow has been found in either direction: the cost-floor never outputs a shape in any construction tried (no cost-floor ⇒ Z₆, no cost-floor ⇒ E, no cost-floor ⇒ the spin form — each is a *negation* in §1.1–§1.2's landing arguments), and the Occam funnel that selects the shape is a *selection*, not a derivation from the floor (§1.0). What this establishes is that shape has **not been shown to follow** from "floor + Occam" — an absence of a known arrow, which is weaker than a proof that no arrow can exist. **Mandatory qualifier:** both roots remain at the *same irreducible depth*; this is a structural observation about the dependency graph as currently mapped, not a reduction and not a non-existence proof. **No count moves.** The value of the observation is that it forecloses a *tempting* smuggle ("the floor forces the geometry") for which no support was found. **How to check:** look for any positive arrow cost-floor → shape anywhere in the corpus. The claim is only that none has been found and every current mention is a *negation*. Find one positive arrow and you have falsified the conjecture (and W7). ## 1.6 Higgs mass-PROTECTION is proven (and honestly bounded) **Status: PROVEN SUB-RESULT (conditional) — protects to ~10¹⁴ GeV, 12 orders short of the hierarchy.** (Listed here as a constructive win; its shortfall is the boundary B3/B12 in Part 2 — the same fact told from both sides.) Gate-8 **Hosotani protection genuinely removes the Higgs-mass quadratic destabilization**: there is no δm_H² ~ M_Pl² counterterm; the relevant contribution is **finite and cutoff-independent**. This is a real, non-trivial result. The η_BK input fixes the Higgs mass **magnitude** to ~10¹⁴ GeV (√η_BK/(2π) ~ 10⁻²). **Mandatory qualifier:** the mechanism protects the mass only to ~10¹⁴ GeV — it falls **12 orders of magnitude short** of the electroweak hierarchy. The remaining ~10⁻¹⁴ residual lives elsewhere (in the Hosotani-minimum location θ_H*, see Part 2) and is **not delivered**. A constructive win, fully fenced. ## 1.7 The axiom-floor reduction — the irreducible posits, mapped **Status: CONVENTION / AUDIT — non-destructive re-accounting, NOT derivation.** The 12-row ledger is equivalently expressible as a seven-root-class convention (R1–R7), with the itemized degrees of freedom (~22–26) preserved. This **organizes** — Born-rule rows fold under a Probability Representation Functor root R5; owner-rulings under R7; Z₆/quotient questions under a local-to-global completion root R3 — without deriving anything. **Mandatory qualifiers:** - R3, R4, R5, R7 are **POSITS of existence** (R5/R7 of uniqueness too), **not theorems.** The probability functor 𝒫⋆ is posited, not constructed; non-contextuality is asserted as a property of 𝒫⋆, not derived. - The five dimensionful/numeric anchors are **not** compressed (they sit in R6 as 𝒞_anchor, DoF preserved). Buckingham-π plus the five anchors stay irreducible. - The **official 12-row meter remains authoritative.** The root-class view is a convention overlay, and its relabel-falsifiers (F1 explicit-not-hidden / F2 uniformity over targets / F3 no tuning to the known answer) are **not yet evaluated** — listed as open lemma L6. **How to check:** confirm the re-accounting maps the same itemized DoF and never claims to *remove* one. The value of this row is that it makes the hidden assumptions *enumerable* and therefore attackable — see Part 4. --- # Part 2 — Honest Boundaries These are the walls. They are stated plainly because the program's credibility rests on stating them. ## 2.1 The electroweak hierarchy is a genuine SECOND dimensionful anchor **Status: NO-GO (mechanistic + dimensional). A "principled near-no-go."** This is the central honest boundary. The electroweak scale v_EW **cannot be derived within the frozen structure.** It is a genuine second dimensionful anchor, and the program now has a *principled reason why*, in two independent layers: **(1) Dimensional (Buckingham-π).** A *second* mass-scale cannot be built from {M_Pl, ħ, dimensionless geometry} without a σ-carrying length. The only σ-independent inputs are M_Pl (a mass) and Δ₀ ~ ħ plus the dimensionless Casimir-spectrum shape and threshold δ. Turning dimensionless shape into a mass needs an inverse length, and the only one available is R_K6(σ) — which carries the modulus σ. So μ_cell/M_Pl cannot be a frozen pure number. **Forward (geometry) yields pure numbers, no second mass; backward, v → R_K6(σ) → M_* → μ_cell. The ends meet only through v ⇒ circular.** This is literally Buckingham-π. **(2) Mechanistic (transmutation ruled out).** The hierarchy was hoped to arise by dimensional transmutation (a running coupling generating an exponentially small scale e^{−c/(bα)}). But the hierarchy actually lives in the **location of the Hosotani minimum θ_H* ≈ 2.46×10⁻¹⁴**, which is a **stationary point of a *periodic* potential, NOT a running coupling.** There is no transmutation exponent t_* = 2π/(bα) to bound. The field-count bound governs only ln(M_Pl/M_U) (the frozen ~15%), never the ~85% hierarchy carried by θ_H*. **The transmutation hope is rigorously ruled out.** **Final status:** SCALE = **2 anchors {M_Pl, v_EW}.** M_Pl is the sole theorem-certified anchor (Buckingham-π); v_EW is a genuine, *undelivered* second anchor. v_EW is irreducible in this geometry — not "we failed," but "here is the structural reason it cannot be reduced here." ## 2.2 The μ_cell firewall — no v-independent readout **Status: NO-GO / CIRCULAR (knob signature).** μ_cell was the candidate bridge that might have linked granularity (§1.3) to the hierarchy. It fails: - As an eigenvalue μ_cell ~ C₂(p,q)/R_K6²(σ), it **co-varies with σ_min hence with v**; the stationarity condition dV/dσ = 0 cannot output v without already assuming it. - The v-independence audit **fails** (~34× threshold-weight swing across the σ-band). - μ_cell → v is **invertible by construction** (exponentially: v ~ M_Pl · e^{−6 s_min}, with s_min log-sensitive to log(μ_cell/M_*)). So μ_cell is a **knob** — the same κ³/π keystone signature flagged in Part 3. "v emerges" reduces to tuning / true-by-construction unless μ_cell is pinned by a **246-independent principle**, which is not in hand. The granularity cell and the hierarchy therefore remain **two separate floor-values**: granularity bottoms on Δ₀ (§1.3); scale bottoms on v_EW (§2.1). The bridge would have linked them; it has no v-independent readout, so the link cannot be made. ## 2.3 Related fail-closed / convention boundaries - **B9 — q-magnitude FAIL-CLOSED:** whether q·μ_cell·(+2) > 1 (shape rescue vs −1 curvature) cannot be evaluated without v. Magnitude **relocated, not solved.** - **B10 — Δ_spin-c OBSTRUCTED:** does not extract as a separate K₆ invariant; the spin structure is forced as the twisted (Spin×G_SM)/Z₆ with fermionic multiplicities = spinor-weight ×2 (consistent with §1.2). - **B11 — convention bit UNPINNED:** the Pin⁺/Pin⁻ bit is unpinned, identical to BG-10's e^{±iπ/4} bit; the same physics reads as "q>0 stabilizing" or net −1.70 depending on one unpinned σ_ν sign. - **Λ (cosmological constant) is Weinberg-open.** Not claimed. ## 2.4 Genuine sub-results banked (conditional on the hierarchy staying open) - **B12** — Hosotani protection removes the quadratic destabilization (finite, cutoff-independent); 12 orders short. *(= §1.6.)* - **B13** — η_BK fixes the Higgs mass magnitude to ~10¹⁴ GeV; the residual ~10⁻¹⁴ in θ_H* is undelivered. - **B14** — q-SIGN is computable and robust: triality-0 gauge-adjoint (1,1) controls the net (~48 grading); the χ=−3 chiral term does not flip it; net q ≈ +40 > 0 (stabilizing, *stated convention*). Sign only; magnitude is B9. - **B15** — the zero-weight multiplicity m₀(p,q) = min(p,q)+1 when (p−q) ≡ 0 (mod 3), else 0; all 8 table values reproduced. **CLOSED.** ## 2.5 Open lemmas (the gate keys, published not hidden) - **L1 — FLOOR-VALUES-RESIDUE:** posit μ_cell at the fixed UV reference *before* solving dV/dσ, so σ_min (⊃ v) is an output. OPEN/CONDITIONAL — relocates the hierarchy into log(μ_cell/M_*); still a knob unless fixed by a 246-independent principle. - **L2 — θ_H* exponentially small** in 1/(b·α_GUT) via marginal log-running competition. OPEN, conditional on an FRG solution. - **L3 — η-closure (uniform Δ₀ not η-dependent).** **OPEN — and a documented corpus self-conflict:** one internal doc (SCALE_FRONTIER §32) marks it "[done]" while the firewall keeps it OPEN. **We carry it as OPEN** and flag the conflict rather than silently inherit "[done]." (Honesty note: we are telling you about our own inconsistent label.) - **L4 — μ_cell UV value forced by Δ₀≈ħ + M_*** to within log-tolerance, not chosen so 246 comes out. OPEN — precision burden. - **L5 — basin-packing with UNIFORM Δ₀** to recover the finiteness face completely (tightens §1.3). OPEN — recommended, not yet landed. - **L6 — relabel-falsifiers F1/F2/F3 for the R3 root** (§1.7). OPEN — not yet evaluated. --- # Part 3 — The Discipline (the transferable template) The payload in Part 1 and the boundaries in Part 2 were produced under a fixed protocol. That protocol — not any single result — is the broad, transferable contribution. Note up front that some of what follows describes *how the work was done*, which a standalone reader cannot independently verify; what you *can* check are the artifacts the discipline left behind (the kept κ³/π and |V_us| negatives, the load-bearing qualifiers, the three hand-runnable kernels). **1. No status was ever upgraded.** Across this entire program, **no physics gap closed, no axiom count dropped, and no number was derived.** Every "win" is a sharpening or a naming — making a hidden assumption explicit, computing a group-theoretic object *given* the matter content, or proving a no-go. The headline invariants (12 axioms, 5 anchors, ~4 shape DoF) are identical before and after. A program that *claimed* to reduce the fundamentals would be far more exciting and far less trustworthy. **2. no tuning to the known answer — the κ³/π cautionary precedent.** The single most important rule is that **a result reverse-engineered to hit its target is worthless.** The program carries a live cautionary example: the κ³/π "four-fix manifest" produced a baryon-asymmetry value inside the experimental window — but only because its keystone (a := 4κ/√3) had been reverse-engineered to land there. It is *true by construction*, hence physically empty. We keep it as a permanent reminder. The blind-value test is applied throughout (a prediction must pass |z| ≤ 2 *before* seeing the target). When coset invariants were tried for |V_us|, the blind value 1/√3 = 0.5774 against the measured 0.22436 gives |z| = 90–691 → **FALSIFIED**, and the anchor was *retained* (N stays 5), not quietly fitted. **3. Selection ≠ derivation.** The Occam funnel selects the four-factor geometry; we never let "selected" be read as "forced/derived" (§1.0). This is the same guard that prevents Born-rule smuggling. **4. Frozen branch READ-ONLY.** The geometry branch `dcc66f1b2685` / `a5b1e6f9d951` is byte-unmutated. Nothing was committed; nothing was deployed. The objects under study could not be edited to fit a desired conclusion. **5. The program was built BY adversarial AI review that returned honest negatives.** The boundaries in Part 2 — the hierarchy no-go, the μ_cell circularity, the spin-c refutation of the program's own prior wording, the κ³/π self-indictment, the |V_us| falsification — were **found by the review process, against the program's own interests.** An adversarial reviewer instructed to attack the claims kept returning walls, and the walls were *recorded as results* rather than buried. **Important honesty note about this very item:** that the file was *built by* such a process is a **process claim the standalone reader cannot verify.** From this file alone you cannot confirm the development history; you can only inspect the artifact in front of you and check the three hand-runnable kernels. Weigh item 5 accordingly — it is offered as context, not as evidence the reader can audit. What the document *can* show on its face is the candor of its disclaimers and the presence of against-interest disclosures; candor about limits is genuinely good practice, but it does not by itself make the bespoke construction true. --- # Part 4 — Verify It Yourself This file is built to be audited in one sitting, and to be **handed to an adversary.** We invite you to do exactly that. **Give this document to your own AI (or a skeptical colleague) with these instructions:** 1. **Attack every constructive claim in Part 1.** For each: - Is the **qualifier** present and load-bearing? (A win quoted without its qualifier is, by this program's own rules, a failure. Check that we never drop one.) - Is anything labeled FORCED-GIVEN-E actually claimed to be derived from nothing? (It should not be — E is always an input.) - Recompute the checkable arithmetic: the Z₆ congruence table (§1.1), Q = T₃ + Y, the six kernel elements; the delta-test countermodel and the basin-packing inequality (§1.3); the all-odd-U(1) scan dichotomy (§1.2). 2. **Probe the boundaries in Part 2 for hidden escape hatches.** Is the hierarchy no-go really dimensional + mechanistic, or is there an unstated assumption? Is the μ_cell firewall genuinely circular, or could a 246-independent principle exist that we missed? (If you find one, that is a real contribution — L1/L4 are explicitly open.) 3. **Audit the discipline in Part 3.** Look for any place where selection is used as derivation; any positive arrow cost-floor → shape; any number that is actually derived rather than posited; any tuning to the known answer the κ³/π rule should have caught. 4. **Check the self-flagged weak spots we already disclosed:** the L3 "[done]" vs OPEN label conflict (§2.5); the §1.2 result whose count is *not* claimed (count-reduction in principle only); the uniformity of Δ₀ that is posited, not proven (§1.3 / L5); the R3-root falsifiers not yet evaluated (§1.7 / L6). **No prediction of the verdict.** This file deliberately does not tell you what an honest review should conclude, and it does not pre-classify any disagreement as "about scope, not honesty." Review it adversarially and reach your own verdict. The naked document and its against-interest disclosures are the whole case; if they do not earn a given conclusion on their own, the conclusion should not be reached. --- *No status was ever upgraded. Frozen branch `dcc66f1b2685` / `a5b1e6f9d951` — READ-ONLY. Nothing committed, nothing deployed. Headline invariants unchanged: 12 irreducible axioms, 5 provably-irreducible anchors, ~4 itemized Tier-2 shape DoF.* ## Key citations - D. Tong, *Line Operators in the Standard Model*, JHEP 07 (2017) 104, **arXiv:1705.01853** — Z₆ = maximal trivially-acting center; congruence q ≡ 3z₂ − 2z₃ (mod 6). - J. Davighi, B. Gripaios, N. Lohitsiri, *Global anomalies in the Standard Model(s) and Beyond*, JHEP 07 (2020) 232, **arXiv:1910.11277** §7 — no U(1) gives all-odd Weyl charges ⇒ SM has no spin-c without an extra gauged U(1) (e.g. B−L). - Hsieh, Tachikawa, Yonekura, *Anomaly of the Standard Model* — twisted (Spin × G_SM)/Z_q; (−1)^F in the gauge center. - García-Etxebarria & Montero, *Dai–Freed anomalies in particle physics*, JHEP 08 (2019) 003, **arXiv:1808.00009** — Dai–Freed / spin-bordism fermion-measure formulation. - B. C. Allanach et al., **arXiv:2111.04148** — infinitely many anomaly-free chiral U(1) extensions ⇒ anomaly-freedom fixes neither content nor generation number (basis of the T3 refutation: E stays a primitive).