Externalization Contract — SEAM.EQUIV.01 (the seam scaling-limit theorem, packaged for external specialists)
Research contracts
Typing. This section is a hand-off document: it packages the one remaining seam obligation as a self-contained problem statement for an outside specialist in conformal nets / vertex operator algebras / algebraic QFT. It documents, it does not close: the ledger row SEAM.EQUIV.01 stays \ (its conditional route SEAM.EQUIV.MMST.01 is closed modulo cited theorems; the unconditional parent is the target below). Nothing in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_research_contracts/sections/020-source.tex · lines 1 to 162
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v1016_state_gap_batteries.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 v302_seam_gap.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 file citation v376_seam_s3_centralcharge.py
literal source filename/path in TeX
- explicit file citation SeamApplicabilityLedger.lean
literal source filename/path in TeX
- 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 lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
- explicit lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v125_glue_qsystem.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 v113_quasifree_kernel.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
- explicit file citation SeamEquivChain.lean
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 script identifier v301_route_a_invertible.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 v376_seam_s3_centralcharge.py
literal short identifier uniquely resolves in local script registry
- explicit lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
- explicit lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v368_seam_s3_inflow.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 v154_simple_current_theorem.py
literal source filename/path in TeX
- explicit script identifier v469_seam_crossedproduct_route.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 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 v368_seam_s3_inflow.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 run_all.py
literal source filename/path in TeX
- explicit file citation v356_continuum_mmst_applicability.py
literal source filename/path in TeX
- explicit lean symbol SeamEquivChain.lean
exact texttt symbol under explicit Lean/theorem context
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v378_seam_s3_modular.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v286_seam_equivalence_contract.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation SeamScalingLimit.lean
literal source filename/path in TeX
- explicit lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
- explicit file citation v378_seam_s3_modular.py
literal source filename/path in TeX
- explicit lean symbol SeamEquivChain.lean
exact texttt symbol under explicit Lean/theorem context
- explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v286_seam_equivalence_contract.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 v351_continuum_realisation_sharpened.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v377_seam_s3_e8character.py
literal source filename/path in TeX
- explicit script identifier v336_continuum_limit.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
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v125_glue_qsystem.py
literal source filename/path in TeX
- explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v281_holomorphy_modular_data.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 file citation v973_seam_route_narrowing.py
literal source filename/path in TeX
- explicit lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
- 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 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 v366_mmst_seam_collar.py
literal source filename/path in TeX
- explicit lean symbol SeamEquivChain.lean
exact texttt symbol under explicit Lean/theorem context
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v356_continuum_mmst_applicability.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
- explicit file citation v994_mmst_criteria_battery.py
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
- explicit file citation BWKeystone.lean
literal source filename/path in TeX
- explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
- explicit file citation status_ledger.csv
literal source filename/path in TeX
- explicit script identifier v461_seam_strict_locality.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 v217_marks_emergence_scan.py
literal short identifier uniquely resolves in local script registry