Front matter / support
Research contracts
The fermionic Pfaffian signature ( DOILY.PFAFFIAN. WICK.01, closed — the [formula in source] motif, the sign theorem, the self-hosting counting theorem, and the mod-30 clock). Registered and closed 2026-08-09 ( v888_finite_pfaffian_signature.py, [formula in source] , k6pfaffian-closed; exact integer/sympy, first frozen run). Exact: the [formula in source] motif theorem — the [formula in source] lines of [formula in s
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_research_contracts/sections/008-source.tex · lines 1 to 390
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v365_qg_oneloop_saddle.py
literal source filename/path in TeX
- explicit script identifier v57_horizon_crosslinks.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v908_seam_equilibrium_wiring.py
literal source filename/path in TeX
- explicit script identifier v364_vgeo_sharpen.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v76_gmetric_reduction.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 v898_kms_schur_mixing.py
literal source filename/path in TeX
- explicit script identifier v323_bw_geometric_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 v903_seam_rp_exclusion.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v329_os_gap_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v58_seam_horizon_chain.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v888_finite_pfaffian_signature.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 v77_e8_conformal_net.py
literal source filename/path in TeX
- explicit file citation v903_seam_rp_exclusion.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v330_qgamb_admissible_measure.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 v344_detk_synthesis.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v369_qgamb_redundancy.py
literal source filename/path in TeX
- explicit script identifier v366_mmst_seam_collar.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v309_modular_bedrock.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v972_seam_interaction_front.py
literal source filename/path in TeX
- explicit file citation v995_kms_subnet_rigidity.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 v334_conformal_resolution.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v358_grav_entropy_equilibrium.py
literal source filename/path in TeX
- 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
- 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 v359_grav_nonlinear_einstein.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v972_seam_interaction_front.py
literal short identifier uniquely resolves in local script registry
- 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
- 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
- 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
- explicit script identifier v898_kms_schur_mixing.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
- explicit script identifier v59_area_law_evidence.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v171_os_moment_cluster.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 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 v258_dirac_covariance_induction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v911_wiring_freedom.py
literal source filename/path in TeX
- 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 v337_decoupling_theorem.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 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v908_seam_equilibrium_wiring.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