403 sections found. Current publication documents are listed before historical material.
Research changelog · TFPT — Introduction and reading guide
v350 ( SEAM.EQUIV.BOOTSTRAP.01) — correcting v349. An honest correction prompted by the right objection that the inputs are not axioms but are back-determined by the theory. \ the inputs ARE bootstrap-forced ( v6): [formula in source] is over-determined three ways – rank-fill ( [formula in source] ), Coxeter-match ( [formula in source] max prime of [formula in source] ), Pascal ( [formula in source] ). \ so [formula
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 120 to 134
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
- explicit script identifier v349_raw_seam_golden_test.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
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join CarrierRankUniqueness.lean
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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v350_bootstrap_inputs_correction.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 v154_simple_current_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 v6_bootstrap.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
v349 ( SEAM.EQUIV.GOLDEN.01). The honest, computed test of the v348 question, and a clarifying NEGATIVE: the raw seam does not carry the golden ratio. \ the golden ratio [formula in source] is the signature of a [formula in source] -fold rotation ( [formula in source] ); the carrier [formula in source] has [formula in source] (eigenvalue [formula in source] ) and [formula in source] has [formula in source] – no 5-fol
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 135 to 151
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
- explicit script identifier v349_raw_seam_golden_test.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
- explicit script identifier v348_seam_rigidity_route.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v348 ( SEAM.EQUIV.RIGID.01). Executes the rigidity route (mode B of v347) and lands on a strikingly simple statement. \ rigidity closes the crystallographic part: the order-4 clock has the unique normal form [formula in source] (Nielsen/Kerckhoff, v180), Troyanov gives the unique flat pillowcase metric ( v284). \ the downstream is a LATTICE identity, not just a graph: by Conway–Sloane the ring of icosians ( [formula
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 152 to 167
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 v284_route_i_rp_uniqueness.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
- explicit script identifier v347_seam_closure_modes.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v348_seam_rigidity_route.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v180_clock_is_mobius.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 KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v347 ( SEAM.EQUIV.CLOSURE.01). A direct, honest answer to ``is there any other way to fully solve the one open arrow L2?''. \ the precise locus: the seam gives the flat pillowcase base [formula in source] ( [formula in source] , v216) while the [formula in source] structure is the Seifert base over the spherical [formula in source] ( [formula in source] ), so L2 bridges two geometric types – why it needs the carrier
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 168 to 182
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
v346 ( SEAM.EQUIV.GEOM.01). The honest capstone of the SEAM.EQUIV.01 investigation: it lays out the full path raw-seam [formula in source] as six links and shows exactly one is open. / \ L1 raw seam [formula in source] [formula in source] four marks (Gauss–Bonnet, v216); \ L2 [formula in source] [formula in source] the [formula in source] atoms [formula in source] the [formula in source] orbifold [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/015-source.tex · lines 183 to 197
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 script identifier v219_icosahedral_mckay.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v346_seam_geometric_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v345_hypergraph_homotopy.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 v232_e8_kleinian_seam.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 v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
Research changelog · TFPT — Introduction and reading guide
v345 ( SEAM.DETK.02). Carries out the combinatorial core of the hypergraph-homotopy route (R3, the most promising fresh angle from v344) as far as it computably goes. By plumbing topology (Brieskorn/Hirzebruch) the link of a tree plumbing with the ADE Cartan intersection form has [formula in source] . \ the Smith normal form of the [formula in source] Cartan matrix is the identity, so [formula in source] – the [formu
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 198 to 213
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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 v344_detk_synthesis.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 v345_hypergraph_homotopy.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v344 ( SEAM.DETK.01). A bird's-eye, full-spectrum map of SEAM.EQUIV.01's only open residual, the holomorphy bit [formula in source] . \ it is ONE statement with six equivalent faces (holomorphy / homology-sphere link [formula in source] / one [formula in source] -dim irrep / [formula in source] Cartan [formula in source] / full [formula in source] condensation / [formula in source] CM), unified by [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/015-source.tex · lines 214 to 229
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 v87_bulk_uniqueness_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier 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 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 AxiomCheck.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
- cross reference join tfpt_readouts_extension.wl
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 v312_hypergraph_substrate.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
- 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 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 v232_e8_kleinian_seam.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
- explicit script identifier v344_detk_synthesis.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v343 ( FOUR.ROUTES.01). A direct, honest answer to ``which black-hole-birth route closes ALL problems and is 100\% provable'': none individually — but the four converge on the same two residuals as v335. \ (A) the finite causal diamond reframes QG.AMB to a finite thermal trace (de Sitter [formula in source] finite, [formula in source] ) but inherits the GHP contour ( v334, ); does not touch the seam. \ (B) Carlip–Car
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 230 to 245
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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 v334_conformal_resolution.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v239_kms_thermal_time.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v335_seam_equiv_unify.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v343_four_routes_analysis.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 v56_unique_attractor.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
Research changelog · TFPT — Introduction and reading guide
v342 ( EM.WARD.02) — the heat-kernel sharpening of EM.WARD.01. Derives the ORIGIN and STRUCTURE of the [formula in source] determinant-line terms from textbook Seeley–DeWitt / Gilkey coefficients, advancing the EM-Ward origin from \ (conjectured) to \ for the term structure; no new gate. \ [formula in source] is the boundary Gauss–Bonnet coefficient ( [formula in source] , [formula in source] , v216). \ the [formula
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 246 to 259
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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v3_em_alpha.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
- 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 v216_marks_gauss_bonnet.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
Research changelog · TFPT — Introduction and reading guide
v341 ( ALPHA.QUILLEN.01). Answers the external review's sharpest valid point — ``derive the form of [formula in source] , not more decimals''. The EM closure [formula in source] is rewritten as a stationarity of the boundary [formula in source] determinant line: [formula in source] . \ every ingredient is a NAMED object, not a knob: [formula in source] is a [formula in source] index ( [formula in source] , [formula i
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 260 to 278
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 v341_alpha_quillen.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v48_em_ward.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 claim identifier status_ledger.csv
exact local ledger claim identifier
Research changelog · TFPT — Introduction and reading guide
v340 ( AS.RECONCILE.01). Answers ``why don't we have [formula in source] / the old versions derived it'' and ``can a ratio define mass itself''. \ [formula in source] is predicted and dimensionless: [formula in source] with [formula in source] a pure ratio, so [formula in source] pins the e-fold count [formula in source] , NOT [formula in source] — it cannot define an absolute mass (No-Unit, v153, stands). \ the [for
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 279 to 294
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v84_frozen_registry.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 v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v340_As_reconcile.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
Research changelog · TFPT — Introduction and reading guide
v339 ( FIRSTPRINCIPLES.BOUNDARY.01). An honest boundary audit answering two head-on questions and fabricating nothing. \ The Planck mass cannot be computed — [formula in source] is forbidden by theorem (No-Unit, v153): a mass is mass-dimension [formula in source] while every TFPT datum is dimension [formula in source] , so no dimensionless map outputs an absolute scale. It is not a gap but over-determined (gravity [f
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 295 to 310
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
v336 ( SEAM.EQUIV.CONTINUUM.01) — the one open lemma, literature-anchored. SEAM.EQUIV.01's only open input (the continuum OS reconstruction of the gapped quasi-free collar) is split into a CITABLE part and a narrow open part. \ continuum leg: Osborne–Stottmeister ( CFT from Lattice Fermions, doi:10.1007/s00220-022-04521-8, CMP 398 (2023) 219) give, building on the MMST (Morinelli–Morsella–Stottmeister–Tanimoto) opera
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 311 to 341
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v328_theta13_pressure.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 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 CartanDeterminants.lean
literal source filename/path in TeX
- explicit script identifier v335_seam_equiv_unify.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 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 SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v338_theta13_budget.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v311_gap_decoupled_measure.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
- explicit script identifier v330_qgamb_admissible_measure.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
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v337_decoupling_theorem.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v332_qgamb_metric_sector.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v335 ( SEAM.EQUIV.UNIFY.01) — the keystone unification. A bird's-eye consolidation of the v308/v323/v325/v329/v333 arc that collapses the ``two open structural items'' narrative. \ QGEO.SYM.01 is a COROLLARY of SEAM.EQUIV.01 (no extra premise): a chiral conformal net has, by axiom, a M\"obius-covariant vacuum (the unique invariant positive-energy vector); rotations [formula in source] are the compact subgroup of the
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 342 to 373
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v332_qgamb_metric_sector.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 script identifier v325_pillowcase_keystone.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 v330_qgamb_admissible_measure.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
- 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation next.txt
literal source filename/path in TeX
- explicit script identifier v335_seam_equiv_unify.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
- 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
- explicit script identifier v329_os_gap_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v308_seam_equiv_chain.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v311_gap_decoupled_measure.py
literal short identifier uniquely resolves in local script registry
- explicit file citation BWKeystone.lean
literal source filename/path in TeX
- explicit lean symbol BWKeystone.lean
exact texttt symbol under explicit Lean/theorem context
Research changelog · TFPT — Introduction and reading guide
v333_cm_selection.py ( QGEO.CMSELECT.01, / ). The CM-selection mechanism for the last keystone residual: [formula in source] (the square) is the unique order-4 modulus — [formula in source] has [formula in source] and fixes [formula in source] , and an order-4 deck selects [formula in source] (vs the order-3 hexagon [formula in source] ) — AND the square is the Fekete attractor of symmetric mark-equilibration (four p
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 1 to 22
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
v331_necessity_of_H.py ( QGEO.NECESS.01, / ). The necessity companion to v329: a concrete Steklov (DtN) computation shows the seam [formula in source] commutes with the [formula in source] clock iff the four marks sit at the square ( [formula in source] ) — moving a mark off the square breaks [formula in source] and [formula in source] . The square has cross-ratio [formula in source] ( [formula in source] ), the uniq
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 23 to 48
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation CartanDeterminants.lean
literal source filename/path in TeX
- explicit script identifier v304_idg_nonlocal_ghost.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 v331_necessity_of_H.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join BWKeystone.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
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v332_qgamb_metric_sector.py
literal source filename/path in TeX
- explicit script identifier v201_seam_subprincipal_marks.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v330_qgamb_admissible_measure.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
- 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 v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- explicit file citation Mu4Commutation.lean
literal source filename/path in TeX
- explicit script identifier v267_qgeo_rigidity_minimal_axiom.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v329_os_gap_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamDeckClosure.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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 file citation v331_necessity_of_H.py
literal source filename/path in TeX
Research changelog · TFPT — Introduction and reading guide
v329_os_gap_reduction.py ( QGEO.OSGAP.01, / ). The one analytic input the v308 keystone chain still cited — ``the OS-reconstructed bulk gap [formula in source] the transfer gap'' — is discharged at the many-body level: the OS/Euclidean Hamiltonian is the second quantization [formula in source] , whose spectrum is the set of sums of single-mode energies, so the bulk gap [formula in source] the smallest positive single
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 49 to 73
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
BWKeystone.lean ( FORM.QGEO.BW.01, Lean 4, / ). The v323 Bisognano–Wichmann linkage formalised: the nodes [formula in source] (= QGEO.SYM.01) composed over the v308 chain. The theorem bedrockReducesToRotationInvariance shows the WHOLE bedrock QGEO.SYM.01 reduces to the SINGLE shared open premise RotationInvariantVacuum — the two open bedrock items collapse to one — with \#print axioms confirming the residual [formula
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 74 to 108
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
Keystone naming reconciled to SEAM.EQUIV.01. Following v323/ QGEO.BW.01 (the deck premise is downstream of the seam being a chiral net), the single named open keystone is now SEAM.EQUIV.01 everywhere, with QGEO.SYM.01 stated as its downstream conformal-deck face. The ledger row QGEO.SYM.01 was updated (it no longer calls itself ``the single structural residual of the whole theory''; it now depends on SEAM.EQUIV.01/ Q
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 109 to 138
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v323_bw_geometric_modular.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
- explicit script identifier v213_ftransfer_functor.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v324_hypergraph_fiber.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
Research changelog · TFPT — Introduction and reading guide
Bug fix — [formula in source] display value. The predictions table ( tex-artefacts/predictions.tex) showed [formula in source] , but that formula evaluates to [formula in source] (the canonical frozen DELTA_CKM_RAD [formula in source] rad, used by v88/ v202/ FLAV.CP.01 everywhere else). Corrected to [formula in source] . An external review correctly flagged the inconsistency; it was an isolated display typo (the webs
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 139 to 173
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v315_coxeter_coupling.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v203_eht_achromatic.py
literal source filename/path in TeX
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v202_rare_kaon.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v305_witness_independence.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v307_data_watchdog.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v201_seam_subprincipal_marks.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v306_seed_crossval.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v88_cp_phase_audit.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v202_rare_kaon.py
literal source filename/path in TeX
- explicit file citation v305_witness_independence.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 AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v203_eht_achromatic.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v321_killtest_board.py
literal short identifier uniquely resolves in local script registry
- explicit file citation make_figures.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 Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred