403 sections found. Current publication documents are listed before historical material.
Research changelog · TFPT — Introduction and reading guide
v193_qgeo_energy_commutator.py \ (claim QGEO.ENERGY.02). The non-circular sharpening of QGEO.ENERGY.01: the energy commutator [formula in source] on the rank- [formula in source] Calder\'on polarisation, with three sub-claims — (1) \ [formula in source] is carrier-defined (Coxeter of [formula in source] , v117), not imported from the seam; (2) \ the non-circularity hinge: [formula in source] must be the raw RP-seam D
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/020-source.tex · lines 284 to 303
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
v189_riemann_roch_carrier.py / \ (claim ARCH.RRCAR.01). The pair [formula in source] are the two canonical invariants of one object, the four-point seam divisor [formula in source] on [formula in source] : the cycle side [formula in source] (already QGEO.COHOM.01) and the function side [formula in source] , matched by [formula in source] . The carrier-as-mode-space reading is \ (geometric, does not displace the over-
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/020-source.tex · lines 304 to 331
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
Published to Zenodo. Version 5.1 (rev 120) of the ten-PDF document set was published as a new version of the TFPT deposit — record 20687564, DOI 10.5281/zenodo.20687564. This version carries the F_transfer-firewall round ( v184– v188): the honest [formula in source] anchored-Boltzmann test (sharper scenario, not a closure), the axion hilltop-relic typing, the ledger v187 and prose v188 guards, and the Route B/Koide/d
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/020-source.tex · lines 332 to 344
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
v184_etaB_anchored_boltzmann.py \ (claim FR.ETAB.03). An honest test of the external-review [formula in source] proposal ( [formula in source] , [formula in source] ). Firewall verdict: sharper scenario, not a closure. The washout anchors plausibly ( [formula in source] meV, [formula in source] atom, in the strong-washout window) ; but [formula in source] does not — [formula in source] is the seesaw scale [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/020-source.tex · lines 345 to 385
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
v183_koide_f_corner_transfer.py / \ (claim FR.KOIDE.07). An external-review proposal, validated exactly: the Koide source [formula in source] pole factor [formula in source] is not a bare arithmetic guess but an operator identity on the carrier, [formula in source] . Here [formula in source] is the [formula in source] cubic family block ( [formula in source] ) and [formula in source] , where [formula in source] is th
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 1 to 21
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
v182_reviewer_residual_map.py / \ (claim REVIEW.MAP.01). A careful external review raised four concerns (A mapping [formula in source] , B UV-gravity abstractness, C grammar-tuning/meta-look-elsewhere, D Koide M\"obius flow). This module shows three of them reduce, by the same discipline as v175– v181, onto the two already-named residuals [formula in source] : A (Pl\"ucker- [formula in source] [formula in source] QBL
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 22 to 49
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
Ledger CSV bug fixed + guarded. Three rows ( AX.P1.01, AX.P2.01, QGEO.ISO.01) had unquoted commas in a status/external field (e.g.\ ``a=(1,1,2)'', ``PSL(2,C)''), so a strict CSV parser read 11–12 columns instead of 10 — a real machine-readability defect in the single source of truth. All offending fields are now quoted (every row parses to exactly 10 columns), and audit_sync.py gained a check_csv_wellformed guard (le
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 50 to 76
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
Published to Zenodo. Version 5.1 (rev 114) of the ten-PDF document set was published as a new version of the TFPT deposit — record 20686284, DOI 10.5281/zenodo.20686284. This version carries the AQFT-closure-to-bedrock chain ( v175– v181, the structural residual reduced to the single definitional premise QGEO.SYM.01), the two overview figures ( residual_chain, script_timeline), and the P1/P2 anchor-reduction provenan
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 77 to 88
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
Two overview figures ( make_figures.py; PDF [formula in source] website PNG). (i) residual_chain — the structural-residual reduction chain v175– v181 as a descending staircase from ``build a quantum-gravity measure'' to the single definitional bedrock QGEO.SYM.01; embedded in tfpt_research_contracts. (ii) script_timeline — the eight-phase journey of the [formula in source] 181 scripts (foundations [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/021-source.tex · lines 89 to 110
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 claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join CarrierRankUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v23_anchor_generator.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v181_clock_is_conformal_symmetry.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
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v175_net_existence_full_cone.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 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 v6_bootstrap.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v53_compiler_core.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
Research changelog · TFPT — Introduction and reading guide
v181_clock_is_conformal_symmetry.py / \ (claim QGEO.SYM.01). The isometry premise QGEO.ISO.01 ( v180) is weakened one more genuine step — to a conformal- symmetry premise — via equivariant uniformisation (Nielsen realisation; for cyclic groups Ker\'ekj\'art\'o [formula in source] uniformisation): a conformal automorphism (strictly weaker than an isometry — every isometry is conformal, conformal allows any positive sc
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 111 to 133
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
v180_clock_is_mobius.py / \ (claim QGEO.ISO.01). Cracks QGEO.CONF.01 one level further: the conformal-realisation premise is replaced, via three classical theorems, by a strictly milder, non-circular premise. (1) Uniformisation (Poincar\'e–Koebe): a genus- [formula in source] Riemann surface is conformally [formula in source] , so the genus- [formula in source] seam double (P1, v179) with its RP-metric conformal stru
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 134 to 155
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
v179_conformal_realisation.py / \ (claim QGEO.CONF.01). Investigating the two residual premises left by v178 shows they are not independent — they collapse onto a single geometric premise (honest unification; the premise itself stays ). Marks's residual is not three independent assumptions: (1) genus- [formula in source] is P1 — the one-sided Gauss–Bonnet [formula in source] uses [formula in source] and [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/021-source.tex · lines 156 to 175
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v158_fixed_point_stable.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v117_monodromy_weyl_a3.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v177_seam_marking_kernel.py
literal short identifier uniquely resolves in local script registry
- cross reference join CohomologyGrading.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v178_marks_kernel_attempt.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v58_seam_horizon_chain.py
literal short identifier uniquely resolves in local script registry
- 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 script identifier v156_seam_net_construction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v179_conformal_realisation.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v179_conformal_realisation.py
literal short identifier uniquely resolves in local script registry
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v73_k_c3_half.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v178_marks_kernel_attempt.py / \ (claim QGEO.REDUCE.01). An honest attempt at QGEO.MARKS.01 and QGEO.KERNEL.01. These are genuine constructive-geometry/AQFT statements, not finite computations — neither is closed. What the module does is push each as far as computation allows: it closes the finite \ core of each and reduces each to one sharper premise. Marks core : given a genus- [formula in source] double with an or
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 176 to 197
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v156_seam_net_construction.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v178_marks_kernel_attempt.py
literal short identifier uniquely resolves in local script registry
- cross reference join CohomologyGrading.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v162_seam_transport_identification.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 AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v178_marks_kernel_attempt.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 v177_seam_marking_kernel.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
Research changelog · TFPT — Introduction and reading guide
v177_seam_marking_kernel.py / \ (claims QGEO.TREE.01, QGEO.MARKS.01, QGEO.KERNEL.01). A second external residual-class audit pointed out that the v176 statement takes the marks/ [formula in source] as a hypothesis — a near-circular trap. This module factors the central theorem honestly as [formula in source] and closes four nodes constructively (all validated symbolically before adoption): Uniform \ — an order- [form
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 198 to 222
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 v168_qgeo_rigidity.py
literal short identifier uniquely resolves in local script registry
- cross reference join CohomologyGrading.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 MobiusUniformisation.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
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v177_seam_marking_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v177_seam_marking_kernel.py
literal source filename/path in TeX
- 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 v175_net_existence_full_cone.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v176_seam_collar_realisation.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v162_seam_transport_identification.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
Research changelog · TFPT — Introduction and reading guide
v176_seam_collar_realisation.py / \ (claim QGEO.REALIZE.02). Following an external residual-class audit, the single remaining structural item is formulated as one central theorem and certified as a reduction (not a fabricated proof). Theorem: given an oriented one-sided RP seam collar with a sheet-odd Calder\'on involution, faithful [formula in source] marks, four parabolic marks with [formula in source] decompositio
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 223 to 247
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
Published to Zenodo. Version 5.1 (rev 105) of the ten-PDF document set (introduction, origin_theory, tfpt_1–5, horizon, research_contracts, changelog) was published as a new version of the TFPT deposit — record 20681451, DOI 10.5281/zenodo.20681451. This version carries the AQFT closure round (v170–v175): the seam Fock-space readings and the heavy-artillery discharge of net existence [formula in source] full-cone ref
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 248 to 259
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
v175_net_existence_full_cone.py / \ (claim QFT.NETRP.01). The two structural residuals that the premise-(A) chain had relocated to already-open items — [formula in source] net existence and full-cone reflection positivity — are now discharged to a theorem, leaving the seam realisation as the single irreducible open premise (nothing fabricated). (1) Full-cone RP for all [formula in source] : the CAR second-quantisatio
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 260 to 287
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
v174_seam_fock_readings.py \ (claim QFT.FOCK.01). Three more exact audit bridges from the same source note. (1) CAR cone compression: the even CAR algebra of the 16 seam Majoranas has [formula in source] directions, but a quasi-free Bogoliubov transport reduces the whole cone to a [formula in source] -dim one-particle problem ( [formula in source] ) — the explicit count behind v161. (2) Witten index [formula in sourc
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 288 to 303
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
v170_diamond_slice_compression.py \ (claim E8.SLICE.01). E8 Slice Compression Lemma: the seven [formula in source] audit slices are one projection of two alphabets — anchor power sums [formula in source] ( [formula in source] ) and Sheet-Diamond determinants [formula in source] summing to [formula in source] . All seven [formula in source] -slices, the [formula in source] edge graph, and the row-budget cross [formula
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 304 to 333
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
Published to Zenodo. Version 5.1 (rev 97) of the ten-PDF document set (introduction, origin_theory, tfpt_1–5, horizon, research_contracts, changelog) was published as a new version of the TFPT deposit — record 20678568, DOI 10.5281/zenodo.20678568. The uploader's DEFAULT_RECORD_ID was advanced to the new record for the next release. Also fixed build.sh zenodo on macOS bash 3.2 (empty-array expansion under set -u).
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 334 to 343
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
No explicit verification citation is attached to this section in the registry.