pith. machine review for the scientific record. sign in

arxiv: 2506.12859 · v3 · submitted 2025-06-15 · ⚛️ physics.gen-ph · hep-ph

Recognition: 9 theorem links

· Lean Theorem

A Complete Derivation of the Fermion Spectrum from the Recognition Composition Law

Jonathan Washburn , Elshad Allahyarov
Authors on Pith 2 claimed

Pith reviewed 2026-05-05 23:47 UTC · model claude-opus-4-7

classification ⚛️ physics.gen-ph hep-ph PACS 12.15.Ff14.60.Pq14.65.-q06.20.Jr
keywords fermion mass spectrumfine-structure constantgolden ratio hierarchythree-cube combinatoricsfunctional equationneutrino mass orderingLean 4 formalizationparameter-free derivation
0
0 comments X

The pith

The paper derives every fermion mass and the fine-structure constant from one functional equation plus the geometry of the three-cube, with the electron mass as the only empirical scale.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors propose that the thirteen unexplained numbers of the fermion sector are not independent: each fermion mass equals a sector-dependent prefactor times φ raised to an integer rung shifted by a closed-form "gap" correction that depends only on the particle's charge. The hierarchy base φ is forced by additive scale closure on a cost functional uniquely determined by the proposed Recognition Composition Law; the period 8 comes from the shortest Hamiltonian cycle on the three-cube; and three spatial dimensions are picked out by the identity E_passive + F = 17. Charged-lepton masses reproduce experiment to sub-ppm (muon) and 10⁻⁴ (tau); first-generation quarks agree below one percent; second- and third-generation quarks land within 2–16 percent at integer precision; neutrino splittings agree with current global fits and the framework predicts normal ordering and Σm_ν ≈ 0.063 eV. A claimed Lean 4 formalization with no remaining gaps in the mass-derivation chain is offered as evidence that every structural step is machine-checked.

Core claim

The paper claims that the entire fermion sector — nine charged-fermion masses, three neutrino masses, and the inverse fine-structure constant — can be written as definite functions of the golden ratio and the six combinatorial invariants of the three-cube, with no continuously adjustable real parameter. A single functional equation on a "cost" function F, four regularity conditions, and eight structural theorems produce a master mass law m = A_s · φ^(r − 8 + gap(Z)), in which every integer is read off from cube geometry and only one number — the SI duration of one elementary tick τ₀, fixed by the electron mass — sets the absolute scale.

What carries the argument

The Recognition Composition Law F(xy) + F(x/y) = 2F(x)F(y) + 2F(x) + 2F(y), together with normalization F(1)=0 and unit curvature, uniquely fixes the cost functional J(x) = ½(x + x⁻¹) − 1. Combined with eight structural theorems (positivity, discreteness, reciprocal symmetry, finite-cost states, J-uniqueness, φ as hierarchy base, period 8, dimension 3), it produces the master law m = 2^(B_pow) · φ^(−5 + r₀) · φ^(r − 8 + log_φ(1 + Z/φ)), where every exponent is built from {V,E,F,A,E_passive,W} = {8,12,6,1,11,17}.

If this is right

  • Normal neutrino mass ordering is mandatory; an established inverted ordering kills the rung assignment.
  • The squared-mass ratio m₃²/m₂² is exactly φ⁷ ≈ 29.03 with no calibration freedom and is testable as soon as absolute neutrino masses become accessible.
  • Within-sector charged-fermion mass ratios are pure φ-powers of integer rung differences, so e.g. m_c/m_u = φ¹³ and m_s/m_d = φ⁶ are clean targets immune to the τ₀ calibration.
  • The Standard Model's thirteen continuous fermion-sector inputs collapse to three discrete cube-derived rung anchors plus one unit-conversion constant.
  • α⁻¹ has a three-term geometric decomposition 4π·11 − w₈ ln φ + 103/(102 π⁵) that must hold to within a few parts per million of the Thomson-limit value.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Because every quantitative success rides on the specific assignment of cube integers to sectors, the strongest independent test is whether the same assignment scheme can predict CKM and PMNS mixing angles without further structural inputs; the paper does not address mixings, and that silence is informative.
  • The 2–16% residuals at second and third generation look qualitatively like one-loop QCD corrections of order α_s/π, which suggests the integer-level scaffolding may survive even if the 'parameter-free' claim has to absorb a smooth radiative layer.
  • The endogenous identity E_passive + F = 17 = number of wallpaper groups is a numerical coincidence that the paper leans on heavily; finding an independent cube-internal derivation of the seventeen plane symmetry classes would make the dimensional selection argument substantially harder to dismiss.
  • The framework's sharpest live tension — roughly 0.8σ on the splitting ratio R_∆ versus current global neutrino fits — will be decided by JUNO and DUNE data on a known timescale, so the claim is on a real falsification clock rather than perpetually deferred.

Load-bearing premise

That the long list of discrete sector assignments — which cube role goes to which fermion, the sector-dependent generation steps {13,11,6,8}, the +12 shift for down quarks, the −1/4 phase for neutrinos, the deep baseline rung r = −54, the 2W break, and the curvature triple (5,102,103) — is genuinely forced by first principles rather than chosen to land on the measured spectrum.

What would settle it

Direct kinematic determination of the individual neutrino masses giving m₃²/m₂² inconsistent with φ⁷ ≈ 29.03 at more than 3σ, or oscillation data driving ∆m²₃₁/∆m²₂₁ below about 32.2 at more than 3σ, would refute the predicted neutrino rung triple and with it the cube-geometric backbone of the framework. An established inverted ordering would do the same.

read the original abstract

We present a first-principles derivation of the masses of all twelve known fermions -- three charged leptons, six quarks, and three neutrinos -- and the fine-structure constant $\alpha^{-1}$, from a single discrete functional equation, the Recognition Composition Law (RCL), with \textbf{zero continuously adjustable parameters}. The mass spectrum follows from the RCL supplemented by four regularity conditions and eight structural theorems (T1--T8): the golden ratio $\varphi=(1+\sqrt{5})/2$ emerges as the unique hierarchy base (T6); an 8-step period is fixed by the 3-cube Hamiltonian cycle (T7); three spatial dimensions are selected by a unique combinatorial identity (T8). All integers entering the mass formula are the six combinatorial invariants of the 3-cube $Q_3$; none is fitted. The sole empirical input is the electron mass, which fixes an irreducible unit-conversion constant~$\tau_0$. Predictions are confronted with PDG measurements. Charged-lepton masses are reproduced at sub-ppm accuracy for the muon and $\sim\!10^{-4}$ for the tau (Table~\ref{tab:lepton_validation}). All six quark masses are predicted at integer level; first-generation quarks agree to better than $1\%$, while second/third-generation residuals of $2$--$16\%$ are expected integer-precision effects (Table~\ref{tab:quark_validation}). Neutrino mass-squared splittings agree with NuFIT~5.3 within $1$--$2\sigma$, normal ordering is predicted, and $\Sigma m_\nu\approx 0.063$~eV satisfies cosmological bounds. All structural claims are machine-verified in Lean~4 (179 files, 0~\texttt{sorry}; \texttt{github.com/\allowbreak jonwashburn/\allowbreak recognition-science}).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

6 major / 10 minor

Summary. The paper proposes that all twelve fermion masses, the three neutrino masses, and α⁻¹ follow from a single discrete functional equation (the Recognition Composition Law) supplemented by four regularity conditions and eight structural theorems T1–T8, with the only continuous input being a unit-conversion constant τ₀ fixed by the electron mass. The master mass law takes the form m = A_s · φ^(r_i − 8 + gap(Z_i)), with all integer ingredients drawn from the combinatorics of the 3-cube Q₃ (V=8, E=12, F=6, A=1, E_passive=11, W=17). Sectors are assigned binary edge-coupling exponents B_pow and φ-offsets r_0 via cube-partition constraints (C1)–(C9); the Z-map is fixed by gauge-invariance + minimality; the gap function is fixed by an affine-log family with three normalisations; lepton masses use a 2W base shift plus α-corrections; quarks use sector-dependent generation torsion (SDGT) {V+F−A, E_passive, F, V} together with a +E down-quark shift; neutrinos use a deep-window baseline r_ν3 = −54 with a −1/4 face phase and edge-partition spacings; α⁻¹ is decomposed as 4π·E_passive − w₈·lnφ + 103/(102π⁵). Many structural claims are formalised in Lean 4. Empirical agreement is sub-ppm for the muon, ∼10⁻⁴ for the tau, <1% for first-generation quarks, 2–16% for gen-2/3 quarks, and 1–2σ for neutrino splittings.

Significance. If the central derivation held in the strong sense advertised, the paper would constitute a remarkable reduction of fermion-sector parameters to discrete cube combinatorics. Strengths that should be acknowledged regardless of the final assessment: (i) substantial Lean 4 formalisation (179 files, 0 sorry in the mass derivation chain) of T1–T8, the J-uniqueness theorem, dimension forcing, and the eight-tick result — this is unusually careful for a physics manuscript; (ii) genuinely sharp falsifiers (m₃²/m₂² = φ⁷, R_Δ ≈ 33.82, normal ordering forced by monotonicity, mass-ratio predictions independent of τ₀); (iii) explicit provenance audit (Theorem 14.2) and ablation tables (Table 13); (iv) the muon and tau predictions to sub-ppm and 10⁻⁴ are nontrivial. Even with the caveats below, the explicit, machine-checked discrete structure and the falsifiable seam-free predictions make this a useful reference point for parameter-counting arguments in the flavour literature.

major comments (6)
  1. [Abstract & §14 (Theorem 14.2)] The headline claim of 'zero continuously adjustable parameters' is not equivalent to 'no fitted content.' The audit lists 17 DERIVED discrete choices whose specific integer values (sector-coupling assignments, SDGT step-to-sector mapping, Δs=+12, the curvature numerator 103, the −1/4 phase, etc.) carry the predictive weight. The paper acknowledges this in places (e.g. Remark 6.8 admits B_pow is 'falsification-unique', i.e. selected against data), but the abstract and §14 framing obscure it. Please revise the central claim so that (a) the count of discrete structural choices is stated as plainly as the count of continuous ones, and (b) 'falsification-unique' assignments are not labelled DERIVED without that qualifier in the audit.
  2. [§6.1, Remark 6.6 and Theorem 6.7 (cube-partition C8)] Condition (C8), r₀(Lepton) − r₀(EW) = W − 10, is presented as 'now derived' via 10 = F + N_sec = 6 + 4. Since N_sec = 4 is the number of sectors built into the construction, the rewrite 10 = F + N_sec is definitional: any integer n can be written F + (n − F). Theorem 6.7's uniqueness conclusion therefore inherits whatever content C8 has, which on the present argument is post-hoc. Either provide an independent derivation of the constant 10 (or equivalently the 'depth gap = passive edges minus sector count') from RCL + cube combinatorics that does not assume the four-sector partition as an input, or re-classify C8 as a structural postulate in Table 1 and Theorem 14.2.
  3. [§10 (SDGT & cross-sector shift Δs = +E = +12)] The SDGT step assignment {13, 11, 6, 8} → {Up, Lepton, Down, ...} is justified via B_pow signs (item6_bpow_sign_classification), but B_pow itself was selected to match the observed sector mass ordering (Remark 6.8). The down-quark shift Δs = +E = +12 is introduced because Convention A would otherwise give m_u ≫ m_d (manuscript's own wording). The chain 'B_pow chosen to match data → SDGT chosen via B_pow sign → Δs chosen via B_pow sign' is therefore data-anchored at its origin. Please either (a) exhibit a derivation of the B_pow assignments that does not invoke the observed mass ordering, or (b) state explicitly in the abstract and §14 that the quark-sector assignment is fixed by data-matching at the integer level and is not parameter-free.
  4. [§11.4–11.6 (neutrino baseline r_ν3 = −54)] The 'deep-window' constraint r_ν3 ∈ (−55, −54) plus the −1/4 phase are presented as forcing 4r₃ = −217. However, (i) the choice of window — that the third neutrino mass sits in the unit interval immediately below the integer −(V+E+F+E_passive+W) — is an empirical cut motivated by the observed neutrino mass scale; (ii) the −1/4 phase is justified only by C₄ face symmetry plus minimality, with three quarter-step candidates available before phase selection. As written, Theorem 11.6's 'uniqueness' is conditional on a window chosen to match the cosmologically-bounded neutrino mass scale. Please justify the deep window from RCL + cube combinatorics alone, or label the window as a calibration choice in Table 1.
  5. [§12.3, Theorem 12.3 (curvature tuple (5,102,103))] The decomposition 103 = F·W + A introduces '+A' precisely so that the residual lands close to α⁻¹_CODATA. The cube-integer family does not forbid F·W − A, F·W + F − A, etc.; the proof of Theorem 12.3 is uniqueness within a parametrisation (d = D+1+1, k = F·W, n = F·W + A) that already names the answer. The paper's own statement ('The triple is not uniquely determined by the single equation alone') concedes this. Please reformulate the curvature-correction discussion as a structural parametrisation that is consistent with data, not as a derivation, until an independent derivation of '+A' is available.
  6. [§9.2 and Remark 9.3 (the 2W break exponent)] The 2W = 34 base shift is justified by a 'bilateral wallpaper-completeness' argument (T3 + W endogeneity + minimal cover). The Lean status is partial: electron_break_wallpaper_multiplier_forced establishes u = 2 within an affine family, but the structural minimal-cover claim itself is not yet machine-verified (the manuscript states the Lean step electron_break_bilateral_wallpaper_completeness is a 'remaining formalization step'). Given that 2W vs. W vs. 3W shifts m_τ by orders of magnitude, this is load-bearing; please either complete the Lean step or downgrade the audit status to 'partially derived' in Theorem 14.2.
minor comments (10)
  1. [Abstract] The abstract states '0 sorry' for 179 files, while §A's scope note says Tier1Cert.lean depends on non-public modules. Please align the abstract with the scope note so a reader knows which certificates are publicly auditable.
  2. [§7.3 (color offset c = 4)] Remark just after Proposition 7.5 candidly notes that 4 ≠ N_c = 3 and that no derivation relating cube-edge counts to SU(3) is given. Consider relocating this caveat to the audit table; presently c = 4 is listed simply as DERIVED.
  3. [§9.7 (lepton ratios)] Remark 9.11 states 'No deeper identity E_passive/F = φ is claimed' — good. Please similarly disclaim any structural identity between cube combinatorics and φ-power approximations elsewhere (e.g. §10's quark ratio table where φ¹³ ≈ 521 is compared to PDG 518).
  4. [§11.6, Table 8] The R_Δ tension is stated variously as 0.8σ (after convention correction) and 1.5σ (raw). Please state once, prominently, which convention is the framework's prediction and quote a single number with its convention.
  5. [§12.1.2 (w_8)] The closed form w_8 = (348 + 210√2 − (204 + 130√2)φ)/7 should be derived in the body, not only asserted with reference to the Lean file. The DFT-8 normalisation discussion (Parseval, C = 1/√8) and the documented mismatch certificate should be summarised here for the reader.
  6. [§13, Table 10] The 11+6 wallpaper split classifies p4, p4m as edge-type and p4g as face-type using an algebraic criterion stated in the text. The criterion ('highest-order rotational symmetry compatible with the 1D passive-edge lattice') is reasonable but ad hoc; consider stating it in a definition before Table 10 and citing a standard crystallographic reference for the same dichotomy.
  7. [§16.1, Table 12] Falsifiers labelled 'within 1–2σ of NuFIT' are not strong falsifiers; please separate genuine pre-registered predictions (m₃²/m₂² = φ⁷, normal ordering) from current-status agreement statements.
  8. [References] Refs [42, 43] are described as 'companion documents' that carry a number of the load-bearing sub-leading derivations (Thms. 2.1–2.5, 3.1). For the manuscript to stand alone, the key arguments should be in the body or in a self-contained appendix, not delegated to Recognition Physics Institute technical reports.
  9. [§17] The phrase 'expected integer-precision effects' appears repeatedly to characterise 2–16% residuals. Please provide an estimate of the size of O(α_s/π) corrections at the relevant scales so a reader can judge whether 16–19% is or is not 'expected'.
  10. [Theorem 14.4] The proof concludes 'No entry in this list is a continuously tunable real number,' which is correct, but the rhetorical leap to 'the framework has zero continuously adjustable parameters' should be tempered by the discrete-choice content. Consider stating this trade-off explicitly in the theorem.

Simulated Author's Rebuttal

6 responses · 3 unresolved

We thank the referee for an unusually careful and substantive report. The referee's six major comments converge on a single legitimate concern: the manuscript's framing -- particularly the headline 'zero continuously adjustable parameters' and the binary FORCED/DERIVED tagging in Theorem 14.2 -- understates the role of discrete structural choices and, in several cases (B_pow, SDGT, Δs = +12, the curvature numerator '+A', the neutrino deep window, and the 2W base-shift multiplier), labels as DERIVED items whose ultimate justification is data-matching at the integer level or a structural argument not yet machine-verified.\n\nWe accept this concern in full. Our planned v4 revisions are: (i) the abstract and §14 will state the discrete-choice count alongside the continuous-parameter count; (ii) Theorem 14.2 will introduce a third provenance tag (FALSIFICATION-UNIQUE / DATA-CONSISTENT) distinct from DERIVED, and a fourth (PARTIALLY DERIVED) for items with incomplete Lean coverage; (iii) C8, the B_pow / SDGT / Δs cluster, the curvature triple (5,102,103), and the neutrino deep window will be retagged accordingly; (iv) the 2W multiplier will be split into its Lean-verified affine-family component and its pending minimal-cover component; (v) the neutrino baseline integer −54 will be reclassified as a discrete calibration anchor.\n\nThree items we cannot answer on substance (recorded as standing objections): a B_pow derivation independent of the observed mass ordering, a derivation of

read point-by-point responses

  1. Referee: Headline 'zero continuously adjustable parameters' obscures 17 DERIVED discrete choices that carry the predictive weight; B_pow is admitted to be 'falsification-unique' (i.e. selected against data). Abstract and §14 should state the discrete-choice count as plainly as the continuous one, and 'falsification-unique' assignments should not be labelled DERIVED without that qualifier.

    Authors: We accept this point. The phrase 'zero continuously adjustable parameters' is technically accurate but rhetorically misleading when 17 discrete structural assignments do the predictive work, and we will revise accordingly. Concrete revisions for v4: (i) the abstract will replace the standalone 'zero continuously adjustable parameters' claim with a parameter ledger of the form '0 continuous + N_disc discrete structural choices + 1 calibration anchor', stated in the same sentence; (ii) Theorem 14.2 and Table 1 will introduce a third provenance tag, 'FALSIFICATION-UNIQUE' (or 'DATA-CONSISTENT'), distinct from DERIVED; (iii) every component currently tagged DERIVED whose justification ultimately invokes the observed mass ordering -- specifically B_pow (Remark 6.8), the SDGT step-to-sector assignment (§10), and the Δs = +12 down-quark shift -- will be retagged; (iv) the audit tally will read '3 FORCED + k DERIVED + m FALSIFICATION-UNIQUE + 1 calibration + 1 convention'. We will also add a paragraph in §1 stating that the framework's reduction is from ~13 continuous Yukawas to a small number of discrete integer choices plus one anchor, not to literally zero inputs. revision: yes

  2. Referee: Condition (C8), r₀(Lepton) − r₀(EW) = W − 10, with the rewrite 10 = F + N_sec, is definitional: any integer can be split as F + (n − F), and N_sec = 4 is the sector count built into the construction. Theorem 6.7's uniqueness inherits whatever content C8 has, which is post-hoc. Either provide an independent derivation or re-classify C8 as a structural postulate.

    Authors: The referee is correct. The rewrite 10 = F + N_sec is an algebraic identity, not an independent derivation: once N_sec = 4 is fixed by the four-sector partition (itself an input), writing 10 as F + 4 supplies no new constraint. We will not defend Remark 6.6 as a first-principles derivation. Revisions for v4: (a) Remark 6.6 will be rewritten to explicitly state that the value 10 is a structural postulate parametrising the lepton-EW depth gap, and that the F + N_sec rewrite is a numerical decomposition, not a derivation; (b) Table 1 will add C8 as an explicit structural input with provenance 'postulate, consistent with cube combinatorics'; (c) Theorem 6.7's statement will be revised to read 'conditional uniqueness given (C1)-(C9) as structural postulates,' with C8 explicitly flagged; (d) the audit in Theorem 14.2 will reclassify the lepton-EW depth gap accordingly. We will retain the observation that the constant equals E_passive − N_sec under the rewrite, but only as a consistency note, not a derivation. revision: yes

  3. Referee: The chain B_pow chosen to match data → SDGT chosen via B_pow sign → Δs = +12 chosen via B_pow sign is data-anchored at its origin. Either derive B_pow without invoking observed mass ordering, or state explicitly that the quark-sector assignment is fixed by data-matching at the integer level.

    Authors: We agree that the current presentation overstates the derivational status of the quark sector. Remark 6.8 explicitly uses the observed sector mass scales to pin B_pow uniquely up to permutation; the downstream SDGT and Δs assignments inherit that data-anchoring. Calling the result 'derived via B_pow edge-coupling' (as in §10 and §17) understates this dependence. We do not at present have a derivation of B_pow that avoids the observed mass ordering. Accordingly, in v4: (i) the abstract and §14 will state plainly that the quark-sector integer assignment (B_pow, SDGT step-to-sector mapping, Δs = +12) is fixed by integer-level data-matching, not by RCL + cube combinatorics alone; (ii) these three items will be tagged FALSIFICATION-UNIQUE rather than DERIVED in Theorem 14.2; (iii) §10 and §17 will replace 'derived via B_pow edge-coupling' with 'fixed by the observed sector mass ordering at the integer level, then propagated consistently through the cube-partition constraints'; (iv) the falsification content -- that any permutation is refuted by ≳10^5 -- will be retained as a genuine empirical test, but no longer mislabelled as derivation. We thank the referee for forcing this clarification. revision: yes

  4. Referee: The 'deep-window' constraint r_ν3 ∈ (−55, −54) is an empirical cut motivated by the observed neutrino mass scale; the −1/4 phase has three quarter-step candidates before phase selection. Theorem 11.6's uniqueness is conditional on a window chosen to match cosmology. Justify the deep window from RCL + cube combinatorics, or label it a calibration choice.

    Authors: The referee correctly identifies that the integer −54 = −(V+E+F+E_passive+W) is motivated combinatorially (negative sum of the five non-trivial cube integers), but the *selection* of this particular integer as the window for r_ν3 -- rather than, say, −33 or −72 -- is informed by the observed neutrino mass scale. The current text obscures this. We will revise as follows in v4: (a) §11.4 and Definition 11.4 will state explicitly that the deep window is an empirical calibration choice fixing the absolute neutrino mass scale, analogous in role to τ₀ for charged leptons -- a second calibration anchor, not a derivation; (b) Table 1 and Theorem 14.2 will add 'neutrino baseline window' as a calibration item, increasing the calibration count from 1 to 2 (or, equivalently, recording r_ν3 = −54 as a discrete calibration integer); (c) the abstract will state that the framework uses one continuous calibration (τ₀) and one discrete calibration (the neutrino baseline integer); (d) Remark 11.5 will be expanded to make explicit that the −1/4 phase selection among the three deep-window candidates uses the C₄ phase condition, but that the choice of *which integer the window sits below* is the empirical input. The seam-free predictions (m₃²/m₂² = φ⁷, R_Δ ≈ 33.82, normal ordering) remain genuine forward predictions and are unaffected by this reclassification. revision: yes

  5. Referee: The decomposition 103 = F·W + A introduces '+A' precisely so the residual lands close to α⁻¹_CODATA. Theorem 12.3 proves uniqueness within a parametrisation that already names the answer; the paper concedes the triple is not uniquely determined by the single equation. Reformulate the curvature correction as a structural parametrisation consistent with data, not a derivation.

    Authors: Conceded. Theorem 12.3 establishes uniqueness within the cube-integer family (d = D+1+1, k = F·W, n = F·W+A) but does not derive that family from RCL + cube combinatorics independently of the target value of α⁻¹. The 'd = 5 from spatial+temporal+conservation' counting is structural, but selecting numerator F·W+A over F·W−A, F·W+F−A, etc. is post-hoc. Revisions for v4: (i) §12.3 will be retitled 'Curvature correction: structural parametrisation consistent with data' (already partially in this direction; we will sharpen the language); (ii) the sentence claiming '103 is forced' (and the corresponding Lean tag one_oh_three_is_forced as a derivation claim) will be replaced with 'the integer triple (5,102,103) is the unique cube-integer solution within the stated parametrisation that is consistent with the measured α⁻¹ to ≲ 7 ppm'; (iii) Theorem 14.2 will retag the curvature tuple as FALSIFICATION-UNIQUE / DATA-CONSISTENT; (iv) we will add explicit discussion of the alternative triples (F·W−A, F·W+F−A) the referee identifies, showing they fail the empirical test; (v) the abstract sentence 'curvature tuple 103/(102π⁵) is derived from cube geometry' will be removed or qualified. The exponential-resummation residual of ≲ 7 ppm remains the honest figure of merit. revision: yes

  6. Referee: The 2W = 34 base shift is justified by a 'bilateral wallpaper-completeness' argument with partial Lean status: u = 2 is forced within an affine family, but the structural minimal-cover claim is not yet machine-verified. Given that 2W vs. W vs. 3W shifts m_τ by orders of magnitude, this is load-bearing. Either complete the Lean step or downgrade the audit status to 'partially derived'.

    Authors: Accepted. The current Lean coverage proves the affine-family parameters (u = 2, k = 4, weight split (1,1)) but does not formalise the minimal-cover step that fixes the multiplier as 2W rather than W or 3W; the manuscript itself flags electron_break_bilateral_wallpaper_completeness as a 'remaining formalization step.' Tagging this DERIVED in Theorem 14.2 overstates the machine-verified content. Revisions for v4: (a) Theorem 14.2 will introduce a 'PARTIALLY DERIVED' tag (or equivalently split the 2W item into its Lean-verified affine-family component, tagged DERIVED, and its minimal-cover component, tagged PARTIALLY DERIVED / structural argument pending formalisation); (b) Remark 9.3 will be revised to state plainly that the empirical exclusion of W and 3W (which give m_τ wrong by orders of magnitude) provides the falsification-level support, while the structural minimal-cover argument awaits Lean formalisation; (c) §9.2.1 will be rewritten so the structural derivation and its current Lean status are described in the same paragraph, not separated. We are actively working on the Lean formalisation of the minimal-cover step and will report progress in a subsequent version, but we will not claim it as completed in v4. revision: yes

standing simulated objections not resolved
  • We cannot at present supply a derivation of the B_pow assignments (and hence the SDGT step-to-sector mapping and the Δs = +12 cross-sector shift) that does not invoke the observed sector mass ordering. We will retag these items as FALSIFICATION-UNIQUE rather than DERIVED, but we have no first-principles replacement to offer in v4.
  • We cannot at present derive the deep-window choice r_ν3 ∈ (−55, −54) from RCL + cube combinatorics alone, independently of the observed neutrino mass scale. We will reclassify this as a discrete calibration anchor (a second calibration item beyond τ₀) rather than as a derivation.
  • The Lean formalisation of the bilateral wallpaper-completeness / minimal-cover step underlying the 2W base shift is not yet complete. We will downgrade its audit status to PARTIALLY DERIVED in v4 rather than claim a Lean certificate that does not yet exist.

Circularity Check

8 steps flagged

Several load-bearing "uniqueness theorems" reduce to constraint families fitted to data: Bpow is admitted "falsification-unique," Δs=+12 is introduced to fix a wrong sign vs. observation, the SDGT integer-to-sector assignment was originally identified from PDG ratios, and the C8 constant "10" is re-derived by definitional renaming (10 = F + N_sec).

specific steps
  1. fitted input called prediction [Remark 6.8 (Parameter scan: Bpow assignment is falsification-unique)]
    "Any permutation of the four Bpow values to different sectors predicts at least one sector mass scale wrong by a factor ≳ φ^22 ≈ 10^5, which is immediately falsified. The canonical assignment is therefore the unique permutation consistent with the observed mass ordering at the order-of-magnitude level."

    Bpow is the load-bearing input to the sector mass scale (Thm 6.7) and, via Mar-2026, to SDGT and Δs=+12. Here it is selected by requiring agreement with the observed sector mass ordering — fit to data, not forced by RCL+cube. Every downstream 'derivation' that takes Bpow as input inherits a data-fit element, contradicting the abstract's zero-parameter claim at the structural level.

  2. fitted input called prediction [§10.1.2 / §17, cross-sector shift Δs = +E = +12 for down quarks]
    "An additional +E = +12 rung shift for the down-quark exponent is required to match the observed m_d > m_u ordering. ... Without this correction, Convention A predicts m_u ≫ m_d, contrary to observation."

    The shift is introduced because the prior assignment gave the wrong mass ordering, then later 'derived' from the Bpow sign — but Bpow itself was assigned by matching observed sector mass ordering (Remark 6.8). The chain Bpow→sign→Δs reduces to: the down-quark exponent is whatever it must be to make m_d > m_u.

  3. renaming known result [Remark 6.6 ('Updated status of condition (C8)')]
    "Condition (C8), r0(Lepton) − r0(EW) = W − 10, is now derived from first principles. The constant 10 is not ad hoc: 10 = F + N_sec = 6 + 4, ... Thus C8 is passive-edge depth minus fermion-sector count."

    The integer 10 is decomposed as F + N_sec, where N_sec=4 is the number of fermion sectors the construction itself uses. Any integer n can be written as F + (n−F); calling that decomposition a derivation is renaming. C8 enters Thm 6.7 as one of nine constraints; relabeling its constant does not change that the constraint family was chosen to land on the canonical (Bpow, r0).

  4. fitted input called prediction [§17, item 1 (SDGT derivation), parenthetical note]
    "the assignment of specific integers to specific quark sectors is now derived via Bpow edge-coupling (Mar 10) (it was historically identified by computing same-scale PDG mass ratios before the derivation was available)"

    By the paper's own admission, the SDGT integer-to-sector assignment {V+F−A=13, E_passive=11, F=6, V=8} was originally read off from PDG mass ratios. The Mar-10 'derivation' from Bpow is downstream of an input (Bpow) that is itself falsification-unique (Remark 6.8). The integers may be cube cell counts, but their *assignment* to specific sectors traces back through Bpow to data.

  5. self definitional [§2 / §11.4, neutrino baseline r_ν3 = −54]
    "The neutrino baseline is r_ν3^int = −(V+E+F+E_passive+W) = −54, exhausting the complete hypercube integer inventory with a sign reversal ... Being the lightest massive fermion, r_3 must lie strictly below the integer −54 (not above it), giving the one-sided window r_3 ∈ (−55, −54)."

    The 'absolute baseline uniqueness' (Thm 11.6) is uniqueness within a one-integer-wide window bracketing −54, where −54 is the negative sum of exactly those hypercube integers landing near the right neutrino mass. A is excluded 'because it enters the charged-sector rung formula separately'; the sign and window are chosen post hoc. The 'derivation' is a labeling of the answer.

  6. ansatz smuggled in via citation [§12.1.3 / §12.3, curvature numerator 103 = F·W + A]
    "Numerator n = 103 = F·W + A: the face-wallpaper product plus the active edge A = 1. The '+1' is the same active edge that defines E_passive = E − A = 11. The transition edge contributes one additional curvature mode beyond the face-wallpaper base."

    The natural cube-integer product is F·W=102. The '+A' is added because 102/(102π^5) misses CODATA α^{-1} by an amount supplied by +1/(102π^5). The cube vocabulary admits F·W, F·W−A, F·W+F−A, etc.; '+A as active-edge closure' is post-hoc labeling. Thm 12.3's uniqueness is uniqueness within the cube-integer family *plus* the parametrization choice n=F·W+A — the parametrization that lands on the data.

  7. uniqueness imported from authors [§9.2.1, '2W break' derivation and Remark 9.3]
    "δ_e ≈ 17.66 (W instead of 2W): the cumulative lepton exponent shifts by −17 rungs, placing the tau lighter than the electron. Ruled out. ... δ_e ≈ 51.66 (3W instead of 2W): the exponent shifts by +17 rungs, giving m_τ ≈ 6.3 TeV. Ruled out immediately."

    The structural argument for 2W (bilateral wallpaper-completeness) is asserted but the supporting Lean lemma is admitted as a 'remaining formalization step.' What actually fixes 2W is that W and 3W are 'ruled out' by the lepton spectrum — by the data being predicted. The 'derivation' of 2W is therefore selection by falsification against the data being fit.

  8. self definitional [Eq. 73 / §15.1, τ0 calibration]
    "τ0 = 2^{−22} · φ^{51} · ℏ_SI / (m_e^SI · c^2_SI). This is the sole empirical number entering the framework."

    τ0 is defined by inverting the electron-mass equation; the electron mass is then 'reproduced exactly because r_e = 2 and τ0 are calibrated to its mass.' The paper is explicit about this being calibration, but the abstract markets τ0 as a 'unit-conversion constant' while in practice it carries the lepton mass scale, and absolute SI masses in §9 inherit it. Ratios m_μ/m_e remain genuine anchor-free predictions; absolute SI numbers do not.

full rationale

The paper's claim of "zero continuously adjustable parameters" survives only because almost every place a real-valued degree of freedom would have appeared has been replaced by a discrete *choice within a constraint family*, and several of those families are themselves selected to reproduce data. The paper is unusually honest in places (Remark 6.8 labels Bpow "falsification-unique"; §10 admits Δs=+12 was added because otherwise m_u ≫ m_d "contrary to observation"; §10 admits the SDGT integer-to-sector assignment was "historically identified by computing same-scale PDG mass ratios"), making the circularity easy to exhibit by direct quotation. Specific reductions: (1) τ0 is defined by inverting the electron-mass equation (Eq. 73), then the lepton scale is "derived" from τ0. The paper acknowledges this is calibration, but the abstract still markets it as a unit-conversion constant. (2) Bpow is the load-bearing input to the sector mass scale (Theorem 6.7) and, via the Mar-2026 update, to SDGT and Δs=+12. Remark 6.8 selects it by requiring agreement with observed sector mass ordering. Everything downstream inherits a data-fit input. (3) The constant "10" in C8 is re-tagged as derived by writing 10 = F + N_sec = 6 + 4 (Remark 6.6); N_sec=4 is the number of sectors used by the construction itself. Any integer n can be written as F + (n−F). (4) r_ν3 = −54 = −(V+E+F+E_passive+W) is the negative sum of exactly those integers that land near the neutrino mass; A is excluded "because it enters the charged-sector rung formula separately." The "uniqueness" (Thm 11.6) is uniqueness within a one-integer-wide window bracketing the answer. (5) Curvature numerator 103 = F·W + A: the "+A" is the active-edge "closure" added on top of F·W=102. The cube vocabulary admits multiple alternatives; +A is selected to land near CODATA. Lean verification covers arithmetic identities (11+6=17, W_endo at D=3) and some functional-equation uniqueness (J(x), φ from r²=r+1). Those are real, independent facts and do not raise the score. The score reflects the physics-side derivation chain. Genuine forward predictions remain (m₃²/m₂²=φ⁷, R_Δ, mass ratios within sectors), so the score is 7, not 9–10.

Axiom & Free-Parameter Ledger

11 free parameters · 8 axioms · 4 invented entities

The paper presents a small set of 'forced' theorems but loads the bulk of its predictive power into a long ledger of discrete integer assignments and side conditions whose role in 'uniqueness' arguments is to select exactly the answer that matches data. Below is an enumeration of the load-bearing items; together they substantially exceed the 13 SM Yukawa-sector parameters they are meant to replace.

free parameters (11)
  • τ₀ (SI seconds per recognition tick) = ≈1.40×10⁻¹⁷ s, set by m_e
    Single empirical calibration anchor; sets the absolute mass scale by inverting the electron prediction 2⁻²² φ⁵¹.
  • Lepton baseline rung r_e = 2
    Stated as derived (r_e = A+1) but the choice of 'first stable charged rung above the active edge' is itself a discrete selection.
  • Quark baseline rung r_q = 4 = 2^(D−1)
    From cube geometry, but the identification of the quark baseline with this specific count is a sector-coupling assignment.
  • Neutrino baseline rung r_ν3 = −54 = −(V+E+F+E_passive+W)
    Derived as 'the negative sum of all five non-trivial hypercube integers' — exactly the integer needed to land in the empirical window.
  • Generation torsion offsets {τ₁,τ₂,τ₃} = {0, 11, 17}
    Selected as the unique increasing ordering of {0, E_passive, W}; ablation shows alternatives are 'immediately refuted by data', i.e., the choice is fixed by the data it predicts.
  • SDGT quark step set = {13, 11, 6, 8}
    Sector-Dependent Generation Torsion; the assignment of which integer goes to which sector is acknowledged in §10 to have been historically identified by computing same-scale PDG ratios.
  • Cross-sector shift Δs for down quarks = +12 = E
    Introduced to fix m_d > m_u ordering; 'derived' in revision via B_pow sign argument that itself uses the assignments.
  • Electron-break exponent 2W and fraction 29/44 = 34 + 29/44
    Coefficient arithmetic 'fully determined inside the only viable affine family'; family selected to fit electron QED-like correction.
  • α⁻¹ curvature tuple (d,k,n) = (5, 102, 103)
    Numerator 103 = F·W+A and denominator 102 = F·W chosen as the integer pair that closes the gap to CODATA at the few-ppm level.
  • DFT-8 normalization C = 1/√8 (Parseval) vs C=1 (raw)
    GapWeightCandidateMismatchCert documents that the 'derived' w8 differs from the raw DFT-8 sum by a normalization choice.
  • Quark gen-2/3 residual budget = 2–16% (up to ~19% in ratios)
    Absorbed as 'expected integer-precision effects of order O(α_s/π)' rather than predicted; functions as an unstated tolerance.
axioms (8)
  • ad hoc to paper Recognition Composition Law: F(xy)+F(x/y)=2F(x)F(y)+2F(x)+2F(y) for x,y>0.
    Posited as the foundational equation; not derived from any prior physical principle. Eq. (1).
  • ad hoc to paper Sector factorisation U2: m(r,s,Z)=f(s)·g(r,Z).
    Explicitly labeled a 'structural postulate' (§5.8) consistent with but not derived from T3.
  • ad hoc to paper Cube-partition principle (C1)–(C9) for sector mass scales.
    Nine constraints chosen so that the canonical (B_pow, r₀) is the unique solution; constraint C8 contains the explicit constant 10 = F+N_sec (§6.3).
  • ad hoc to paper Deep-ladder window r_ν3 ∈ (−55, −54) and phase 4r_ν3+1 ≡ 0 (mod 4).
    Definition 11.4; selects r_ν3 = −217/4 from three otherwise-viable candidates by a phase condition argued from C₄ face symmetry.
  • ad hoc to paper Z-map 'completeness' a≥1, b≥1 with minimal a+b.
    §7.4: explicitly stated as a 'structural postulate, not a first-principles derivation', then used to fix (a,b)=(1,1).
  • ad hoc to paper Curvature-tuple parametrization d=D+1+1, k=F·W, n=F·W+A.
    §12.3: uniqueness of (5,102,103) holds only within this chosen integer family.
  • standard math Classical logic / standard real analysis (SA0).
    Background; not at issue.
  • standard math Standard wallpaper-group classification (Fedorov 1891).
    Used to identify W=17, then 'endogenized' via E_passive+F at D=3.
invented entities (4)
  • Sector-Dependent Generation Torsion (SDGT) no independent evidence
    purpose: Assign distinct generation-step integers to up, down, and lepton sectors so that within-sector ratios match PDG.
    Introduced to fix the quark sector after a single shared torsion failed; no falsifiable prediction outside fermion masses themselves.
  • Active edge A = 1 distinguished from passive edges no independent evidence
    purpose: Provide an extra discrete integer (1) that enters E_passive, B_pow, and the curvature numerator 103 = F·W+A.
    Justified by 'cost minimization' and T2 discreteness; functions as a tunable +1 in several otherwise tight integer combinations.
  • Recognition tick τ₀ as a physical duration no independent evidence
    purpose: Convert framework-native exponents to SI masses.
    Operationally equivalent to choosing the electron mass as the unit-fixing observable; not detectable independently.
  • Endogenous wallpaper count W_endo at D=3 independent evidence
    purpose: Identify the crystallographic 17 with E_passive+F to remove an external citation.
    Numerical identity 11+6=17 is real; the structural correspondence to 'edge-type' vs 'face-type' wallpaper groups is partly enumerative and matches Fedorov's classification independently.

pith-pipeline@v0.9.0 · 105493 in / 9685 out tokens · 349986 ms · 2026-05-05T23:47:19.099787+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.