403 sections found. Current publication documents are listed before historical material.
Research changelog · TFPT — Introduction and reading guide
Wolfram mirror of the cyclotomic/Galois arithmetic arc (the independent second path). The exact algebraic results of the arc are now mirrored in verification/wolfram/tfpt_readouts_extension.wl (ten new checkExact blocks, [formula in source] , all passing): v313 (the affine- [formula in source] characteristic polynomial with the golden factor [formula in source] ; the [formula in source] atoms as [formula in source] ;
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 174 to 216
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v315_coxeter_coupling.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v320_galois_cp_relation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v313_golden_atoms_spectral.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v309_modular_bedrock.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v323_bw_geometric_modular.py
literal source filename/path in TeX
- explicit script identifier v323_bw_geometric_modular.py
literal short identifier uniquely resolves in local script registry
- explicit file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v317_galois_family.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v318_arithmetic_capstone.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v322_cp_lock_sharpened.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v316_galois_readout.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v322_cp_lock_sharpened.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v324_hypergraph_fiber.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v308_seam_equiv_chain.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v324_hypergraph_fiber.py
literal source filename/path in TeX
- cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v321_killtest_board.py ( KILL.BOARD.01, ). The forward companion to v307 (the current-data board): the decisive upcoming measurements, ranked and each locked to a freeze_file.csv kill row – \#1 JUNO [formula in source] (fastest), \#2 CMB-S4/LiteBIRD [formula in source] (kill [formula in source] ), \#3 DESI/Euclid [formula in source] (kill [formula in source] ), \#4 DUNE/Hyper-K [formula in source] (the new v320 Galoi
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 217 to 228
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v320_galois_cp_relation.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v307_data_watchdog.py
literal short identifier uniquely resolves in local script registry
- explicit file citation freeze_file.csv
literal source filename/path in TeX
- explicit script identifier v321_killtest_board.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v321_killtest_board.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
SeamEquivChain.lean ( FORM.SEAMEQUIV.01, Lean 4, / ). A Lean 4 mirror of the v308 closing chain: the four nodes [formula in source] assembled as a well-typed composition theorem seamEquivChain, with the three cited literature steps (Kitaev free-fermion invertibility; M\"uger / Kawahigashi–Longo–M\"uger holomorphy; Conway–Sloane [formula in source] uniqueness) as named axioms and the carrier recovery gap (the OS step)
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 229 to 244
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit lean symbol SeamEquivChain.lean
exact texttt symbol under explicit Lean/theorem context
- cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation SeamEquivChain.lean
literal source filename/path in TeX
- explicit script identifier v308_seam_equiv_chain.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
Research changelog · TFPT — Introduction and reading guide
v320_galois_cp_relation.py ( GALOIS.CP.PREDICT.01, / / ). The v316 follow-up turned into a testable cross-prediction. \ both leading CP phases are powers of the one hexagonal unit [formula in source] of the family Galois factor: [formula in source] ( [formula in source] ), [formula in source] ( [formula in source] ), and [formula in source] locks them as [formula in source] (the [formula in source] sheet flip); \ thi
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 245 to 259
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
v319_translation_clock.py ( TRANSLATE.CLOCK.01, / ). A synthesis of the v313– v318 arc with v124/ v55, answering the question ``is the static [formula in source] dynamic translation a clock running [formula in source] or [formula in source] ?''. \ the only object holding both the static carrier ( [formula in source] ) and the dynamic family (rational) data is the order- [formula in source] Coxeter element ( v314); [f
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 260 to 283
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v318_arithmetic_capstone.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v319_translation_clock.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v315_coxeter_coupling.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v316_galois_readout.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v319_translation_clock.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v56_unique_attractor.py
literal short identifier uniquely resolves in local script registry
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v313_golden_atoms_spectral.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v124_resummed_clock.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v55_coxeter_cycle.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v318_arithmetic_capstone.py ( ARITH.CAPSTONE.01, / ). The synthesis of the v313– v317 arc. \ the SM structural sector (the [formula in source] generations, the [formula in source] CP phases, their orbit/hierarchy) is the cyclotomic field [formula in source] with Galois group [formula in source] (degree [formula in source] rank [formula in source] , [formula in source] ), forced by the anchor atoms [formula in source]
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 284 to 299
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
v317_galois_family.py ( GALOIS.FAMILY.01, / ). The v316 follow-up to the generation structure. \ the three cusp weights [formula in source] (with [formula in source] , the [formula in source] exponents) are the cube roots of unity [formula in source] under [formula in source] , and the cyclic family symmetry [formula in source] is a transitive [formula in source] orbit (the family IS the cube-root orbit); \ the trans
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 300 to 314
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v317_galois_family.py
literal source filename/path in TeX
- explicit script identifier v317_galois_family.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v316_galois_readout.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v316_galois_readout.py ( GALOIS.READOUT.01, / ). The v315 follow-up to phenomenology: does the Galois coupling [formula in source] reach the physics? \ it does, through the family factor — the hexagonal CP unit [formula in source] is exactly the order- [formula in source] factor [formula in source] of v315 (the carrier being [formula in source] ); \ the leading CP phases are its cyclotomic arguments [formula in sourc
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 315 to 330
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v233_cp_triality_phase.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v315_coxeter_coupling.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v231_cp_mu6_phases.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v316_galois_readout.py
literal source filename/path in TeX
- explicit script identifier v316_galois_readout.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v315_coxeter_coupling.py ( COX.COUPLE.01, / ). Answers the v314 question — does [formula in source] couple the carrier ( [formula in source] -fold, golden, [formula in source] ) and family ( [formula in source] , rational) sectors, or just factorize? \ the cyclic group factorizes: [formula in source] (direct product, group-decoupled, in line with the v314 field obstruction); \ the [formula in source] exponents [formu
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 331 to 347
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
v314_rate_translation.py ( RATE.TRANSLATE.01, / ). Answers, exactly, whether the discrete kernel (the affine- [formula in source] network, carrying the golden ratio) and the dynamic part (the seam transfer, carrying the recovery rate [formula in source] ) translate. \ FIELD SPLIT: the adjacency spectrum is the rational part [formula in source] plus the golden part [formula in source] , while the transfer spectrum [fo
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 348 to 364
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
v313_golden_atoms_spectral.py ( GOLD.ATOMS.01, / ). A follow-up to v312's observation, made exact. \ the affine- [formula in source] adjacency characteristic polynomial factors as [formula in source] , so the golden minimal polynomial [formula in source] divides it and [formula in source] is an exact eigenvalue; \ the non-trivial eigenvalues are [formula in source] for exactly [formula in source] ( [formula in source
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 1 to 18
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v313_golden_atoms_spectral.py
literal source filename/path in TeX
- cross reference join KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v63_seam_engineering_index.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v305_witness_independence.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v313_golden_atoms_spectral.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v308_seam_equiv_chain.py ( SEAM.EQUIV.CHAIN.01, / ). TOE attack point 1: the keystone ``the raw seam-Calder\'on net is the holomorphic [formula in source] [formula in source] net'' assembled into ONE well-typed logical chain [formula in source] , with the exact discriminators [formula in source] vs [formula in source] , the carrier tower [formula in source] and [formula in source] all machine-checked; the input gap i
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 19 to 55
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- cross reference join BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v308_seam_equiv_chain.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v309_modular_bedrock.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v311_gap_decoupled_measure.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v214_seam_pillowcase.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v312_hypergraph_substrate.py
literal source filename/path in TeX
- cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v308_seam_equiv_chain.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v310_carrier_sm_anomaly.py
literal source filename/path in TeX
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v305_witness_independence.py ( WITNESS.ECON.01, ). The structural anti-numerology firewall complementing the v100 phenomenological null test, against the sharpest self-deception worry (``the same integer counted many times as if independent''). Every headline integer ( [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 56 to 91
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v305_witness_independence.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v237_seam_sre_closure.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v307_data_watchdog.py
literal source filename/path in TeX
- explicit script identifier v307_data_watchdog.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v305_witness_independence.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v143_graded_frobenius.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v84_frozen_registry.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v306_seed_crossval.py
literal source filename/path in TeX
- explicit file citation freeze_file.csv
literal source filename/path in TeX
- explicit script identifier v83_e8net_holomorphic_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v301_route_a_invertible.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v100_numerology_null_mc.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v304_idg_nonlocal_ghost.py ( QGAMB.IDG.01, / ). A conditional, parameter-free narrowing of the red-team rt_F/ v278 Stelle-ghost attack on the perturbative gravity sector. \ the local [formula in source] Weyl [formula in source] four-derivative propagator [formula in source] carries a negative-residue massive spin-2 mode (the Stelle ghost) only as a truncation artefact; \ for an entire graviton form factor [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 92 to 115
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v281_holomorphy_modular_data.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v278_lsz_bridge_unitarity.py
literal short identifier uniquely resolves in local script registry
- cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v92_glue_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v277_seam_calderon_e8_match.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v234_seam_holomorphy_selection.py
literal short identifier uniquely resolves in local script registry
- cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v267_qgeo_rigidity_minimal_axiom.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v259_modular_cutoff_kappa.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v1_e8_glue.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v304_idg_nonlocal_ghost.py
literal source filename/path in TeX
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v260_k3_kummer_unification.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v303_ftransfer_dynamics.py asks whether the main-branch mechanism — a gapped, positivity-preserving relaxation to a unique attractor (the local-averaging update [formula in source] the [formula in source] marks, gap [formula in source] ) — is also the shape of the four F_transfer instances, or an unrelated bolt-on. It is the same shape: \ F_pole (Koide) is the seam dynamics (M\"obius multiplier [formula in source] ,
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 116 to 132
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
v302_seam_gap.py closes the chain on the single statement v301 had left: ``the quasi-free seam bulk is gapped''. That gap is not a free input — it is the established Recovery gap of the seam transfer operator, derived from the carrier. \ the frozen transfer spectrum is [formula in source] ( v160/ v162), a simple Perron eigenvalue [formula in source] separated from the rest; \ the gap is [formula in source] (multiplic
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 133 to 151
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v302_seam_gap.py
literal source filename/path in TeX
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v162_seam_transport_identification.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v301_route_a_invertible.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v300_flataway_rigid.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v297_route_a_literature_stack.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v301_route_a_invertible.py attacks the single remaining unconditional gap of SEAM.EQUIV.01. Since v300 collapsed Route B into Route A's rationality, that gap is Route A's open hypothesis ( v297 LIT-A): ``the raw quasi-free seam bulk is invertible (SRE)''. A gapped free-fermion (Gaussian) [formula in source] D bulk cannot carry intrinsic topological order — free fermions give the integer (IQHE/Chern) phases, all inver
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 152 to 170
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
v300_flataway_rigid.py attacks the single external fact the three Flat-Away routes ( v291/ v293/ v295) left open, on two fronts. Harden: the flat seam was only a soft minimum (``the spectral mismatch grows with [formula in source] ''); here the obstruction becomes a discrete on/off invariant. \ the flat fingerprint — [formula in source] is the integer ladder with every level [formula in source] of multiplicity exactl
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 171 to 189
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v300_flataway_rigid.py
literal source filename/path in TeX
- explicit script identifier v295_flataway_a2_exact.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v293_flataway_spectral_hessian.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v300_flataway_rigid.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v291_flataway_contract.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v299_hypergraph_0d_autonomous.py hardens the Wolfram/hypergraph reading into a precisely typed bridge (builds on v219/ v298): \ the icosahedron is a 3-uniform hypergraph ( [formula in source] ; the McKay group is the [formula in source] binary lift [formula in source] , a different order-120 group whose McKay graph is affine [formula in source] ; [formula in source] edges [formula in source] ); \ the [formula in sour
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 190 to 206
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
v298_e8_network_attractor.py is an honest audit of the ``TFPT as a hypergraph/rewrite system'' idea, on the v219 McKay bedrock. \ the affine- [formula in source] Kac marks [formula in source] are the unique dynamical attractor of a minimal local-averaging update [formula in source] on the [formula in source] McKay graph (converges from any positive start; [formula in source] , top eigenvalue [formula in source] ); th
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 207 to 219
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.