K4 CellFrom four points to nature’s constants 中文

This full account uses public v2.0 and the status record of 2026-08-29. v3.0 is in progress. See current progress · Back to the short homepage

K4 Cell · under public review

A four-point object yields a 15-digit value for the muon-to-electron mass ratio.Experiment currently resolves 8 digits. All 8 agree.

The Standard Model takes these numbers as inputs. K4 aims to make them consequences of geometry.

mμ/me · computed against measured, digit by digit

computed206.768282688691
measured206.7682827±0.0000046

measurement stops resolving here · digit 8

Conditionalretrospective comparisonThe numbersPrediction Registry · 0 preregistered

If inverted neutrino mass ordering is established, the normal-ordering claim used here and the conclusions that depend on it must be revised.JUNO is running; Hyper-K targets 2028; DUNE targets 2029 for its first far detector and 2031 for beam.

Fig. 1Four points, six links, three colours. Every link wants its two ends to differ, and one pair always clashes.

10⁻³⁵ m · one cell

Nobody knows why the universe runs on the numbers it runs on.

There are about twenty of these numbers. They set the size of an atom and the rate the universe is flying apart. Physics measures each one — the electron’s mass, how strongly light grips charge, how much of the universe is dark matter — writes it into the equations by hand, and moves on.

  • mehow heavy the electron is
  • αhow strongly light grips charge
  • mμhow heavy the muon is
  • θChow far quarks stray between generations
  • sin²θWthe recipe mixing electromagnetism and the weak force
  • αshow strong the strong force is
  • θQCDwhether the strong force breaks CP
  • Λhow fast the universe flies apart

The Standard Model has about twenty dials, each turned into place by experiment. Here there are none.

About twenty: 19 in the minimal Standard Model; 26 to 28 once neutrino masses are included, depending on whether neutrinos are Dirac or Majorana. Cosmology adds a batch of its own.

A calculation with no dial to turn is wrong when it is wrong; there is no way back. “Dial” here means a continuous one. The freedom that remains is discrete — which branch, which way a computed number is fastened onto a measured quantity, which channel to read on. Each of them is stated in the open, and each carries an interface the author lists as open.

Four points, six links, three colours, one rule.

Every number below is read off this one object — alone, and glued to many copies of itself. Here it is, in three steps, ninety seconds.

1

The object itself

Closed

Four points, every pair joined: six links. Graph theory calls that the complete graph on four points, K₄. On each point sits a tiny quantum switch with three settings; call them three colours. Each link asks one thing: that its two ends differ. A link whose ends match is charged once. Now the key step: with only three colours, four points cannot all differ. Some pair always matches. And because every pair is joined, that matching pair has a link between them. So the rule can never be kept everywhere at once: however the four points are coloured, some link is charged. How that bill is finally settled comes in the third step. Two things to hold on to. First, the four points are not four places in space; space, in this theory, grows later. Second, the universe is not one tetrahedron but many of them glued together; how they glue is a step the author marks conditional.

2

Only the relations count

Closed

Think of four singers holding a chord. What you hear is in no single voice; a held note alone is not a chord. Transpose all four together and the chord does not change, because only the intervals are audible. Here it is the same, and it goes further: no point is really red. What carries meaning is the relation between two points — whether they match, and how the pair is combined. Swap every colour at once and the energy, the whole ladder of energy levels, and every number the theory reads from the object stay exactly as they were. And it is more than renaming: blend red and green in any proportion into two new colours, do it at all four points together, and still nothing changes. That continuous turning-together is the seed from which a gauge field grows further downstream, a gauge field being the kind of field that carries a force. That part comes later. Matching that field to the colour of the strong force is a step the author lists as open. Not one term of the rule names a single point: six terms, one per pair.

3

The ground state never settles

Closed

The classical world must choose: this link clashes, or that one. Some link has to lose, and even the best arrangement is charged +1. The quantum world can do one thing the classical world cannot: hold different pictures together with plus and minus signs. The rule scores a link by asking, in effect, “what happens if I swap your two ends?” In a classical picture a match scores +1 and a difference 0. A quantum state can hold the two ends in a combination that changes sign under the swap, and that relation scores below zero, one step beyond merely different. The lowest-energy state, the ground state, is built exactly so. It uses only the 36 pictures with a single clash, and the total is −2, three whole units below the best honest classical arrangement. This is not the loss spread thin; a spread-out mixture would still score +1. And there is not one such ground state but nine: 9 = 3 × 3, three colours times three independent ways of labelling the four points. Taken together, the nine treat the six links alike — each link carries −1/3; taken one at a time, no two links are alike. The clash is always there, and the ground level as a whole favours no link over another. That second three is where this framework’s three generations come from — the fact that the electron has two heavier copies, and each quark two more. Carrying that three onto spacetime is a step the author marks open. The object is then in none of the 81 pictures, and it never will pick one. It never settles, not because it is moving, but because it refuses to choose.

Closed

The shape of this object was not chosen. Four points, three colours, the complete graph, one coupling (one and the same strength on all six links), the antiferromagnetic sign (matching costs, differing is free) — within the class the framework states, each is a theorem forced by self-consistency. The one thing assumed is that a lattice of such cells exists: many of these four-point units glued together. Four points, because i — the number school defines by i² = −1 — is a quarter turn: turn twice and you are facing backwards, which is what multiplying by −1 does. With three points a step is a third of a turn, with five a fifth, and two steps of either never turn you around. Three colours, because on the author’s own criterion the number must be odd, at least three, and fewer than the points. How wide that stated class is, the author has put up for review himself. Closed; the core clauses are checked in Lean, a program that verifies a proof step by step. A step a proof leaves unproved has to be marked sorry; here there are none.

Count: four points, six links, three colours — you have just reproduced the graph-theory half of the theorem above.

All 81 pictures

There are only 81 — few enough to print every one. Below is every picture before the rule is applied, drawn as a tetrahedron with one colour per point. Thick lines join two points that share a colour.

Same-colour links per picture, averaged over all 81exactly 2= 6 links × 1/3

0/81 pictures

Zero out of 81. With four points and only three colours, two points must share a colour, and every pair is linked, so that link is there. Physicists have a name for a rule that cannot be kept everywhere at once: frustration. Here it is not an assumption. It is arithmetic.

Four points, six links, three colours per point: 3⁴ = 81 basic pictures before the rule is applied.

These 81 are the pictures before the rule is applied. The ground state is none of them: it is a superposition carrying plus and minus signs, and there are nine of those, as in the third step. No physics is derived here; these pictures only fix how many basic pictures the object has, and show that the frustration is structural.

9 ÷ 40

How far quarks stray between generations is what physics calls the Cabibbo parameter. In this framework it comes out not as a decimal but as an exact fraction: 9/40. Do the division. 9 ÷ 40 = 0.225, exactly; the division terminates, and past that point there are only zeros. The measured value is 0.22501 ± 0.00068. You have just checked one line of the table further down, by hand.

9/40 is an exact rational, not a decimal that was tuned. Fastening it to a measured quantity — saying “this is the Cabibbo parameter” — is the step the author lists as open.

Conditionalthe step onto a measured quantity, which the author lists as open

9 ÷ 40

  1. 0.2
  2. 0.22
  3. 0.225
  4. 0.2250
  5. 0.22500
  6. 0.225000…∞

measured, with its error bar0.22501 ± 0.00068

0.225 sits inside the bar

3/13

The recipe mixing electromagnetism and the weak force is what physics calls the weak mixing angle. Its value at the source — before any translation to laboratory conditions — is another fraction: 3/13. That 3/13 is not the number compared with experiment. What the lab reads is worked out from it by a fixed conversion rule, carried to the mass of the Z boson, and the two small terms in that rule are fixed by the theory as well. The result is 0.231219995; measured, 0.23122 ± 0.00006. Four digits match; the next five are written for the future. That the two ingredients in that recipe really are electromagnetism and the weak force rests on two interfaces the author lists as open.

One journey: from four points to the universe.

Eleven things that, inside this framework, could not have been otherwise. All of them are read off the same four-point object. They are ordered by how solid the evidence is, not by how surprising they are. Rows 01 and 04 are about the finite object alone; you can check them yourself without taking the framework on trust. In rows 02 and 03 the counting half is closed in the same way, but the half that lands on spacetime runs through interfaces the author lists as open.

Every claim carries one small tag, in three tiers

Closed
Proved as mathematics, but only inside the scope it draws for itself; whether experiment has confirmed it is a separate question.
Conditional
Derived, provided one named open interface — one unfinished step in the derivation — holds; it depends on no fitted parameter.
Bound · test
A one-sided limit, or a test the future will settle; sitting below every existing limit means untested, not confirmed.
10⁻³⁵ m · one cell10²⁶ m · the observable universe
  1. 0110⁻³⁵ m · the cell
  2. 0210⁻¹⁸ m · three generations
  3. 03every scale · spacetime
  4. 0410⁻³⁵ m · the cell
  5. 0510⁻³⁵ m · the cell’s loop
  6. 0610⁻¹⁸ m · seven fields per generation
  7. 0710⁻¹⁵ m · the neutron
  8. 08every scale · gravity and the gauge forces
  9. 09the early universe · the instant of inflation
  10. 10every scale · laboratory and cosmos
  11. 11every scale · the constants themselves

The strip marks where each answer lives in nature, not what the framework computes. The length at its left-hand end is the cell’s own unit of length: a scale that is set, not a result that is derived.

01

Why does the object have four corners?

Closed10⁻³⁵ m · the cell

The object has four corners because a quarter turn done twice is a U-turn — and turning around is exactly what multiplying by −1 does.

i has one non-negotiable property: it squares to −1, so doing it twice is a U-turn. This cell grows an i of its own: its clock is the loop through the four corners, and one step round that loop is taken to be the unit itself. With n corners a step turns through 360°/n, and two steps must make exactly a U-turn: 2 × 360°/n = 180°, whose only solution is n = 4. Three corners turn 240° in two steps, five turn 144°: no U-turn either way. The cell has four corners because i has order four — do it four times and you are back where you started. Not a slogan, a division. Other clauses of the same theorem fix the number of colours: it must be odd (an even number lets in an element that cannot tell left from right — the author’s own criterion), at least three, and fewer than the corners. Give it a fourth colour, one per corner, and the object has one lonely perfect answer with no generations in it. Odd, at least three, fewer than four: of every (colours, corners) pair, only (3, 4) survives.

rides onNothing open. It has a scope: the class of objects the author marks out himself — one three-setting elementary switch per point of a graph, pairwise interactions only — plus the framework’s single postulate, that such cells exist in lattices. How wide that class is, he lists as one of his own review targets.

Where to check

The cell-bootstrap theorem, clause (i), K4-cell chapter; review Target A. Machine side: the quarter-turn clock squares to −I and a three-fold clock provably cannot (CellBootstrapFixedPoint). A companion module excludes every n ≥ 5 by a different count: such clocks carry more than one complex pair (CellBootstrapClockUniqueness). Lean certifies those arithmetic clauses, zero sorry; that the clauses are physically necessary is the monograph’s argument, not the machine’s.

02

Why are there three generations of matter?

ClosedConditional10⁻¹⁸ m · three generations

The object’s lowest level is three columns wide. That three is counted, not put in; landing it on real particles is a further step.

The cell has 81 basic states: four corners, three colours at each, 3 × 3 × 3 × 3. Work out its energies — an 81-by-81 matrix, a second on a laptop — and they sort into four floors, 15, 45, 12, 9, with nothing left over. The ground floor holds 9, laid out as a 3 × 3 grid: the three rows are colour, and the three columns come from the corners being interchangeable, since swapping them freely leaves only three independent directions, four minus one. Those three columns are the three generations of matter. When the muon turned up, the physicist I. I. Rabi asked, “Who ordered that?” Nobody did: the ground floor was always three columns wide. The same arithmetic says one column stands alone and two come as a pair — one heavy generation and two light ones. It fixes the shape, not the masses. Counting to three is a theorem; carrying those three columns onto spacetime as three families of quarks and leptons is a set of named interfaces the author himself lists as open.

rides onThe count itself: nothing open. Turning that “three” into three generations of particles on spacetime, and matching the anonymous seven rows to the Standard Model’s seven kinds of particle, is a set of four named maps the author lists as open (E8).

Where to check

“Flavour generations from Schur–Weyl duality”, K4-cell chapter, with the remark “Colour vs flavour: no category confusion”; numerical certificate Experiment 071 (exact diagonalisation, degeneracies 9, 12, 45, 15 from the ground floor up). Strictly, the three columns live in the [2,1,1] Specht module of S₄: the standard module [3,1] with one sign twist attached, same dimension three. The one-heavy-two-light shape is the mass-protection lemma. The open side is the four named maps of erratum E8: global generation extension, full normal embedding, real physical-branch preservation, 48-row current-symbol surjectivity. Bounded also by E10; review Targets 8 and 10.

03

Why does spacetime have four dimensions?

ClosedConditionalevery scale · spacetime

Eight ways to turn the object; four leave its lowest state alone. Four directions are left, and the framework reads those as spacetime.

A smooth globe can be turned in three independent ways. Stick a pin in it: the turn about the pin’s axis leaves it where it is, the other two move it, and every place the pin can go makes up the surface, two-dimensional: 3 − 1 = 2. Now replace the globe with this cell. It too can be turned, in eight independent ways, and the ground state is the pin: exactly four of those turns leave it alone, four move it. Every place the ground state can go is an 8 − 4 = 4-dimensional space; stitch those local nudges together from place to place and that continuous space is spacetime. Time has not entered yet: the four directions look exactly alike. Then the ground state’s own clock (the jargon is modular flow) picks one of the four, wherever that clock runs, and flips the sign of its ruler. That one is time: 3 + 1, not 4 + 1. A second route props the answer up from below. The small asymmetry between matter and antimatter — CP violation in quark mixing — is, in the form this framework gives it, a four-direction quantity, and a universe with fewer dimensions has no room to hold it. The four corners and the four dimensions are two different fours: one whole-number arithmetic, the other a subtraction of continuous symmetries. Two birth certificates, then one axle — and that axle is the framework’s stated identification, not a coincidence.

rides onThe step that cuts the eight turns down to the four that leave the ground state alone — SU(3) broken down to U(2) — is internal, and closed. Until that clock supplies time, the four dimensions are Euclidean: all four alike, none of them yet time. The passage from there to a world that has a time direction (Euclidean to Lorentzian), and how gravity itself enters at the start, are interfaces the author lists as open (E7).

Where to check

“Four spacetime dimensions as topological necessity”, K4-cell chapter: the topological-necessity theorem (the 8 − 4 = 4 coset count) and the Berry-form CP obstruction theorem (a (2,2) form vanishes identically below four dimensions), both marked closed in the monograph; the “fourfold selection of D = 4” is a remark, not a theorem. The time step: the modular-flow Wick-rotation lemma and the “modular time is not a fifth dimension” remark, closed on the regular chart; the machine side only returns the supplied signature. Lean: the coset arithmetic has a proved core, the CP² geometry is not formalised, and on the CP obstruction the machine only takes in “Jarlskog ≠ 0 ⇒ at least four dimensions” as a premise and hands it back — not an independent check. Erratum E7; review Targets 2 and 3.

04

Why was nothing else about the object chosen either?

Closed10⁻³⁵ m · the cell

Four points, three colours, six links, the rule that says “differ”: not one of them was chosen.

It is not only the four. Within the class of objects the author marks out, every structural feature of the cell is forced by consistency: four corners, three colours, the complete graph, an interaction that simply swaps the two ends, one strength shared by every link, and the sign that says “differ”. No experimental number enters any clause. The sign you can test on paper. Reverse the rule to “agree”, so every link wants its two ends alike, and the problem vanishes: all four corners wear red, 3 of the 81 states break no link, and no quantum superposition is needed. The price arrives immediately. The bottom floor now has 15 states in a single column — swapping corners changes nothing, so there is no second column and no “generation” — and the clock that turned “rotate one step” into i now turns as if it had not turned at all. A universe that has stopped straining grows nothing. So “differ” is not the author’s taste: it is the one sign under which anything grows, and two independent calculations — one reading the clock, one reading whether three colours on a triangle can make a neutral — stop at the same answer. The framework assumes one sentence and no more: such cells exist, and in lattices. The rest of their structure is a theorem.

rides onNothing open. Same scope as row 01: the class the author marks out, plus the one postulate — that such cells exist in lattices.

Where to check

The cell-bootstrap theorem, all five clauses, and the remark that follows it, K4-cell chapter; review Target A. Machine side: five Lean modules, zero sorry, no axioms beyond the three standard logical axioms of the mathematics library; the graph clause exhaustively checked on all 64 labelled graphs; for the sign clause, what is certified is the energy-level inequalities along both routes (CellBootstrapSignNormalisation). Three honesty flags inside those modules (fixed-point formulation, arithmetic minimality, graph choice) are still marked open by the author. Erratum E10 narrows the “readout closes it” sentence that ends the theorem.

05

Where does the imaginary unit of quantum mechanics come from?

ClosedConditional10⁻³⁵ m · the cell’s loop

i was not written into the equations. Walk two steps round the object’s four corners and you land exactly on −1.

Down in the engine that runs the universe there is no i: written in the right basis, the table of numbers that runs one cell is real through and through. The i comes from geometry. The cell’s four corners close into a loop, and the loop has one natural move — shift everything one corner along. Four shifts bring you home, so on the part of the pattern this move actually rotates, one shift is a quarter turn. A quarter turn has a property you can check on a steering wheel: do it twice and you have turned around, which is multiplication by −1. Anything that squares to −1 is, by definition, i. It was never written into the equations; it appears once the loop is closed, each step multiplying by i and four steps bringing you back to the start. What is closed is the mathematics of that step. What the author leaves open is the last stretch: that this local quarter turn is the one i that drives the dynamics and is shared by the whole network.

rides onThe theorem’s own conditional half: that the local quarter turn is the one i that drives the dynamics and is shared by the whole network. The representation half — that the shift really does act as a quarter turn, one that squares to −1 — is closed and rides on no interface.

Where to check

“Emergence of i on K4 from three ingredients” and its Representation Lemma, real-vacuum chapter; the loop-closing passage; Experiment 074, the Z₄ location of the imaginary unit. The monograph states the theorem for a closed square of four cells; the numerical certificate and the bootstrap theorem use the four corners (sites) of one cell; the algebra is the same. Machine side: the scalar fourth-root core and the 2 × 2 block.

Fig. 2Where the imaginary unit comes from

AA real engine, a closed loop

Start from a real substrate and the real, symmetric table of numbers that runs it (a Hamiltonian) — no i anywhere.

1 i1 = i imaginary
2 i2 = −1 real · halfway round: exactly −1
3 i3 = −i imaginary
4 i4 = +1 real · fourth step, back to +1: the loop closes, and a full circuit carries no phase at all

Dashed: the cell’s other two links, which this loop does not use. Every step multiplies the accumulated phase — the angle it has turned through — by i once more; four steps bring it back to +1.

BThe cell’s clock: a rotation by 2π/n

The unit must be a genuine complex structure — it must really square to −1.

(2π/4)² = 180° = −1 A quarter turn: its square lands exactly on −1
(2π/3)² = 240° ≠ −1 A third of a turn: its square misses −1 by 60°

A quarter turn squares to −1; a third of a turn does not. So n = 4. Machine side: a companion module rules out every n ≥ 5 by a different count.

The engine is real: written in the right basis, the table of numbers that runs one cell has no i in it. The i is walked into existence — the cell’s four corners close into a loop, each step multiplies by i, and four steps bring you back to the start. In the author’s words: “complex quantum mechanics is the geometric price of closing a two-dimensional loop.” That unit is the cell’s clock, a rotation by 2π/n; a quarter turn squares to −1 and a third of a turn does not, so n = 4, which is also why the object has four corners.

Closed · the representation halfConditional · identification and gluing

rides onThe theorem’s own conditional half: that this local quarter turn is the one i that drives the dynamics and is shared by the whole network. The representation half — that the shift really does act as a quarter turn — is closed.

drawn fromThe loop is 4 of the cell’s own 6 links and the dashed ones are the other two; both clocks are squared at build time — over n = 2 to n = 12, only n = 4 lands on −1, and the build stops if that ever changes.

check it at“Emergence of i on K4 from three ingredients” and its Representation Lemma, real-vacuum chapter; the loop-closing passage; Experiment 074, the Z₄ location of the imaginary unit. The monograph states the theorem for a closed square of four cells; the numerical certificate and the bootstrap theorem use the four corners (sites) of one cell; the algebra is the same. Machine side: the scalar fourth-root core and the 2 × 2 block.

06

Why are the charges the odd fractions they are?

ClosedConditional10⁻¹⁸ m · seven fields per generation

Multiply the Standard Model’s seven odd charge fractions by six and every one is a whole number — and the geometry forces exactly that list.

Each generation of Standard-Model matter, together with the Higgs and a right-handed neutrino, has seven kinds of field. Each carries a number called hypercharge; combine it with weak isospin and out comes the electric charge: the electron’s −1, the up quark’s +2/3. The seven are an odd list of fractions: 1/6, 2/3, −1/3, −1/2, −1, 0, 1/2. Multiply them by 6 and they become (1, 4, −2, −3, −6, 0, 3), every one an integer. Glue tetrahedral cells into a closed ring and the ring’s geometry produces an integer ruler of its own with exactly seven marks, −2 to +4; within this mechanism, seven is provably the fewest. Five marks match five of those integers directly: −2, 0, +1, +3, +4. The other two, −1 and +2, are where the two charged leptons start; they sit on the seams where cells are glued, and the geometry says only one thing about them — both must shift, and by the same integer. By how much? The rules are the textbook ones. The anomaly must cancel (a quantum effect that has to cancel exactly across the seven rows, or the theory contradicts itself): that demands −5. The neutrino must be able to get a mass from the Higgs: that demands −5 as well. The electron’s mass term fixes no number, only that both leptons shift alike. So δ = −5: −1 becomes −6 and +2 becomes −3, the Standard Model’s two lepton values, both now outside the seven-mark ruler. No particle name enters anywhere; the names — quark doublet, up, down, lepton doublet, electron, right-handed neutrino, Higgs — are labels attached at the end. That these seven rows of numbers are the seven kinds of particle in spacetime is a step the author himself lists as open.

rides onMatching the seven anonymous rows — seven numbers with no particle names attached — to the Standard Model’s seven kinds of field (Higgs and right-handed neutrino included) is an interface the author himself lists as open (E8). The integers do not depend on it.

Where to check

“Anonymous carrier uniqueness for the typed SM product”, multi-cell chapter; the chiral-anomaly-dressing theorem that forces δ = −5, whose proof states that two conditions each fix −5 and the third fixes only uniformity; the minimal seven-value lattice theorem; the P2P/F2F species-classification lemma. Review Target 8.

Fig. 3Seven fractions, times six

Standard-Model hypercharge× 6Forced integerName (attached afterwards)anomaly cancellation · integer lift δ = −5each of two independent conditions fixes itattached afterwardsno equation in the derivation uses them01–07 are the ring’s seven anonymous rows, labelled only by where they sit and what they carry. 0116=1quark doublet0223=4up0313=2down0412=3lepton doublet051=6electron060=0right-handed neutrino0712=3Higgs Standard-Model hypercharge × 6Forced integeranomaly cancellation · integer lift δ = −5each of two independent conditions fixes it01–07 are the ring’s seven anonymous rows, labelledonly by where they sit and what they carry.The indented grey line under each row is the particlename — attached afterwards; no equation in thederivation uses them. 0116=1quark doublet0223=4up0313=2down0412=3lepton doublet051=6electron060=0right-handed neutrino0712=3Higgs

Multiply the Standard Model’s seven hypercharges by six and you get the list the ring’s seven anonymous rows are forced to, in order. The integers come from anomaly cancellation together with one integer lift, δ = −5; two independent conditions each fix that value, and a third requires only that both lepton rows shift alike. The names are set in grey and a break separates them from the arithmetic: they are attached afterwards, and no equation in the derivation uses them.

The seven rows are the seven kinds of field in one generation, Higgs and right-handed neutrino included. Five integers sit directly on the ring’s seven-mark ruler; the other two come from the two remaining marks (−1 and +2), shifted together by −5, a number fixed twice over by two independent conditions, with a third condition requiring only that both shift alike. The shifted −3 and −6 lie outside the seven marks.

Closed · the integersConditional · the names

the break: The integers are forced; the names are not — they are attached only through an interface the author lists as open (E8). The break drawn in the plate is that boundary.

07

Why does the strong force show no CP violation, and why is no axion needed?

ClosedBound · test10⁻¹⁵ m · the neutron

A tetrahedron in a mirror is still a tetrahedron, so the dial that could break CP can only sit at zero: no new particle needed.

The theory of the strong force comes with an angle, θ, that could in principle be anything from 0 to 360 degrees: a dial. θ governs CP symmetry — swap every particle for its antiparticle, look in a mirror, and ask whether the laws still read the same. If θ is not zero the neutron becomes a tiny battery, one end positive and one negative; experiment says the angle is under one ten-billionth of a full turn. The standard answer brings in another particle, the axion, a spring that pulls the dial back to zero; forty years of searching has not found it. Here no spring is needed. A tetrahedron in a mirror is still a tetrahedron with two corners swapped, and the corner labels were never physical, so swapping them changes no physics — yet it reverses the direction of every knot the vacuum can tie, turning θ into −θ. An angle equal to its own negative has two options, 0 or 180 degrees: the dial was a switch all along. The switch sits on “off” because the vacuum branch this framework selects is the real one: in the right basis its table of numbers carries no i at all. The symmetry is not added by hand; it is the tetrahedron’s own. The angle’s other half, hidden in the phase of the quark masses, is switched off by a separate argument. Two things to be clear about: the CP violation of the weak force — the kind seen in kaon and B-meson decays — is not erased along with it; and experiment so far gives only an upper limit, so this claim is “not yet refuted”, not “confirmed”. A detected axion of the kind the strong force would need (a QCD axion) would put the world outside this branch. BabyIAXO’s current plan puts magnet installation around 2029, followed by commissioning and axion runs from 2030 onward; the schedule may move.

rides onThe choice of the real-vacuum branch. The other half of the physical angle — the phase of the quark masses — and its stability under quantum corrections are closed by a separate argument of their own. On the comparison side this is a bound: below every current limit means untested, not confirmed.

Where to check

“Topological prohibition of θ_QCD”, K4-cell chapter, with the quantum-geometric-tensor Hermiticity strong-CP theorem; the real-vacuum chapter’s corollaries “real vacuum ⇒ θ = 0” and “no axion required”; branch-selection Test 1 in the predictions chapter (IAXO, ALPHA).

08

Why are gravity and the gauge forces one geometry read twice?

ClosedConditionalevery scale · gravity and the gauge forces

One geometry with two faces: gravity is read off one of them, the other forces off the other.

Imagine walking a closed loop on a sphere carrying two instruments. A pedometer records how far you walked. A Foucault pendulum that was swinging north when you set out is found, on your return, swinging in a different plane, though you never touched it. The pedometer reads distance; the pendulum reads “came back to the same place, yet turned”. When this object’s quantum ground state walks through its “settings space” (the values of its couplings), it carries both instruments too — not two things but two faces of one geometry, packed into a single complex number: real part the pedometer, imaginary part the pendulum. That number is the quantum geometric tensor (Provost and Vallée, 1980). What is new here is not the split but following both faces to the end on one finite object of 81 states. The real face measures how distinguishable two states are and reads as distance, a metric: gravity lives on this face. The imaginary face measures how far an internal arrow turns when carried round a loop and reads as curvature: the Yang–Mills-type fields that describe the strong, weak and electromagnetic forces live on this face. That both faces come off one tensor is a theorem. The bet this framework places is the next step: that their dynamics therefore arrive together, Einstein’s equations and the Yang–Mills equations from one source rather than glued side by side. That step is written as a conditional system with its conditions listed one by one; the paper drawn from it is titled “Conditional Einstein–Yang–Mills Field Equations”.

rides onThe step written as a conditional system rides on four things the author lists as open:

  • The step up to the weak and electromagnetic forces (E3).
  • The passage from a geometry with four alike directions to three of space and one of time, together with the most basic piece of gravity, which is classified rather than built (E7).
  • The massless spin-two excitation that gravitational waves are made of, not yet constructed (E11).
  • A tower of higher-order response terms: what is derived is the leading system only. This one carries no interface number of its own.

The step that both faces come off one tensor rides on no interface.

Where to check

The symmetric/antisymmetric split of the quantum geometric tensor (Provost and Vallée, 1980) and its antisymmetry lemma, Grassmannian chapter; the Einstein–Yang–Mills substrate equations, whose title qualifier in the monograph is narrowed by erratum E4; the paper drawn from it, CQG-116665, under review. Review Targets 1 and 2.

09

Does inflation need a field invented for it, and how does it stop on its own?

Conditionalthe early universe · the instant of inflation

In this framework inflation needs no invented field: the object has one positive-curvature step, and inflation ends when the curvature drops off it.

In its first instant the universe expanded exponentially. The usual move is to invent a field for the job and tune the shape and slope of its energy curve by hand. This framework has no such field. Solve exactly for the lowest-energy state of the lattice that the cells tile — a 4 × 4 grid that wraps round at its edges, 16 sites in all — and the curvature of its 496 bond-pair sections takes only six values, like six steps: five negative, one positive, the shortest-range one, between nearest neighbours. The state advances along its own built-in clock, and the book identifies cosmic time with that clock; while it stands on the positive step, space expands exponentially. That is inflation. It ends on its own: the moment the curvature turns from positive to negative (the internal parameter κ₄ crosses −1) and drops to the next step, inflation stops. The author calls it a geometric phase transition; no second field is needed to reheat the universe afterwards.

How fast it expands, the step does not say: the expansion rate (the Hubble scale) is taken to be the theory’s one energy scale, 3 × 10¹⁵ GeV, divided by √3 — about 1.7 × 10¹⁵ GeV. From that scale, assuming reheating is immediate, the standard horizon-crossing formula gives about 51 e-folds (space stretched by a factor of e⁵¹). A simple pole at the end of the epoch then gives the tilt of the primordial ripples, n_s = 1 − 2/N = 49/51 = 0.961 with N = 51 (the same form as the commonest plateau models), against the Planck satellite’s 0.9649 ± 0.0042, one standard deviation apart. The existence of the positive step is closed. Reading the crossing as inflation, and the number 51, hold only on the branch the author selects; the strength of primordial gravitational waves rests on a further choice again, a selected transfer normalisation, which the book itself types as a conditional branch-selection surface.

rides onThe selected branch on which the positive step — the book’s de Sitter island — is read as inflation, and the scale line that fixes 3 × 10¹⁵ GeV (the same line as question 11). The Hubble scale comes from identifying the island’s curvature radius with the inverse of that scale: a choice, not something the curvature step produces; the e-fold count of 51 assumes reheating is immediate. The positive step itself depends on none of this. The strength of primordial gravitational waves rides on a selected transfer normalisation, which the book types as a conditional branch-selection surface.

Where to check

Cosmology chapter and Appendix J (Read_cosmo): “K4 substrate contains a de Sitter UV island” (closed); “K4 dS-island traversal is the cosmological inflationary branch” (conditional); “e-folds from RG depth” (conditional, Δ_RH = 0); the six-orbit κ₄ table for the 4 × 4 torus ground state; the tensor passage of the same section, which types r ~ 3 × 10⁻⁷ as a conditional branch-selection surface. Review Target 6.

10

Why is there more matter than antimatter, and why does time run one way?

Conditionalevery scale · laboratory and cosmos

Which side is matter, the theory does not predict; what it predicts is that one selection leaves the same sign in four different places.

The law is perfectly symmetric between +i and −i, yet the universe can only live on one side — the way a magnet, cooling, spontaneously picks its north. Which side is matter, the theory does not predict. The author proves, layer by layer, that the seven kinds of structure he writes down cannot tell the two sides apart, and that no datum installed anywhere carries the orientation; which side the universe settled on is therefore history rather than theorem — the vacuum picked a side on its own, what the book calls spontaneously selected vacuum data. What the theory does predict is that the one selection echoes at four depths: the CP phase of neutrino oscillations in the laboratory (an angle that sets how differently neutrinos and antineutrinos oscillate; here it can only be +90° or −90°), the imbalance of leptons and antileptons in the early universe, matter winning over antimatter, and the direction of cosmic time that this marks (meaning only the time asymmetry that “more matter than antimatter” exhibits, not the arrow of rising entropy). The four echoes come from one selection, so the sign measured in the laboratory and the sign seen in the sky must match: sign(sin δ_CP) × sign(η_B) = −1, where δ_CP is that neutrino phase and η_B the leftover matter. This is a matter universe, so sin δ_CP must be negative: δ_CP = 270°, the −90° option written the way experiments quote it. Today’s best fit to all the world’s data is about 214°, on the negative side, about 1.6 σ from 270°, with +90° excluded by the same fit — leaning the right way, not decided. Hyper-K’s latest official target is to begin experimentation in 2028; DUNE targets its accelerator neutrino beam for 2031. A positive value from either breaks the chain of four echoes.

rides onEach link is conditional, and each sits at a different depth: the +i/−i distinction (the representation-theory half is closed), the ±90° phase (closed), the lepton imbalance (rides on the heavy-neutrino scale and a washout factor — how much of the imbalance survives), the sign lock (closed inside the range it is proved in, with the branch picked by the observed matter excess). The framework also gives the size of the excess, 8.7 × 10⁻¹¹ against the observed (8.7 ± 0.06) × 10⁻¹¹ — a claim one tier below the sign lock. Which way the phase points is the author’s own open review question (Target C).

Where to check

Real-vacuum chapter: the i-emergence theorem; the UV/IR δ_CP theorem; the “spontaneous orientation” remark (seven kinds of structure, none able to tell the two sides apart, checked item by item by machine). Appendix J (Read_cosmo): the leptogenesis-from-PMNS-Berry theorem; the arrow-of-time corollary. Appendix K (Read_int): the baryon–Dirac sign-lock theorem, sign(sin δ_CP)·sign(η_B) = −1. Experimental side: the PMNS status paragraph of the predictions chapter, NuFIT 6.0 best fit δ/π ≈ 1.19.

11

Nineteen numbers, then one, then none — how?

Conditionalevery scale · the constants themselves

The framework says the constants with no units are fractions, leaving one scale with units; the last freedom that could still vary continuously is what one consistency condition pins to a whole number.

The Standard Model is a radio with nineteen dials, each set only by experiment. This framework says the ones with no units are not dials but fractions from the cell’s algebra — the sines squared of the three neutrino mixing angles are 1/45, 32/105 and 4/7, the Cabibbo parameter is 9/40 — read off, not fitted. What is left is one scale with units, about 3 × 10¹⁵ GeV. Nineteen to one.

Then one to zero. The theory keeps two ledgers. One on the lattice: four corners per cell, each carrying one unit of colour charge; four divided by three leaves one. One in continuous spacetime: the Standard Model carries quantum anomalies, book-keeping that must add up to zero or the theory contradicts itself, and for it to add up the two charged-lepton rows among the seven hypercharges (one row per kind of field in a generation) must shift together by the integer −5, in sixths — a value two independent conditions each give, with a third requiring only that the two rows shift alike. And −5 divided by three also leaves one (−6 is the multiple of three, −5 is one past it). Equal remainders are not by themselves remarkable: the author himself calls the match trivial, in the mathematician’s sense of seen at a glance, carrying no content. The theorem’s content is that they are not a coincidence but two shadows of one five-dimensional object. The mechanism, stated plainly: one consistency condition pins the last continuously variable quantity to a whole number. Turning that integer into 3 × 10¹⁵ GeV takes two further selected steps: a running coefficient (how fast a force’s strength drifts with energy), and a honeycomb with six neighbours per cell; other neighbour counts move the scale across 10¹²–10¹⁷ GeV. The Planck mass stays a unit of measurement, not a computed result. “Nineteen to one” is a tally kept across the whole book, not a theorem; only “one to zero” is theorem-backed.

rides onNineteen to one is a ledger statement, not a theorem. One to zero is closed in two places: the mod-3 remainder arithmetic, and the identification of the two ledgers as shadows of one five-dimensional object. Both stand on two named assumptions about what type that object is (Spin/no-Pin, a product structure in the symmetry topological field theory) and on a selected branch for how the heavy layer separates from everyday physics. The route from the integer to 3 × 10¹⁵ GeV runs through the running coefficient b₀ = 25/3 and the six-neighbour honeycomb. The Planck mass is kept as the unit, not derived. Identifying the cell’s left- and right-handed particle content with the full Standard Model is a named open interface (E8). “Nineteen” excludes neutrino masses — 26 to 28 once neutrino masses are included.

Where to check

Cosmology chapter, Theorem 7.6 (K4 anomaly unification: closed mod-3 reduction, closed canonical SymTFT/bordism identification), Theorem 7.7 (K4 decoupling, b₀ = 25/3), Theorem 7.10 (Wilson–Berry bare-coupling normalisation, conditional); the bordism scaffold theorem in the anomaly-unification appendix; the chiral-anomaly-dressing theorem in the K4-cell chapter (δ = −5 acts only on the charged-lepton branch); the Λ_K4-versus-coordination table. Review Targets D and 8.

The eleven rows that can be checked against something public. The best row and the worst row are printed on the same table.

These eleven are the rows with a public number to be checked against today; the rest of the census is in the manuscript tables. First, how the gaps are counted: one σ is one of the experiment’s own error bars, and a row is so many σ off when the computed value sits that many bars from the measured one. The smallest gap is on sin²θ_W, under 0.01 σ. The row that agrees over the most digits is the muon-to-electron mass ratio: all 8 digits the experiment resolves match, 0.002 σ off. The worst row is the absolute length of the cosmic standard ruler. Sound waves in the early universe left a ruler of fixed length in the distribution of galaxies, abbreviated BAO, and this row compares how long that ruler is. χ² = 34.40 on 13 degrees of freedom, 3.28 σ_eq. It is printed on the same table and the same scale as the best rows, far further from zero. A χ² over 13 points and a single row’s pull are two different kinds of number.

8 digits the experiment resolves 7 digits waiting to be tested Am_μ/m_e0.002 σ computedmeasuredsignificant digit ..206768282688691 2067682827±0.0000046 123456789101112131415 error bar ±0.0000046 covers every digit from 9 on experiment stops here · digit 8 Am_μ/m_e0.002 σ digitcomputedmeasured 123456789101112131415 206768282688691 2067682827decimal point experiment stops here · digit 8 8 digitsthe experiment resolves 7 digits waitingto be tested ±0.0000046 covers every digitfrom 9 on B 123456789 significant digit λ_CConditional · E80.015 σcomputedmeasured0.0.225000000…∞ 22501 ±0.00068 sin²θ_W(M_Z)Conditional · E3, E8< 0.01 σcomputedmeasured0.0.231219995 23122 ±0.00006 B 123456789 digit λ_CConditional · E80.015 σ0.0.225000000…∞ 22501 ±0.00068 sin²θ_W(M_Z)Conditional · E3, E8< 0.01 σ0.0.231219995 23122 ±0.00006
Fig. 4 m_μ/m_e · computed against measured, digit by digit. A: m_μ/m_e. The framework computes 15 significant digits; the cut rule reads “experiment stops here · digit 8”, and the digits past it are digits waiting to be checked. The dashed bracket marks the measurement’s own error bar, ±0.0000046: from digit 9 on it covers everything that is left to compare. How fine the comparison can be is set by the experiment, not by the theory. B: the same notation on two more rows, sharing one digit axis. The cut moves with the experiment, not with the theory. λ_C is an exact fraction — every digit is already fixed. So it writes a digit at every position. The computation on all three rows is a closed theorem in the manuscript. The condition sits in the next step: taking the cell’s two excitations to be the real electron and muon, and the fraction to be the Standard Model’s own parameter. That step the author himself lists as open (E8). sin²θ_W owes one more open step, the lift from the substrate into the weak force and electromagnetism (E3). So all three rows are read as conditional. Values from ledger.json. The digit counts, the resolved-digit cut and the digit from which the error bar starts covering are recomputed at build time; if they disagree, the build fails.
01234 σ ordinary agreement must be explained AComparable pullsn = 7α_s(M_Z)commits no digitssin²θ_W(M_Z)< 0.01 σE3 E8m_μ/m_e0.002 σE8λ_C0.015 σE8CKM J0.04 σE8m_b/m_s0.25 σΛ_eff ℓ_*²0.9 σE6 Bσ-equivalents converted from a χ² · a different kind of number from a pulln = 2BAO shape0.44 σ_eqc/(H₀ r_d)3.28 σ_eq COne-sided: upper limits only, not yet measuredn = 2untested, not confirmedΣ m_ν m_ββ 01234 σ ordinary agreement must be explained α_s(M_Z)commits no digitsABsin²θ_W(M_Z)< 0.01 σE3 E8m_μ/m_e0.002 σE8λ_C0.015 σE8CKM J0.04 σE8m_b/m_s0.25 σBAO shape0.44 σ_eqΛ_eff ℓ_*²0.9 σE6c/(H₀ r_d)3.28 σ_eqCOne-sided: upper limits only, not yet measureduntested, not confirmedΣ m_ν m_ββ
  • a comparable pull, plotted at its own value
  • ring: this row also depends on an interface listed as open
  • a σ-equivalent converted from a χ², not the same kind of number as a pull
  • the 0–1 σ band
  • the 3 σ line
  • no agreement number is drawn in this lane
Fig. 5 Eleven rows on one σ scale. Under 1 σ is ordinary agreement; around 3 σ has to be explained. The worst row is the absolute length of the cosmic standard ruler. Sound waves in the early universe left a ruler of fixed length in the distribution of galaxies, abbreviated BAO, and this row compares how long that ruler is. χ² = 34.40 on 13 degrees of freedom, 3.28 σ_eq. It is printed on the same table and the same scale as the best rows, far further from zero. A χ² over 13 points and a single row’s pull are two different kinds of number. The one-sided lane. Each is given as a single number rather than a range, and it sits below every current limit. Below a limit means untested, not confirmed. The framework commits no digits on this row. That is why α_s(M_Z) is drawn off the scale rather than at zero. There is no total score, and there will not be one. The three lanes hold three different kinds of number; averaging them would add up three unlike things and call the result one number. A hollow ring marks a row conditional on a named open interface (E3, E5, E6, E8).

How to read a row A pull is the gap between the computed value and the measured one, counted in the experiment’s own error bar: one error bar is 1 σ. Under 1 σ is ordinary agreement; around 3 σ has to be explained. Two rulers can only be compared down to the coarser one, and on most rows the coarser ruler is the experiment’s. The vertical rule marks where the experiment stops resolving. The digits to its left are the ones the experiment can resolve, and therefore check; the digits the theory writes to the right of it are a cheque it has signed, to be cashed — or bounced — the day the experiment’s ruler gets finer.

Comparable pulls

Λeff*²

0.9 σ

cosmological constant · counted from the horizon’s entropy, put together from two pieces

computed2.93×10−122
measured2.89×10−122±1.5%

measurement stops resolving here · digit 2

pull

This row is put together from two pieces. First: the geometric response quantity is 3π divided by the entropy of the cosmic horizon, an entropy counted from the cell’s structure. Second: the tail of the exponent is the m_b/m_s fraction divided by 64. The same 92,633 turns up in three places in this theory — the m_b/m_s row, the strength of the electromagnetic coupling, and that tail. The author calls this a structural agreement, not a derivation of one from the other. The row stands on a selected branch, with the Planck mass kept as a unit rather than derived; the author’s own erratum notes that the frozen edition has not yet separated the geometric response quantity from the physical Λ. The cosmological-constant problem is not solved here.

Conditionalconditional onE6

statecomputed first, then compared · any open interface this row still depends on is named at the end

mb/ms

0.25 σ

bottom-to-strange quark mass ratio · read out as 5,000,000/92,633; the frozen release prints 53.97

computed53.97
measured53.94±0.12

measurement stops resolving here · digit 3

pull

statecomputed first, then compared · any open interface this row still depends on is named at the end

CKM J

0.04 σ

how differently matter and antimatter behave among quarks · magnitude only, sign not derived

computed3.085×10−5
measured3.08×10−5±0.0000013

measurement stops resolving here · digit 2

pull

Conditionalconditional onE8

statecomputed first, then compared · any open interface this row still depends on is named at the end

λC

0.015 σ

mixing between quark generations · the exact fraction 9/40

computed0.225000…∞= 9/40
measured0.22501±0.00068

measurement stops resolving here · digit 3

pull

an exact fraction — every digit is already fixed

Conditionalconditional onE8

statecomputed first, then compared · any open interface this row still depends on is named at the end

mμ/me

0.002 σ

muon-to-electron mass ratio · run through the same protocol the lab uses to extract it

computed206.768282688691
measured206.7682827±0.0000046

measurement stops resolving here · digit 8

pull

Conditionalconditional onE8

statecomputed first, then compared · any open interface this row still depends on is named at the end

sin²θW(MZ)

< 0.01 σ

electromagnetic-to-weak mixing · source value 3/13, converted by a fixed rule to the value at the Z mass

computed0.231219995
measured0.23122±0.00006

measurement stops resolving here · digit 4

pull

Conditionalconditional onE3E8

statecomputed first, then compared · any open interface this row still depends on is named at the end

αs(MZ)

strength of the strong force · a scale line, not digits

computed0.1180
measured0.1180±0.0009
pull

The framework commits no digits on this row. What it hands over is a scale line: the line where the strong force becomes strong. The decimal at the Z-boson mass follows only after the strong force’s own standard calculation, QCD running. Here the coarser ruler is the theory’s, so this site prints no pull; the manuscript itself prints ≈ 0 σ, and the site chose the stricter reading. And the force that glues quarks together is still built separately in this theory (E5).

Conditionalconditional onE5

statecomputed first, then compared · any open interface this row still depends on is named at the end

σ-equivalents converted from a χ² · a different kind of number from a pull

These two rows compare the cosmic standard ruler. Sound waves in the early universe left a ruler of fixed length in the distribution of galaxies, and DESI measured it at 13 distances. The first row compares the ruler’s absolute length, the second only its shape. The shape row comes in at 0.44 σ_eq and fits well; what is off is the whole length of the ruler. The 13 distances go into one χ², which is then converted to an equivalent σ; that is a different kind of number and does not average with the rows above.

c/(H₀ rd)

3.28 σ_eq

absolute length of the cosmic standard ruler · 13 distances at once

computed30.135

measuredχ² = 34.40 / 13

pull

statecomputed first, then compared · any open interface this row still depends on is named at the end

BAO shape

0.44 σ_eq

how the standard ruler’s length changes with distance · shape only, not absolute length

computedfrozen K4 CPL curve

measuredshape-only comparison

pull

statecomputed first, then compared · any open interface this row still depends on is named at the end

One-sided: upper limits only, not yet measured

Each is given as a single number rather than a range, and it sits below every current limit. Below a limit means untested, not confirmed.

Σ mν

sum of the three neutrino masses · on the selected branch the lightest is exactly zero; carries an absolute mass unit

computed≈ 0.059 eV

statecomputed first, then compared · any open interface this row still depends on is named at the end

mββ

sets the rate of a decay that emits two electrons and no neutrinos (neutrinoless double-beta decay) · a nail, not a range

computed3.69 meV

statecomputed first, then compared · any open interface this row still depends on is named at the end

There is no total score, and there will not be one. The three lanes hold three different kinds of number; averaging them would add up three unlike things and call the result one number.

The full census is 31 primary predictions, 20 companion readouts, 1 set of rows for rare B_s decays, and 1 structural cosmology profile, κ₄(r). The manuscript tables are the authority on each row’s current status.

“Predictions” is the manuscript’s name for these entries; the public Registry currently contains 0 preregistered predictions. All 11 rows above are retrospective comparisons. Open the Prediction Registry

Measured values and error bars are transcribed from the public-review repository’s comparison table, frozen 2026-07-08; the computed column comes from the same frozen edition. This site does not source them independently. That transcription is the first thing to check.

This theory wrote down its own ways to die, in advance.

A theory with dials never dies: whatever the experiment reads, a turn of a dial fits it. This one has no dials. So after a miss there are only two moves: find a genuine mistake in the derivation and publish the correction, or say it is over. The six cards below are this site’s pick from the places the manuscript lists where it can break. Each names who measures, which years, what counts as a miss, and what is lost.

These are the programme’s sharpest experimental bets, drawn from the manuscript. The public Registry is ready for future claims; it currently contains 0 preregistered predictions. See the Prediction Registry

Neutrino mass ordering

Which of the three neutrinos is heaviest is computed here, not put in by hand. Two of the three lie close together in mass; the theory puts that close pair at the bottom and the odd one on top — the normal ordering — and on the branch it selects, the lightest of all is exactly massless. The inverted ordering, close pair on top, is not disfavoured inside the model: it is excluded.

What counts as a missA confirmed inverted ordering ends the framework.

Who measures
JUNO · DUNE · Hyper-K
Which years
2026–2035
What is lost
the whole framework ends
Where it stands
JUNO began taking data in August 2025 and released first physics results that November. DUNE currently targets first far-detector operation in 2029 and beam in 2031. Today’s global fit leans weakly toward normal ordering — weakly, and not a verdict.
Where to check

Normal ordering derived on the c_R = 1 seesaw branch; the inverted-ordering exclusion theorem, cosmology readout appendix. Review Target 6.

The sign of the CP phase

Neutrinos and antineutrinos need not behave alike; one number, the CP phase δ_CP, says by how much they differ. Here it can only be +90° or −90°, and the sky settles which: this universe is made of matter, not antimatter. The sign measured in a laboratory and the sign of that leftover matter are locked together — sign(sin δ_CP) × sign(η_B) = −1, with η_B the matter the universe kept — so sin δ_CP must be negative.

What counts as a missA measured positive sign falsifies the framework.

Who measures
DUNE · Hyper-K
Which years
2028–2035
What is lost
the whole framework ends
Where it stands
The theory does not derive which side came out as matter: step by step, the law is proved blind to the two, so which one this universe got is a historical fact, not a theorem. What is a theorem is the relation between the two signs, and that relation is what DUNE and Hyper-K will test. Today’s global best fit is about 214°, on the negative side; the 270° the theory needs sits about 1.6 σ from it, neither excluded nor decided.
Where to check

The baryon–Dirac sign-lock theorem, internal-observer appendix; the spontaneous-orientation remark, real-vacuum chapter. Review Target C.

The θ₂₃ octant

How strongly the second and third kinds of neutrino blend is set by one angle, θ₂₃. Its sin² comes out 4/7, in the upper octant — the half above 1/2.

What counts as a missA lower octant, once settled, contradicts it.

Who measures
DUNE · Hyper-K
Which years
2028–2035
What is lost
the selected branch is out
Where it stands
The octant is still open today. The current global best fit, with Super-Kamiokande atmospheric data, sits in the lower octant; the upper-octant solution remains allowed. Both are alive, and the data do not yet speak for this one.
Where to check

The adjoint-carrier sign-selection lemma; the PMNS table in the predictions chapter. Review Target 6.

Neutrinoless double beta decay

Here the neutrino is its own antiparticle, so a nucleus will occasionally emit two electrons and nothing else — no neutrinos at all. On the theory side the rate is set by one number, m_ββ. And the theory gives no range: one point, nailed down at 3.69 meV.

What counts as a missA signal at 1.5 meV — the value the opposite sign choice would give — falsifies the chain of signs this number rests on; one far above 10 meV puts this neutrino branch out. Today the prediction sits below every limit: untested, not confirmed.

Who measures
LEGEND-1000 · nEXO
Which years
2030s
What is lost
the selected branch is out
Where it stands
Today’s limits reach 28 to 122 meV, still far above the prediction. The next generation aims at the 1 to 10 meV layer; uncertainty in the nuclear matrix elements, how strongly a given nucleus responds, will smear that line somewhat.
Where to check

The Majorana-phase emission theorem, cosmology readout appendix; prediction P2, predictions chapter.

The cosmological constant

Measured in the framework’s own unit of length, ℓ_*, the cosmological constant becomes a pure number, Λ ℓ_*². Computed: 2.93 × 10⁻¹²². Observed: 2.89 × 10⁻¹²², to ±1.5%. A 0.9 σ gap, with no continuous parameter turned.

What counts as a missA Λ measurement at 0.5% with the same central value turns that gap into 2.6 σ — and this comparison is then excluded on precision alone.

Who measures
next-generation surveys and CMB experiments
Which years
2030s
What is lost
the selected branch is out
Where it stands
This line is conditional. It stands on a selected branch, and ℓ_* is a unit kept as an input, not something the theory computes. What is computed is a geometric quantity — how the geometry responds — and identifying it with the Λ astronomers measure is a step the author lists as not closed. The cosmological-constant problem is not solved here.
Where to check

Erratum E6; Review Target B; the Λ-gate comparison remark, cosmology readout appendix.

The weak mixing angle

The proportion in which electromagnetism and the weak force are mixed. Computed 0.231219995; measured 0.23122 ± 0.00006. Four digits match; the five behind them are the theory’s, written for a future measurement.

What counts as a missIf the measurement sharpens and moves, there is nothing here to turn; the only things that could give are the two open joins it rides on.

Who measures
precision electroweak (Z pole)
Which years
no verdict date scheduled
What is lost
the selected branch is out
Where it stands
This line is conditional too: it rides on two joins the author lists as open — that the two ingredients really are electromagnetism and the weak force, and that what the cell contains can be embedded in the full Standard Model. What would be lost is the whole electroweak chain, every number the framework computes about those two forces.
Where to check

Errata E3 and E8; Review Target 8; multi-cell chapter, the source value 3/13 and the 1/936 shear.

Three more places it can break, listed in the manuscript but not made into cards here:

  • QCD axionNo axion is needed. Find one, and the architecture of the forces has to be rebuilt.IAXO · ALPHA · BabyIAXO: magnet installation around 2029; commissioning and axion runs from 2030+, schedule-dependentthe architecture of the forces has to be rebuilt
  • Proton decayThe proton is absolutely stable. One event, and the architecture has to be rebuilt as well.Hyper-K · DUNE · 2028–2035the architecture of the forces has to be rebuilt
  • Primordial gravitational wavesA detection at r ≳ 10⁻³, where r measures how strong those waves are, puts the selected inflation branch out.CMB-S4 · LiteBIRD · 2030sthe selected branch is out

Not every miss costs the same. Three grades:

the whole framework ends: No branch to retreat to, and no unfinished join to the Standard Model to blame. An inverted neutrino ordering or a positive CP sign belongs here.

the architecture of the forces has to be rebuilt: A detected QCD axion or an observed proton decay belongs here: a fundamentally different gauge architecture would be needed.

the selected branch is out: The branch the number was read on is out; a wider framework does not automatically go with it. A double-beta signal off the point value, or the mixing angle θ₂₃ in the lower octant, belongs here.

None of the six has killed it today, and none has confirmed it. Of the three neutrino cards, present data lean its way on two and the other way on one; of the remaining three, one is out of reach and two wait on sharper experiments. “Not killed” means alive, not vindicated.

Ten years, on the calendar: 2026–2035. Mass ordering, the CP sign and the θ₂₃ octant are the three that get decided first, inside that window.

What the machine checked, and what it did not.

727/771 certified

771 labelled theorem rows, 727 of them certified in Lean 4. Zero sorry, and no axioms of its own; only the mathematical library’s three standard logical axioms: propext, Classical.choice, Quot.sound.

Lean 4 is a proof checker, and a very strict one: restate a theorem in a language it can check step by step, and if any step is missing its justification the whole file refuses to compile. Programmers have a word for skipping a step, sorry, meaning “I owe you this one”; this corpus contains none. It does not consult a referee’s intuition or the author’s confidence. The manuscript’s 771 labelled entries (theorems, lemmas, propositions, corollaries, definitions, remarks) were each put to that gate. The tally, frozen on 2026-07-08: 727 certified; 19 with only the core checked; 4 with no matching entry written in Lean yet; 21 that are prose or empirical statements and stay open. The Lean corpus runs to 313 modules. There is one physical assumption — that such a cell exists — and it enters as part of the definition, written out in the open, not as a hidden axiom.

“Certified” means the bookkeeping is clean, not that the physics is right. Certification is a claim about logical structure. It is not an empirical claim about nature. What it says is that the statement in Lean and the written statement in the manuscript are logically the same thing, at the level of detail the statement itself declares. Most certificates stop at a named input: the small piece of analysis the library does not yet have — a bound on clustering, a continuum limit — is written into the statement as an explicit hypothesis, in plain view rather than buried. A machine-checked proof of the wrong statement is still a proof of the wrong statement. Whether those statements describe the world correctly is what the table above is for. The remaining 44 rows are not certified, and each is labelled with the reason.

Four buckets, adding to 771.

  • 727certifiedlean_certifiedThe Lean statement and the manuscript statement are logically equivalent at the declared level of detail, and it compiles.
  • 19core checked onlyproved_core_onlyThe core conclusion passed the machine; the surrounding wording is not yet matched word for word.
  • 4no Lean entry yetneeds_lean_nodeIn the manuscript, but with nothing written to match it in Lean yet.
  • 21prose or empirical, openprose_empirical_openA prose argument or an empirical comparison by nature, not something a machine can check; marked open.

44 rows are not certified. Each carries a label saying why, in one of three kinds. As of the 2026-07-08 frozen release.

Where the theorems stop, where the gaps are, where the bet is.

Every number above arrives by the same route. It starts at four points, runs through the network those cells make when they are joined — the book calls that the substrate — and ends at a comparison with experiment. Several stretches of that route are not yet joined, and the author numbers them himself. Below is the whole route, with its gaps drawn as gaps. This section is for readers who want to check, and for physicists.

Pull out a bridge and watch which numbers go dark.

The first four stations are theorems, and the bridges under them are drawn solid: a solid bridge is either exact or holds inside the model. The last four stations are marked conditional — derivable, but only once some gap is joined. A gap is a step the author has published as open. He calls such a step an interface, and the label in the gap is the number that correction carries in his own published errata. Under each gap hang the rows of the numbers table that rest on it. Five gaps are drawn: the four that carry rows, and the one that governs the catalogue of floors and the gluing. Two more, E7 and E11, fall at station 06, gravity; no row in the table hangs on them, and they appear only in the list of interfaces below.

Main open bridgefinite K4 substrate → faithful physical realization01The finite cell02Sorting thestates03Quantumgeometric tensor04Real andimaginary parts05Geometry grownout of it06Gravity andgauge equations07Many cellsjoined08Three ways toread a numberoff ClosedConditional Named interfaces E3carriessin²θ_W(M_Z)E5carriesα_s(M_Z)E6carriesΛ_eff ℓ_*²E8carriessin²θ_W(M_Z)λ_Cm_μ/m_eCKM JE10No numeric row hangs here. Thisgap governs the catalogue offloors and the gluing. sin²θ_W(M_Z) hangs on E3 and E8 at once, so it is drawn twice. Main open bridgefinite K4 substrate → faithfulphysical realization01The finite cell02Sorting the states03Quantum geometric tensor04Real and imaginary parts05Geometry grown out of it06Gravity and gauge equations07Many cells joined08Three ways to read a number off ClosedConditional Named interfaces E3carriessin²θ_W(M_Z)E5carriesα_s(M_Z)E6carriesΛ_eff ℓ_*²E8carriessin²θ_W(M_Z)λ_Cm_μ/m_eCKM JE10No numeric row hangs here. This gap governsthe catalogue of floors and the gluing. sin²θ_W(M_Z) hangs on E3 and E8 at once, so it is drawntwice.

Fig. 6The chain runs eight stations in order: four solid, then four marked conditional. Five named gaps hang off it, each carrying the numeric rows that lean on that gap. A gap is drawn as a gap — where the chain breaks the drawing is empty, not dashed over. The widest void, between the two cut faces at the middle of the chain, is the main open bridge; nothing spans it.

The 5 named gaps carry 6 numeric rows between them; E8 alone carries 4. A gap is drawn as wide as the number of rows that fall through it. The gaps are drawn as gaps, not placed link by link — the author’s errata are not indexed by link.

  1. 01The finite cellfour points, six links, three colours
  2. 02Sorting the states81 states fall into four floors; take the lowest floor
  3. 03Quantum geometric tensorhow distinguishable two states are; what phase you pick up going once round a loop
  4. 04Real and imaginary partsone face measures distance, the other carries the forces
  5. 05Geometry grown out of itcurvature of spacetime, curvature of the force fields
  6. 06Gravity and gauge equationsthe leading equations, plus a tower of higher corrections above them
  7. 07Many cells joinedthe rules for gluing them, and the step to a smooth spacetime
  8. 08Three ways to read a number offin the laboratory, in cosmology, by an observer inside

Main open bridgefinite K4 substrate → faithful physical realization

E3

the step up to the weak and electromagnetic forces still has to be proved, not assumed

carries: sin²θW(MZ)

E5

the part of the strong force that binds quarks is still built separately

carries: αs(MZ)

E6

what the geometry computes is a response quantity; taking it for the physical Λ is not closed

carries: Λeff*²

E8

three generations, and seven anonymous rows becoming real particles: these maps are still open

carries: sin²θW(MZ) λC mμ/me CKM J

E10

the catalogue of floors, and the gluing: the four floors are not a closed multiplication table

No numeric row hangs here. This gap governs the catalogue of floors and the gluing.

Pull all of them, and what is left is a theorem about a finite graph — true, machine-checked, and not a statement about nature. That is the floor of this project, and it is why the numbers above are offered as targets rather than as conclusions.

Seven open interfaces, one sentence each

E3
The step from the substrate up to the weak and electromagnetic forces is what the author calls the electroweak lift: it needs a proof of its own and cannot simply be assumed.
E5
The three colours a quark carries are already in the cell; what is still built separately is turning colour into a force that actually binds quarks, which is why the strong-coupling row compares scale only and commits to no digits.
E6
Two different Λs appear in the book: a response quantity the geometry computes, and the physical one that is set against the sky; treating the first as the second is a step that is not closed, and the frozen edition ran them together, which the author lists as his own erratum.
E7
Turning a geometry with four alike directions into three of space and one of time takes several separate maps of its own, and the most basic piece of gravity is only classified, not built from scratch.
E8
The computed three must actually become three generations of particles in spacetime, and the seven anonymous rows must actually match the fields of one Standard-Model generation together with the Higgs and the right-handed neutrino — seven kinds in all; the author himself lists this step as open.
E10
The object’s four floors of states are, for now, four separate pieces standing side by side; that they can combine freely the way particles do is unproved, and any conclusion that needs it does not yet count.
E11
The massless spin-two excitation that gravitational waves are made of has not been built inside the substrate; how fast gravity travels has, as things stand, only an upper limit.

What is not derived

  1. The sign of CP violation is not derived. Which way it points is something the vacuum picked out for itself, and the theory takes it as given.
  2. The part of the strong force that binds quarks is still a separate construction. Every number that belongs to that force waits on this interface; the strong-coupling row is a comparison of scale, not a finished derivation.E5
  3. The electroweak lift is not finished. The step from the substrate up to the weak and electromagnetic forces is set down as an interface of its own, not taken for granted.E3
  4. Three generations landing as three families of particles in spacetime, and seven anonymous rows matching the fields of one Standard-Model generation plus the Higgs and the right-handed neutrino, together with staying on the branch that is physically real, are still interfaces.E8
  5. The frozen PDF runs together the geometric response Λ_geo and the physical Λ_eff. The author’s own erratum says so.E6
  6. The object’s four floors of states do not form a closed multiplication table. Any conclusion that stands only on that table is, for now, not derived.E10
  7. Gravity and the gauge dynamics arriving together is the bet, not a finished derivation. The most basic piece of gravity is classified rather than rebuilt, and the substrate’s own massless spin-two excitation has not been constructed.E7E11
  8. The Planck mass — the mass unit gravity itself sets — is kept as the unit, not derived. Every ratio in the theory is fixed before the ruler is handed over; the ruler only converts ratios into kilograms and seconds.

What went in

Continuous fitted parameters: 0. There is no dial here that turns continuously; the freedom that remains is discrete, and the next paragraph lists it. The object is fixed: four points, three states at each point, one coupling on all six links. Even the strength of that coupling cancels out of a ratio — and in the table above, every row that has a pull is a dimensionless number. Two rows are not: the sum of the three neutrino masses (Σ m_ν) and the effective mass for neutrinoless double-beta decay (m_ββ) are given in eV, so they carry an absolute mass scale that the cancellation argument does not cover. Anyone hunting for a hidden input should start with those two rows.

Physical postulate: one — that such cells exist and can be joined into a lattice. Within the class it states for itself, the cell’s own shape is a theorem rather than an assumption: four points, three colours, the complete graph, one antiferromagnetic coupling. How wide that class is drawn is itself a review target. Beyond that, the theory asks for two things, and neither can be fine-tuned. A ruler, to say how big one unit of energy is: that is a unit, not a dial. And a few either/or choices — which way the computed structure is placed inside the Standard Model, which branch to follow, and which written rule each number is read by. Each choice is written down in the open; each can be swapped whole, but none can be nudged a little.

Where a hidden choice could still be hiding. Is the list of allowed ways of reading a number off the object complete? Can the four floors of states combine freely, the way particles do, or can they only sit side by side? Is there one dictionary that works the same way in every part of the theory? On none of these does the machine check help: a certificate says the bookkeeping is clean, not that nature works this way. The sharpest question, in the author’s own words, is about the small second term that rides on top of the leading value. That one term is shared, word for word, by the Λ row, the m_b/m_s row, and a laboratory quantity that is not in the table — a small correction to the electromagnetic coupling. Is the sharing forced by the rules for reading, or do the rules leave room to choose which term to take? That is an open review target. And if a measured value turns out to have slipped into the input side of any row, that is the disproof: say which row, and where.

Where the papers stand

The monograph itself has not been submitted to a journal, is not peer reviewed, and is not on arXiv. Two papers carved out of it are with journals now: one at Classical and Quantum Gravity (CQG-116665, submitted 2026-07-15), awaiting referee reports; one at the Journal of Geometry and Physics (JGP13432, submitted 2026-07-21), under review.

CQG-116665

Classical and Quantum Gravity · submitted 2026-07-15 · awaiting referee reports

JGP13432

Journal of Geometry and Physics · submitted 2026-07-21 · under review

The monograph is not on arXiv.

The frozen v2.0 PDF has one known defect: its title page still prints the v1.0 version line, date and DOI, while the body and the checksum are v2.0. Recorded 2026-08-29; it belongs in the errata, appended, and the file is never quietly replaced.

Check this page first. Then look for its mistakes.

The public-review PDF: 1003 pages, frozen 2026-07-08. Its SHA-256 — a fingerprint computed from every byte of the file — is below. Download the file and compute the fingerprint yourself. If the two strings match, you have the same document.

sha256sum K4_Cell_Framework_v2.0-public-review.pdf
727d7c1fd690655a7a487afd66ba39b12f5b0eae5a622e2a224005a02d27c479

Since it was frozen, the PDF has not moved. Corrections found later are numbered and appended to the errata; the original file is not edited. The bytes are never silently replaced. That is the whole policy, and the checksum lets you check it.

Every physical quantity printed on this page comes from one file, ledger.json: computed values, measured values, pulls, digit counts, the four Lean bucket totals. The build fills them in, recomputes what it can, and checks that the page prints those values; if anything disagrees, nothing is published. What the build cannot do is compare that file against the manuscript. The ledger is transcribed by hand, and that transcription is the step most worth checking. The file is served at /ledger.json.

  • 2 minutesCount four points, six links, three colours; then divide 9 by 40 yourself.
  • 15 minutesOpen the frozen PDF with the errata beside it; take one correction and see how the frozen version reads at the passage it points to.
  • 1 hour or moreTake one review question, find the first definite error, and write it down.

Open an issueAsk in discussions

About the author

Zhihua Liang (梁植华)

Zhihua Liang holds a PhD in Physics from Southern Methodist University (2012) and a BSc in Physics from Tsinghua University (2003). From 2006 to 2012 he worked in the ATLAS collaboration on the statistical analysis of the H→WW channel, one of the analyses behind the 2012 Higgs discovery, and co-developed the NLO QCD program MEKS. He worked in medical physics in Houston from 2013 to 2016, and on deep learning for imaging at the University of Antwerp’s VisionLab from 2019 to 2023. From February 2024 to February 2026 he was a Researcher at INFN Sezione di Cagliari, working on the CERN LHCb experiment.

The dates when this page will have to change.

  1. Now

    Move the next papers, preregistration-ready predictions and independent reproduction packages to publication. Support funds Founder research time, computation, open publication and professional review.

  2. Under review

    Two papers carved out of the monograph, submitted in July 2026: one to Classical and Quantum Gravity, awaiting referee reports; one to the Journal of Geometry and Physics, under review. Neither has an outcome yet. The 1003-page monograph has not been submitted to a journal.

  3. From August 2025

    JUNO began taking data in August 2025 and released its first physics results in November. A mass-ordering verdict still needs years of data; a confirmed inverted ordering ends this page.

  4. Target: 2028

    Hyper-Kamiokande’s latest official overview aims to begin experimentation in 2028. It has a hand in two verdicts here: the sign of the CP phase and whether the proton decays. Schedules can move.

  5. 2029 / 2031

    DUNE currently targets operation of its first far detector in 2029, when natural-neutrino science can begin. Its accelerator neutrino beam is targeted for 2031; the central CP-sign and θ₂₃ programme depends on the beam exposure that follows.

  6. 2029–2030+ · schedule-dependent

    BabyIAXO’s current plan puts magnet installation around 2029, followed by commissioning and axion runs from 2030 onward. A QCD-axion signal would put the world outside this cell’s selected branch.

  7. Date not set

    The next freeze of the manuscript, with no date set. Until then, corrections are appended to the errata and the PDF does not move.

10²⁶ m · the observable universe

Scientific truth, if found, belongs to humanity; the structures of nature are not private property.