A registered result in its source context
Original ledger classification: Witness re-classification [E]/[C]: v427's seven arithmetic witnesses are facets of ONE (2,3,5)/E8 object (v236) => compression, not seven multiplications. The genuine multiplication is the '8' forced four independent ways (rank E8, h(D5), phi(30), Milnor) + the foreign alpha^-1~137. Honest correction of v427 (consistent with v305/v236/v313)
Recorded statement: The honest correction of v427 (2026-06-25): applying v427's own multiply-vs-compress test to v427 itself. [E] THE ONE GENERATOR (v236/TOPO.BRIESKORN.01): the (2,3,5) Brieskorn singularity generates E8/Coxeter-30 -- Milnor…
Statement, assumptions and sources
Paper context: Verification safeguards
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
OVERDET.WITNESS.RECLASS.01
Original ledger classification: Witness re-classification [E]/[C]: v427's seven arithmetic witnesses are facets of ONE (2,3,5)/E8 object (v236) => compression, not seven multiplications. The genuine multiplication is the '8' forced four independent ways (rank E8, h(D5), phi(30), Milnor) + the foreign alpha^-1~137. Honest correction of v427 (consistent with v305/v236/v313)
Original claim text
The honest correction of v427 (2026-06-25): applying v427's own multiply-vs-compress test to v427 itself. [E] THE ONE GENERATOR (v236/TOPO.BRIESKORN.01): the (2,3,5) Brieskorn singularity generates E8/Coxeter-30 -- Milnor mu=(2-1)(3-1)(5-1)=8=rank E8, 30=2*3*5=h(E8), phi(30)=8. [E] WITNESS RE-CLASSIFICATION: each of v427's seven witnesses maps to a facet of that SAME object (primes 2,3,5 of 30, the clock 30, or E8), so all seven collapse to ONE generator (distinct objects=1) => COMPRESSION, not seven independent multiplications. [E] THE GENUINE MULTIPLICATION: the '8' in c3=1/(8 pi) forced four independent ways -- rank(E8), the carrier Coxeter h(D5)=2(5-1), the totient phi(30), the Milnor number -- plus the FOREIGN witness alpha^-1~137 (prime, not in the (2,3,5)-skeleton; v305). [C] VERDICT: v427's framework is right, its classification was wrong -- the arithmetic witnesses compress one (2,3,5)/E8 object; the honest over-determination is the multiply-forced inputs + foreign 137. Refines and partly walks back v427; consistent with v236/v305/v313.
Original classification detail
Identity
Dependencies as recorded
OVERDET.WITNESS.MAP.01; TOPO.BRIESKORN.01; ARCH.CORE.01; v305; v313
Open the original ledger source, row 495Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Verification safeguards
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- 2026-06-25 ( v428 — honest self-correction of the over-determination map)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- Layer 3 — the over-determination map (multiply vs.\ compress)Verification safeguards
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- The whole integer skeleton from one pair [formula in source]Origin Theory
- 2026-06-25 (External AQFT citations [formula in source] the four-fold [formula in source] identity sharpened)Research changelog; TFPT — Introduction and reading guide
- 2026-06-27 ( v431, v432 — the ``unmapped'' [formula in source] degrees are forced spine [formula in source] flavor structure; the unconditional over-determination floor)Research changelog; TFPT — Introduction and reading guide
- Summary — the layered defenseVerification safeguards
- The whole integer skeleton from one pair [formula in source]origin theory
Registered verification modules
- v428_overdet_reclass.pyRegistered verification module · registry
Read the description recorded in the module registry
OVERDET.WITNESS.RECLASS.01 -- the honest correction of v427: applying v427's own multiply-vs-compress test to v427 itself. The (2,3,5) Brieskorn singularity (v236) is the ONE generator -- Milnor mu=(2-1)(3-1)(5-1)=8=rank E8, 30=2*3*5=h(E8), phi(30)=8 -- so each of v427's seven witnesses maps to a facet of that same object (primes 2,3,5 of 30, the clock 30, or E8): all seven collapse to one generator (distinct objects=1), which by v427's own definition is COMPRESSION, not seven independent multiplications. What honestly multiplies is the INPUT forced four independent ways -- the '8' in c3=1/(8 pi) from rank(E8), the carrier Coxeter h(D5)=2(5-1), the totient phi(30) and the Milnor number -- plus the FOREIGN witness alpha^-1~137 (prime, not in the (2,3,5)-skeleton; v305). Refines and partly walks back v427; consistent with v236/v305/v313.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.