Front matter / support
Research contracts
The decisive crack: principal symbol exact [formula in source] Tomita–Takesaki ( v198_modular_commutator_reduction.py). Two observations collapse the residual to a single non-circular state-invariance. First, the DtN principal symbol is [formula in source] (Lee–Uhlmann, v156); in the Fourier basis [formula in source] it is [formula in source] and the clock [formula in source] (rotation by [formula in source] ) is [fo
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_research_contracts/sections/002-source.tex · lines 1 to 395
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v241_dhr_sectors.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation rt_F_qft4d.py
literal source filename/path in TeX
- cross reference join MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v282_e8_tau_i_unification.py
literal source filename/path in TeX
- explicit script identifier v216_marks_gauss_bonnet.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 script identifier v198_modular_commutator_reduction.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 v515_celestial_wp5e_m1_omega_n.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v288_full_l2_subprincipal_z4.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v241_dhr_sectors.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v250_dirac_triple_contract.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
- cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v284_route_i_rp_uniqueness.py
literal source filename/path in TeX
- explicit file citation v276_qgeo_flat_closes_commutator.py
literal source filename/path in TeX
- explicit script identifier v168_qgeo_rigidity.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 v201_seam_subprincipal_marks.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 script identifier v18_quark_yukawa.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 v508_celestial_wp5e_gamma_pairing.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v194_raw_seam_dtn_rp.py
literal short identifier uniquely resolves in local script registry
- cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v310_carrier_sm_anomaly.py
literal source filename/path in TeX
- explicit file citation v254_inner_fluctuations.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 v256_orientability_poincare.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 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 file citation v259_modular_cutoff_kappa.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 v265_qft4d_fork_freeze.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 v242_spin_statistics_modular.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 v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v255_spectral_action_expansion.py
literal source filename/path in TeX
- explicit file citation v248_ps_algebra.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 v370_grav_spin2_unitarity.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v235_seam_chern_simons.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v5_e8_cascade.py
literal short identifier uniquely resolves in local script registry
- cross reference join YukawaTrilinearForm.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 v64_causal_boundary_nogo.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 v210_mark_local_dtn.py
literal source filename/path in TeX
- explicit script identifier v195_marks_lefschetz_character.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v264_raw_seam_marklocal.py
literal source filename/path in TeX
- cross reference join CalderonInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v239_kms_thermal_time.py
literal source filename/path in TeX
- explicit script identifier v255_spectral_action_expansion.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v253_kappa_scalaron_ps.py
literal source filename/path in TeX
- explicit script identifier v253_kappa_scalaron_ps.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v244_spectral_action_contract.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v245_spectral_matter_content.py
literal source filename/path in TeX
- explicit script identifier v277_seam_calderon_e8_match.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v234_seam_holomorphy_selection.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 v248_ps_algebra.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v280_pillowcase_steklov.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 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
- explicit file citation v973_seam_route_narrowing.py
literal source filename/path in TeX
- explicit script identifier v239_kms_thermal_time.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v258_dirac_covariance_induction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v240_gns_os_reconstruction.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 v282_e8_tau_i_unification.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v36_spectral_action_g2.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v264_raw_seam_marklocal.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 script identifier v92_glue_uniqueness.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 v200_seam_variational_scan.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v246_unification_data_crosscheck.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v271_eg_oneloop_quartic.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v214_seam_pillowcase.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 v267_qgeo_rigidity_minimal_axiom.py
literal source filename/path in TeX
- explicit file citation v246_unification_data_crosscheck.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v267_qgeo_rigidity_minimal_axiom.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 v269_spert_paqft_skeleton.py
literal source filename/path in TeX
- explicit script identifier v250_dirac_triple_contract.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 script identifier v244_spectral_action_contract.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 file citation v257_quasiorient_modpd.py
literal source filename/path in TeX
- explicit file citation v258_dirac_covariance_induction.py
literal source filename/path in TeX
- explicit file citation v252_full_finite_triple.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 v279_qgeo_obligation_lemma.py
literal source filename/path in TeX
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v214_seam_pillowcase.py
literal source filename/path in TeX
- explicit file citation v251_first_order_sigma.py
literal source filename/path in TeX
- explicit file citation v287_free_rp_bulk_to_holomorphic_boundary.py
literal source filename/path in TeX
- explicit file citation v242_spin_statistics_modular.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v247_e8_branching_no126.py
literal short identifier uniquely resolves in local script registry
- explicit file citation SeamDeckClosure.lean
literal source filename/path in TeX
- explicit script identifier v249_ps_unification.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v285_route_ii_seam_condensation.py
literal source filename/path in TeX
- explicit file citation v278_lsz_bridge_unitarity.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 v238_modular_lindblad_dynamics.py
literal source filename/path in TeX
- explicit script identifier v207_asymptotic_safety.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 v198_modular_commutator_reduction.py
literal source filename/path in TeX
- explicit file citation v273_eg_gauge_running.py
literal source filename/path in TeX
- explicit script identifier v180_clock_is_mobius.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 v199_seam_state_invariance.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v177_seam_marking_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit lean symbol SeamDeckClosure.lean
exact texttt symbol under explicit Lean/theorem context
- explicit file citation v201_seam_subprincipal_marks.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
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v249_ps_unification.py
literal source filename/path in TeX
- explicit script identifier v240_gns_os_reconstruction.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v156_seam_net_construction.py
literal short identifier uniquely resolves in local script registry
- cross reference join CartanDeterminants.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 v380_grav_kms_hessian.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join CohomologyGrading.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join ArfSpinorCompiler.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 file citation v286_seam_equivalence_contract.py
literal source filename/path in TeX
- explicit script identifier v237_seam_sre_closure.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
- 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 v247_e8_branching_no126.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
- cross reference join AuditContract.lean
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 v243_haag_ruelle_braiding.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 lean symbol SeamDeckClosure.lean
exact texttt symbol under explicit Lean/theorem context
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v243_haag_ruelle_braiding.py
literal source filename/path in TeX
- explicit script identifier v252_full_finite_triple.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 v221_seam_qecc.py
literal short identifier uniquely resolves in local script registry