Front matter / support
Research contracts
The two routes share an executable OS skeleton (2026-08-27, SEAM.EQUIV.SKELETON.01 \ new; v973_seam_route_narrowing.py; no marker moves — SEAM.EQUIV.01, SEAM.EQUIV.MMST.01 and SEAM.EQUIV.TWISTOR.01 all stay ). The two routes are bridged by an OS skeleton that runs, [formula in source] : all WOIT kill-test main invariants hold verbatim on the [formula in source] collar edge, every divergence is control-typed to the ch
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_research_contracts/sections/003-source.tex · lines 1 to 398
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v443_seam_e8_discriminator.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 script identifier v148_fock_census.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v463_seam_c8_holomorphic_uniqueness.py
literal source filename/path in TeX
- explicit script identifier v295_flataway_a2_exact.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v356_continuum_mmst_applicability.py
literal source filename/path in TeX
- explicit file citation v439_seam_lieb_robinson.py
literal source filename/path in TeX
- explicit file citation v440_seam_lto_rp_beta.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 v311_gap_decoupled_measure.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 file citation v366_mmst_seam_collar.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v54_seam_horizon_keystones.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 v162_seam_transport_identification.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v426_seam_lto_rp_kms.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 v300_flataway_rigid.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamRigidityForcing.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 v168_qgeo_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v377_seam_s3_e8character.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v294_flataway_rp_energy.py
literal source filename/path in TeX
- explicit file citation v446_seam_clock_invariance.py
literal source filename/path in TeX
- explicit file citation v426_seam_lto_rp_kms.py
literal source filename/path in TeX
- explicit file citation SeamScalingLimit.lean
literal source filename/path in TeX
- cross reference join CartanDeterminants.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 file citation v295_flataway_a2_exact.py
literal source filename/path in TeX
- explicit file citation v448_seam_edge_fourpoint.py
literal source filename/path in TeX
- explicit file citation v424_seam_lto_rp_reduction.py
literal source filename/path in TeX
- explicit script identifier v155_quasifree_boundary.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 file citation v450_seam_edge_entanglement.py
literal source filename/path in TeX
- explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v297_route_a_literature_stack.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v376_seam_s3_centralcharge.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join 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_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v459_seam_lattice_voa_route.py
literal source filename/path in TeX
- explicit file citation v378_seam_s3_modular.py
literal source filename/path in TeX
- explicit script identifier v344_detk_synthesis.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation SeamEquivChain.lean
literal source filename/path in TeX
- explicit file citation v309_modular_bedrock.py
literal source filename/path in TeX
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v308_seam_equiv_chain.py
literal short identifier uniquely resolves in local script registry
- explicit file citation SeamApplicabilityLedger.lean
literal source filename/path in TeX
- explicit file citation v454_seam_edge_virasoro.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
- explicit script identifier v258_dirac_covariance_induction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v289_marklocal_raw.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v457_seam_character_killtest.py
literal source filename/path in TeX
- explicit script identifier v288_full_l2_subprincipal_z4.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v489_seam_modular_commutator.py
literal source filename/path in TeX
- explicit file citation v458_seam_mmst_citation_audit.py
literal source filename/path in TeX
- explicit script identifier v335_seam_equiv_unify.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v367_seam_s3_lattice.py
literal source filename/path in TeX
- explicit script identifier v378_seam_s3_modular.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v301_route_a_invertible.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v469_seam_crossedproduct_route.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 script identifier v281_holomorphy_modular_data.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v377_seam_s3_e8character.py
literal source filename/path in TeX
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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 SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v214_seam_pillowcase.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v447_seam_edge_chern.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v441_seam_applicability_ledger.py
literal source filename/path in TeX
- explicit file citation v368_seam_s3_inflow.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v290_z4_smooth_curvature_adversary.py
literal source filename/path in TeX
- explicit script identifier v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v451_seam_edge_cardy_tower.py
literal source filename/path in TeX
- explicit script identifier v519_woit_theta_rp_free.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v302_seam_gap.py
literal source filename/path in TeX
- explicit script identifier v58_seam_horizon_chain.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v293_flataway_spectral_hessian.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 v379_seam_s3_rp.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
- 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_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 v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v464_seam_oneparticle_rigidity.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 file citation v297_route_a_literature_stack.py
literal source filename/path in TeX
- explicit file citation v296_flataway_a2_closed.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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v455_seam_bw_uniform.py
literal source filename/path in TeX
- explicit script identifier v398_seam_state_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v449_seam_mmst_uniform.py
literal source filename/path in TeX
- explicit file citation v438_seam_hsmi_borchers.py
literal source filename/path in TeX
- explicit file citation v289_marklocal_raw.py
literal source filename/path in TeX
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation SeamStandardPair.lean
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 v293_flataway_spectral_hessian.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v291_flataway_contract.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v442_seam_rigidity_uniform.py
literal source filename/path in TeX
- explicit file citation v392_seam_s3_scalinglimit.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v301_route_a_invertible.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 v323_bw_geometric_modular.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 v215_seam_deck_killtest.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v300_flataway_rigid.py
literal source filename/path in TeX
- explicit file citation v445_seam_rigidity_forcing.py
literal source filename/path in TeX
- 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
- explicit file citation v462_seam_spinor_continuum.py
literal source filename/path in TeX
- explicit file citation v292_flataway_heat_reduction.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 file citation v456_seam_chirality_from_c3.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v376_seam_s3_centralcharge.py
literal short identifier uniquely resolves in local script registry
- explicit file citation SeamDeckClosure.lean
literal source filename/path in TeX
- explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v90_conical_defect_chain.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v277_seam_calderon_e8_match.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v287_free_rp_bulk_to_holomorphic_boundary.py
literal source filename/path in TeX
- explicit file citation v444_seam_edge_scaling.py
literal source filename/path in TeX
- explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v490_seam_parity_census.py
literal source filename/path in TeX
- cross reference join SeamStandardPair.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v453_seam_mu4_from_marks.py
literal source filename/path in TeX
- explicit script identifier v347_seam_closure_modes.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v264_raw_seam_marklocal.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 v308_seam_equiv_chain.py
literal source filename/path in TeX
- explicit script identifier v442_seam_rigidity_uniform.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v461_seam_strict_locality.py
literal source filename/path in TeX
- explicit script identifier v160_seam_gaussianity_from_pf.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 v286_seam_equivalence_contract.py
literal short identifier uniquely resolves in local script registry
- cross reference join MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v973_seam_route_narrowing.py
literal source filename/path in TeX
- explicit script identifier v351_continuum_realisation_sharpened.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v452_seam_e8_modular.py
literal source filename/path in TeX
- explicit file citation v460_seam_s3_lto.py
literal source filename/path in TeX