Find the original argument.

Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.

Matching source sections

157 sections found. Current publication documents are listed before historical material.

-1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)

Research contracts

-1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/preamble.tex · lines 1 to 43

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Front matter / support

Research contracts

After the compiler closure the entire residual is [formula in source] This note turns the two genuine research gates into contracts: a numbered chain of lemmas, the single theorem that closes each gate, and — for every step — whether it is machine-certifiable today. [formula in source] (Koide, [formula in source] , axion relic scale, [formula in source] ) is not a gate: those are deliberately typed QFT/cosmology inte

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/001-source.tex · lines 1 to 160

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v519_woit_theta_rp_free.py
literal short identifier uniquely resolves in local script registry
explicit file citation v384_residual_certification.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 AuditContract.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 v508_celestial_wp5e_gamma_pairing.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v374_ftransfer_qcd.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v89_carrier_index_lemma.py
literal short identifier uniquely resolves in local script registry
cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v529_seam_interacting_toy_fk.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v518_celestial_wp5e_delta1_derived_kill.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 script identifier v383_dynamics_universal.py
literal short identifier uniquely resolves in local script registry
explicit file citation v113_quasifree_kernel.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
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v517_celestial_wp5e_m3_a0_uplift.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v533_ftransfer_disc7_norm.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v224_diamond_ftransfer_path.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v75_upoint_to_vgeo.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join CoxeterPrime2.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 script identifier v261_modular_spectral_closure.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v71_simple_r_bridge.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v336_continuum_limit.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v515_celestial_wp5e_m1_omega_n.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v49_readout_rigidity.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v382_alpha_quillen_exact.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v565_woit_beta3_pt_duality.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v524_woit_beta2_os_quotient.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 v259_modular_cutoff_kappa.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v520_celestial_wp5e_measure_decision.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v522_woit_beta1_gso_gauge.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 v472_quillen_detline_moduli.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 v153_no_unit_theorem.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
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 v523_celestial_wp5e_wm_derived.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 GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v394_coxeter_atoms.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v371_ftransfer_pole.py
literal short identifier uniquely resolves in local script registry
explicit file citation v632_ftransfer_pgl2.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 v187_ftransfer_laws.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 script identifier v68_seeley_dewitt_residual.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
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 v409_coxeter_prime2_lemma.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 v469_seam_crossedproduct_route.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamResidualAxiom.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 file citation v973_seam_route_narrowing.py
literal source filename/path in TeX
explicit script identifier v390_prime2_facet.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v364_vgeo_sharpen.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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v409_coxeter_prime2_lemma.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v534_seam_straddle_cone.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 CoxeterPrime2.lean
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 script identifier v260_k3_kummer_unification.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v470_alpha_inflow_level.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Research Contract 1 — [formula in source]

Research contracts

Goal. Prove [formula in source] with [formula in source] and [formula in source] at the four points of [formula in source] . The substrate is standard: degree-zero stable parabolic bundles correspond to unitary representations with prescribed local monodromies (Mehta–Seshadri); tame non-abelian Hodge gives the Higgs / flat-connection side. The TFPT content is to pin the one [formula in source] -symmetric, rank-3, fou

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/001-source.tex · lines 161 to 397

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

cross reference join CohomologyGrading.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v180_clock_is_mobius.py
literal source filename/path in TeX
explicit file citation v181_clock_is_conformal_symmetry.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 v600_joint_embedding.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 AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
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
cross reference join MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v566_parabolic_anchor_selfcode.py
literal short identifier uniquely resolves in local script registry
explicit file citation CohomologyGrading.lean
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v196_seam_energy_functional.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 v176_seam_collar_realisation.py
literal source filename/path in TeX
explicit file citation v601_equivariant_dual.py
literal source filename/path in TeX
explicit script identifier v599_real_structure.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
cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
explicit file citation v192_qgeo_energy_clock.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 v590_involution_existence.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 v175_net_existence_full_cone.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamResidualAxiom.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 v179_conformal_realisation.py
literal source filename/path in TeX
explicit script identifier v162_seam_transport_identification.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 v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
explicit file citation v168_qgeo_rigidity.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v194_raw_seam_dtn_rp.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
cross reference join ParityWeightLaws.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 file citation v597_mu4_cover_model.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 v178_marks_kernel_attempt.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v602_duality_forms.py
literal source filename/path in TeX
explicit script identifier v601_equivariant_dual.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v597_mu4_cover_model.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v168_qgeo_rigidity.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v156_seam_net_construction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v177_seam_marking_kernel.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v572_rp_bit_form.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 v150_replica_eh_model.py
literal short identifier uniquely resolves in local script registry
explicit file citation v193_qgeo_energy_commutator.py
literal source filename/path in TeX
explicit script identifier v181_clock_is_conformal_symmetry.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 v58_seam_horizon_chain.py
literal short identifier uniquely resolves in local script registry
explicit file citation CoverEmbedding.lean
literal source filename/path in TeX
explicit file citation v195_marks_lefschetz_character.py
literal source filename/path in TeX
explicit script identifier v73_k_c3_half.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 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 v177_seam_marking_kernel.py
literal source filename/path in TeX
cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v158_fixed_point_stable.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation MobiusUniformisation.lean
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

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.

Read the original section Read the paper: Research contracts

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

Front matter / support

Research contracts

The two routes share an executable OS skeleton (2026-08-27, SEAM.EQUIV.SKELETON.01 \ new; v973_seam_route_narrowing.py; no marker moves — SEAM.EQUIV.01, SEAM.EQUIV.MMST.01 and SEAM.EQUIV.TWISTOR.01 all stay ). The two routes are bridged by an OS skeleton that runs, [formula in source] : all WOIT kill-test main invariants hold verbatim on the [formula in source] collar edge, every divergence is control-typed to the ch

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/003-source.tex · lines 1 to 398

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation v443_seam_e8_discriminator.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 v148_fock_census.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v463_seam_c8_holomorphic_uniqueness.py
literal source filename/path in TeX
explicit script identifier v295_flataway_a2_exact.py
literal short identifier uniquely resolves in local script registry
explicit file citation v356_continuum_mmst_applicability.py
literal source filename/path in TeX
explicit file citation v439_seam_lieb_robinson.py
literal source filename/path in TeX
explicit file citation v440_seam_lto_rp_beta.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 v311_gap_decoupled_measure.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 file citation v366_mmst_seam_collar.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v54_seam_horizon_keystones.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 script identifier v162_seam_transport_identification.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v426_seam_lto_rp_kms.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 v300_flataway_rigid.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamRigidityForcing.lean
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 script identifier v168_qgeo_rigidity.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v377_seam_s3_e8character.py
literal short identifier uniquely resolves in local script registry
explicit file citation v294_flataway_rp_energy.py
literal source filename/path in TeX
explicit file citation v446_seam_clock_invariance.py
literal source filename/path in TeX
explicit file citation v426_seam_lto_rp_kms.py
literal source filename/path in TeX
explicit file citation SeamScalingLimit.lean
literal source filename/path in TeX
cross reference join CartanDeterminants.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 v295_flataway_a2_exact.py
literal source filename/path in TeX
explicit file citation v448_seam_edge_fourpoint.py
literal source filename/path in TeX
explicit file citation v424_seam_lto_rp_reduction.py
literal source filename/path in TeX
explicit script identifier v155_quasifree_boundary.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 file citation v450_seam_edge_entanglement.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v297_route_a_literature_stack.py
literal short identifier uniquely resolves in local script registry
explicit file citation v376_seam_s3_centralcharge.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 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 v459_seam_lattice_voa_route.py
literal source filename/path in TeX
explicit file citation v378_seam_s3_modular.py
literal source filename/path in TeX
explicit script identifier v344_detk_synthesis.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation SeamEquivChain.lean
literal source filename/path in TeX
explicit file citation v309_modular_bedrock.py
literal source filename/path in TeX
cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v308_seam_equiv_chain.py
literal short identifier uniquely resolves in local script registry
explicit file citation SeamApplicabilityLedger.lean
literal source filename/path in TeX
explicit file citation v454_seam_edge_virasoro.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 v258_dirac_covariance_induction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v289_marklocal_raw.py
literal short identifier uniquely resolves in local script registry
explicit file citation v457_seam_character_killtest.py
literal source filename/path in TeX
explicit script identifier v288_full_l2_subprincipal_z4.py
literal short identifier uniquely resolves in local script registry
explicit file citation v489_seam_modular_commutator.py
literal source filename/path in TeX
explicit file citation v458_seam_mmst_citation_audit.py
literal source filename/path in TeX
explicit script identifier v335_seam_equiv_unify.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 script identifier v378_seam_s3_modular.py
literal short identifier uniquely resolves in local script registry
explicit file citation v301_route_a_invertible.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v469_seam_crossedproduct_route.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 v281_holomorphy_modular_data.py
literal short identifier uniquely resolves in local script registry
explicit file citation v377_seam_s3_e8character.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
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
cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v214_seam_pillowcase.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
cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v447_seam_edge_chern.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 v441_seam_applicability_ledger.py
literal source filename/path in TeX
explicit file citation v368_seam_s3_inflow.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v290_z4_smooth_curvature_adversary.py
literal source filename/path in TeX
explicit script identifier v302_seam_gap.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 v451_seam_edge_cardy_tower.py
literal source filename/path in TeX
explicit script identifier v519_woit_theta_rp_free.py
literal short identifier uniquely resolves in local script registry
explicit file citation v302_seam_gap.py
literal source filename/path in TeX
explicit script identifier v58_seam_horizon_chain.py
literal short identifier uniquely resolves in local script registry
explicit file citation v293_flataway_spectral_hessian.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 v379_seam_s3_rp.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
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
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 v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
explicit file citation v464_seam_oneparticle_rigidity.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 v297_route_a_literature_stack.py
literal source filename/path in TeX
explicit file citation v296_flataway_a2_closed.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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v455_seam_bw_uniform.py
literal source filename/path in TeX
explicit script identifier v398_seam_state_rigidity.py
literal short identifier uniquely resolves in local script registry
explicit file citation v449_seam_mmst_uniform.py
literal source filename/path in TeX
explicit file citation v438_seam_hsmi_borchers.py
literal source filename/path in TeX
explicit file citation v289_marklocal_raw.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 file citation SeamStandardPair.lean
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 v293_flataway_spectral_hessian.py
literal short identifier uniquely resolves in local script registry
explicit file citation v291_flataway_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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v442_seam_rigidity_uniform.py
literal source filename/path in TeX
explicit file citation v392_seam_s3_scalinglimit.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v301_route_a_invertible.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 script identifier v323_bw_geometric_modular.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 v215_seam_deck_killtest.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 v300_flataway_rigid.py
literal source filename/path in TeX
explicit file citation v445_seam_rigidity_forcing.py
literal source filename/path in TeX
explicit script identifier v489_seam_modular_commutator.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v462_seam_spinor_continuum.py
literal source filename/path in TeX
explicit file citation v292_flataway_heat_reduction.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 v456_seam_chirality_from_c3.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 v376_seam_s3_centralcharge.py
literal short identifier uniquely resolves in local script registry
explicit file citation SeamDeckClosure.lean
literal source filename/path in TeX
explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v90_conical_defect_chain.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v277_seam_calderon_e8_match.py
literal short identifier uniquely resolves in local script registry
explicit file citation v287_free_rp_bulk_to_holomorphic_boundary.py
literal source filename/path in TeX
explicit file citation v444_seam_edge_scaling.py
literal source filename/path in TeX
explicit script identifier v367_seam_s3_lattice.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 v490_seam_parity_census.py
literal source filename/path in TeX
cross reference join SeamStandardPair.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v453_seam_mu4_from_marks.py
literal source filename/path in TeX
explicit script identifier v347_seam_closure_modes.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
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 v308_seam_equiv_chain.py
literal source filename/path in TeX
explicit script identifier v442_seam_rigidity_uniform.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
explicit file citation v461_seam_strict_locality.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
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 v286_seam_equivalence_contract.py
literal short identifier uniquely resolves in local script registry
cross reference join MobiusUniformisation.lean
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 v351_continuum_realisation_sharpened.py
literal short identifier uniquely resolves in local script registry
explicit file citation v452_seam_e8_modular.py
literal source filename/path in TeX
explicit file citation v460_seam_s3_lto.py
literal source filename/path in TeX

Front matter / support

Research contracts

(xxi) The lattice Sugawara current algebra ( v454_seam_edge_virasoro.py): testing the cited MMST ``Koo–Saleur generators [formula in source] continuum Virasoro with the correct [formula in source] '' fact on the edge algebra, not just its central charge. The critical free-fermion ring has the Affleck–Cardy Casimir energy [formula in source] fitting [formula in source] ( [formula in source] per Majorana, [formula in s

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/004-source.tex · lines 1 to 394

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

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 file citation v525_seam_bit_twist_blind.py
literal source filename/path in TeX
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 v302_seam_gap.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v398_seam_state_rigidity.py
literal source filename/path in TeX
cross reference join SeamRigidityForcing.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 file citation v455_seam_bw_uniform.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v450_seam_edge_entanglement.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
explicit file citation v458_seam_mmst_citation_audit.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 v507_seam_bit_origin.py
literal short identifier uniquely resolves in local script registry
explicit file citation v459_seam_lattice_voa_route.py
literal source filename/path in TeX
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 file citation freeze_file.csv
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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v236_brieskorn_capstone.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 script identifier v247_e8_branching_no126.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 v161_one_particle_reduction.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 script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v254_inner_fluctuations.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 v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
explicit file citation v506_seam_clock_rigidity.py
literal source filename/path in TeX
explicit script identifier v177_seam_marking_kernel.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v253_kappa_scalaron_ps.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamResidualAxiom.lean
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
explicit file citation v529_seam_interacting_toy_fk.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 v507_seam_bit_origin.py
literal source filename/path in TeX
explicit script identifier v258_dirac_covariance_induction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v260_k3_kummer_unification.py
literal source filename/path in TeX
explicit file citation v454_seam_edge_virasoro.py
literal source filename/path in TeX
explicit file citation v401_metrology_closure.py
literal source filename/path in TeX
explicit file citation v462_seam_spinor_continuum.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
explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
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 v499_p2_weights_deligne_bg.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v198_modular_commutator_reduction.py
literal short identifier uniquely resolves in local script registry
explicit file citation v534_seam_straddle_cone.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 v248_ps_algebra.py
literal short identifier uniquely resolves in local script registry
explicit file citation v215_seam_deck_killtest.py
literal source filename/path in TeX
explicit file citation v469_seam_crossedproduct_route.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v426_seam_lto_rp_kms.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 lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
explicit script identifier v478_entropic_continuum_legs.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 AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v528_seam_bit_twist_class_definition.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 v261_modular_spectral_closure.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 v261_modular_spectral_closure.py
literal source filename/path in TeX
explicit file citation v464_seam_oneparticle_rigidity.py
literal source filename/path in TeX
explicit script identifier v259_modular_cutoff_kappa.py
literal short identifier uniquely resolves in local script registry
explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v199_seam_state_invariance.py
literal short identifier uniquely resolves in local script registry
explicit file citation v460_seam_s3_lto.py
literal source filename/path in TeX
explicit file citation v266_ps_threshold_proton.py
literal source filename/path in TeX
explicit script identifier v493_celestial_wp2_clock_deformation.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 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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v399_gravity_complete.py
literal source filename/path in TeX
explicit script identifier v506_seam_clock_rigidity.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
cross reference join tfpt_readouts_extension.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
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v519_woit_theta_rp_free.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v446_seam_clock_invariance.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v510_seam_bit_freedom.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 v217_marks_emergence_scan.py
literal source filename/path in TeX
explicit script identifier v359_grav_nonlinear_einstein.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 v238_modular_lindblad_dynamics.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v308_seam_equiv_chain.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v503_qgeo_emergence_light.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 v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v73_k_c3_half.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v249_ps_unification.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v252_full_finite_triple.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v445_seam_rigidity_forcing.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v528_seam_bit_twist_class_definition.py
literal short identifier uniquely resolves in local script registry
explicit file citation v457_seam_character_killtest.py
literal source filename/path in TeX
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
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 file citation v521_seam_bit_rp_blind.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
cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v456_seam_chirality_from_c3.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v510_seam_bit_freedom.py
literal source filename/path in TeX
explicit file citation v512_seam_tau_flag.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v480_multilocal_four_interval.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
explicit file citation v265_qft4d_fork_freeze.py
literal source filename/path in TeX
explicit script identifier v217_marks_emergence_scan.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 script identifier v197_rr_carrier_clifford_d5.py
literal short identifier uniquely resolves in local script registry
explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
explicit script identifier v480_multilocal_four_interval.py
literal short identifier uniquely resolves in local script registry
cross reference join CohomologyGrading.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v442_seam_rigidity_uniform.py
literal short identifier uniquely resolves in local script registry
explicit file citation v216_marks_gauss_bonnet.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 v463_seam_c8_holomorphic_uniqueness.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
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 v232_e8_kleinian_seam.py
literal short identifier uniquely resolves in local script registry
explicit file citation qft4d_fork_freeze.json
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 SeamResidualAxiom.lean
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v476_entropic_compression_toy.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v479_kronheimer_quiver_bridge.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v356_continuum_mmst_applicability.py
literal short identifier uniquely resolves in local script registry
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 MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v461_seam_strict_locality.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v1_e8_glue.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 lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
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 lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

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.

Read the original section Read the paper: Research contracts

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

Front matter / support

Research contracts

The address table acquires its structure — on word-length integers frozen in v18/ v20, long before today's readings (the red-team firewall). (i) The lepton words are the atoms : [formula in source] in mass order (longest word [formula in source] lightest lepton). (ii) Addresses [formula in source] division by the hexagon : [formula in source] with [formula in source] itself an atom: [formula in source] , [formula in

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/006-source.tex · lines 1 to 290

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation v134_dual_anchor.py
literal source filename/path in TeX
explicit script identifier v134_dual_anchor.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 script identifier v18_quark_yukawa.py
literal short identifier uniquely resolves in local script registry
explicit file citation v75_upoint_to_vgeo.py
literal source filename/path in TeX
cross reference join YukawaPrimitive.lean
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 v34_h2_bridge_attempt.py
literal source filename/path in TeX
explicit script identifier v69_d4_q_geometry.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 v118_hexagon_family_dictionary.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 v49_readout_rigidity.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 v122_margin_theorem.py
literal source filename/path in TeX
explicit script identifier v117_monodromy_weyl_a3.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 v20_lepton_c_derivation.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 v71_simple_r_bridge.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 v70_q_integer_lift.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 v142_frame_integrality.py
literal source filename/path in TeX
explicit script identifier v139_selector_triangle.py
literal short identifier uniquely resolves in local script registry
explicit file citation v33_explicit_flat_bundle.py
literal source filename/path in TeX
explicit script identifier v71_simple_r_bridge.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v95_centered_diamond.py
literal short identifier uniquely resolves in local script registry
explicit file citation v39_uwall_selectors.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 v119_review_validation_2.py
literal source filename/path in TeX
explicit file citation v136_dual_normal_selector.py
literal source filename/path in TeX
explicit file citation v45_family_exterior.py
literal source filename/path in TeX
explicit file citation v120_address_table.py
literal source filename/path in TeX
explicit file citation v121_address_pinning.py
literal source filename/path in TeX
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
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.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v44_carrier_exterior.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v135_det_surface.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 v4_flavor_matrix.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v42_exterior_leg.py
literal short identifier uniquely resolves in local script registry
explicit file citation v145_pairing_atoms.py
literal source filename/path in TeX
explicit script identifier v98_discriminant_dictionary.py
literal short identifier uniquely resolves in local script registry
explicit file citation v43_exterior_bridge.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 file citation v42_exterior_leg.py
literal source filename/path in TeX
explicit script identifier v46_grand_mass_volume.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 v68_seeley_dewitt_residual.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v119_review_validation_2.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v49_readout_rigidity.py
literal short identifier uniquely resolves in local script registry
explicit file citation v149_cusp_normal.py
literal source filename/path in TeX
explicit file citation v139_selector_triangle.py
literal source filename/path in TeX

Research Contract 2 — [formula in source]

Research contracts

Goal. Construct the TFPT metric measure [formula in source] [formula in source] the relative spectral action whose low-curvature shadow is the already-closed [formula in source] equation.

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/007-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 v28_gravity_fR.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v858_g31_clock_alphabet.py
literal source filename/path in TeX
explicit file citation v845_cfin_normal_form.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
explicit file citation v36_spectral_action_g2.py
literal source filename/path in TeX
explicit script identifier v284_route_i_rp_uniqueness.py
literal short identifier uniquely resolves in local script registry
explicit file citation status_ledger.csv
literal source filename/path in TeX
explicit script identifier v2_carrier_pascal.py
literal short identifier uniquely resolves in local script registry
explicit file citation seam_equivalence.json
literal source filename/path in TeX
explicit script identifier v526_seam_thermal_kms_nariai_bridge.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation FlavorFeedback.lean
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 v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v143_graded_frobenius.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 v878_ledger_integrity.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join SeamResidualAxiom.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
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
explicit file citation v722_phys_ramified_ns_r.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v286_seam_equivalence_contract.py
literal short identifier uniquely resolves in local script registry
explicit file citation v857_simplex_fourier_winding.py
literal source filename/path in TeX
cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v888_finite_pfaffian_signature.py
literal source filename/path in TeX
explicit file citation v779_gnet_gns_arf.py
literal source filename/path in TeX
explicit script identifier v123_inventory_update.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 script identifier v125_glue_qsystem.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 file citation v143_graded_frobenius.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 ProjectiveHamming.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v799_seam_code_typeii.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 file citation v874_feedback_decoder_lean.py
literal source filename/path in TeX
explicit script identifier v880_finite_anchor_theorems.py
literal short identifier uniquely resolves in local script registry
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 file citation v875_shell_global_lean.py
literal source filename/path in TeX
explicit script identifier v279_qgeo_obligation_lemma.py
literal short identifier uniquely resolves in local script registry
cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v813_p1_index_kms.py
literal source filename/path in TeX
explicit file citation v128_graded_hull.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v726_phys_car_pp_index.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 v148_fock_census.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 v125_glue_qsystem.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation GaussianShells.lean
literal source filename/path in TeX
explicit file citation v812_flavor_graph_filtration.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v802_gnet_martingale.py
literal source filename/path in TeX
explicit file citation v844_message_doily_rank.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v89_carrier_index_lemma.py
literal short identifier uniquely resolves in local script registry

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.

Read the original section Read the paper: Research contracts

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

Front matter / support

Research contracts

fixed-volume (maximal-vacuum-entanglement) equilibrium — no linearisation assumed. Einstein tensor, not Ricci . Stationarity of the entanglement entropy at fixed volume forces the divergence-free combination: the [formula in source] D trace identity [formula in source] (for [formula in source] ) selects [formula in source] , so [formula in source] with both coefficients TFPT-fixed: the Newton coupling [formula in sou

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/009-source.tex · lines 1 to 398

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation v148_fock_census.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 BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v355_e8_unmapped_bandwidth.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 file citation v476_entropic_compression_toy.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.wl
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
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 script identifier v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v60_lambda_metrology_branch.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 v477_entropic_scaleflow.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v151_bfk_split.py
literal source filename/path in TeX
explicit file citation v160_seam_gaussianity_from_pf.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 v471_seam_horizon_replica.py
literal short identifier uniquely resolves in local script registry
explicit file citation v745_qgeo_car_l1_sector_lemma.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 v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
explicit file citation v364_vgeo_sharpen.py
literal source filename/path in TeX
explicit script identifier v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
explicit file citation v175_net_existence_full_cone.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 v154_simple_current_theorem.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 ArfSpinorCompiler.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 file citation v715_qgeo_car_continuum.py
literal source filename/path in TeX
explicit file citation v161_one_particle_reduction.py
literal source filename/path in TeX
explicit file citation v779_gnet_gns_arf.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 file citation v125_glue_qsystem.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 v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v480_multilocal_four_interval.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_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v168_qgeo_rigidity.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 file citation v475_entropic_scalaron_gate.py
literal source filename/path in TeX
explicit script identifier v475_entropic_scalaron_gate.py
literal short identifier uniquely resolves in local script registry
explicit file citation v143_graded_frobenius.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 v153_no_unit_theorem.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 MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v715_qgeo_car_continuum.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v165_premise_a_closure.py
literal source filename/path in TeX
explicit file citation v150_replica_eh_model.py
literal source filename/path in TeX
explicit script identifier v337_decoupling_theorem.py
literal short identifier uniquely resolves in local script registry
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 file citation v156_seam_net_construction.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 v152_norm_is_anchor.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v361_grav_backreaction.py
literal short identifier uniquely resolves in local script registry
explicit file citation v778_qgeo_gridsup_logsum.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 SpectralGapAttractor.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 v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
explicit file citation v478_entropic_continuum_legs.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 v83_e8net_holomorphic_uniqueness.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v156_seam_net_construction.py
literal short identifier uniquely resolves in local script registry
explicit file citation v162_seam_transport_identification.py
literal source filename/path in TeX
explicit file citation v474_entropic_hodge_carrier.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 v161_one_particle_reduction.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v473_entropic_action_bridge.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v354_e8_reverse_audit.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 v323_bw_geometric_modular.py
literal short identifier uniquely resolves in local script registry
explicit file citation v473_entropic_action_bridge.py
literal source filename/path in TeX
explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
explicit file citation v158_fixed_point_stable.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 v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
explicit file citation v59_area_law_evidence.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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v158_fixed_point_stable.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 v110_calderon_sheet.py
literal short identifier uniquely resolves in local script registry
explicit file citation v157_rigid_fixed_point.py
literal source filename/path in TeX
explicit script identifier v56_unique_attractor.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 script identifier v2_carrier_pascal.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v116_resonance_uniqueness.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 v157_rigid_fixed_point.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v44_carrier_exterior.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
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v155_quasifree_boundary.py
literal source filename/path in TeX
explicit file citation v802_gnet_martingale.py
literal source filename/path in TeX
explicit script identifier v36_spectral_action_g2.py
literal short identifier uniquely resolves in local script registry

Front matter / support

Research contracts

complete theory (matter and gravity), and the final tally is [formula in source] with zero dimensionless dials — a [formula in source] reduction against the Standard Model. ( [formula in source] stays UV-sensitive (Sakharov, v68), so it is a metrology readout, not a clean prediction — consistent with [formula in source] being the anchor.) The torsor closure of the interface ( v725_phys_vgeo_torsor_audit.py, VGEO.TORS

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/010-source.tex · lines 1 to 43

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v274_scale_overdetermination.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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v725_phys_vgeo_torsor_audit.py
literal source filename/path in TeX
explicit file citation v28_gravity_fR.py
literal source filename/path in TeX
explicit script identifier v359_grav_nonlinear_einstein.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v68_seeley_dewitt_residual.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

Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)

Research contracts

Reader's note. A compact synthesis of this contract's executed work packages (WP1–WP5d, both WP5d stages, [formula in source] the WP5e [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] and [formula in source] stages [formula in source] the three back-reaction milestones M1–M3) — the narrative arc from the [formula in source] clock to the [formula in source] bo

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/010-source.tex · lines 44 to 382

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v504_celestial_wp5d_klm_completeness.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 script identifier v179_conformal_realisation.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v214_seam_pillowcase.py
literal short identifier uniquely resolves in local script registry
cross reference join GlueUniqueness.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v449_seam_mmst_uniform.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 script identifier v492_celestial_z4_orbifold.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 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 v509_celestial_wp5e_eps2_level_from_flux.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 script identifier v511_celestial_wp5e_delta2_tensor_ledger.py
literal short identifier uniquely resolves in local script registry
explicit file citation v497_celestial_wp5a_null_ideal.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v521_seam_bit_rp_blind.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v514_celestial_wp5e_eps1_axion_slot.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v518_celestial_wp5e_delta1_derived_kill.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v513_celestial_dterm_nonderivation.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join KronheimerMarks.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 file citation v493_celestial_wp2_clock_deformation.py
literal source filename/path in TeX
explicit script identifier v473_entropic_action_bridge.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v528_seam_bit_twist_class_definition.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v128_graded_hull.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamResidualAxiom.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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v493_celestial_wp2_clock_deformation.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v507_seam_bit_origin.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 script identifier v358_grav_entropy_equilibrium.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 v497_celestial_wp5a_null_ideal.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v523_celestial_wp5e_wm_derived.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v479_kronheimer_quiver_bridge.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 v510_seam_bit_freedom.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 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
explicit script identifier v377_seam_s3_e8character.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v520_celestial_wp5e_measure_decision.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 v517_celestial_wp5e_m3_a0_uplift.py
literal short identifier uniquely resolves in local script registry
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
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
cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v519_woit_theta_rp_free.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v525_seam_bit_twist_blind.py
literal short identifier uniquely resolves in local script registry
explicit file citation v496_celestial_wp4_character_shadow.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 v506_seam_clock_rigidity.py
literal short identifier uniquely resolves in local script registry
explicit file citation v506_seam_clock_rigidity.py
literal source filename/path in TeX
explicit script identifier v379_seam_s3_rp.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 v492_celestial_z4_orbifold.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 v495_celestial_wp3_gs_alignment.py
literal source filename/path in TeX
explicit script identifier v168_qgeo_rigidity.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v505_celestial_wp5e_beta_equivariant_ledger.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 v529_seam_interacting_toy_fk.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 v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v180_clock_is_mobius.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v515_celestial_wp5e_m1_omega_n.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join MobiusUniformisation.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 script identifier v137_qplus_cohomology.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 v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v500_celestial_wp5c_gns_limit_state.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v507_seam_bit_origin.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 v516_celestial_wp5e_m2_twisted_ks_measure.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Front matter / support

Research contracts

contains the chiral jet grading as its [formula in source] member (generator counts [formula in source] per degree), and its [formula in source] coefficient equals the quarter-moded loop Fock for all [formula in source] — strictly larger for every [formula in source] (verified [formula in source] , [formula in source] ): the WP4 ``boundary-limit shadow'' is a precise coefficientwise limit [formula in source] with exp

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/011-source.tex · lines 1 to 387

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v496_celestial_wp4_character_shadow.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v513_celestial_dterm_nonderivation.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
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 v501_celestial_wp5d_two_interval_index.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 v505_celestial_wp5e_beta_equivariant_ledger.py
literal source filename/path in TeX
explicit script identifier v449_seam_mmst_uniform.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 v495_celestial_wp3_gs_alignment.py
literal short identifier uniquely resolves in local script registry
explicit file citation v502_celestial_wp5e_prefactor_level.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 v490_seam_parity_census.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 v511_celestial_wp5e_delta2_tensor_ledger.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 v520_celestial_wp5e_measure_decision.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v513_celestial_dterm_nonderivation.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v515_celestial_wp5e_m1_omega_n.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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v498_celestial_wp5b_singular_vector.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 v508_celestial_wp5e_gamma_pairing.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 v518_celestial_wp5e_delta1_derived_kill.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 v493_celestial_wp2_clock_deformation.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 script identifier v509_celestial_wp5e_eps2_level_from_flux.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
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
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 v504_celestial_wp5d_klm_completeness.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 v518_celestial_wp5e_delta1_derived_kill.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 v517_celestial_wp5e_m3_a0_uplift.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v514_celestial_wp5e_eps1_axion_slot.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v516_celestial_wp5e_m2_twisted_ks_measure.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 v500_celestial_wp5c_gns_limit_state.py
literal source filename/path in TeX
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v509_celestial_wp5e_eps2_level_from_flux.py
literal source filename/path in TeX

Front matter / support

Research contracts

sharpened: the column-canonicalised [formula in source] member is boundary-consistent yet tester-dead); and the constructive BCOV derivation of the [formula in source] normalisation itself is since executed by v523 (verdict ERFOLG; the residual \ narrows to the global BCOV integral beyond the fibre zero-mode factor). The [formula in source] stage ( done) / \ — the [formula in source] bulk-axion slot — is executed and

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/012-source.tex · lines 1 to 361

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 file citation v523_celestial_wp5e_wm_derived.py
literal source filename/path in TeX
explicit file citation v514_celestial_wp5e_eps1_axion_slot.py
literal source filename/path in TeX
explicit script identifier v513_celestial_dterm_nonderivation.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 v502_celestial_wp5e_prefactor_level.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v518_celestial_wp5e_delta1_derived_kill.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
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 v518_celestial_wp5e_delta1_derived_kill.py
literal source filename/path in TeX
explicit script identifier v493_celestial_wp2_clock_deformation.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v509_celestial_wp5e_eps2_level_from_flux.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 v516_celestial_wp5e_m2_twisted_ks_measure.py
literal short identifier uniquely resolves in local script registry
explicit file citation v508_celestial_wp5e_gamma_pairing.py
literal source filename/path in TeX
explicit file citation v520_celestial_wp5e_measure_decision.py
literal source filename/path in TeX
explicit file citation v515_celestial_wp5e_m1_omega_n.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 v514_celestial_wp5e_eps1_axion_slot.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 v516_celestial_wp5e_m2_twisted_ks_measure.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 v504_celestial_wp5d_klm_completeness.py
literal source filename/path in TeX
explicit file citation v517_celestial_wp5e_m3_a0_uplift.py
literal source filename/path in TeX
explicit script identifier v505_celestial_wp5e_beta_equivariant_ledger.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v517_celestial_wp5e_m3_a0_uplift.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v523_celestial_wp5e_wm_derived.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v492_celestial_z4_orbifold.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v511_celestial_wp5e_delta2_tensor_ledger.py
literal short identifier uniquely resolves in local script registry
explicit file citation v509_celestial_wp5e_eps2_level_from_flux.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v496_celestial_wp4_character_shadow.py
literal source filename/path in TeX
explicit script identifier v520_celestial_wp5e_measure_decision.py
literal short identifier uniquely resolves in local script registry
explicit file citation v500_celestial_wp5c_gns_limit_state.py
literal source filename/path in TeX
explicit file citation v498_celestial_wp5b_singular_vector.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 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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v505_celestial_wp5e_beta_equivariant_ledger.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
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 v502_celestial_wp5e_prefactor_level.py
literal source filename/path in TeX
explicit file citation v497_celestial_wp5a_null_ideal.py
literal source filename/path in TeX
explicit file citation v511_celestial_wp5e_delta2_tensor_ledger.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 v515_celestial_wp5e_m1_omega_n.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v501_celestial_wp5d_two_interval_index.py
literal source filename/path in TeX
explicit file citation v495_celestial_wp3_gs_alignment.py
literal source filename/path in TeX

Front matter / support

Research contracts

WP5e proper — the global BCOV quantisation, narrowed to the global BCOV integral beyond the fibre zero-mode factor — is the single remaining open piece) — the WP1 critical correction (clock [formula in source] deck; clock [formula in source] deck), the WP2 sharpenings (the clock is the Picard–Lefschetz/Coxeter monodromy of the seam deformation; [formula in source] pure scale with the [formula in source] shape frozen)

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/013-source.tex · lines 1 to 138

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v517_celestial_wp5e_m3_a0_uplift.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 v511_celestial_wp5e_delta2_tensor_ledger.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 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 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 script identifier v523_celestial_wp5e_wm_derived.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
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 claim identifier status_ledger.csv
exact local ledger claim identifier
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 v493_celestial_wp2_clock_deformation.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
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v518_celestial_wp5e_delta1_derived_kill.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 claim identifier status_ledger.csv
exact local ledger claim identifier
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 v515_celestial_wp5e_m1_omega_n.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v520_celestial_wp5e_measure_decision.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 script identifier v516_celestial_wp5e_m2_twisted_ks_measure.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v513_celestial_dterm_nonderivation.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Research Contract — WOIT.OS.TWISTOR.01 (the Osterwalder–Schrader twistor bridge)

Research contracts

Typing. This is the actual bridge from compiler to physics — everything in CELEST.SEAM.01 is preparation for it. It is a research contract \ (ledger row WOIT.OS.TWISTOR.01: Open, research contract), not a claim; nothing below asserts that the construction exists. The external programme it engages — Woit's Euclidean Twistor Unification ( arXiv:2104.05099) — is a named reference frame for the shape of the target, never

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/013-source.tex · lines 139 to 390

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
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 v972_seam_interaction_front.py
literal source filename/path in TeX
explicit script identifier v510_seam_bit_freedom.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v565_woit_beta3_pt_duality.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v524_woit_beta2_os_quotient.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v528_seam_bit_twist_class_definition.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 v517_celestial_wp5e_m3_a0_uplift.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v492_celestial_z4_orbifold.py
literal short identifier uniquely resolves in local script registry
explicit file citation v524_woit_beta2_os_quotient.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 file citation v527_seam_clock_silver_spectrum.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v534_seam_straddle_cone.py
literal source filename/path in TeX
explicit script identifier v522_woit_beta1_gso_gauge.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 v565_woit_beta3_pt_duality.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 file citation v522_woit_beta1_gso_gauge.py
literal source filename/path in TeX
explicit file citation v519_woit_theta_rp_free.py
literal source filename/path in TeX
explicit file citation v529_seam_interacting_toy_fk.py
literal source filename/path in TeX
explicit script identifier v529_seam_interacting_toy_fk.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v519_woit_theta_rp_free.py
literal short identifier uniquely resolves in local script registry
explicit file citation v526_seam_thermal_kms_nariai_bridge.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 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

Front matter / support

Research contracts

The [formula in source] / [formula in source] roadmap (named milestones, each with success and kill criteria). ( [formula in source] ) [formula in source] on the gauge-invariant subalgebra [formula in source] gauge-fixed RP on the equivariant SDYM [formula in source] sector — success: the v519 OS form extends to the gauge-invariant subalgebra with positivity after gauge fixing; kill: kill test (2) fires (RP fails aft

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/014-source.tex · lines 1 to 81

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 v358_grav_entropy_equilibrium.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 v522_woit_beta1_gso_gauge.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v519_woit_theta_rp_free.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v565_woit_beta3_pt_duality.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v616_su2_internal_kinematic.py
literal source filename/path in TeX
explicit file citation v615_gamma_toy_interacting.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v524_woit_beta2_os_quotient.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v534_seam_straddle_cone.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v608_gamma_free_slice.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

Research Contract — CCC.SEAM.CROSSOVER.01 (the conformal-cyclic crossover on the seam geometry)

Research contracts

Typing. A research contract \ (ledger row CCC.SEAM.CROSSOVER.01: Open, research contract), not a claim. It engages Penrose's Conformal Cyclic Cosmology (Tod, arXiv:1309.7248; Penrose–Meissner, arXiv:2503.24263) as a named reference frame for the shape of the target — never a confirmation in either direction. The cyclic reading of origin_theory stays \ regardless of this contract's fate; nothing below asserts that CCC

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/014-source.tex · lines 82 to 182

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v957_ccc_crossover_kinematics.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 v526_seam_thermal_kms_nariai_bridge.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 v522_woit_beta1_gso_gauge.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
explicit file citation v957_ccc_crossover_kinematics.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
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
explicit script identifier v529_seam_interacting_toy_fk.py
literal short identifier uniquely resolves in local script registry
explicit file citation v976_seam_lift_birkhoff.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

Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)

Research contracts

Typing. A standing discipline rule, in force immediately (ledger row DIMENSION.UPLIFT.FIREWALL.01); the uplift theorems it names are separate \ contracts. It formalizes the core diagnosis of the 2026-08-27 external deep review: a chiral [formula in source] D seam net does not imply a local, interacting [formula in source] D quantum world. The corpus's strongest finite results are boundary/kinematic building blocks —

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/014-source.tex · lines 183 to 244

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

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 ccc_uplift_4d_probe.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 v957_ccc_crossover_kinematics.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

What this source index covers

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.

Complete structured registry How source relations are recorded Knowledge and evidence coverage