Externalization Contract — ALPHA.QUILLEN.EXACT.01 (the determinant-line variation theorem, packaged for external specialists)
Research contracts
Typing. The second hand-off document: the one remaining EM obligation, packaged for an outside specialist in determinant lines / [formula in source] -invariants / index theory. It documents, it does not close: ALPHA.QUILLEN.EXACT.01 stays \ (external math, type A, v384), and it is a face of SEAM.EQUIV.01 ( v382) — not a second independent gate. The value [formula in source] is closed \ regardless (unique root [formul
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 163 to 386
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v382_alpha_quillen_exact.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v985_quillen_channel_swap.py
literal source filename/path in TeX
- explicit script identifier v391_alpha_quillen_progress.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v341_alpha_quillen.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v995_kms_subnet_rigidity.py
literal source filename/path in TeX
- explicit script identifier v246_unification_data_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
- 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 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 file citation v433_alpha_quillen_heatkernel.py
literal source filename/path in TeX
- explicit script identifier v472_quillen_detline_moduli.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v433_alpha_quillen_heatkernel.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 v382_alpha_quillen_exact.py
literal source filename/path in TeX
- explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v3_em_alpha.py
literal source filename/path in TeX
- explicit script identifier v342_em_ward_heatkernel.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 v48_em_ward.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v974_alpha_faces_computed.py
literal source filename/path in TeX
- explicit file citation v391_alpha_quillen_progress.py
literal source filename/path in TeX
- explicit file citation v341_alpha_quillen.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 script identifier v384_residual_certification.py
literal short identifier uniquely resolves in local script registry
- explicit file citation SeamScalingLimit.lean
literal source filename/path in TeX
- explicit file citation v485_contact_diagonal_closed.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 script identifier v485_contact_diagonal_closed.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 file citation v48_em_ward.py
literal source filename/path in TeX
- explicit script identifier v470_alpha_inflow_level.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v472_quillen_detline_moduli.py
literal source filename/path in TeX
- explicit file citation v435_alpha_quillen_chernlevel.py
literal source filename/path in TeX
- explicit file citation status_ledger.csv
literal source filename/path in TeX
- explicit file citation v484_seam_contact_unit.py
literal source filename/path in TeX
- 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
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v434_alpha_quillen_betafunction.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 v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v470_alpha_inflow_level.py
literal source filename/path in TeX
- explicit script identifier v434_alpha_quillen_betafunction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v435_alpha_quillen_chernlevel.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1014_bridge_refinements.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 v996_gauge_grammar_kill.py
literal source filename/path in TeX
- explicit file citation SeamEdgeChern.lean
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 claim identifier status_ledger.csv
exact local ledger claim identifier