403 sections found. Current publication documents are listed before historical material.
Research changelog · TFPT — Introduction and reading guide
v491_p2_partition_corollary.py ( P2.PARTITION.01). Sympy-exact: a multiset of exactly [formula in source] POSITIVE INTEGERS summing to [formula in source] is UNIQUE — [formula in source] — so [formula in source] and hence [formula in source] , [formula in source] , [formula in source] are corollaries, not inputs (consistency fixed point [formula in source] ). \ negative controls, each assumption load-bearing: drop po
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 183 to 207
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join AnchorLadder.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 script identifier v115_anchor_residue.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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 v228_rr_index_gate.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 file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- explicit script identifier v53_compiler_core.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v491_p2_partition_corollary.py
literal source filename/path in TeX
- explicit script identifier v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v491_p2_partition_corollary.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v490_seam_parity_census.py ( SEAM.MU.01). The [formula in source] ground-state fermion parity of the v367 [formula in source] collar, resolved per spin structure [formula in source] and determined TWICE — Read–Green TRIM product AND real-space Majorana Pfaffian (Schur), relative to the trivial [formula in source] phase, with the twisted real-space spectra matching the Bloch bands to [formula in source] . \ per layer
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 208 to 228
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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 v490_seam_parity_census.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 file citation v490_seam_parity_census.py
literal source filename/path in TeX
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v378_seam_s3_modular.py
literal short identifier uniquely resolves in local script registry
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v489_seam_modular_commutator.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 v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v489_seam_modular_commutator.py ( SEAM.CCC.01). The Kim–Shehab–Kim modular commutator [formula in source] (PRL 128 (2022); arXiv:2110.06932/ 2110.10400) is evaluated on the EXACT BdG ground state of the v367 [formula in source] seam collar model, entirely from the Peschel Majorana covariance ( [formula in source] , [formula in source] ), on a disk about the torus centre cut into three [formula in source] wedges. \ gr
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 229 to 250
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 v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v489_seam_modular_commutator.py
literal source filename/path in TeX
- 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 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
- 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 script identifier v489_seam_modular_commutator.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v378_seam_s3_modular.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
- explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
introduction.tex — new section ``TFPT in the light of algorithmic physics''. Positions the compiler against the Zuse–Schmidhuber–Wolfram algorithmic-physics lineage: three shared instincts (minimum description length as the selection principle, deterministic resource-bounded generation, compressibility as the aesthetic) and three deliberate divergences (one forced program vs.\ an ensemble of all universes; an algebra
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 251 to 264
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.
Research changelog · TFPT — Introduction and reading guide
v488_majorana_clebsch_door.py ( FLAV.NUSCALE.04). v482 named ONE escape for the integer seesaw rung [formula in source] : a third-generation Majorana factor [formula in source] , [formula in source] from [formula in source] — declined for lack of mechanism. The mechanism search is now EXECUTED: \ NO RENORMALISABLE CHANNEL — [formula in source] and the [formula in source] is NOT in the [formula in source] hull [formul
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 265 to 290
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
v487_transfer_clock_rungs.py ( HYP.REWRITE.03). v486 left the split selection open (`` [formula in source] vs uniform [formula in source] is selected by the physical spectrum, not yet derived''; named candidate: the vague ``sheet-symmetric choice''). Closed: \ RUNG READING — the lazy rule's one-step spectrum is EXACTLY the complete resummed-clock ladder below the wall ( v124: [formula in source] , pole at [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 291 to 317
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
v486_transfer_full_rule.py ( HYP.REWRITE.02). The verified seam transfer spectrum is [formula in source] ( v54/ v221), but the only local generator in the suite ( v327) produces [formula in source] — its zero mode persists under every power, so no iterate reaches the third mode. \ UNIQUENESS: for the symmetric [formula in source] -channel rule [formula in source] (one absorbing family channel [formula in source] [for
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 318 to 342
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 v76_gmetric_reduction.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
- explicit file citation generator_hunt_full_transfer_rule.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 file citation v486_transfer_full_rule.py
literal source filename/path in TeX
- explicit script identifier v327_hypergraph_rewrite.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 v486_transfer_full_rule.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 v54_seam_horizon_keystones.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
- 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 v221_seam_qecc.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
v485_contact_diagonal_closed.py ( SEAM.CONTACT.UNIT.02). The v484 merge left one analytic step: the diagonal (self-energy) zeta-renormalisation at the marks [formula in source] the multiplicity matching. Settled at the computable level: \ DIAGONAL ZERO AT THE KMS SCALE — the renormalised coincident-point Green function of [formula in source] on circumference [formula in source] is [formula in source] EXACTLY (symboli
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 343 to 369
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
v484_seam_contact_unit.py ( SEAM.CONTACT.UNIT.01). The v483 round left the two analytic targets sharing one rule (``weight [formula in source] per boundary contact insertion'': the [formula in source] ladder [formula in source] , the [formula in source] puncture [formula in source] ). This module shows the shared rule is NOT a new unknown: \ the unit chain [formula in source] — one bare boundary insertion divided by
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 1 to 26
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v483_pillowcase_exact_traces.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v484_seam_contact_unit.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 v355_e8_unmapped_bandwidth.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v484_seam_contact_unit.py
literal source filename/path in TeX
- explicit script identifier v58_seam_horizon_chain.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
- 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
- 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 v239_kms_thermal_time.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v73_k_c3_half.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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
Research changelog · TFPT — Introduction and reading guide
v482_seesaw_rung_decision.py ( FLAV.NUSCALE.03). The decision computation NAMED by v481 is EXECUTED in bracketed (assumption-robust) form: the integer rung [formula in source] needs a rescue factor [formula in source] in [formula in source] ( [formula in source] vs [formula in source] eV), while [formula in source] GeV ( [formula in source] ), [formula in source] ( [formula in source] ), a [formula in source] band on
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 27 to 61
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
Website /verification: live journey views. The static script_timeline.png and residual_chain.png images (stale at the v303– v407 figure state, with alt text and captions still describing the old eleven-phase/ v237 state) are replaced by two interactive components, SuiteTimeline.tsx (17 phases, v1– v481) and ResidualChain.tsx (the reduction chain through the certification round to the bedrock): every phase/step lists
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 62 to 130
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 AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v303_ftransfer_dynamics.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v480_multilocal_four_interval.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 v481_seesaw_carrier_ladder.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v472_quillen_detline_moduli.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1_e8_glue.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 v458_seam_mmst_citation_audit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v408_phi0_puncture_heatkernel.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v237_seam_sre_closure.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 KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v479_kronheimer_quiver_bridge.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 SpectralGapAttractor.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 v470_alpha_inflow_level.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v407_dn_pairings_omega.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v469_seam_crossedproduct_route.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v479_kronheimer_quiver_bridge.py ( SEAM.KRONHEIMER.01). The R3 residual of the [formula in source] keystone ( v344: ``the rewrite attractor graph IS the du Val singularity'') is an ESTABLISHED THEOREM — Kronheimer's ALE hyper-K\"ahler quotient construction [formula in source] Torelli classification (J. Diff. Geom. 29 (1989) 665 and 685) — with all finite input data already compiler outputs, machine-checked : the Kac
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 131 to 192
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
v478_entropic_continuum_legs.py ( GRAV.ENTROPIC.LEGS.01). Leg A (AP2 continuum, exhibited): on the exactly solvable critical chain (infinite-volume sinc kernel, [formula in source] -digit precision) the compressed interval state has [formula in source] with [formula in source] (monotone [formula in source] the Dirac [formula in source] , the v450 reading; gapped control [formula in source] , area law); the Peschel mo
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 193 to 215
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 file citation v478_entropic_continuum_legs.py
literal source filename/path in TeX
- 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
- cross reference join BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v450_seam_edge_entanglement.py
literal short identifier uniquely resolves in local script registry
- cross reference join 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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v478_entropic_continuum_legs.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 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
- explicit script identifier v476_entropic_compression_toy.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 script identifier v477_entropic_scaleflow.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 v323_bw_geometric_modular.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v477_entropic_scaleflow.py ( GRAV.ENTROPIC.SCALEFLOW.01). \ The Frullani identity upgrades to a scale-flow representation: [formula in source] (symbolic [formula in source] [formula in source] quadrature) — Bianconi's log action IS the flat scale-integral of relative heat-kernel actions, while TFPT's [formula in source] evaluates one KMS scale with a weight: the bridge between the two action principles is a choice of
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 216 to 238
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 v36_spectral_action_g2.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 v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v477_entropic_scaleflow.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v477_entropic_scaleflow.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v475_entropic_scalaron_gate.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
v476_entropic_compression_toy.py ( GRAV.ENTROPIC.COMPRESS.01). The last open work package of the v473 round, exercised on a gapped staggered-mass chain ( [formula in source] ). The seam situation is reproduced (pure bulk: the ground-state covariance is a projection to [formula in source] ; thermal boundary: [formula in source] , Peschel [formula in source] finite, [formula in source] — v155 in the bridge context). Th
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 239 to 262
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 claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v476_entropic_compression_toy.py
literal source filename/path in TeX
- explicit script identifier v476_entropic_compression_toy.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 v337_decoupling_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v473_entropic_action_bridge.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
Research changelog · TFPT — Introduction and reading guide
v475_entropic_scalaron_gate.py ( GRAV.ENTROPIC.SCALARON.01). Work package 5 of the v473 bridge. \ On a maximally symmetric background the relative curvature operator [formula in source] has eigenvalues exactly [formula in source] (Bianconi's Appendix-B flattening verified symbolically, incl.\ the [formula in source] two-form block), giving the exact vacuum action [formula in source] — the [formula in source] re-deriv
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 263 to 287
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 file citation v475_entropic_scalaron_gate.py
literal source filename/path in TeX
- explicit script identifier v473_entropic_action_bridge.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 v475_entropic_scalaron_gate.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
Research changelog · TFPT — Introduction and reading guide
v474_entropic_hodge_carrier.py ( GRAV.ENTROPIC.HODGE.01). Work packages 1 and 4-algebra of the v473 bridge, machine-checked on the finite carrier Fock space [formula in source] ( [formula in source] ). \ CAR [formula in source] Clifford: the ten [formula in source] 's from [formula in source] satisfy [formula in source] exactly (all [formula in source] pairs, integer matrices); the [formula in source] bilinears [form
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 288 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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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 tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v474_entropic_hodge_carrier.py
literal source filename/path in TeX
- explicit script identifier v474_entropic_hodge_carrier.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v2_carrier_pascal.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v44_carrier_exterior.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 v197_rr_carrier_clifford_d5.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v473_entropic_action_bridge.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
v473_entropic_action_bridge.py ( GRAV.ENTROPIC.ACTION.01). TFPT's classical field equation [formula in source] is derived thermodynamically ( v358/ v359) and honestly typed ``equation of state, not a from-action quantisation'' . Bianconi's entropic action [formula in source] (the quantum relative entropy between the spacetime metric and the matter-induced metric, Araki-related via [formula in source] ) is a local cov
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 317 to 345
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
Uniqueness scan follow-up (no new results — presentation only). A structure scan for ``what does TFPT predict that nobody else pins?'' found three concrete, falsifiable readouts that were fully computed and ledgered but missing from the public prediction surfaces; they are now surfaced, with their existing typing unchanged. (i) Axion–photon coefficient: the determinant-line anomaly coefficient [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/009-source.tex · lines 346 to 371
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
v472_quillen_detline_moduli.py ( ALPHA.QUILLEN.DETLINE.01). ALPHA.QUILLEN.EXACT.01 names the [formula in source] level as the curvature of the determinant line over the [formula in source] seam moduli (Quillen 1985 / Bismut–Freed CMP 106 (1986) curvature; Dai–Freed JMP 35 (1994) section); v470 computed the bulk Chern invariant only over the Bloch Brillouin zone (the translation-invariant shortcut). v472 computes the
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/010-source.tex · lines 1 to 55
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.