403 sections found. Current publication documents are listed before historical material.
Research changelog · TFPT — Introduction and reading guide
Ledger hygiene. Resolved a duplicate active claim_id: GATE.UWALL.06–09 was carried by two distinct chains. It is an ID collision (not a supersede): the monodromy/residue chain v114– v117 keeps .06–.09 (as asserted by v123_inventory_update.py and run_all.py); the older exterior-leg chain v42– v45 is renumbered to GATE.UWALL.15–.18 (internal depends_on carried along). No claim content changed. Website. papers.ts docume
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 193 to 201
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SpectralGapAttractor.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.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
- 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 v303_ftransfer_dynamics.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 v42_exterior_leg.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v407_dn_pairings_omega.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v45_family_exterior.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 file citation v123_inventory_update.py
literal source filename/path in TeX
- explicit script identifier v114_torsion_delta.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v117_monodromy_weyl_a3.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
/ / \ v405_seam_equiv_omega.py ( SEAM.EQUIV.02): the dual keystone at [formula in source] – the family/flavor sector as the order- [formula in source] Eisenstein [formula in source] face of [formula in source] , dual to the seam [formula in source] at [formula in source] ( v404). A named contract (genre of v286/ v398), NOT a closure. \ [formula in source] (the family CM point degenerates [formula in source] ) vs [for
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 202 to 208
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
/ \ v403_facet_compositum.py ( ARITH.HULL.01): the three single-prime number-field facets of the order- [formula in source] clock ( v390/ v394, used so far only one at a time) compose to one field [formula in source] . \ the squarefree parts [formula in source] are independent in [formula in source] , so [formula in source] with Galois group [formula in source] (order [formula in source] ); \ exactly [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/013-source.tex · lines 209 to 214
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
/ \ v398_seam_state_rigidity.py ( SEAM.RIGIDITY.01, Paper A): the Seam State Rigidity Theorem as ONE named target, consolidating the scattered state-invariance reductions ( v177/ v199/ v308/ v309/ v335) and hardening the finite-block evidence to a multi-mode sweep. \ RP-definability hinge (OS canonical transfer [formula in source] from RP [formula in source] reflection alone, v54, quasi-free v155, no [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/013-source.tex · lines 215 to 224
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v386_grav_amplitude.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v274_scale_overdetermination.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v309_modular_bedrock.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v36_spectral_action_g2.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v384_residual_certification.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v399_gravity_complete.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 v155_quasifree_boundary.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 v398_seam_state_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v402_ftransfer_suite.py
literal source filename/path in TeX
- explicit script identifier v380_grav_kms_hessian.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 v187_ftransfer_laws.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v199_seam_state_invariance.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v335_seam_equiv_unify.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v54_seam_horizon_keystones.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v402_ftransfer_suite.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v364_vgeo_sharpen.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamEdgeChern.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 v369_qgamb_redundancy.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 v253_kappa_scalaron_ps.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v153_no_unit_theorem.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
- cross reference join BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AuditContract.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
- 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 MobiusUniformisation.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 v177_seam_marking_kernel.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 CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v359_grav_nonlinear_einstein.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v401_metrology_closure.py
literal source filename/path in TeX
- explicit script identifier v370_grav_spin2_unitarity.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v336_continuum_limit.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join CohomologyGrading.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 file citation v400_grav_nonlocal_action.py
literal source filename/path in TeX
- explicit file citation v398_seam_state_rigidity.py
literal source filename/path in TeX
Research changelog · TFPT — Introduction and reading guide
/ \ v396_phi0_icosahedral.py ( HYP.PHI0.01): the tree-level seed [formula in source] is exactly [formula in source] on the icosahedral hypergraph ( [formula in source] triangular hyperedges, [formula in source] , [formula in source] ); [formula in source] (the same survival ratio as v327). \ Gauss–Bonnet consistent with [formula in source] ( v216/ v342). \ honest negative: the puncture [formula in source] is still an
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 225 to 229
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
\ v395_hypergraph_coupled.py ( HYP.COUPLED.01): one coupled local rewrite on a [formula in source] labelled grid (affine- [formula in source] nodes [formula in source] family channels) unifies v299 (carrier growth), v327 (branching rule [formula in source] ) and v324 (fiber product). Micro-step [formula in source] network lazy diffusion on each cusp column [formula in source] [formula in source] on each node's family
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 230 to 235
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
v397 ( FR.CLOCK.PROBE.01) — do the ``external'' frontier scheme-numbers land on the [formula in source] clock? A falsifiable, anti-numerology probe (strict No-Free-Pattern, v100: ``on the clock'' means an exact match, not a wide-band fit). \ the [formula in source] decuple [formula in source] is ON the clock ( v212); \ the Koide rate [formula in source] is ON the clock ( v303); \ the axion spine angle [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/013-source.tex · lines 236 to 249
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
v393 ( CORRECTIONS.NUMERIC.01) — the typed correction budget ( v388) as actual numbers. The short-term, testable harvest of v388: instead of merely typing each prediction's correction, this gives the magnitude, so a parameter-free central value can be quoted as ``value [formula in source] computed first correction''. \ FIXED-POINT band (the [formula in source] -derived [formula in source] ) [formula in source] the ex
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 250 to 265
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
v392 ( SEAM.S3.SCALINGLIMIT.01) — an honest attack on SEAM.EQUIV.01's one open lemma (continuum existence, v336). It does not close v336 (the abstract existence is the cited MMST theorem); it strengthens the case with the existence-relevant observable v376 did not test: that the finite-size data converge. \ the Calabrese–Cardy entanglement slope [formula in source] at [formula in source] is a monotone Cauchy-like seq
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 266 to 279
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
- explicit script identifier v377_seam_s3_e8character.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 SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v378_seam_s3_modular.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v376_seam_s3_centralcharge.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 v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v392_seam_s3_scalinglimit.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
Research changelog · TFPT — Introduction and reading guide
FORM.SPECTRALGAP.01 — the multi-dimensional case, reduced to the scalar core. The Lean module TfptCarrier/SpectralGapAttractor.lean now also proves the finite-dimensional gapped-operator statement ( lake build OK, no sorry): \ component_tendsto (a non-dominant eigencomponent [formula in source] decays, [formula in source] ); \ deviation_tendsto (with the dominant eigenvalue normalised to [formula in source] , the dev
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 280 to 295
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
Website — the UniversalGapLab animation on /verification. A new client component (Framer Motion, no new dependency) with three linked, module-grounded views: (A) every sector as the gap contraction [formula in source] racing to its attractor at [formula in source] (seam-gapped, v303/ v387/ v388) or the golden [formula in source] ( v312), with a gapless [formula in source] track that never forgets its start (the Lean
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 296 to 308
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
v391 ( ALPHA.QUILLEN.PROGRESS.01) — an honest attempt at the external target ALPHA.QUILLEN.EXACT.01 ( v382, door 5). It REDUCES the open step to a sharper named sub-target via a solvable model but does not close it: ALPHA.QUILLEN.EXACT.01 stays \ (external math, type A, v384). \ a solvable model [formula in source] on a circle of circumference [formula in source] equals [formula in source] , whose [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/013-source.tex · lines 309 to 324
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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 v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v384_residual_certification.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v382_alpha_quillen_exact.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v391_alpha_quillen_progress.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
Research changelog · TFPT — Introduction and reading guide
FORM.SPECTRALGAP.01 — a Lean 4 proof of the gap [formula in source] unique-attractor [formula in source] parameter-free core (door 4). New module TfptCarrier/SpectralGapAttractor.lean ( lake build OK, no sorry, only the three standard kernel axioms), formalising the meta-theorem of v303/ v383/ v387 at the one-dimensional reduction — the affine gap contraction [formula in source] with 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/013-source.tex · lines 325 to 340
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
v390 ( COXETER.PRIME2.01) — the prime-2 facet of the order-30 Coxeter clock. v383/ v387 named two number-field facets of the clock [formula in source] — the golden [formula in source] (prime-5, carrier) and [formula in source] (prime-3, family). This names the prime-2 facet and identifies it with structure already in the theory: the Gaussian field [formula in source] , i.e.\ the CM point [formula in source] and the o
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 341 to 356
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v387_corrections_gap.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v390_prime2_facet.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v288_full_l2_subprincipal_z4.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 v383_dynamics_universal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v333_cm_selection.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v282_e8_tau_i_unification.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
v389 ( GRAV.LOOP.FINITE.01) — the entire-form-factor graviton is UV-finite at the loop level. The honest next step past v386 (which established the tree amplitude), extending v304/ v370/ v380/ v386 from the propagator to the superficial degree of divergence of loop graphs. This is the standard infinite-derivative / nonlocal-gravity finiteness statement (Tomboulis; Biswas–Mazumdar–Siegel; Modesto), not a full proof of
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 357 to 371
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
v388 ( CORRECTIONS.BUDGET.01) — the gap-driven correction ( v387) is a typed budget. A machine-checked answer to ``does the [formula in source] correction apply to all predictions?'' — the answer is no, and for one whole class a band would be wrong. Because the size is the distance from a gapped operator's leading eigenvector, it is defined only where a subleading [formula in source] exists, so the prediction surface
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-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.
- explicit script identifier v303_ftransfer_dynamics.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
- explicit script identifier v388_corrections_budget.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 SpectralGapAttractor.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 script identifier v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v383_dynamics_universal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v384_residual_certification.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
- explicit script identifier v371_ftransfer_pole.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v387_corrections_gap.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 v221_seam_qecc.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v385 ( UVBRANCH.KILLTEST.01) — the carrier-Pati–Salam UV branch on the all-order footing. A consolidation that ties the all-order EG/BRST closure ( v381) to the optional UV branch and computes the one genuinely new thing: the proton-decay safety hierarchy. \ the carrier content is the SM with no new states, so the SM-non-unification ( v246) is now all-order-robust; \ the plain-SM 4D-GUT stays killed ( [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/014-source.tex · lines 20 to 48
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
v383 ( DYNAMICS.UNIVERSAL.01) — the universal spectral-gap / Perron–Frobenius principle. A fresh bird's-eye pass found that every TFPT sector is the same structural object: a gapped operator with a unique leading attractor (the physics) and a spectral gap (the reason there is no free parameter). v303 named this only for [formula in source] ; this module extends it to the sectors made parameter-free after it. \ three
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 49 to 77
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v333_cm_selection.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 v374_ftransfer_qcd.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 v187_ftransfer_laws.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v364_vgeo_sharpen.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 v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v221_seam_qecc.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 v384_residual_certification.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v153_no_unit_theorem.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 v365_qg_oneloop_saddle.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 v382_alpha_quillen_exact.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 v157_rigid_fixed_point.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 KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v358_grav_entropy_equilibrium.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 v383_dynamics_universal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v303_ftransfer_dynamics.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
- explicit script identifier v158_fixed_point_stable.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v371_ftransfer_pole.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.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
- explicit script identifier v76_gmetric_reduction.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 script identifier v56_unique_attractor.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v336_continuum_limit.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 v381_qft4d_eg_allorder.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 v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v381 ( QFT4D.EG.ALLORDER.01) — the all-order 4D perturbative-QFT closing statement. A mathematical-physics review of the QFT/TOE layers identified exactly one genuinely new, buildable item: the all-order Epstein–Glaser/BRST contract for the perturbative 4D S-matrix [formula in source] (the previous documents had the [formula in source] skeleton and one-loop, v269/ v271/ v273/ v278, but no named all-order claim). This
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 78 to 106
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v273_eg_gauge_running.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v269_spert_paqft_skeleton.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v278_lsz_bridge_unitarity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v271_eg_oneloop_quartic.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v382_alpha_quillen_exact.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v380_grav_kms_hessian.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 SeamResidualAxiom.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.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
- explicit script identifier v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamEdgeChern.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 v302_seam_gap.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 script identifier v341_alpha_quillen.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v342_em_ward_heatkernel.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 v381_qft4d_eg_allorder.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 v336_continuum_limit.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 SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v369_qgamb_redundancy.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 v370_grav_spin2_unitarity.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v369 ( QGAMB.REDUNDANCY.01) — Track 2 (forward plan v2). Instead of constructing the non-perturbative ambient measure (the conformal-factor swamp, v332/ v334), assemble the established discriminators that prove the ambient sector carries no physical degrees of freedom relative to the holomorphic boundary algebra, so the QG measure (gate C7/ QG.AMB.01) is a non-fundamental certification object (like a coordinate choic
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 107 to 125
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 v329_os_gap_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v334_conformal_resolution.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v369_qgamb_redundancy.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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v258_dirac_covariance_induction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v332_qgamb_metric_sector.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.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 SeamScalingLimit.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 v366_mmst_seam_collar.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v323_bw_geometric_modular.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v2_carrier_pascal.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 ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v221_seam_qecc.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