Referee A: minor_revision / moderate. Referee B: major_revision / moderate. Synthesizer: minor_revision / moderate. The core derivations align with canon theorems; the disagreements concern the severity of tagging the charge ansatz and alpha treatment as modeling choices rather than requiring new formalization.
The even-polynomial ansatz Z(Q) = Q^2 + Q^4 with coefficients (1,1) yields the lepton charge index Z_l = 1332.
Not forced by any supplied canon theorem; presented as a geometric choice but requires explicit hypothesis status.
Refinement corrections involving alpha^2 and alpha^3 improve the electron mass without introducing new continuous parameters.
Alpha is imported as external; canon derives it from phi, creating a minor external input that must be addressed.
After fixing tau_0 from the electron mass, the muon and tau masses are forward predictions independent of the SI anchor.
Numerical agreement is strong; ratios cancel tau_0 correctly, but full Lean certification of the final digits is incomplete.
The predictions achieve relative errors of approximately 10^{-6} for the muon and 7 x 10^{-5} for the tau versus PDG values.
Interval bounds are Lean-certified; quoted point values require explicit separation from floating-point evaluation.
| ID | Claim | Section | Importance | Status | Lean match | Author action |
|---|---|---|---|---|---|---|
| C4 | The even-polynomial ansatz Z(Q) = Q^2 + Q^4 with coefficients (1,1) yields the lepton charge index Z_l = 1332. | Section 5, Eq. (14) | clarify before publication | plausible | Not forced by any supplied canon theorem; presented as a geometric choice but requires explicit hypothesis status. | |
| C5 | Refinement corrections involving alpha^2 and alpha^3 improve the electron mass without introducing new continuous parameters. | Section 6, Eq. (18) | clarify before publication | conditional | Alpha is imported as external; canon derives it from phi, creating a minor external input that must be addressed. | |
| C6 | After fixing tau_0 from the electron mass, the muon and tau masses are forward predictions independent of the SI anchor. | Section 7, Eq. (27) | clarify before publication | plausible | Numerical agreement is strong; ratios cancel tau_0 correctly, but full Lean certification of the final digits is incomplete. | |
| C7 | The predictions achieve relative errors of approximately 10^{-6} for the muon and 7 x 10^{-5} for the tau versus PDG values. | Section 8, Table 3 | clarify before publication | plausible | Interval bounds are Lean-certified; quoted point values require explicit separation from floating-point evaluation. | |
| C1 | The Recognition Composition Law plus normalization, curvature normalization, and continuity forces J(x) = 1/2(x + x^{-1}) - 1. | Tr1, Section 3 | no action needed | verified | washburn_uniqueness_aczel | Exactly matches Cost.FunctionalEquation.washburn_uniqueness_aczel under the stated hypotheses. |
| C2 | Self-similarity on the discrete ledger forces the golden ratio phi as the unique positive solution to r^2 = r + 1. | Tr2, Section 4 | no action needed | verified | phi_unique_self_similar | Matches Foundation.PhiForcing.phi_unique_self_similar. |
| C3 | The condition W_endo(D) = 17 selects D = 3 and no higher dimension satisfies the three independent forcings simultaneously. | Tr7, Section 4 | no action needed | verified | no_higher_dimensional_alternative | Matches Foundation.DimensionForcing.no_higher_dimensional_alternative. |
V2 Lean files supplied; build not reproduced.
The paper derives the charged-lepton masses from the Recognition Composition Law together with normalization, curvature calibration, and continuity. It forces J(x) = 1/2(x + x^{-1}) - 1, the golden ratio phi, D = 3 via cube combinatorics, a lepton scale A_l = 2^{-22} E_coh phi^{62}, charge index Z_l = 1332, and a rung correction R(Z). After fixing the single SI anchor tau_0 from the electron, it predicts the muon and tau masses to sub-permille relative error versus PDG values while claiming zero continuously adjustable parameters.
The work supplies a structural, largely parameter-free account of the lepton mass hierarchy inside the formal canon. If the modeling choices are accepted, it replaces three independent Yukawa couplings with discrete geometric inputs and offers testable mass ratios independent of the SI anchor. The numerical agreement is striking and the explicit audit improves traceability.
The even-polynomial ansatz Z(Q) = Q^2 + Q^4 with coefficients (1,1) yields the lepton charge index Z_l = 1332.
Not forced by any supplied canon theorem; presented as a geometric choice but requires explicit hypothesis status.
Refinement corrections involving alpha^2 and alpha^3 improve the electron mass without introducing new continuous parameters.
Alpha is imported as external; canon derives it from phi, creating a minor external input that must be addressed.
After fixing tau_0 from the electron mass, the muon and tau masses are forward predictions independent of the SI anchor.
Numerical agreement is strong; ratios cancel tau_0 correctly, but full Lean certification of the final digits is incomplete.
The predictions achieve relative errors of approximately 10^{-6} for the muon and 7 x 10^{-5} for the tau versus PDG values.
Interval bounds are Lean-certified; quoted point values require explicit separation from floating-point evaluation.
The Recognition Composition Law plus normalization, curvature normalization, and continuity forces J(x) = 1/2(x + x^{-1}) - 1.
Exactly matches Cost.FunctionalEquation.washburn_uniqueness_aczel under the stated hypotheses.
Self-similarity on the discrete ledger forces the golden ratio phi as the unique positive solution to r^2 = r + 1.
Matches Foundation.PhiForcing.phi_unique_self_similar.
The condition W_endo(D) = 17 selects D = 3 and no higher dimension satisfies the three independent forcings simultaneously.
Matches Foundation.DimensionForcing.no_higher_dimensional_alternative.
Publication readiness is governed by the referee recommendation, required revisions, and the blockers summarized above.
Canon match strength
strong
partial
partial. The paper correctly invokes core theorems but introduces new ansatze for the charge index and refinement layer that are not present in the supplied canon modules, making it an extension rather than a direct match.
Severity of revisions needed for the charge ansatz and alpha treatment
minor_revision suffices with clarifications
major_revision because these are modeling assumptions not forced by Tr0-Tr8
minor_revision. The issues are explicit tagging of hypotheses and alignment of alpha rather than requiring new proofs or data; the core numerical predictions remain testable.
Whether the zero-parameter claim is overclaimed
tension exists but resolvable by qualification
overclaimed until alpha is internalized or excluded
overclaimed in the current draft; the required revision to qualify or internalize alpha resolves the point without changing the recommendation.
Referee A: minor_revision / moderate. Referee B: major_revision / moderate. Synthesizer: minor_revision / moderate. The core derivations align with canon theorems; the disagreements concern the severity of tagging the charge ansatz and alpha treatment as modeling choices rather than requiring new formalization.
IndisputableMonolith.Foundation.PhiForcingIndisputableMonolith.Foundation.PhiForcingDerivedIndisputableMonolith.Cost.FunctionalEquationIndisputableMonolith.Foundation.ConstantDerivationsIndisputableMonolith.Cost.AczelProofIndisputableMonolith.Physics.RecognitionCompositionLawCertIndisputableMonolith.Mathematics.LanglandsFromRecognitionCostIndisputableMonolith.Physics.LorentzSymmetryFromRecognitionIndisputableMonolith.Foundation.RecognitionForcingIndisputableMonolith.Gravity.CausalKernelChainIndisputableMonolith.Foundation.CoupledRecognitionCoresIndisputableMonolith.Foundation.LogicAsFunctionalEquation{
"canon_match_strength": "strong",
"cited_canon_theorems": [
{
"decl": "washburn_uniqueness_aczel",
"module": "IndisputableMonolith.Cost.FunctionalEquation",
"note": "Paper\u0027s Tr1 (unique J from RCL + normalization + curvature) is exactly this theorem; the manuscript correctly invokes the d\u0027Alembert classification and calibration.",
"relation": "supports"
},
{
"decl": "phi_unique_self_similar",
"module": "IndisputableMonolith.Foundation.PhiForcing",
"note": "Tr2 (\u03c6 forced by self-similar discrete ledger) matches the paper\u0027s use of \u03c6 as the unique positive solution to r\u00b2 = r + 1 for the mass ladder.",
"relation": "supports"
},
{
"decl": "all_constants_from_phi",
"module": "IndisputableMonolith.Foundation.ConstantDerivations",
"note": "Paper re-uses the \u03c6-derived constants (E_coh = \u03c6^{-5}, G = \u03c6^5, etc.) but extends them to a lepton mass law not present in the canon slice.",
"relation": "tangential"
},
{
"decl": "no_higher_dimensional_alternative",
"module": "IndisputableMonolith.Foundation.DimensionForcing",
"note": "Tr7 (D=3 selected by W_endo(D)=17) aligns with the paper\u0027s cube counting and the claim that only D=3 yields the observed integers.",
"relation": "supports"
}
],
"confidence": "moderate",
"issue_inventory": [],
"load_bearing_issues": [],
"major_comments": [
{
"canon_evidence": [],
"comment": "The even-polynomial ansatz Z(Q\u0303) = a Q\u0303\u00b2 + b Q\u0303\u2074 with (a,b)=(1,1) is selected by minimality, but the manuscript must prove that no other integer pair with a+b \u2264 2 satisfies the three structural requirements (charge-conjugation invariance, non-negativity, neutral vanishing) or explicitly rule out higher even powers on cost grounds. Without this, Z_\u2113=1332 is an additional discrete choice rather than a forced output.",
"section": "Section 5 (Charge Subsystem) and Eq. (14)"
},
{
"canon_evidence": [
{
"decl": "\u03b1_derivation_claim",
"module": "IndisputableMonolith.Foundation.ConstantDerivations",
"note": "Canon already derives \u03b1^{-1} \u2248 137.036 from geometry + gap-45; the paper should cite this rather than import \u03b1 as external.",
"relation": "extends"
}
],
"comment": "The refinement layer inserts \u03b1\u00b2 and E_tot \u03b1\u00b3 as \u0027structural \u03b1-corrections\u0027. The paper treats \u03b1 as a fixed external constant, yet the abstract and conclusion claim \u0027zero continuously adjustable parameters\u0027. This tension must be resolved: either derive \u03b1 within the framework (as in ConstantDerivations) or rephrase the claim to \u0027zero free parameters in the discrete backbone, one fixed external constant in the refinement layer\u0027.",
"section": "Section 6.2 (electron break \u03b4_e) and Eq. (18)"
},
{
"canon_evidence": [],
"comment": "The Lean certificates supply interval bounds (105.5 \u003c m_\u03bc \u003c 105.9 MeV) but the quoted floating-point values (105.658 MeV, 7\u00d710^{-5} error) are not certified. The manuscript must state explicitly which digits are machine-verified and which rest on numerical evaluation, to avoid overstating the formal status.",
"section": "Section 8 (Machine Verification) and Table 3"
},
{
"canon_evidence": [
{
"decl": "Verification.SingleAnchor.externalCalibration_of_tau0_seconds",
"module": "IndisputableMonolith.Foundation.ConstantDerivations",
"note": "Canon treats \u03c4\u2080 as a reporting convention, not a physics parameter; the paper\u0027s use matches this.",
"relation": "supports"
}
],
"comment": "The single-anchor protocol (\u03c4\u2080 fixed by the electron) is consistent with the canon, but the paper must confirm that all mass ratios remain independent of \u03c4\u2080 and that no second empirical scale enters the refinement layer. Otherwise the \u0027zero continuously adjustable parameters\u0027 claim is weakened.",
"section": "Section 7 (SI bridge) and Eq. (27)"
}
],
"minor_comments": [
{
"comment": "Tr0 is listed as \u0027Classical logic\u0027 but is never used explicitly; either remove the row or clarify its role in the dependency graph.",
"section": "Table 1 (forcing chain)"
},
{
"comment": "The statement \u0027W = 17 arises intrinsically as E_pass + F\u0027 is correct but should cite the Lean theorem that proves W_endo(D) = 17 \u21d4 D = 3 for all D \u2265 1.",
"section": "Eq. (9) and surrounding text"
},
{
"comment": "The tally \u00273 FORCED + 8 DERIVED + 1 calibration + 1 convention = 13\u0027 is useful; add a column indicating which items are Lean-certified versus human-derived.",
"section": "Appendix B (audit)"
}
],
"optional_revisions": [],
"paper_summary": "The paper derives the charged lepton masses (electron, muon, tau) within the formal canon starting from the Recognition Composition Law (RCL) plus normalization, curvature normalization, and continuity. It forces the cost functional J(x) = \u00bd(x + x\u207b\u00b9) - 1, the golden ratio \u03c6 as hierarchy base, D = 3 via cube geometry, discrete integers (V=8, E=12, F=6, E_pass=11, W=17, T_min=8), a lepton-sector scale A_\u2113 = 2^{-22} E_coh \u03c6^{62}, a charge index Z_\u2113 = 1332 from an even polynomial ansatz, and a rung correction R(Z) = log_\u03c6(1 + Z/\u03c6). With the electron fixing the single SI anchor \u03c4\u2080, the muon and tau become forward predictions matching PDG values to ~10^{-6} and ~7\u00d710^{-5} relative error. The manuscript includes a component-by-component derivation audit claiming zero continuously adjustable parameters.",
"recommendation": "minor_revision",
"required_revisions": [],
"significance": "If the derivation holds, it supplies a parameter-free structural account of the lepton mass hierarchy grounded in a single functional equation and discrete cube combinatorics. This would constrain flavor model-building and offer testable ratios independent of the SI anchor. The work sits at the intersection of functional equations, discrete geometry, and precision phenomenology.",
"strengths": [
"Explicit component-by-component derivation audit with status tags (FORCED/DERIVED/calibration/convention) that makes the parameter count transparent.",
"Machine-verified algebraic structure for the electron seed 2^{-22} \u03c6^{51} and the dimension-forcing identity W=17.",
"Clean separation of the discrete cube backbone from the refinement layer, allowing the mass ratios to be tested independently of the SI anchor.",
"Numerical predictions achieve sub-permille agreement with PDG while keeping all discrete inputs traceable to Q_3 geometry."
]
}
{
"canon_match_strength": "partial",
"cited_canon_theorems": [
{
"decl": "washburn_uniqueness_aczel",
"module": "IndisputableMonolith.Cost.FunctionalEquation",
"note": "Paper\u0027s Tr1 (unique J(x) = \u00bd(x + x\u207b\u00b9) \u2212 1) is exactly this theorem under the stated RCL + normalization + continuity hypotheses.",
"relation": "supports"
},
{
"decl": "phi_unique_self_similar",
"module": "IndisputableMonolith.Foundation.PhiForcing",
"note": "Paper\u0027s Tr2 (\u03c6 forced by self-similar discrete ledger) matches this result.",
"relation": "supports"
},
{
"decl": "no_higher_dimensional_alternative",
"module": "IndisputableMonolith.Foundation.DimensionForcing",
"note": "Paper\u0027s Tr7 (W=17 selects D=3) is the same biconditional proved in the canon.",
"relation": "supports"
},
{
"decl": "all_constants_from_phi",
"module": "IndisputableMonolith.Foundation.ConstantDerivations",
"note": "Paper uses \u03b1 as a fixed external constant in the refinement layer; canon derives \u03b1 from \u03c6 with zero fitted parameters.",
"relation": "tangential"
},
{
"decl": "predict_mass_pos",
"module": "IndisputableMonolith.Masses.MassLaw",
"note": "Paper\u0027s master mass law is a direct specialization of the canon mass law with explicit lepton-sector choices for A_s, r_i and R(Z).",
"relation": "extends"
}
],
"confidence": "moderate",
"issue_inventory": [],
"load_bearing_issues": [],
"major_comments": [
{
"canon_evidence": [
{
"decl": "no_higher_dimensional_alternative",
"module": "IndisputableMonolith.Foundation.DimensionForcing",
"note": "Canon fixes D=3 and the cube counts but does not assign charge indices.",
"relation": "tangential"
}
],
"comment": "The integerization k = F(3) = 6 and the even-polynomial ansatz Z(Q\u0303) = Q\u0303\u00b2 + Q\u0303\u2074 are presented as geometric choices that fix Z_\u2113 = 1332. The canon contains no theorem forcing this specific charge map or the minimality criterion (a,b)=(1,1). This step is therefore an additional modeling assumption rather than a forced consequence of Tr0\u2013Tr8. If the choice is revised, every charged-lepton mass shifts.",
"section": "The Charge Subsystem (Section 5) and Appendix C"
},
{
"canon_evidence": [
{
"decl": "predict_mass_pos",
"module": "IndisputableMonolith.Masses.MassLaw",
"note": "Canon mass law contains gap(Z) but leaves its explicit realization open.",
"relation": "extends"
}
],
"comment": "The rung correction R(Z) is derived inside the affine-log family R(x) = a ln(1 + x/b) + c with three normalization conditions. The canon mass law uses a gap(Z) term but does not specify this functional form or prove that the affine-log family is the unique bridge from J-cost to \u03c6-ladder shifts. The refinement terms (\u03b4_e, S_{e\u2192\u03bc}, S_{\u03bc\u2192\u03c4}) that involve \u03b1 are likewise not present in the supplied canon modules; they appear to be new structural ans\u00e4tze. These must be elevated to theorem or hypothesis status with named falsifiers before the zero-parameter claim can be accepted at full strength.",
"section": "The Charged Lepton Mass Chain (Section 6) and Appendix D"
},
{
"canon_evidence": [
{
"decl": "all_constants_from_phi",
"module": "IndisputableMonolith.Foundation.ConstantDerivations",
"note": "Canon derives \u03b1 from \u03c6 with zero external inputs; paper imports it as fixed external.",
"relation": "contradicts"
}
],
"comment": "The single-anchor protocol (\u03c4_0 fixed by m_e) is correctly implemented and \u03c4_0 cancels in ratios. However, the paper treats \u03b1 as an external fixed constant in the refinement layer while the canon derives \u03b1^{-1} \u2248 137.036 from \u03c6 alone (ConstantDerivations.all_constants_from_phi). Using the derived \u03b1 instead of the CODATA value would make the refinement layer fully internal; the current treatment introduces a minor external input that should be removed or justified.",
"section": "SI unit-conversion step (Section 8)"
}
],
"minor_comments": [
{
"comment": "The leading-order integers (\u03c6^11, \u03c6^6) are correctly separated from the refined steps, but the table caption should explicitly state that the refined columns still contain no lepton-mass input other than the electron calibration.",
"section": "Table 2 and numerical recipe (Appendix A)"
},
{
"comment": "The phrase \u0027zero continuously adjustable parameters\u0027 is accurate only after the modeling choices in Sections 5\u20136 are accepted. A parenthetical qualifier (\u0027within the stated geometric ans\u00e4tze\u0027) would prevent misreading.",
"section": "Abstract and Section 1"
}
],
"optional_revisions": [],
"paper_summary": "The paper derives the charged-lepton masses (e, \u03bc, \u03c4) from the Recognition Composition Law (RCL) plus normalization, curvature normalization, and regularity. It introduces a theorem chain Tr0\u2013Tr8 that forces the golden ratio \u03c6, D=3, the 3-cube integers (V=8, E=12, F=6, E_pass=11, W=17), a master mass law m = A_s \u00b7 \u03c6^(r\u22128+R(Z)), and a charge index Z_\u2113=1332. After fixing the single SI anchor \u03c4_0 via the electron, it predicts m_\u03bc \u2248 105.658 MeV and m_\u03c4 \u2248 1776.74 MeV, with relative errors \u003c0.3% and \u003c0.2% versus PDG values, claiming zero continuously adjustable parameters.",
"recommendation": "major_revision",
"required_revisions": [],
"significance": "If the derivation holds, it supplies a structural, parameter-free account of the lepton hierarchy inside the formal canon, replacing three independent Yukawa couplings with discrete geometric inputs plus one calibration anchor. The numerical agreement is striking and the predictions are directly testable via mass ratios (\u03c4_0 cancels).",
"strengths": [
"Excellent numerical agreement with PDG after single-anchor calibration; mass ratios are pure predictions.",
"Clear separation of integer backbone (cube combinatorics) from refinement layer.",
"Explicit Lean-certified interval bounds supplied for the muon and tau predictions.",
"Honest bookkeeping appendix that tags every ingredient as FORCED, DERIVED, calibration, or convention."
]
}