403 sections found. Current publication documents are listed before historical material.
Research changelog · TFPT — Introduction and reading guide
New module v434 ( ALPHA.QUILLEN.PROGRESS.03) — it settles the status of the three residuals named after v433 and shows they are not three independent open problems. The target ALPHA.QUILLEN.EXACT.01 ( v382) stays ; [formula in source] stays . \ [formula in source] is the [formula in source] [formula in source] heat-kernel coefficient (the [formula in source] theorem). The one-loop [formula in source] function of a ga
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 31 to 65
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
New module v433 ( ALPHA.QUILLEN.PROGRESS.02) — a second honest step on the external target ALPHA.QUILLEN.EXACT.01 ( v382); it grounds and connects, it does not close it. The target stays \ (external math, type A, v384); the value [formula in source] stays . The earlier honest attempt v391 gave a solvable model on a [formula in source] D circle whose [formula in source] -determinant variation reached only the low Seel
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 66 to 96
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
New module v431 ( E8.DEGREE.LADDER.01) — the reverse-audit ``unmapped'' [formula in source] Casimir degrees are NOT diffuse overhead but a forced two-family decomposition. The structural complement of the reverse audit ( v354/ v355) and its sheet/deck complement ( v430): [formula in source] . \ the two-family split is forced by [formula in source] — the exponents are the [formula in source] totatives of [formula in s
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 97 to 132
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 file citation status_ledger.csv
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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation run_all.py
literal source filename/path in TeX
- explicit file citation script_registry.csv
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 v135_det_surface.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v100_numerology_null_mc.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
- 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 v431_e8_degree_ladder.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v432_overdet_floor.py
literal short identifier uniquely resolves in local script registry
- explicit file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- explicit script identifier v91_spine_tetrahedron.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v427_overdet_witness_map.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v428_overdet_reclass.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v430_other_side_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v382_alpha_quillen_exact.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v187_ftransfer_laws.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 v354_e8_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v355_e8_unmapped_bandwidth.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
Research changelog · TFPT — Introduction and reading guide
New module v430 ( E8.OTHERSIDE.AUDIT.01) — the sheet/deck complement of the reverse audit ( v354/ v355). The reverse audit found five [formula in source] Casimir degrees [formula in source] with no primary readout (``hull overhead''); the double cover has an other side (the one-sided [formula in source] collar / conjugate half-spinor [formula in source] ), so the sharp adversarial follow-up is ``is the leftover where
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 133 to 161
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v354_e8_reverse_audit.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 v227_degree_exponent_channel_split.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v355_e8_unmapped_bandwidth.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v58_seam_horizon_chain.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v216_marks_gauss_bonnet.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 script_registry.csv
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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v430_other_side_reverse_audit.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.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 status_ledger.csv
literal source filename/path in TeX
- explicit file citation run_all.py
literal source filename/path in TeX
Research changelog · TFPT — Introduction and reading guide
New module v429 ( DM.AXION.PENTAGON.01) — a geometric re-reading answering ``why does so much idle [formula in source] structure exist?'' for the one case where the idle structure has a job. The reverse audit ( v354) had argued the golden ratio [formula in source] is unmapped (it appears only internally — the affine- [formula in source] attractor angle v312, the icosian lattice v348 — and in no physical readout), and
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 162 to 188
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v211_axion_spine_angle.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v348_seam_rigidity_route.py
literal short identifier uniquely resolves in local script registry
- explicit file citation run_all.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
- 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 v185_axion_relic_solver.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v429_axion_pentagon_phi.py
literal short identifier uniquely resolves in local script registry
- explicit file citation status_ledger.csv
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 script identifier v354_e8_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- explicit file citation script_registry.csv
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 script identifier v313_golden_atoms_spectral.py
literal short identifier uniquely resolves in local script registry
- 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 v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
New shared appendix tex-artefacts/tfpt_references.tex (``External works built upon''), input into the six math-heavy documents ( tfpt_1, tfpt_2, tfpt_4, tfpt_horizon_readouts, origin_theory, tfpt_research_contracts). The active papers named the foundational results they build on by author only, with no reference list; the appendix supplies web-verified locators (journal, volume, year / arXiv) grouped by topic: modula
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 189 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
Two recent Adamo–Giorgetti–Tanimoto theorems cited where the keystone builds on them. The open SEAM.EQUIV.01 continuum/realisation legs ( v336) now cite, alongside MMST and Adamo–Moriwaki–Tanimoto ( arXiv:2407.18222, already in use): (a) the construction and classification of two-dimensional conformal nets from even lattices ( arXiv:2506.01008, 2025) — ``the lattice is a conformal net'' is a theorem of the same opera
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 207 to 227
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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 v215_seam_deck_killtest.py
literal short identifier uniquely resolves in local script registry
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v424_seam_lto_rp_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v422_galois_net_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v428_overdet_reclass.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v429_axion_pentagon_phi.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
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v428 ( OVERDET.WITNESS.RECLASS.01) — applying v427's own multiply-vs-compress test to v427 itself. A pattern search and the right objection exposed that calling the seven arithmetic witnesses ``disjoint grammars that multiply'' overstates independence. \ by the Brieskorn classification ( v236) the [formula in source] singularity is the ONE generator behind the order- [formula in source] clock (Milnor [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/012-source.tex · lines 228 to 248
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
Five safeguards figures ( make_figures.py, in manifest.sha256): the layered defense, the [formula in source] uniqueness scan (one [formula in source] variant of [formula in source] in the CODATA window), the reverse audit ( [formula in source] vs [formula in source] ), the witness-independence map (seven disjoint grammars), and the look-elsewhere null model ( [formula in source] vs [formula in source] ). tfpt_safegua
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 249 to 267
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v99_koide_flow_time.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 v321_killtest_board.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v425_dyn_transfer_universal.py
literal short identifier uniquely resolves in local script registry
- explicit file citation make_figures.py
literal source filename/path in TeX
- explicit script identifier v100_numerology_null_mc.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 v307_data_watchdog.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v425 ( DYN.TRANSFER.UNIVERSAL.01) — the single-flow reduction of [formula in source] . The four frontier transfers do not each need a separate external solver: their dynamics is the ONE native flow (the seam modular/recovery semigroup, v238/ v240, gap [formula in source] ) restricted to each sector. \ the v99 Koide generator linearised at [formula in source] has rate [formula in source] , time- [formula in source] co
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 268 to 304
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
New module v424 ( SEAM.EQUIV.LTORP.01). An honest MMST-style reduction of the one open keystone — SEAM.EQUIV.01's intrinsic Bisognano–Wichmann lemma (the v308/ v309 residual) — to the recent commuting-projector theorem of Naaijkens–Penneys–Wallick ( arXiv:2605.10693, [NPW26]), with the central mapping corrected. \ the [formula in source] clock is a modular symmetry ( [formula in source] , v309/ v199), not the flow —
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 305 to 328
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 v89_carrier_index_lemma.py
literal short identifier uniquely resolves in local script registry
- explicit file citation run_all.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 AxiomCheck.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 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 SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v308_seam_equiv_chain.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
- cross reference join GlueUniqueness.lean
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 v199_seam_state_invariance.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
- cross reference join CartanDeterminants.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v424_seam_lto_rp_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
New module v423 ( QGAMB.NODEP.01). Sharpens the v369/ v384 prose redundancy (`` QG.AMB.01 is a \ redundancy, not dynamics'') into a machine-checked DAG [formula in source] script fact, told honestly. \ gap-decoupling margin [formula in source] ( [formula in source] ), susceptibility [formula in source] finite (negative control [formula in source] ); \ QG.AMB.01 is a certification sink (every claim that lists it is a
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 329 to 351
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v423_no_ambient_dependency.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v337_decoupling_theorem.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 YukawaStageDExistence.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v268_theta13_carrier_trace.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 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v369_qgamb_redundancy.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
- explicit file citation status_ledger.csv
literal source filename/path in TeX
- explicit script identifier v384_residual_certification.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v9_neutrino_texture.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v7_gravity_cosmo.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
- explicit file citation run_all.py
literal source filename/path in TeX
- explicit script identifier v281_holomorphy_modular_data.py
literal short identifier uniquely resolves in local script registry
- cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation script_registry.csv
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
Research changelog · TFPT — Introduction and reading guide
New module v422 ( SEAM.GALOIS.NET.01). The seam [formula in source] is the SAME cyclic [formula in source] as the [formula in source] simple-current glue — not a mere order- [formula in source] coincidence — bridging the Galois gearbox of v419 to [formula in source] / SEAM.EQUIV.01. \ [formula in source] (one Smith invariant factor [formula in source] [formula in source] cyclic, [formula in source] ); [formula in sou
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 352 to 372
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation run_all.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v419_seam_galois_carrier.py
literal short identifier uniquely resolves in local script registry
- cross reference join AxiomCheck.lean
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 file citation script_registry.csv
literal source filename/path in TeX
- explicit script identifier v89_carrier_index_lemma.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 v422_galois_net_bridge.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 status_ledger.csv
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
- cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
New module v420 ( FR.POLE.QED.01). The honest external-physics follow-up to v93 and the clock No-Go: the Koide source [formula in source] pole transfer is a one-loop electromagnetic effect, not an algebraic step. \ Koide [formula in source] is rescaling-invariant ( [formula in source] ), so flavor-universal running leaves it fixed and the source [formula in source] pole shift is purely flavor-split; \ the tree defici
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/013-source.tex · lines 1 to 19
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 file citation status_ledger.csv
literal source filename/path in TeX
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v187_ftransfer_laws.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 script_registry.csv
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 v327_hypergraph_rewrite.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v420_fpole_qed_running.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v93_koide_relaxation_toy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v82_koide_attractor_splitting.py
literal short identifier uniquely resolves in local script registry
- explicit file citation run_all.py
literal source filename/path in TeX
- explicit script identifier v371_ftransfer_pole.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
Research changelog · TFPT — Introduction and reading guide
New module v419 ( SEAM.GALOIS.01). A positive resolution of the cyclic/Galois asymmetry ( v409, RES.COXETER.SYMMETRY.01): why the seam [formula in source] sits on the Galois side, not on the cyclic [formula in source] dial. \ [formula in source] is squarefree, so [formula in source] has element orders [formula in source] — no order [formula in source] , so the seam [formula in source] cannot be a rotation hand and is
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/013-source.tex · lines 20 to 44
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v418_cyclotomic_norm_triple.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 script_registry.csv
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 file citation run_all.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v316_galois_readout.py
literal short identifier uniquely resolves in local script registry
- explicit file citation status_ledger.csv
literal source filename/path in TeX
- explicit file citation make_figures.py
literal source filename/path in TeX
- cross reference join AuditContract.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 v409_coxeter_prime2_lemma.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v419_seam_galois_carrier.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 AxiomCheck.lean
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
- 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 CoxeterPrime2.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
New module v418 ( ARITH.NORMTRIPLE.01). The carrier split [formula in source] read in the three atom-rings gives [formula in source] (scalaron, [formula in source] , quark numerator), and the carrier- [formula in source] clock missing from v417 is found as the [formula in source] [formula in source] -companion [formula in source] . \ [formula in source] , [formula in source] , [formula in source] (the four primitive
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/013-source.tex · lines 45 to 67
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v418_cyclotomic_norm_triple.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 v222_cm_norm_duality.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v417_eisenstein_cp_operator.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 v14_carrier_uniqueness.py
literal short identifier uniquely resolves in local script registry
- cross reference join CarrierRankUniqueness.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 file citation script_registry.csv
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 v416_atom_trichotomy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v411_ud_ratio_vpower.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 v313_golden_atoms_spectral.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 v410_sheet_generator_binary.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 run_all.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 v349_raw_seam_golden_test.py
literal short identifier uniquely resolves in local script registry
- explicit file citation status_ledger.csv
literal source filename/path in TeX
Research changelog · TFPT — Introduction and reading guide
New module v417 ( DIAMOND.EISEN.01). The hexagonal dual of v415: the [formula in source] flavor side put on operators and unified with the seam into one order- [formula in source] Coxeter clock. \ the family rotation [formula in source] is the order- [formula in source] Eisenstein deck ( [formula in source] , so [formula in source] on the plane [formula in source] ), the order- [formula in source] dual of [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/013-source.tex · lines 68 to 90
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation run_all.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 script identifier v417_eisenstein_cp_operator.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
- 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 v316_galois_readout.py
literal short identifier uniquely resolves in local script registry
- explicit file citation status_ledger.csv
literal source filename/path in TeX
- explicit script identifier v415_gaussian_operator.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
- 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 v349_raw_seam_golden_test.py
literal short identifier uniquely resolves in local script registry
- explicit file citation script_registry.csv
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
- 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 v233_cp_triality_phase.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
New module v415 ( DIAMOND.GAUSS.01). The square CM-norm dictionary of v222/ v230 is operator-realised, and the [formula in source] deck becomes an intrinsic diamond object. \ the integer commutator [formula in source] has [formula in source] , [formula in source] on the rank- [formula in source] image and [formula in source] — a [formula in source] quarter-turn born from the binary [formula in source] and ternary [fo
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/013-source.tex · lines 91 to 121
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
- 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
- explicit file citation run_all.py
literal source filename/path in TeX
- explicit file citation status_ledger.csv
literal source filename/path in TeX
- explicit script identifier v410_sheet_generator_binary.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 script_registry.csv
literal source filename/path in TeX
- explicit script identifier v222_cm_norm_duality.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 v403_facet_compositum.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v95_centered_diamond.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 file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- explicit script identifier v140_canonical_map.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 v412_sheet_source_corner_J.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 v416_atom_trichotomy.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
- explicit script identifier v415_gaussian_operator.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v230_center_budget_norms.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
Research changelog · TFPT — Introduction and reading guide
New module v410 ( SHEET.GEN.BINARY.01). The rank- [formula in source] sheet axis [formula in source] of the centered cross ( v95/ v218) is a binary internal compiler: its powers print the carrier spine. \ the closed form [formula in source] (proved by the inductive step [formula in source] ), so [formula in source] ; \ the four bilinear families [formula in source] , [formula in source] , [formula in source] , [formu
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/013-source.tex · lines 122 to 158
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
New module v408 ( HYP.PHI0.PUNCTURE.01). Names the [formula in source] puncture term [formula in source] as the order- [formula in source] local boundary heat-kernel (Seeley–DeWitt) contact term of the [formula in source] puncture divisor, summed over [formula in source] admissible states — the analytic complement of the icosahedral tree term ( v396). \ the exact split [formula in source] , the puncture count, the cl
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/013-source.tex · lines 159 to 192
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v408_phi0_puncture_heatkernel.py
literal short identifier uniquely resolves in local script registry
- cross reference join CoxeterPrime2.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v409_coxeter_prime2_lemma.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v185_axion_relic_solver.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v396_phi0_icosahedral.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join AuditCheck.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 CoxeterPrime2.lean
literal source filename/path in TeX
- explicit script identifier v394_coxeter_atoms.py
literal short identifier uniquely resolves in local script registry
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v407_dn_pairings_omega.py
literal short identifier uniquely resolves in local script registry