403 sections found. Current publication documents are listed before historical material.
Research changelog · TFPT — Introduction and reading guide
v505_celestial_wp5e_beta_equivariant_ledger.py ( CELEST.WP5E.BETA.01, 47 checks, [formula in source] 1.3 s; sympy/Fraction exact, no floats; deterministic). The twistor side of WP5e pushed as far as exact arithmetic reaches: the Atiyah–Bott/Lefschetz skeleton of the one-loop box anomaly (Costello; Bittleston–Sharma–Skinner) on [formula in source] with the [formula in source] [formula in source] -glue monodromy. AB le
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/006-source.tex · lines 123 to 173
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
v504_celestial_wp5d_klm_completeness.py ( CELEST.WP5DB.01, 37 checks, [formula in source] 12 s; numpy/scipy Gaussian machinery ED-validated [formula in source] exact GF2/integer algebra; deterministic). Complete rationality (Kawahigashi–Longo–M\"uger) [formula in source] split [formula in source] strong additivity [formula in source] finite two-interval [formula in source] -index; v501 (WP5d- [formula in source] ) wi
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/006-source.tex · lines 174 to 231
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
v503_qgeo_emergence_light.py ( QGEO.EMERGE.LIGHT.01, 17 checks; mpmath [formula in source] digits [formula in source] v280-style lattice DtN [formula in source] sympy exact). The v215 lever 7 (``the decisive kill is deferred: compute the raw seam-collar DtN without inputting the marks and check whether four square marks emerge'') executed in its first honest light version. No dynamical selection: [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/006-source.tex · lines 232 to 279
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
v502_celestial_wp5e_prefactor_level.py ( CELEST.WP5E.ALPHA.01, 33 checks, exact sympy/Fraction, no floats). The two exactly computable consistency anchors of the WP5e twistor uplift established. Part A — the prefactor: Hurwitz- [formula in source] exact ( [formula in source] ; [formula in source] ; Ising shift [formula in source] per Majorana); the clock is inner ( [formula in source] and [formula in source] both rea
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/006-source.tex · lines 280 to 330
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
v501_celestial_wp5d_two_interval_index.py ( CELEST.WP5D.01, 39 checks, numpy/scipy Gaussian machinery [formula in source] exact Fractions). The WP5d roadmap discriminator — [formula in source] (Haag-dual two-interval net, one sector) vs [formula in source] — executed at the [formula in source] (lattice-index) stage on the v367 seam edge ( [formula in source] critical Majorana layers, [formula in source] , v450-style
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/006-source.tex · lines 331 to 374
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v367_seam_s3_lattice.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 v501_celestial_wp5d_two_interval_index.py
literal source filename/path in TeX
- explicit script identifier v490_seam_parity_census.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v501_celestial_wp5d_two_interval_index.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
- 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 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 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 v450_seam_edge_entanglement.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join AuditContract.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 file citation README.md
literal source filename/path in TeX
Research changelog · TFPT — Introduction and reading guide
v500_celestial_wp5c_gns_limit_state.py ( CELEST.WP5C.01, 35 checks, exact integer/Fraction, no floats, deterministic). WP5a ( v497) made the boundary limit precise, WP5b ( v498) built the deleting operator; WP5c constructs the state. [formula in source] is quasi-free: loop sector [formula in source] the affine [formula in source] vacuum [formula in source] -point functions via the machine-determined compact anti-invo
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/007-source.tex · lines 1 to 46
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
v499_p2_weights_deligne_bg.py ( P2.TYPING.01, 23 checks, sympy exact, no floats). v491 reduced P2 to `` [formula in source] positive integers summing to [formula in source] ''; its residual was the typing (why integers, why positive, why sum [formula in source] ). Now typed: given the \ anchors ( [formula in source] marks, v216; rank [formula in source] , v137/ v228; cusp-class local monodromy [formula in source] and
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/007-source.tex · lines 47 to 94
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v228_rr_index_gate.py
literal short identifier uniquely resolves in local script registry
- cross reference join AnchorLadder.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- cross reference join 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 README.md
literal source filename/path in TeX
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- explicit script identifier v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v33_explicit_flat_bundle.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 v491_p2_partition_corollary.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v40_harmonic_metric.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 v499_p2_weights_deligne_bg.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v499_p2_weights_deligne_bg.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v115_anchor_residue.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 v117_monodromy_weyl_a3.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v23_anchor_generator.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
tfpt_3_e8_audit_bootstrap: new section ``The celestial route: from the [formula in source] clock to the [formula in source] boundary shadow''. The celestial-contract material that had accumulated as one long paragraph inside ``The M\"obius origin of the irreducible [formula in source] '' is consolidated into a dedicated section (placed after the bootstrap audit, before ``Honest status''), telling the executed WP1–WP5
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/007-source.tex · lines 95 to 125
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
v498_celestial_wp5b_singular_vector.py ( CELEST.WP5B.01, 53 checks, exact integer/Fraction, deterministic, no floats). Success on the preregistered WP5b criterion: the deleting object exists and is explicit. Construction: [formula in source] (weight [formula in source] , level [formula in source] quarter units [formula in source] , an integer level) in a machine-built Chevalley/Frenkel–Kac basis — bimultiplicative [f
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/007-source.tex · lines 126 to 176
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
v497_celestial_wp5a_null_ideal.py ( CELEST.WP5A.01, 34 checks, exact integer/Fraction, no floats). Three results make the WP4 limit reading precise. Stabilisation theorem: the one-parameter family [formula in source] of graded Fock characters on the chiral jet generators (loop energy [formula in source] , radial number [formula in source] ; [formula in source] in quarter units [formula in source] ) contains the chira
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/007-source.tex · lines 177 to 221
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
experiments/comb-meta-limit channel update (methodology untouched). The Vela X-ray channel ( channels.py) now ingests the PG.06b FULL reduction ( pg06b_full_vela.json in pulsar-glitch-recovery/results: 665 obs [formula in source] 491 usable [formula in source] 119 segment-coherent [formula in source] points) instead of the superseded single-obs pg06b_vela.json; the stale code note quoting the noise-peak ``detection''
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/007-source.tex · lines 222 to 250
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
Verified engine run 2026-07-21 (Wolfram Engine 14.3, license reactivated). wolframscript -file verification/wolfram/tfpt_readouts.wl [formula in source] 116 passed, 0 failed, ALL WOLFRAM CHECKS PASSED; tfpt_readouts_extension.wl [formula in source] 394 passed, 0 failed, ALL WOLFRAM EXTENSION CHECKS PASSED. The 16 exact mirrors added while the engine was unactivated all enter the counted total ( [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/007-source.tex · lines 251 to 268
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
v495_celestial_wp3_gs_alignment.py ( CELEST.WP3.01, 25 checks, exact Fraction/sympy). The pre-registered WP3 ``alignment test only'': the Okubo coefficient [formula in source] is derived as an exact polynomial identity for all 8 algebras on Costello's list (sl [formula in source] , sl [formula in source] , g [formula in source] , so [formula in source] , f [formula in source] , e [formula in source] , e [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/007-source.tex · lines 269 to 309
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
experiments/pulsar-glitch-recovery PG.06b FULL executed ( tfpt-pulsar vela-full). The full NICER Vela-pulsar (PSR B0833-45) L2 archive is reduced, with the manifest frozen before the bulk download ( manifest_full_reduction.json: all 665 ObsIDs, preregistered 2019/2021/2024 glitch windows, 20-GB abort gate): 665/665 obs downloaded (2.6\,GB, raw gitignored) [formula in source] 491 usable [formula in source] 240 per-obs
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/007-source.tex · lines 310 to 342
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
v494_cosmo_running_mu_record.py (23 checks, all green). The [formula in source] -running and [formula in source] -distortion scorecard rows of 2026-07-20 (IV) get their load-bearing module so the new paper/website statements are machine-backed. \ leading-order identities (sympy exact): [formula in source] , [formula in source] (NOT [formula in source] ); LO band [formula in source] : [formula in source] . \ exact slo
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/007-source.tex · lines 343 to 378
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
experiments/e8-ladder-bed/ executed (preregistered hypotheses/e8_ladder_bed_v1.yaml). The blind ladder detector (assignment DP [formula in source] scale fit [formula in source] 5000-ladder Monte-Carlo null; the same detector class TFPT uses on search surfaces, e.g.\ hfqpo-ladder) on the only public known-answer mass-ladder dataset: BaCo [formula in source] V [formula in source] O [formula in source] (Zou [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 1 to 30
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v1_e8_glue.py
literal short identifier uniquely resolves in local script registry
- explicit file citation next.txt
literal source filename/path in TeX
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation README.md
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
Research changelog · TFPT — Introduction and reading guide
v493_celestial_wp2_clock_deformation.py ( CELEST.WP2.01). WP2 of the celestial contract, sympy exact (47 checks), promoted from the experiments/tfpt-discovery/ probe celestial_seam_wp2_clock_deformation_probe.py. Geometry: [formula in source] forces [formula in source] sharply and two-sided ( [formula in source] ); [formula in source] is smooth iff [formula in source] ( [formula in source] ); the branch points [formu
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 31 to 72
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
H3 stage 2 executed ( experiments/hfqpo-ladder/results/archival/). The preregistered archival scan ( hypotheses/hfqpo_v1.yaml, archival_design) ran end-to-end on public HEASARC data: 77 ObsIDs / 4.42\,GB across all four [formula in source] -pair sources (GRO J1655 [formula in source] 40, XTE J1550 [formula in source] 564, GRS 1915 [formula in source] 105, H1743 [formula in source] 322). Sanity gate PASS (11/12 publis
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 73 to 97
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation next.txt
literal source filename/path in TeX
- explicit file citation README.md
literal source filename/path in TeX
- explicit file citation predictions.txt
literal source filename/path in TeX
Research changelog · TFPT — Introduction and reading guide
v492_celestial_z4_orbifold.py ( CELEST.WP1.01). WP1 of the new contract, sympy exact (36 checks): the v128 [formula in source] -glue grading of [formula in source] ( [formula in source] , additive on all [formula in source] root pairs) is inner — [formula in source] reads the glue class mod [formula in source] on all [formula in source] roots, so the glue is [formula in source] , an order- [formula in source] inner t
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 98 to 130
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join GlueUniqueness.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
- explicit script identifier v492_celestial_z4_orbifold.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v92_glue_uniqueness.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 v128_graded_hull.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v377_seam_s3_e8character.py
literal short identifier uniquely resolves in local script registry
- 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 v168_qgeo_rigidity.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 v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v492_celestial_z4_orbifold.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 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 script identifier v214_seam_pillowcase.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
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
- 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
[formula in source] running (prediction of record, consistent). The Starobinsky branch fixes the running of the spectral index: [formula in source] at [formula in source] (exact slow roll [formula in source] ; band [formula in source] : [formula in source] ) and [formula in source] (leading order; NOT [formula in source] ) — the identity [formula in source] holds only at leading order ( [formula in source] 7\% off ex
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 131 to 182
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.