A registered result in its source context
Original ledger classification: Coupled hypergraph rewrite [E]/[O] (one local rule unifies carrier x family; joint attractor marks x e0; recovery (2/3)^6 after one hand; v324 fiber emerges as cusp readout; v299 growth unchanged) -- mechanism unified, phi0 + seed remain
Recorded statement: HYP.COUPLED.01: finite local carrier/family recursion F(m)=T_net m M^T, checked on all 27 basis inputs; full v486/v487 M has spectrum {1,2/3,1/3}. The joint Perron line is marks tensor e0. One hand is one network step and six family…
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.COUPLED.01
Original ledger classification: Coupled hypergraph rewrite [E]/[O] (one local rule unifies carrier x family; joint attractor marks x e0; recovery (2/3)^6 after one hand; v324 fiber emerges as cusp readout; v299 growth unchanged) -- mechanism unified, phi0 + seed remain
Original claim text
HYP.COUPLED.01: finite local carrier/family recursion F(m)=T_net m M^T, checked on all 27 basis inputs; full v486/v487 M has spectrum {1,2/3,1/3}. The joint Perron line is marks tensor e0. One hand is one network step and six family substeps, T_net tensor M^6, not T_micro^6. Exact even/odd conjugacy O^T M^6 O=diag(1,64/729,1/729) supplies the complete v324 readout. v299 growth is unchanged. P2 and phi0 remain inputs. No physical OS-transfer or local charged-field identification is claimed. Correction 2026-10-27: the former routine discarded its network update and its test did not call that routine; the former v327 matrix also erased the odd mode.
Original classification detail
[E] finite local recursion on 27 cells, actual-function basis check, joint attractor, full three-mode basis conjugacy, and scheduled 1:6 hand; [O] P2 and phi0 inputs. No physical OS-transfer or charged-field derivation. Existing status retained; executable defect corrected 2026-10-27.
Dependencies as recorded
HYP.0D.01; HYP.FIBER.01; HYP.REWRITE.01; HYP.REWRITE.02; HYP.REWRITE.03; v299; v324; v327; v486; v487
Open the original ledger source, row 462Location 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.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-06-24 (Coupled hypergraph rewrite: v395 unifies carrier [formula in source] family in one local rule)Research changelog; TFPT — Introduction and reading guide
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.
- 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 compiler: why [formula in source]TFPT — Introduction and reading guide
- The whole integer skeleton from one pair [formula in source]Origin Theory
- The whole integer skeleton from one pair [formula in source]origin theory
Registered verification modules
- v395_hypergraph_coupled.pyRegistered verification module · frontier
Read the description recorded in the module registry
HYP.COUPLED.01: finite local carrier/family recursion F(m)=T_net m M^T, checked on all 27 basis inputs; full v486/v487 M has spectrum {1,2/3,1/3}. The joint Perron line is marks tensor e0. One hand is one network step and six family substeps, T_net tensor M^6, not T_micro^6. Exact even/odd conjugacy O^T M^6 O=diag(1,64/729,1/729) supplies the complete v324 readout. v299 growth is unchanged. P2 and phi0 remain inputs. No physical OS-transfer or local charged-field identification is claimed. Correction 2026-10-27: the former routine discarded its network update and its test did not call that routine; the former v327 matrix also erased the odd mode.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.