Principia Orthogona  ·  Book 6  ·  Working Papers · Mathematics & Formal Proofs
WP-24 Criticality Bridge WP-28 The Circadian Trader WP-29 Numerology Sweep WP-31B How to Audit WP-61 Root Language

The Root-Language Sweep

“double root”  ≠  “degenerate”  ≠  “critical point”
the mathematics was sound; the words were not

WP-24 refuted one overclaimed algebraic bridge: the assertion that q³ − 3q = (q−1)²(q+2), which fails by a constant term of 2. That audit fixed the file it was pointed at. It did not ask whether the same habit — using “double root”, “degenerate” and “critical point” as if they were synonyms — had propagated elsewhere. This paper asks that question of the Greek-letter chapters, which are where the criticality ladder is actually taught.

The occasion was external. A reader familiar with combinatorial Hodge theory would open the n-bonacci material first, because characteristic polynomials and their root structure are the objects that literature is about. Read with that eye, the ladder chapters were making root-structure claims in a register where the words carry proofs. The Book 7 chapter on June Huh sets out that relationship and its boundary; this paper is the repair work it prompted.

1.  The sweep

Signature scan over 39 files — every ch[A-Z]*.html, the ladder chapters, the Collatz and φ chapters, and the DNLS lab — for six patterns: double root, degenerate root, repeated root, the factorisation (q−1)²(q+2), the cubic q³ − 3q written without the +2, and the WP-29 flags ESTABLISHED / not a coincidence.

FileSignatureOutcome
ch-recurrence-ladder.htmldouble-root ×11, degenerate ×1, factorisation ×55 claims repaired
chapters-pi-phi-…-omega.htmldouble-root ×6, degenerate ×1, factorisation ×23 claims repaired
ch-eta-dnls.htmldouble-root ×11 claim repaired
chPI-recurrence · chEta · chDelta · chSigma · chOmega · chMu · chPHI-rhnoneclean
chEps-gronwall · chRho-spectralcubic-without-+2, ESTABLISHEDread 2026-08-12 — 1 defect, repaired (see §5a)
chH-collatzESTABLISHED ×8read 2026-08-12 — 1 contradiction, repaired
chE-gtctESTABLISHED ×2, proved ×6read 2026-08-12 — clean

Note what is not claimed: the last row is a grep result, not a finding. Those four files were flagged by the pattern and have not been opened. WP-29's own lesson applies — a signature is a smoke detector, not a reading.

2.  Four claims, checked symbolically

Every claim below was checked with SymPy, symbolic expansion, not numerical approximation. The potential is V_c(q) = q³ − cq throughout.

Claim 1 — FALSE — Theorem φ.1

“The potential V_φ(q) = q³ − φq has a degenerate double root only at q* = √(φ/3) ≈ 0.734, not at q = 1.”

roots of V_phi : {0: 1, +sqrt(phi): 1, -sqrt(phi): 1} <- all simple V_phi(sqrt(phi/3)) = -0.79219040 <- q* is NOT a root V'_phi(sqrt(phi/3)) = 0 <- q* is a CRITICAL POINT V''_phi(sqrt(phi/3)) = 4.4064053 <- NON-degenerate

Wrong twice over. √(φ/3) is a critical point of V_φ, not a root of it; and it is non-degenerate, not degenerate. V_φ has no double root anywhere. The conclusion survives — the fold does not land on the integer lattice, so φ is subcritical — but it survives for the stated reason only once the reason is stated correctly.

Claim 2 — FALSE as written — the criticality threshold

“c* = 3 is the unique value at which V has a double root at q = 1.”

roots of V_3 : {0: 1, +sqrt(3): 1, -sqrt(3): 1} <- q=1 absent V_3(1) = -2 <- q=1 is not a root of V_3 V'_c(1) = 0 <=> c = 3 <- TRUE, and unique V''_c(1) = 6 (for every c) <- non-degenerate: Whitney A1 V_3(q) - V_3(1) = (q-1)^2 (q+2) <- the double root lives HERE

The uniqueness is real and is the load-bearing fact: c = 3 is the only coefficient placing a critical point at q = 1. What is false is calling that a double root of V. The double root belongs to the shifted potential V − V(1), and — this is the part worth internalising — a double root of V − V(1) at a critical point is automatic, true at every non-degenerate critical point of every cubic. It is not evidence of anything special about c = 3. The special thing about c = 3 is the location, q = 1.

Claim 3 — FALSE — the η bridge, WP-24 recurring

“η is the only n-bonacci constant whose associated polynomial produces a double root at q = 1 in the dm³ potential.”

n=2: rho = 1.618034 V'_rho(1) = 1.381966 n=3: rho = 1.839287 V'_rho(1) = 1.160713 <- eta; still nonzero n=4: rho = 1.927562 V'_rho(1) = 1.072438 n=5: rho = 1.965948 V'_rho(1) = 1.034052 n=6: rho = 1.983583 V'_rho(1) = 1.016417 V'_c(1) = 0 requires c = 3. No n-bonacci constant equals 3: they increase monotonically to tau = 2.

Setting c = ρ_n puts the fold at q = 1 for no n whatsoever, η included. This is WP-24's finding in a second costume: a correspondence asserted between two objects that are not the same object.

The defensible reading The bridge is between the rank n = 3 of the Tribonacci recurrence and the coefficient c = 3 of the potential — an integer matching an integer. It is not between the Tribonacci constant η ≈ 1.8393 and c* = 3, which are simply different numbers. The rank reading may still be a coincidence of small integers; WP-29's standard applies, and nothing here upgrades it. What it is not, any longer, is arithmetically false.

Claim 4 — FALSE — the μ_max derivation

“μ_max = −½ V''(1) · ε₀²”, followed by “the product of roots = −2 (Vieta: product of roots of q³−3q+2)”.

-1/2 * V''(1) * eps0^2 = -1/2 * 6 * (1/3)^2 = -0.33333333 != -2 roots of q^3-3q+2 : {1: 2, -2: 1} product = -2 <- arithmetic fine ...but the product of the roots of a potential is not a Lyapunov exponent. No argument connects them. the real derivation, already present one line above: d/dr [ r(1-r^2) ] at r=1 = 1 - 3r^2 |_{r=1} = -2

The stated formula gives −1/3. The Vieta line is numerology of the exact kind WP-29 sweeps for — a true arithmetic fact (1·1·(−2) = −2) recruited as if it were a derivation. Both were removed. Neither was needed: the correct linearisation sat immediately above them and does the whole job.

A refinement the repair surfaced

Checking Claim 4 exposed a further imprecision, not previously flagged. The linearisation is written (1 − 3r²)|_{r=1} = −2, silently dropping the coupling term:

rdot = r(1-r^2) + 2(r-1)e^{-z} d(rdot)/dr = 1 - 3r^2 + 2e^{-z} at r=1 = -2 + 2e^{-z} <- equals -2 only as e^{-z} -> 0 zdot on Gamma = 1 <- so z grows linearly, e^{-z} -> 0

So μ_max = −2 is the asymptotic transverse rate along Γ, exact in the limit z → ∞, not at finite z. The value is right and the conclusion is unchanged; the word “exactly” needed a qualifier and now has one.

3.  What was already correct

Reported as a clean result rather than omitted, per WP-29's practice. The glossary entry in ch-recurrence-ladder.html states the factorisation correctly — V(q) + 2 = (q−1)²(q+2), with the +2 on the left — and Theorem μ.1 likewise says “the double root of V(q) + 2”. Someone had already repaired those two by hand. They are the model the rest were brought into line with.

More substantially: Theorem C.1 was correctly stated all along. It reads “V(1) = −2, V′(1) = 0, V″(1) = 6 ≠ 0, and V(q) + 2 = (q−1)²(q+2)” — which is exactly the Whitney A₁ condition, precisely stated, with the non-degeneracy explicit. The theorem was never wrong. Only the prose around it was, and it drifted in the direction of sounding stronger.

Verdict Four claims checked. Three false as written, one imprecise. No conclusion in the criticality ladder was lost. φ remains subcritical, c* = 3 remains the unique integer-coherent threshold, μ_max remains −2, and the A₁ fold remains an A₁ fold. What died was a family of sentences that described those facts using the vocabulary of degenerate singularities, which is the vocabulary for the case where V″ = 0 — the opposite of what is happening here.

4.  Why this class of error is systematic

The three previous audits each caught a claim with no mathematics under it — a phantom row, a phantom citation, a phantom script. This one is different, and in a way that is worth naming, because the detection method has to differ too.

Here the mathematics was present and correct. Every downstream number is right. The failure was that the prose reached for the most impressive available term. “Degenerate double root” sounds like a deeper statement than “non-degenerate critical point”, and it is — which is exactly why it was the wrong one. The chapters claimed a stronger singularity than they had, while having something perfectly good.

Rule added to the audit method (WP-30 §): when a claim uses a technical term with a precise meaning in a neighbouring field, check the term against that meaning, not against the surrounding argument. An argument can be internally consistent and still be using a word that means something else to everyone who owns it. Grep for the vocabulary of the strongest nearby claim: degenerate, double root, singular, exact, canonical, unique.

5.  Open items

ItemStatus
chH-collatz · chE-gtctclosed 2026-08-12 — all four read
n = 3 ↔ c = 3 rank correspondence[OPEN] arithmetically consistent; no derivation shown that it is more than integer coincidence
Whether ε₀ = 1/3 follows from the A₁ fold or is independent[OPEN] Theorem C.1 asserts it is forced; the Gronwall chapter derives it separately
Inner basin r★ = 0.77594058[OPEN] numerical to 8 digits, not proved — AXLE Issue #13, unchanged by this paper
A note on tone, inherited from WP-30: none of this requires assuming bad faith, and in this case it does not even require assuming carelessness. These are the sentences a person writes when they understand the geometry and are reaching for language to convey that it is sharp. The audit's job is to restore the label to the truth — and here the truth was slightly less dramatic and entirely intact.

5a.  Follow-up: two of the four [OPEN] files read (2026-08-12)

Two of the four files flagged by the signature scan have now been opened. One carried a defect of exactly the class this paper is about — a correct theorem under an incorrect name.

chEps-gronwall.htmldefect found, repaired

The chapter's seven proofs of ε₀ = 1/3 are all arithmetically correct and none is withdrawn. Checked: the ODE factors as −ρ(1+ρ)(2+ρ); Proof I's minimum of 1+3ρ+ρ² on [−1/3, 1/3] is 1/9 at ρ = −1/3; Proof II's 2/6 and Proof VII's 2/(2·3) are 1/3; the quoted (3−√5)/2 ≈ 0.382 carries a 14.6% margin as stated.

The defect was the subtitle: “the dm³ limit-cycle basin radius.” ε₀ = 1/3 is the Grönwall radius of the reduced transverse ODE (the z → ∞ limit, where e−z → 0). For that ODE the fixed points are {0, −1, −2} and 1/3 sits safely inside the basin (−1, ∞). The full system's basin is asymmetric with inner edge r★ = 0.77594058, and 1 − 1/3 = 0.6667 lies below it — so the ball is not conservative, it misclassifies.

full 3-D dm3 system, solve_ivp DOP853-class, rtol=1e-11, atol=1e-13 r0 = 0.6667 -> ESCAPES (r -> -6.36, z -> -27) r0 = 0.7759 -> ESCAPES r0 = 0.7760 -> converges to Gamma r0 = 0.8000 -> converges to Gamma

Repaired: subtitle restated, Proof II's geometric gloss reworded from “basin radius” to “guaranteed contraction radius”, and a dated correction notice added carrying the integration above. The Lean development is untouched — it verifies the reduced-ODE statement, which is true.

chRho-spectral.htmlsubstantially clean

No double-root or degeneracy claim. The chapter is explicit that it is a programme rather than a proof: it lists open obligations O-RH1–O-RH6 and names rhEquiv as “the core sorry”. Its attribution of the Weinstein conjecture for closed contact 3-manifolds to Taubes (2007) is correct, and the claim that σ = ½ is the unique fixed set of s ↦ 1−s̄ is correct.

One inherited phrase: it repeated “ε₀ = 1/3 is the basin”. Now qualified in place, pointing at the ε₀ chapter.

chH-collatz.htmlinternal contradiction, repaired

Largely self-corrected already: the page carries WP-29's fixes in visible correction notices — the g₆ = 33 card downgraded to OPEN CONJECTURE, the “not a coincidence” triad analogy removed with the arithmetic retained, an explicit Honest Position section, and a Lean skeleton that is openly sorry. The six-step chain tags each step ESTABLISHED / EMPIRICAL / ARGUED.

The defect: step 2 of that chain read “ESTABLISHED — The monster threshold g₆ = 33 marks physical stability” — contradicting Role 1 of the same page, which already carries the WP-29 correction downgrading that claim. A page may not tag one claim ESTABLISHED in one section and OPEN CONJECTURE in another. Retagged, with the reason and the cross-references stated inline.

chE-gtct.htmlclean

No defect found. Axiom 9 (“Honest Incompleteness”) names the nine sorrys outright. Its arithmetic checks: √(7/9) ≈ 0.882, τ·ε* = 2/3, τ − Ω ≈ 0.0164, 2⁶ = 64.

Its two theorem citations were verified against the Zenodo record, not merely matched by string. 10.5281/zenodo.19122168 is Generative Contact Mechanics v1 (19 March 2026, in the Principia Orthogona community). Its Theorem B is “the category dm³ is closed under a unification operator” — exactly as the chapter states. The bundled companion paper's Theorem A is “the global attractor of the full system is the resonant orbit Γ₁₂”, submitted to SIAM J. Applied Dynamical Systems — also exactly as stated. Both are version DOIs, which is the prescribed form.

Sweep closed All four signature-flagged files have now been read. Two were clean (chRho-spectral, chE-gtct), two carried one defect each (chEps-gronwall, chH-collatz), both repaired without loss of any conclusion. No file in the flagged set contained the original double-root error — the signature scan's false-positive rate on this set was 100%, which is the expected behaviour of a smoke detector and the reason the files had to be opened rather than reported.

6.  Propagation into the teaching material

A correction that stops at the reference chapters is half a correction. The ladder is taught from AULA 102 onward, so the same signature scan was run across all 59 dm³ 101 / 102 / 103 lesson pages, the course indices, the Vol IV mini-curso sessions, and the Hour House AULA index.

ScannedResult
57 of 59 lesson & course filesclean — no double-root or degenerate-root claim anywhere in the teaching material
dm3-courses-101-102-103.htmlclean — its uses of “degenerate” refer to the contact condition α ∧ dα ≠ 0, which is correct usage
dm³ 102 · w06 — Tribonacci η weightingcorrected 2026-08-12 — see below

The one hit was the softer form of Claim 3. The lesson read: “φ ≈ 1.618 is subcritical (below c* = 3), η is critical, Δ ≈ 1.928 supercritical.” No double root is asserted — but the sentence places the n-bonacci constants and the coefficient c* on a single axis, which reads as η = c*. On that axis φ, η and Δ all sit below 3, so calling Δ ≈ 1.928 “supercritical” relative to 3 is backwards.

What the lesson now says The ladder is indexed by the recurrence rank n — n = 2 subcritical, n = 3 critical, n = 4 supercritical — and the threshold is the coefficient c* = 3, matching the rank integer to integer. The constants are not on that axis: they increase monotonically to τ = 2 and never reach 3. The pedagogical ordering φ → η → Δ survives untouched; only the axis it is plotted against is named correctly.

Two further teaching links were added rather than corrected: w06 now points at Chapter Ju alongside Ch η, so a student who asks “why does the wording matter?” has somewhere to go. The Hour House framing is the honest one here: the course teaches justification over description at B2–C1, and this correction is that operation performed at professional stakes.

7.  How to cite

Citation
Grossi, Pablo Nogueira (2026). The Root-Language Sweep: “double root” ≠ “degenerate” ≠ “critical point”. Principia Orthogona, Vol VI · Working Papers, WP-61. G6 LLC, Newark, New Jersey.
totogt.github.io/geometry/book6/wp61-root-language-sweep.html
@techreport{grossi2026rootlanguage,
  author      = {Grossi, Pablo Nogueira},
  title       = {The Root-Language Sweep: "double root" is not "degenerate"
                 is not "critical point"},
  institution = {G6 LLC},
  address     = {Newark, New Jersey},
  year        = {2026},
  month       = {8},
  number      = {WP-61},
  series      = {Principia Orthogona, Vol VI, Working Papers},
  url         = {https://totogt.github.io/geometry/book6/wp61-root-language-sweep.html},
  note        = {No DOI assigned as of 2026-08-12.}
}
On the identifiers. No DOI has been assigned to this working paper as of 2026-08-12; it has no standalone Zenodo deposit, and none should be invented for it. There is no series-level DOI either. If you need one pointer for Principia Orthogona as a whole, cite the Zenodo community zenodo.org/communities/principia-orthogona — not a concept DOI, which resolves to whichever version was deposited most recently and therefore pins nothing. Where a claim depends on what a text actually says, cite a version DOI of that specific work. This is not a stylistic preference: a concept DOI cited as a series root put a phantom citation into this corpus and kept it there for two months, which is what WP-28 is about.
← WP-31B · How to Audit June Huh · the neighbouring field →
Proved · kernel-checked
supercritical CardiacHopfReduction.lean:52 Each name above is declared in this repository at the line shown and appears in an axiom report with no sorryAx. A clean axiom report is not a reading of the statement: per R20, a theorem can assume its conclusion and still report clean. Follow the link before citing one as evidence.