Front matter / support
Research contracts
figures/residual_chain.pdf The structural-residual reduction chain ( v175 [formula in source] the certification round). The naive ``build a quantum-gravity measure'' shrinks, one machine-checked step at a time, from a vague measure to one falsifiable physical statement — is the raw seam [formula in source] at [formula in source] ? ( SEAM.EQUIV.01; its conformal-deck face QGEO.SYM.01 is a corollary, v335). The closing
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_research_contracts/sections/005-source.tex · lines 1 to 400
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 v469_seam_crossedproduct_route.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 SeamDeckClosure.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 v116_resonance_uniqueness.py
literal source filename/path in TeX
- explicit file citation v32_rh_splitting.py
literal source filename/path in TeX
- explicit script identifier v228_rr_index_gate.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v41_leg_assignment.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 v118_hexagon_family_dictionary.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 v31_R_dictionary.py
literal source filename/path in TeX
- cross reference join KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v40_harmonic_metric.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 v115_anchor_residue.py
literal source filename/path in TeX
- explicit file citation v30_d4_character_variety.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v122_margin_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v40_harmonic_metric.py
literal source filename/path in TeX
- explicit script identifier v118_hexagon_family_dictionary.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v234_seam_holomorphy_selection.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
- cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v134_dual_anchor.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v38_uwall_killswitch.py
literal source filename/path in TeX
- explicit script identifier v480_multilocal_four_interval.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v165_premise_a_closure.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v41_leg_assignment.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 v20_lepton_c_derivation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v179_conformal_realisation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v232_e8_kleinian_seam.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v181_clock_is_conformal_symmetry.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 script identifier v376_seam_s3_centralcharge.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 v237_seam_sre_closure.py
literal source filename/path in TeX
- explicit script identifier v276_qgeo_flat_closes_commutator.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v92_glue_uniqueness.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
- explicit script identifier v335_seam_equiv_unify.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 file citation v235_seam_chern_simons.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v39_uwall_selectors.py
literal source filename/path in TeX
- explicit script identifier v479_kronheimer_quiver_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v29_research_contract_certs.py
literal source filename/path in TeX
- cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v33_explicit_flat_bundle.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 AuditCheck.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 script identifier v219_icosahedral_mckay.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 v228_rr_index_gate.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 v19_monodromy_moduli.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
- cross reference join SeamEquivChain.lean
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
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v49_readout_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v114_torsion_delta.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 v33_explicit_flat_bundle.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v117_monodromy_weyl_a3.py
literal source filename/path in TeX
- explicit script identifier v175_net_existence_full_cone.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 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 v30_d4_character_variety.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 v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v83_e8net_holomorphic_uniqueness.py
literal short identifier uniquely resolves in local script registry
- cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v114_torsion_delta.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 script identifier v117_monodromy_weyl_a3.py
literal short identifier uniquely resolves in local script registry