A registered result in its source context
Original ledger classification: Construction/uniqueness [E]/[O] (full spectrum from the unique lazy Z2-pair walk; split selection stays open)
Recorded statement: THE FULL TRANSFER SPECTRUM FROM ONE FORCED LOCAL RULE (2026-07-15, generator-hunt round; sharpens HYP.REWRITE.01/v327): the verified seam transfer spectrum {1, (2/3)^6, (1/3)^6} (v54/v221) now has a single local recursive generator -- the…
Statement, assumptions and sources
Paper context: Origin Theory
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
HYP.REWRITE.02
Original ledger classification: Construction/uniqueness [E]/[O] (full spectrum from the unique lazy Z2-pair walk; split selection stays open)
Original claim text
THE FULL TRANSFER SPECTRUM FROM ONE FORCED LOCAL RULE (2026-07-15, generator-hunt round; sharpens HYP.REWRITE.01/v327): the verified seam transfer spectrum {1, (2/3)^6, (1/3)^6} (v54/v221) now has a single local recursive generator -- the LAZY Z2-PAIR WALK. [E] UNIQUENESS: for the 3-channel rule M(s,h) = [[1,0,0],[0,s,h],[0,h,s]] (one absorbing family channel + symmetric Z2 pair) the survival spectrum is {s+h, s-h}; demanding the PHYSICAL pair {2/3, 1/3} forces UNIQUELY (stay, hop, leak) = (1/2, 1/6, 1/3) = (1/|Z2|, 1/(|Z2| N_fam), 1/N_fam) -- all three rates exact atom expressions (recorded; honest direction: spectrum -> rates). [E] SIX-HAND GENERATION: over the order-6 = 2 N_fam = |R+(A3)| dynamic hand (v327's hand) the rule generates EXACTLY eig(B^6) = {64/729, 1/729} = {(2/3)^6, (1/3)^6}; the two decay gaps are 6 ln(3/2) (the recovery gap, v76) and 6 ln 3 (the subdominant gap -- previously WITHOUT any local-rule origin). [E] SUPERSESSION: v327's uniform rule (s = h = 1/3, spectrum {2/3, 0}) has a persistent zero mode under every power -- no iterate can produce the (1/3)^6 mode; its lambda_2 content (2/3 = |Z2|/N_fam from the arity) is unchanged; superseded as generator of the FULL spectrum. [E] sub-stochastic, symmetric (detailed balance on the pair), absorbing democratic family attractor unchanged (v317). [O] HONEST RESIDUAL: the arity {|Z2|, N_fam} = {2, 3} stays the anchor input (as in v327); ADDITIONALLY the lazy split (1/2, 1/6) vs the uniform split (1/3, 1/3) is SELECTED by the physical spectrum, not yet derived from a first principle -- named candidate: 'stay = 1/|Z2|' as the sheet-symmetric choice of the Z2 involution (recorded, not claimed). Discovery provenance: experiments/tfpt-discovery/generator_hunt_full_transfer_rule.py (with the anchor-bilinear coverage inventory and the lepton-exponent (5,3,2) = K-row = atom-triple observation, both typed, no unforced claims). No gate closes, no marker moves. UPDATE 2026-07-15 (v487/HYP.REWRITE.03): the split selection [O] CLOSES -- the lazy rule's one-step spectrum is the complete v124 clock ladder below the wall and ladder faithfulness + Z2 equivariance + rates >= 0 force (1/2, 1/6) uniquely (the uniform rule collapses the odd channel onto the wall); only the arity and the clock's semiclassical derivation remain open.
Original classification detail
Full-spectrum generator [E]: unique lazy Z2-pair walk (1/2, 1/6, 1/3); (1/3)^6 mode generator-full (gap 6 ln 3); v327 rule = degenerate case; arity [O]; split selection CLOSED by v487 (clock-ladder faithfulness)
Dependencies as recorded
HYP.REWRITE.01; HYP.FIBER.01; HYP.INJECT.01; DYN.SEMIGROUP.01; v54; v76; v221; v312; v317; v324; v327; v395
Open the original ledger source, row 547Location 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.
- Origin Theory
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-07-15 ( v486 — generator hunt: the FULL transfer spectrum [formula in source] from ONE forced local rule — the unique lazy [formula in source] -pair walk [formula in source] ; the previously generator-less [formula in source] mode gets its origin; v327's uniform rule superseded as full-spectrum generator — no gate closes, no marker moves)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.
- How to read this documenttfpt 1 architecture e8
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- Front matter / supportArchitecture, E8 and the electromagnetic fixed point
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- 2026-07-15 (II) ( v487 — the lazy split FORCED by the resummed clock: the walk's one-step spectrum is the complete v124 clock ladder below the wall, deck parity [formula in source] rung index, and the two comb tones are one bend apart — the v486 \ ``split selection'' closes onto established structure; no gate closes, no marker moves)Research changelog; TFPT — Introduction and reading guide
- The compiler: why [formula in source]TFPT — Introduction and reading guide
- The whole integer skeleton from one pair [formula in source]Origin Theory
- Front matter / supportE8 audit and bootstrap
All 16 linked sections
- 2026-07-21 (IV) (Wolfram engine reactivated — the deferred second-path mirrors VERIFIED: base [formula in source] [formula in source] extension [formula in source] ( [formula in source] , the 16 mirrors accumulated since 2026-07-14 now counted); GATE.WOLFRAM.01/02 and all counter surfaces synced; no gate closes, no marker moves)
- Group-theoretic audits (optional)
- How to read this document
- Ausführbare Ergebnisse der Sitzung
- Group-theoretic audits (optional)
- 2026-06-24 (Coupled hypergraph rewrite: v395 unifies carrier [formula in source] family in one local rule)
- Der zweite Clockwert entscheidet über die noch fehlende Prozessidentität
- The whole integer skeleton from one pair [formula in source]
Registered verification modules
- v486_transfer_full_rule.pyRegistered verification module · core
Read the description recorded in the module registry
HYP.REWRITE.02: the FULL physical transfer spectrum {1, (2/3)^6, (1/3)^6} now has ONE local recursive generator -- the lazy Z2-pair walk. [E] uniqueness: the symmetric 3-channel rule M(s,h) (one absorbing family channel + Z2 pair) has survival spectrum {s+h, s-h}; demanding the physical pair {2/3, 1/3} forces uniquely (stay, hop, leak) = (1/2, 1/6, 1/3) = (1/|Z2|, 1/(|Z2| N_fam), 1/N_fam); [E] over the order-6 = 2 N_fam = |R+(A3)| hand it generates eig(B^6) = {64/729, 1/729} exactly -- the previously generator-less (1/3)^6 mode gets its origin (subdominant gap 6 ln 3, alongside the recovery gap 6 ln(3/2)); [E] v327's uniform rule (spectrum {2/3, 0}) can never produce the third mode under any power -- superseded as full-spectrum generator (its 2/3 arity story unchanged); [O] the arity {2,3} stays the anchor input and the lazy-vs-uniform split is selected by the physical spectrum (named candidate: stay = 1/|Z2| as the sheet-symmetric choice). Exact, nothing closes.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.