2026-10-18: Project separation and retained physics history
Research changelog · TFPT — Introduction and reading guide
The combined publication history was separated by research ownership. Complete original dated entries remain byte-preserved in the independent archive, including mixed entries that also recorded physical work. The following existing TFPT modules retain their original identifiers and their currently scoped physical, compiler or verification roles. This entry records ownership and preserves history navigation; it does
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/001-source.tex · lines 1 to 102
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v898_kms_schur_mixing.py
literal source filename/path in TeX
- explicit file citation v880_finite_anchor_theorems.py
literal source filename/path in TeX
- explicit file citation v639_twist_ope.py
literal source filename/path in TeX
- explicit file citation v800_e8_torsor_fourier.py
literal source filename/path in TeX
- explicit file citation v911_wiring_freedom.py
literal source filename/path in TeX
- explicit file citation v726_phys_car_pp_index.py
literal source filename/path in TeX
- explicit file citation v715_qgeo_car_continuum.py
literal source filename/path in TeX
- explicit file citation v646_rm13_reverse.py
literal source filename/path in TeX
- explicit file citation v799_seam_code_typeii.py
literal source filename/path in TeX
- explicit file citation v638_code_semantics.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 v645_klein_rp.py
literal source filename/path in TeX
- cross reference join ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v650_orbifold_modular.py
literal source filename/path in TeX
- explicit file citation v834_pg32_flag_completion.py
literal source filename/path in TeX
- explicit file citation v810_cutcode_moment.py
literal source filename/path in TeX
- explicit file citation v736_orbit_packet.py
literal source filename/path in TeX
- explicit file citation v809_curve_code_doily.py
literal source filename/path in TeX
- explicit file citation v737_seam48_intertwiner.py
literal source filename/path in TeX
- explicit file citation v664_look_elsewhere.py
literal source filename/path in TeX
- explicit file citation v628_orbifold_casimir.py
literal source filename/path in TeX
- explicit file citation v775_gaussian_class_d5_purity.py
literal source filename/path in TeX
- explicit file citation v757_fano_disc7_bridge.py
literal source filename/path in TeX
- explicit file citation v814_k5_sixstep_transport.py
literal source filename/path in TeX
- explicit file citation v987_os_dilation_package.py
literal source filename/path in TeX
- explicit file citation v857_simplex_fourier_winding.py
literal source filename/path in TeX
- explicit file citation v752_projective_hamming_incidence.py
literal source filename/path in TeX
- explicit file citation v782_e8_transition_bus.py
literal source filename/path in TeX
- explicit file citation v700_orbit60_census.py
literal source filename/path in TeX
- explicit file citation v779_gnet_gns_arf.py
literal source filename/path in TeX
- explicit file citation v990_wj_transduction_mechanism.py
literal source filename/path in TeX
- explicit file citation v621_interacting_semigroup.py
literal source filename/path in TeX
- cross reference join GaussianCodeBridge.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v578_native_jets.py
literal source filename/path in TeX
- cross reference join ProjectiveHamming.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v616_su2_internal_kinematic.py
literal source filename/path in TeX
- explicit file citation v633_orbit60_quotient.py
literal source filename/path in TeX
- explicit file citation v845_cfin_normal_form.py
literal source filename/path in TeX
- explicit file citation v1018_e8_directed_readout.py
literal source filename/path in TeX
- explicit file citation v908_seam_equilibrium_wiring.py
literal source filename/path in TeX
- explicit file citation v653_bond_defect.py
literal source filename/path in TeX
- explicit file citation v888_finite_pfaffian_signature.py
literal source filename/path in TeX
- explicit file citation v874_feedback_decoder_lean.py
literal source filename/path in TeX
- explicit file citation v632_ftransfer_pgl2.py
literal source filename/path in TeX
- explicit file citation v858_g31_clock_alphabet.py
literal source filename/path in TeX
- explicit file citation v778_qgeo_gridsup_logsum.py
literal source filename/path in TeX
- explicit file citation v832_anchor_flavor_checksum.py
literal source filename/path in TeX
- explicit file citation v722_phys_ramified_ns_r.py
literal source filename/path in TeX
- explicit file citation v807_lorentz_nullselector.py
literal source filename/path in TeX
- explicit file citation v746_phys_gnet_local_functor.py
literal source filename/path in TeX
- explicit file citation v853_bent_css_mangoldt.py
literal source filename/path in TeX
- explicit file citation v803_e8_jetcode_affine_nsr.py
literal source filename/path in TeX
- explicit file citation v805_e8_syndrome_algebra.py
literal source filename/path in TeX
- explicit file citation v781_one_object_clock_census.py
literal source filename/path in TeX
- explicit file citation v796_duad_syntheme_bridge.py
literal source filename/path in TeX
- cross reference join SquareParity.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v878_ledger_integrity.py
literal source filename/path in TeX
- explicit file citation v690_quartic_half.py
literal source filename/path in TeX
- explicit file citation v1019_coxeter_euler_completion.py
literal source filename/path in TeX
- explicit file citation v833_gaussian_ramification_ladder.py
literal source filename/path in TeX
- explicit file citation v647_st31_degree24.py
literal source filename/path in TeX
- explicit file citation v903_seam_rp_exclusion.py
literal source filename/path in TeX
- explicit file citation v802_gnet_martingale.py
literal source filename/path in TeX
- explicit file citation v783_two_qubit_clifford.py
literal source filename/path in TeX
- explicit file citation v808_petersen_sixthroot.py
literal source filename/path in TeX
- explicit file citation v989_lattice_gate_battery.py
literal source filename/path in TeX
- explicit file citation v626_e8_code.py
literal source filename/path in TeX
- explicit file citation v991_detline_bulk_edge.py
literal source filename/path in TeX
- explicit file citation v241_dhr_sectors.py
literal source filename/path in TeX
- explicit file citation v896_wick_block_functor.py
literal source filename/path in TeX
- explicit file citation v852_arf_vacuum_ovoid.py
literal source filename/path in TeX
- explicit file citation v844_message_doily_rank.py
literal source filename/path in TeX
- explicit file citation v875_shell_global_lean.py
literal source filename/path in TeX
- explicit file citation v564_cp_fiber_pin.py
literal source filename/path in TeX
- cross reference join G31WordOrders.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v774_arf_spinor_compiler.py
literal source filename/path in TeX
- explicit file citation v988_psi_lambda_reduction.py
literal source filename/path in TeX
- explicit file citation v798_seam_clifford_modular_s.py
literal source filename/path in TeX
- explicit file citation v975_dimension_selector_4d.py
literal source filename/path in TeX
- explicit file citation v679_orbifold_continuum_os.py
literal source filename/path in TeX
- explicit file citation v812_flavor_graph_filtration.py
literal source filename/path in TeX
- explicit file citation v849_cfin_unique_cofinal_lean.py
literal source filename/path in TeX
- cross reference join OrbitPacket.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v629_root_incidence.py
literal source filename/path in TeX
- explicit file citation v689_gaussian_code_bridge.py
literal source filename/path in TeX
- explicit file citation v654_st31_degree8.py
literal source filename/path in TeX
- explicit file citation v817_positive_descent_master.py
literal source filename/path in TeX
- explicit file citation v651_orbifold_assembly.py
literal source filename/path in TeX
- explicit file citation v634_st31_structure.py
literal source filename/path in TeX
- explicit file citation v561_cp_channel_identities.py
literal source filename/path in TeX
- explicit file citation v784_curve_code_2torsion.py
literal source filename/path in TeX
- cross reference join HammingCode.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 file citation v242_spin_statistics_modular.py
literal source filename/path in TeX
- explicit file citation v776_boundary_hamming_uniqueness.py
literal source filename/path in TeX
- explicit file citation v792_ftransfer_kms_coset.py
literal source filename/path in TeX
- cross reference join G31Orders.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v705_chain_deck_sector.py
literal source filename/path in TeX
- explicit file citation v745_qgeo_car_l1_sector_lemma.py
literal source filename/path in TeX
- cross reference join WatataniIndexFour.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred