Certifiability and recommended order
tfpt research contracts
@Ylc@ Building block & Machine & Hardness \\ [formula in source] enumeration ( [formula in source] ) & Lean / Python / Wolfram & easy ( done) \\ [formula in source] fixed-locus polynomial ( [formula in source] ) & Sage / Mathematica & medium \\ selector uniqueness ( [formula in source] ) & interval arithmetic & medium \\ SNF, determinants, spectra & Lean & easy–medium \\ principal-symbol ellipticity (G1) & xAct / Cad
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
experiments/theory-contracts/universalraum-fable-kernfragen-20260910/context/transformationen/source-snapshots/tfpt/tfpt_research_contracts.tex · lines 15055 to 15361
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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 v139_selector_triangle.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v777_ftransfer_clock_jets.py
literal source filename/path in TeX
- explicit script identifier v93_koide_relaxation_toy.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v792_ftransfer_kms_coset.py
literal source filename/path in TeX
- cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v136_dual_normal_selector.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v240_gns_os_reconstruction.py
literal short identifier uniquely resolves in local script registry
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v303_ftransfer_dynamics.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v183_koide_f_corner_transfer.py
literal source filename/path in TeX
- explicit file citation v425_dyn_transfer_universal.py
literal source filename/path in TeX
- explicit file citation v723_phys_modular_clock.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 script identifier v724_phys_t3b_modular_flows.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 v383_dynamics_universal.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 file citation v566_parabolic_anchor_selfcode.py
literal source filename/path in TeX
- explicit script identifier v183_koide_f_corner_transfer.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v54_seam_horizon_keystones.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v82_koide_attractor_splitting.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v187_ftransfer_laws.py
literal source filename/path in TeX
- explicit script identifier v777_ftransfer_clock_jets.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 v723_phys_modular_clock.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v575_cr_continuous_uniflow.py
literal source filename/path in TeX
- explicit script identifier v533_ftransfer_disc7_norm.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 v971_markov_embedding_generator.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 v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v320_galois_cp_relation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v238_modular_lindblad_dynamics.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v571_cr_discrete_corners.py
literal source filename/path in TeX
- explicit script identifier v632_ftransfer_pgl2.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v578_native_jets.py
literal source filename/path in TeX
- explicit file citation v213_ftransfer_functor.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 v724_phys_t3b_modular_flows.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v184_etaB_anchored_boltzmann.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 v185_axion_relic_solver.py
literal source filename/path in TeX
- explicit script identifier v187_ftransfer_laws.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v99_koide_flow_time.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v425_dyn_transfer_universal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v224_diamond_ftransfer_path.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v578_native_jets.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