403 sections found. Current publication documents are listed before historical material.
Research changelog · TFPT — Introduction and reading guide
Deep-sync of the post-S3 status. The canonical surfaces ( tfpt_status, introduction) were already current; this pass propagated the same honest wording into origin_theory, tfpt_1– tfpt_5, tfpt_research_contracts, the root README.md, the Zenodo description and website/lib/papers.ts: SEAM.EQUIV.01 is closed modulo a cited theorem (lattice v367/ v368 [formula in source] the [formula in source] stack v376– v379 [formula
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 126 to 139
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v371_ftransfer_pole.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v368_seam_s3_inflow.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 v375_observatory_registry.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v370_grav_spin2_unitarity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v376_seam_s3_centralcharge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v365_qg_oneloop_saddle.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit file citation README.md
literal source filename/path in TeX
- explicit script identifier v380_grav_kms_hessian.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v374_ftransfer_qcd.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v380 ( GRAV.KMS.HESSIAN.01). Upgrades v304/ v370 from the assumption ``the resummed graviton form factor is entire'' to a derived statement. \ the seam KMS cutoff [formula in source] ( v259) gives the dressed spin-2 propagator [formula in source] with [formula in source] entire and nowhere zero (only the [formula in source] pole). \ each finite Seeley–DeWitt truncation is a Taylor partial sum of [formula in source] a
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 140 to 153
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
FORM.SEAM.MMST.01 — Lean 4 formalisation. The S3 continuum leg is now machine-formalised in a new module ( SeamScalingLimit.lean), lake build OK and \#print axioms clean, in the audit-contract style of SeamEquivChain.lean. The MMST applicability hypotheses for the seam collar are provable by kernel decide (no axioms): [formula in source] , [formula in source] , the range [formula in source] , [formula in source] , an
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 154 to 167
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
v376 ( SEAM.S3.CENTRALCHARGE.01). The Calabrese–Cardy finite-size entanglement-entropy scaling of the critical free-fermion content gives [formula in source] per complex mode (Peschel correlation-matrix EE; the [formula in source] sizes avoid the half-filling zero-mode), so the 16-Majorana ( [formula in source] complex) collar has [formula in source] , chiral ( [formula in source] , v367/ v368). Numerical [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 168 to 192
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 v377_seam_s3_e8character.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v376_seam_s3_centralcharge.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
- 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 v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v379_seam_s3_rp.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- 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
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v378_seam_s3_modular.py
literal short identifier uniquely resolves in local script registry
- explicit 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
Research changelog · TFPT — Introduction and reading guide
v375 ( OBSERVATORY.REGISTRY.01). A CI over freeze_file.csv: \ every prediction carries a kill criterion (falsifiability complete, no orphan claims); \ the headline values re-derive from [formula in source] ( [formula in source] , [formula in source] , [formula in source] ); \ a live scorecard records [formula in source] vs the JUNO first run ( [formula in source] , compatible), [formula in source] vs NuFIT 6.0 NO ( [
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 193 to 204
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
v371 ( FR.POLE.SOLVE.01). A clean negative: standard QED/EW running cannot be the Koide source [formula in source] pole transfer (it pushes [formula in source] above [formula in source] ; the required [formula in source] is negative while QED's is positive), so the transfer is the non-QED [formula in source] operator / [formula in source] Moebius generator ( v183/ v82). , plain running excluded as the kill. Python (n
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 205 to 223
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
v367 ( SEAM.S3.LATTICE.01) — Track 1. The abstract S3 residual of v356/ v366 (``the collar realised as a genuine lattice chiral free-fermion invertible phase'') is turned into a RUNNABLE model. \ the [formula in source] Bloch model is gapped at [formula in source] with a numerically computed Fukui–Hatsugai–Suzuki Chern number [formula in source] ( [formula in source] trivially at [formula in source] ); \ [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 224 to 242
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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v356_continuum_mmst_applicability.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v366_mmst_seam_collar.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamScalingLimit.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
- explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v351_continuum_realisation_sharpened.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v370 ( GRAV.SPIN2.UNITARITY.01) — Track 2. Extends v304 (the scalar [formula in source] pole algebra) to the actual tensor spin structure. \ the Barnes–Rivers projectors are complete ( [formula in source] , [formula in source] , [formula in source] sum to [formula in source] ; [formula in source] split [formula in source] ), the EH propagator is [formula in source] , and the Stelle ghost is a spin-2 state. \ the enti
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 243 to 257
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
v365 ( QGAMB.SADDLE.01) — Direction 3. With the parameter-free saddle ( v358/ v359) the QG measure (gate C7/ QG.AMB.01) organises as a one-loop Gaussian fluctuation determinant. \ the fluctuation stiffness is [formula in source] (no free dial, so the one-loop problem is now well-posed); \ the fluctuation operator is gapped [formula in source] ( v76/ v337) [formula in source] mode-by-mode convergence, finite model log
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 258 to 280
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
Deep-sync of the parameter-free gravity status. A cross-surface audit found several documents and website components still framing gravity as ``exact only in the [formula in source] regime'' or the metric-sector field equation as ``open''. These were reconciled with the canonical post- v358/ v359 status: the local covariant field equation [formula in source] is PARAMETER-FREE (both coefficients fixed); what remains o
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 281 to 302
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
v364 ( VGEO.SHARPEN.01) — Direction 6. The No-Unit Theorem ( v153) already made [formula in source] a forced metrology primitive. \ The SHARPENING after the parameter-free gravity ( v358/ v359/ v361): the Einstein coefficient [formula in source] and the [formula in source] prefactor [formula in source] are dimensionless, so [formula in source] and [formula in source] reduce to [formula in source] times atoms — the gr
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 303 to 316
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 v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v364_vgeo_sharpen.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v68_seeley_dewitt_residual.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v361_grav_backreaction.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v361 ( GRAV.BACKREACT.01) — Direction 5. With the parameter-free equation ( v359) and the explicit J3 flux ( v358), the backreaction of TFPT's carrier matter is computed. \ the carrier's gravitational anomaly is forced: [formula in source] (the chiral central charge of the [formula in source] -Majorana content). \ the backreaction is FINITE [formula in source] from [formula in source] : the matter vacuum energy throu
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 317 to 330
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v159_pyrate_gauge_crosscheck.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 v361_grav_backreaction.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 v355_e8_unmapped_bandwidth.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v337_decoupling_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v60_lambda_metrology_branch.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v354_e8_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v359_grav_nonlinear_einstein.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
Research changelog · TFPT — Introduction and reading guide
v360 ( GRAV.GAPCORR.01) — Direction 2, run honestly. Does the seam transfer gap [formula in source] yield a NEW, calculable, FORCED deviation from GR (a near-term kill test) beyond the known [formula in source] scalaron? With the v354/ v355 discriminator the answer is no, and this is recorded rather than manufacturing a coefficient. \ the leading higher-curvature term IS the [formula in source] scalaron (spectral-act
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 331 to 347
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v354_e8_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v355_e8_unmapped_bandwidth.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v36_spectral_action_g2.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v360_grav_gap_corrections.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- 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 v28_gravity_fR.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v359 ( GRAV.NONLINEAR.01) — Direction 1, the full covariant equation. Extends v358 from the linearised (fixed-radius, Ricci-level) result to the FULL covariant equation. \ Jacobson 2015: demanding stationarity of the small-ball entanglement entropy at fixed volume brings in the EINSTEIN TENSOR [formula in source] (not just [formula in source] ) — trace [formula in source] in [formula in source] , the structure that c
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 348 to 365
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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
- cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v60_lambda_metrology_branch.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v359_grav_nonlinear_einstein.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 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
v358 ( GRAV.ENTROPY.EQUILIBRIUM.01) — the bridge to the dynamic world, instantiated on the gravity side. Carrying out the Jacobson-2015 / Faulkner-et-al.\ ``first law of entanglement [formula in source] Einstein equation'' with TFPT's atoms. \ PARAMETER-FREE COEFFICIENT: [formula in source] gives [formula in source] with [formula in source] fixed; all four [formula in source] -roles consistent (Unruh [formula in sour
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/015-source.tex · lines 1 to 16
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 BWKeystone.lean
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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v57_horizon_crosslinks.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v59_area_law_evidence.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v356 ( SEAM.EQUIV.CONTINUUM.03) — Direction A, the continuum chain assembled. After the reverse-audit/bandwidth work showed no hidden discrete lever remains, the only fundamental progress is to assemble the continuum chain. Link-by-link: S1 the gapped ( [formula in source] , v302) quasi-free [formula in source] -Majorana collar ( v155/ v160) [formula in source] S2 invertible (gapped free fermions have no intrinsic to
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 17 to 40
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v31_R_dictionary.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v356_continuum_mmst_applicability.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
- 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 v160_seam_gaussianity_from_pf.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 v297_route_a_literature_stack.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 v351_continuum_realisation_sharpened.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v301_route_a_invertible.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v58_seam_horizon_chain.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
Research changelog · TFPT — Introduction and reading guide
v355 ( E8.UNMAPPED.BANDWIDTH.01) — the next step after v354, run honestly. The obvious follow-up (``search those five degrees for hits we overlooked'') is itself the numerology temptation v354 warns about: a rich object like [formula in source] returns a numerical match for almost anything. So the scan uses a STRICT discriminator – a candidate counts only if it is a FORCED identity (a theorem about [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 41 to 62
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 v223_coxeter_totative_clock.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 v219_icosahedral_mckay.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v355_e8_unmapped_bandwidth.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v354_e8_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v66_e8_casimir_degrees.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
v354 ( E8.REVERSE.AUDIT.01) — the reverse complement of v305. TFPT's forward discipline ( v305) is one-directional: every physical READOUT must map onto an [formula in source] structure (anti-fitting). The sharp adversarial question runs the OTHER way — how much [formula in source] structure maps onto NOTHING, and is the recurring golden ratio numerology? \ THE REVERSE AUDIT: of [formula in source] 's eight Casimir 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 63 to 84
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 v355_e8_unmapped_bandwidth.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v305_witness_independence.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
- explicit script identifier v354_e8_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v66_e8_casimir_degrees.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 v348_seam_rigidity_route.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 KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v353 ( TFPT.SELFLOOP.01) — refining v352. Stepping all the way back: TFPT is not a LINEAR theory (axioms [formula in source] theorems) but a CLOSED SELF-CONSISTENT LOOP whose outputs fix its own inputs. \ it is a loop: [formula in source] max prime of the output [formula in source] , and the [formula in source] in [formula in source] – the outputs fix the inputs ( v6), with a unique fixed point ( v56); ``which is 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 85 to 99
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v353_selfloop_capstone.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
- 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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join CarrierRankUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v352_framework_irreducible.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v351_continuum_realisation_sharpened.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v6_bootstrap.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v351 ( SEAM.EQUIV.CONTINUUM.02) — the which-net ambiguity falls. The long-standing `` [formula in source] ambiguity'' ( [formula in source] det 1 vs [formula in source] det 4, both [formula in source] , flagged open in v277/ v344) is RESOLVED, non-circularly, by the seam's ORDER-4 [formula in source] clock: the index-4 simple-current extension of [formula in source] is [formula in source] ( v154), the index-2 would b
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 100 to 119
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v6_bootstrap.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
- explicit script identifier v54_seam_horizon_keystones.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 v277_seam_calderon_e8_match.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 v352_framework_irreducible.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v351_continuum_realisation_sharpened.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- 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 v83_e8net_holomorphic_uniqueness.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit 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 SeamScalingLimit.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