Result
Only the maintained complete assignment matches or improves every tested particle's present mass accuracy under the stated prescription. The comparison lets entire particle blocks change depths, requires distinct occupied depths, retains the original sector scales and measured electron reference, and covers every positive integer mode index. It examines all 120 permutations before applying the reference and scale equations.
The surviving assignment is
The closest admissible different assignment has approximately 8.88588 times the RMS logarithmic mass error. The result gives the rigidity argument in the sector-support paper a complete-assignment test: improving an isolated family match is insufficient if the other families can no longer occupy distinct sectors under the same equations.
Two explicit uniqueness theorems below give a direct elimination proof for the depths and an exact proof for all twelve integer indices. The uniqueness is conditional on this numerical prescription and benchmark. The calculation leaves the origin of the scale coefficients, physical mode selection and bottom's mass unresolved. It does not assign zero probability to coincidence. The exact proof and the separate finite statistical controls are given below, with complete executable results.
1. The Mass Law and Fixed Inputs
The positive-index law is
Here is a predicted mass and is a dimensionless sector factor. The unchanged factors are
These follow from the proposed coefficient and reference-count prescription displayed in the support paper's scale appendix. They are held fixed throughout the primary comparison. Their physical derivation remains open; they were developed in work seeking to explain previously fitted scales. Evaluating this recipe with one measured mass does not establish that its construction was independent of the other target masses.
The dated benchmark is retained unchanged. All masses in this article are in MeV/.
| Block | Fixed observed masses | Maintained depth |
|---|---|---|
| W, Z, Higgs | 80369.2; 91188.0; 125200.0 | 2 |
| Down, strange, bottom | 4.70; 93.5; 4183.0 | 3 |
| Up, charm, top | 2.16; 1273.0; 172570.0 | 4 |
| Electron, muon | 0.51099895000; 105.6583755 | 6 |
| Tau | 1776.93 | 10 |
The electron mass is the same measured input in every trial. It supplies the common dimensional reference and is excluded from the eleven-mass aggregate error. The other masses are comparison targets, not separately adjustable normalization inputs. The calculation treats their recorded decimals exactly for arithmetic purposes; this does not remove measurement uncertainty or quark mass-scheme dependence. It is not an uncertainty-weighted phenomenological fit or a new set of world averages.
Tau occupies a separate block because the maintained sector assignment places it at a different depth. This bookkeeping does not make it a different empirical charged-lepton family.
2. What a Competing Assignment Must Preserve
The primary comparison imposes the following simultaneous requirements:
- Each listed block moves intact to one of depths .
- Different blocks occupy different depths.
- All sector factors above and all observed benchmark masses remain fixed.
- The electron must satisfy its reference equation .
- Tau and the electron–muon block retain their common sector mass unit, .
- Every particle may select any positive integer mode index.
There are depth permutations. The lepton placements are included in this enumeration before equations 4 and 5 are checked. Different particles' nearest indices are chosen independently; allowing repeated indices broadens the alternative class, so it cannot produce a false exclusion of a class with distinct indices required. The maintained assignment and the closest admissible alternative use distinct indices within their blocks.
Depth five has no independently specified absolute scale in this prescription. Its scale-free neutrino splitting comparison remains in the support paper; this test invents neither an absolute neutrino mass nor a depth-five scale. The massless photon is outside the positive-mass logarithmic comparison. Other depths and changed coefficient laws define different problems.
Exact Uniqueness Theorems
The complete assignment result can be stated as two theorems. The first establishes uniqueness of the depths under considerably wider tolerances than the maintained fit. The second establishes uniqueness of both depths and indices under the original individual accuracy requirement.
Let
An admissible placement consists of a bijection and a positive integer for each of the twelve particles. With its block, set
The and all benchmark masses are exactly those in section 1. In addition to the bijection, impose the two retained reference equations
These are hypotheses of the theorems. There is no upper limit on any and no independently readjusted sector scale.
Theorem 1 — Sector Uniqueness Under Wider Tolerances
For every admissible placement, if
then necessarily
At least one admissible placement satisfies these inequalities. This theorem fixes the block depths; by itself it does not fix every particle's index.
Proof. The electron equation is . At depths two and three, , so even the first rung is too large. At depth four,
and the first two counts are one and five. At depth ten,
Strict monotonicity of excludes every other index at those depths. At depth six, supplies the unique exact electron solution. Thus and . Only depth ten among the other four depths has ; shared scale and distinct occupancy therefore force .
The remaining blocks must occupy depths two, three and four. To locate the W mass relative to their rungs, write the exact rational number
For depth and index , its fourth-power W ratio is . Direct integer multiplication gives the following rational certificates:
| Trial depth | Adjacent indices | Counts | Lower ratio to the fourth power | Upper ratio to the fourth power |
|---|---|---|---|---|
| 3 | 45, 46 | 16215, 17296 | ||
| 4 | 58, 59 | 521855, 557845 |
The simple rational bounds satisfy
Consequently, at both depths three and four, one adjacent W prediction is below and the next is above . Strict monotonicity excludes the entire positive integer ladder from the allowed W interval. Hence .
The up-type block must now occupy depth three or four. At depth three, its first-rung prediction already exceeds twice its target, because
Every higher rung is larger. Thus depth three violates even the stated 100% relative-error allowance, forcing and, by exclusivity, . The maintained electron, W and up indices satisfy the reference and widened inequalities, while the remaining positive indices can take their maintained values. Existence follows. This proves the theorem.
Theorem 2 — Uniqueness of the Complete Assignment and Indices
Let be the arrangement in Theorem 1 and let be the indices in the table below. Define
Then an admissible placement satisfies
if and only if and for every .
Bottom's defines its ordinary-rung comparison tolerance here, approximately +8.9194%. It is not asserted to be a physically explained bottom assignment.
Proof. The maintained W distortion obeys
These are rational inequalities using . The W log-error bound puts its ratio strictly between and , hence inside the wider relative interval in Theorem 1. The up bound puts its ratio strictly between and two. Theorem 1 therefore forces .
It remains to prove uniqueness of each index. For any strictly increasing positive ladder , logarithmic distance to is minimized uniquely at if
For only the upper inequality is required. These inequalities place strictly between the adjacent midpoints in the increasing sequence . Every other index is farther away, including indices outside the adjacent pair.
For the present law, put and . The midpoint inequalities are exactly the rational comparisons
The lower comparison is omitted at . Substitution of the fixed benchmark rationals and the following integer counts verifies both strict inequalities for every applicable row:
| Particle | Depth | Index | |||
|---|---|---|---|---|---|
| W | 2 | 76 | 2850 | 2926 | 3003 |
| Z | 2 | 81 | 3240 | 3321 | 3403 |
| H | 2 | 95 | 4465 | 4560 | 4656 |
| down | 3 | 1 | — | 1 | 4 |
| strange | 3 | 4 | 10 | 20 | 35 |
| bottom | 3 | 17 | 816 | 969 | 1140 |
| up | 4 | 3 | 5 | 15 | 35 |
| charm | 4 | 20 | 7315 | 8855 | 10626 |
| top | 4 | 72 | 1150626 | 1215450 | 1282975 |
| electron | 6 | 13 | 12376 | 18564 | 27132 |
| muon | 6 | 35 | 3262623 | 3838380 | 4496388 |
| tau | 10 | 23 | 44352165 | 64512240 | 92561040 |
Thus is the unique global minimizer of that particle's absolute log error at its now-fixed depth. No other index can be within a tolerance equal to that minimum. This proves necessity of every . The maintained assignment itself attains every threshold, proving sufficiency.
What Has Been Proved
Theorem 1 establishes a unique depth arrangement without imposing tight accuracy on the other nine non-reference masses. Theorem 2 establishes the exact complete-assignment statement at the original individual accuracies, with unrestricted positive indices. Neither result requires a probability interpretation, a numerical upper cutoff or assuming that a finite search happened to find every alternative.
The hypotheses include the five scale-defined depths, block grouping, distinct occupancy, numerical sector factors and shared lepton unit. The electron factor already contains its reference count. These theorems prove uniqueness within those hypotheses; deriving the hypotheses physically, resolving bottom and selecting particle states dynamically remain separate problems. The aggregate RMS comparison later in this article is an additional reported calculation, not a consequence of componentwise uniqueness alone.
All finite arithmetic in the proofs is independently reproducible with the theorem certificate checker and exact rational certificates, using the same public sector-inputs.json. Each strict comparison records its exact positive rational difference; no rounded displayed percentage is used to decide the theorem.
3. Exact Coverage of Every Positive Integer Index
For fixed positive ,
Consequently, for a target , either the first predicted rung already exceeds , or two adjacent rungs bracket it. Every index below the bracket predicts an even smaller mass; every index above it predicts an even larger one. Only the two bracket endpoints can minimize .
Doubling an upper trial index until its mass exceeds the target, then using integer binary search, finds this bracket in finite time. There is no chosen maximum index. This matters in practice: the closest top-quark trial at depth two is , which a search ending at 100 would miss.
Rational Comparisons Eliminate Rounding Decisions
Although some factors contain radicals, all their fourth powers are rational:
The benchmark decimals are finite rational numbers as well. Comparing
with therefore determines the bracket exactly. For adjacent predictions , the lower is at least as close in logarithmic error precisely when
The last comparison uses rational numbers only. An equality would be a two-rung tie; none occurs among the 60 particle/depth comparisons here.
For a selected prediction define
Since the logarithm is increasing, comparing two errors is exactly equivalent to comparing their rational values. No numerical tolerance enters the accept/reject decision. Decimal roots and logarithms are used to display predicted masses and aggregate scores.
4. The Reference and Shared Scale Restrict the Lepton Placements
The electron equation requires .
| Trial depth | Exact reason for acceptance or exclusion |
|---|---|
| 2 | ; even the first positive rung exceeds the reference. |
| 3 | ; even the first positive rung exceeds the reference. |
| 4 | , with counts and . |
| 6 | gives the unique exact solution. |
| 10 | , with no intervening integer rung. |
Thus 24 permutations satisfy the electron equation. Among the remaining distinct depths, only ten shares the depth-six mass unit. Six permutations satisfy both equations: the three remaining blocks exchange depths two, three and four.
The factor already contains the electron reference count. Recovering here is consistency with that prescribed input, not an independent prediction of the electron's depth or mass. The substantive comparison is whether the remaining masses can match simultaneously under the complete retained prescription.
5. The Simultaneous Accuracy Test
For each non-anchor particle, the threshold is its absolute logarithmic error in the maintained assignment. A competitor must match or improve every threshold:
These are the existing individual accuracies, not an assertion that all current predictions are exact. In particular, bottom's nearest ordinary rung is , predicting approximately against , a error. The test grants alternatives this same bottom tolerance. It does not introduce the historical geometric-mean prescription or claim a solution for bottom.
The aggregate score, reported alongside the exact individual comparison, is
This dimensionless RMS log error includes bottom. It is not a significance measured in experimental standard deviations.
Every Admissible Complete Assignment
The electron–muon and tau depths in this table are six and ten after the reference equations above have been applied.
| W/Z/H depth | Down-type depth | Up-type depth | RMS log error | Particles less accurate than maintained |
|---|---|---|---|---|
| 2 | 3 | 4 | 0.0268856901 | None |
| 2 | 4 | 3 | 0.2389030419 | Down, strange, up, charm |
| 3 | 2 | 4 | 0.5337886465 | W, Z, Higgs, down, strange |
| 4 | 2 | 3 | 0.5832322570 | W, Z, Higgs, down, strange, up, charm |
| 4 | 3 | 2 | 0.7672455156 | W, Z, Higgs, up, charm |
| 3 | 4 | 2 | 0.7679765347 | W, Z, Higgs, down, strange, up, charm |
Every entry already gives each target its closest possible positive-integer rung at that depth. If any one target fails, changing its index cannot repair the complete assignment.
The closest different assignment exchanges the two quark sectors. Some individual predictions improve, but the following comparisons fail:
| Particle | Observed mass | Maintained prediction | Prediction after exchange | Exchanged residual |
|---|---|---|---|---|
| Up | 2.16 | 2.17653731 | 4.70185798 | +117.6786% |
| Down | 4.70 | 4.70185798 | 5.07858706 | +8.0550% |
| Strange | 93.5 | 94.03715956 | 103.74827850 | +10.9607% |
The RMS ratio is
The other alternatives already fail at W: its globally closest depth-three prediction has a error and its depth-four prediction a error, compared with at depth two. The complete output includes every mass, nearest index, rational distortion and excluded permutation.
This exhausts the stated comparison: one complete arrangement meets every existing accuracy, and the same arrangement uniquely minimizes the aggregate score. Moving a family into a depth already occupied by another family cannot evade the other family's displacement or the shared scale equations.
6. Broader Normalization Controls
A separate finite comparison retains the same mass targets and relative sector factors while allowing one common normalization to be determined afresh by the electron's trial depth and index. Write
The original prescription is recovered only when . Otherwise the absolute scale equation has changed, even though the measured electron mass has not. This control considers all 120 permutations and electron indices ; the other particle indices also range from 1 to 100.
The maintained assignment and electron index thirteen uniquely win both the raw RMS error and the calibrated score below in all four classified subsets. Broader freedom nevertheless produces closer competing fits than the unchanged prescription permits:
- With both original constraints relaxed, the closest different raw fit has block depths , electron index nine and normalization multiplier . Its RMS error is approximately 0.0308852, against 0.0268857 for the maintained arrangement. It loses both the original absolute normalization and the common charged-lepton unit.
- With the common lepton unit retained but absolute normalization relaxed, the best different arrangement puts electron/muon at ten and tau at six. Electron index eight gives ; the muon error is about and the aggregate error approximately 0.0686336.
These controls show exactly which constraints matter. Neither is a counterexample satisfying the original complete prescription. The finite cap also distinguishes them from the uncapped proof in sections 3–5.
7. A Separate Finite Reference Null
The uniqueness result requires no probability interpretation. For completeness, the finite calculation also evaluates a specified reference-null model. Condition on the same electron mass and draw the eleven labelled logarithmic mass ratios independently and uniformly from , with for the main comparison. The particle blocks, sector factors and candidate classes remain fixed.
For a fixed candidate , the possible logarithmic predictions for particle are
Define its distance and exact clipped interval-union cumulative distribution:
For continuous uniform , the distance has a continuous distribution. The probability integral transform gives uniformly distributed on . Independence of the eleven targets then gives
The nearest-index optimization is already included in ; it is not followed by another factor of . For a fixed class of candidates, the union bound gives
Different assignments need not be independent for this bound. At the common observed maximum , .
| Finite candidate class | Candidates | Conservative searched-tail upper bound |
|---|---|---|
| Original absolute units and shared lepton unit | 6 | |
| Original absolute units imposed | 24 | |
| Shared lepton unit imposed | 1200 | |
| All common normalizations | 12000 |
These classes are overlapping subsets: the first six candidates belong to every row, and the final row contains all candidates. The first upper bound is approximately one in 329 million under this finite reference null with the numerical recipe fixed. It is not the probability that the theory is correct or the probability of its historical discovery. Selection of the formula, coefficient values, grouping and reference-null window is not calibrated here. A seven-decade window is also recorded as a sensitivity check.
These bounds concern . Extending the available rungs changes the null coverage, so the finite bounds cannot be transferred to the uncapped uniqueness proof. Nor does finding only one arrangement mean a zero coincidence probability. The primary conclusion remains exact conditional uniqueness of the observed benchmark comparison.
8. Meaning for the Sector Proposal
The result adds a simultaneous restriction to the familiar adjacent-rung rigidity. The current arrangement preserves close matches across the defined blocks under one numerical scale chain. Every rearrangement either fails the reference and shared-scale equations or sacrifices at least one of those existing mass accuracies, even when arbitrarily large mode indices are permitted.
That is useful support for investigating this particular sector prescription. Its restrictive behavior survives a complete rearrangement test; it is more than a collection of isolated nearby integer values. It also makes the research target sharper: explain why one spatial law should produce these scales and occupied counts while retaining the observed common properties of the charged leptons.
The calculation does not derive the numerical coefficients, dynamically forbid the unoccupied rungs, remove the measured residuals, explain bottom or identify the physical mass and coupling operator. The additional spin, orbit, helicity and charge constructions in the support paper were not used as extra numerical scores here. Their shared geometric assumptions should be assessed together, without multiplying their consequences as independent probabilities.
9. Reproduction
The downloadable evidence contains the complete exact permutation classifications, all 60 particle/depth nearest-rung certificates and every surviving assignment's mass errors. The finite record retains both null windows and all candidate scores, including the broader normalization controls. The code uses Python's standard library and public input files only.
Download the six original reproduction files below and keep them in one directory. The theorem checker and its certificates are linked immediately afterward.
| File | Purpose |
|---|---|
| Readme | Complete execution and scope guide |
| Sector inputs | Fixed mass benchmarks, numerical coefficients and reference counts |
| Exact checker | Rational proof certificates without an upper index cutoff |
| Exact results | Every permutation, admissible assignment and nearest-rung certificate |
| Finite checker | Separate finite normalization and reference-null comparisons |
| Finite results | Both null windows, complete candidate scores and comparison records |
With Python 3.11 or later, run:
python3 exact-sector-check.py
python3 finite-sector-check.py
Each script reads the input beside it and replaces its corresponding result file. They run independently; the order above puts the primary exact result first. Leave assertions enabled. The outputs contain SHA-256 fingerprints of their public script and input file. Their scientific records reproduce the reviewed calculations; executable checks verify the stated arithmetic and enumeration, not the physical truth of the scale prescription.
For the formal theorems, also download the theorem checker beside sector-inputs.json and run python3 uniqueness-theorem-check.py. The certificate record contains all 40 strict rational comparisons, their positive differences and the twelve unique-nearest-index records.