A registered result in its source context
Original ledger classification: Exact [E] + typed consistency [C] (thresholds closed rational; verified numerically; response level only)
Recorded statement: The interacting follow-up of v572, executed -- RANK-ONE EXT-SOURCE COUPLING ON THE GIBBS PENCIL SEPARATES THE 81-TWINS DIRECTIONALLY INSIDE THE UNIT COUPLING BOX (one module, 8 checks, ~1 s; discovery probe ext_source_response_probe.py…
Statement, assumptions and sources
Paper context: E8 audit and bootstrap
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
DIAMOND.BIT.EXTSOURCE.01
Original ledger classification: Exact [E] + typed consistency [C] (thresholds closed rational; verified numerically; response level only)
Original claim text
The interacting follow-up of v572, executed -- RANK-ONE EXT-SOURCE COUPLING ON THE GIBBS PENCIL SEPARATES THE 81-TWINS DIRECTIONALLY INSIDE THE UNIT COUPLING BOX (one module, 8 checks, ~1 s; discovery probe ext_source_response_probe.py 8/8, verdict UNIT-BOX-SEPARATED): the interacting kernel K(s,J) = K0 + s K_Pi + J v v^T (v from the shared Ext arrows E31/E32 of the radical row) has EXACT rational flip thresholds J_c(s) = -1/(v^T K(s)^{-1} v) whose numerators are exactly the v572 pencil factors (compiler: 15s^2-16s-16; alt: s^2+16s+16); numerically verified (16 flip events, one eigenvalue negative -> positive each). THE SEPARATION: in the crossed phase s in (-1, s*] the compiler twin is healed by positive coupling J_c <= 15/16 < 1 through either arrow; the alt twin cannot be flipped by any positive coupling in the open unit box (E31 threshold >= 1 with equality exactly at s = 0, E32 threshold negative throughout): positive Ext coupling inside |J| < 1 selects exactly the compiler twin. Exact anchors: J_c(-1) = 15/16; alt J_c(0) = 1 and -1; both compiler thresholds vanish exactly at s*. The direction is strictly positive (negative coupling never heals) -- consistent with the v534 toy RP selection of positive seam coupling. Observed structure: the compiler E31 response pole sits on the golden polynomial s^2 - s - 1 (s = -1/phi = -0.618, 0.011 above s* = -0.629); typed as observed, no claim built on it. Mechanism: the v572 critical mode is Ext-visible (pairings 1/4 and 1/2 + sqrt(19)/4), hence J_c(s*) = 0 exactly. HONEST TYPING: a RESPONSE-level selection (inertia restoration in a declared coupling box), NOT an OS/RP positivity theorem -- no kernel is ever PSD; the alignment-bit contract stays open.
Original classification detail
UNIT-BOX-SEPARATED: positive Ext coupling inside |J| < 1 heals exactly the compiler twin (J_c <= 15/16, thresholds exact with v572 pencil-factor numerators); alt twin rigid; golden-polynomial response pole observed; response-level, contract stays open; 8/8 checks
Dependencies as recorded
DIAMOND.BIT.RPFORM.01; DIAMOND.BIT.SELECT.01; QGEO.QRECON.01; v534; v568; v572
Open the original ledger source, row 613Location 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.
- Architecture, E8 and the electromagnetic fixed point
- Standard Model and flavor structure
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.
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Group-theoretic audits (optional)E8 audit and bootstrap
- =150 2026-07-31 (XVII) (the interacting RP route of the alignment bit, executed: EXT-SOURCE COUPLING SEPARATES THE 81-TWINS DIRECTIONALLY IN THE UNIT BOX ( v584 promoted) — exact rational flip thresholds with the v572 pencil factors as numerators; positive coupling [formula in source] heals exactly the compiler twin, the alt twin is rigid; response pole on the golden polynomial)Research changelog; TFPT — Introduction and reading guide
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
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.
- How to read this documenttfpt 1 architecture e8
- How to read this documentArchitecture, E8 and the electromagnetic fixed point
- The Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- Front matter / supportStandard Model and flavor structure
- How to read this documenttfpt 1 architecture e8
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v584_ext_source_response.pyRegistered verification module · core
Read the description recorded in the module registry
DIAMOND.BIT.EXTSOURCE.01: die interagierende RP-Fortsetzung von v572 — Rang-1-Ext-Source-Kopplung auf dem Gibbs-Pencil trennt die 81-Twins RICHTUNGSABHÄNGIG im Einheits-Kopplungsfenster: exakte rationale Flip-Schwellen J_c(s) = -1/(v^T K(s)^{-1} v), deren Zähler GENAU die v572-Pencil-Faktoren sind; in der gecrossten Phase heilt positive Kopplung J <= 15/16 < 1 den Compiler-Twin (über beide Ext-Pfeile), während der Alt-Twin von keiner positiven Kopplung in |J| < 1 geflippt werden kann (E31-Schwelle >= 1, Gleichheit exakt bei s = 0; E32-Schwelle negativ); Richtung strikt positiv (konsistent mit v534); Pol der Compiler-Antwort auf dem GOLDENEN Polynom s^2-s-1 (−1/φ = −0.618, neben s* = −0.629); Mechanismus: der kritische v572-Modus ist Ext-sichtbar, daher J_c(s*) = 0 exakt; ehrlich: Response-Level-Selektion, kein OS/RP-Positivitätssatz, Contract bleibt offen (8 checks, ~1 s)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.