Ausführbare Ergebnisse der Sitzung
TFPT Gesamtsynthese 2026-09-28
Für die Fortsetzung vom 29. September tragen außerdem diese Originalstellen die native Anschlussfrage: experiments/theory-contracts/raw-carrier-origin-gate-20260920/PROOF.txt, ab Zeile 136: ursprünglicher reeller Träger [formula in source] . experiments/theory-contracts/source-joint-spin-family-lift-20260922/PROOF.md, ab Zeile 38: gemeinsame Liftfamilie und ihre Zentrumsglieder. experiments/theory-contracts/compiler-
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_explorer--docs--session-2026-09-28--TFPT_Gesamtsynthese_2026-09-28/sections/018-subsection-ausf-hrbare-ergebnisse-der-sitzung.tex · lines 1 to 86
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v221_seam_qecc.py
literal source filename/path in TeX
- explicit file citation README.md
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation source_selection.py
literal source filename/path in TeX
- explicit file citation PROOF.md
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 v470_alpha_inflow_level.py
literal source filename/path in TeX
- explicit file citation SELECTION.md
literal source filename/path in TeX
- explicit file citation yukawa_source_provenance_20260921.md
literal source filename/path in TeX
- explicit file citation v157_rigid_fixed_point.py
literal source filename/path in TeX
- explicit file citation README.md
literal source filename/path in TeX
- explicit file citation v155_quasifree_boundary.py
literal source filename/path in TeX
- explicit file citation cartan_source.py
literal source filename/path in TeX
- explicit file citation v367_seam_s3_lattice.py
literal source filename/path in TeX
- explicit file citation v161_one_particle_reduction.py
literal source filename/path in TeX
- explicit file citation rewrite_coherence.py
literal source filename/path in TeX
- explicit file citation source_program.py
literal source filename/path in TeX
- explicit file citation torus_lift.py
literal source filename/path in TeX
- explicit file citation consolidation.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 history_kernel.py
literal source filename/path in TeX
- 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 README.md
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation PROOF.txt
literal source filename/path in TeX
- explicit file citation TFPT_Ablauf.json
literal source filename/path in TeX
- explicit file citation origin_closure.py
literal source filename/path in TeX
- explicit file citation v160_seam_gaussianity_from_pf.py
literal source filename/path in TeX
- explicit file citation v154_simple_current_theorem.py
literal source filename/path in TeX
- explicit file citation quartic_selection.py
literal source filename/path in TeX
- explicit file citation process.py
literal source filename/path in TeX
- explicit file citation Quellenfamilie_Pruefergebnis.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 source_realization.py
literal source filename/path in TeX
- explicit file citation joint_constraints.py
literal source filename/path in TeX
- explicit file citation origin_transfer.py
literal source filename/path in TeX
- explicit file citation PROOF.md
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 source_process.py
literal source filename/path in TeX
- explicit file citation spatial_response.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 v258_dirac_covariance_induction.py
literal source filename/path in TeX
- explicit file citation current_block_geometry.py
literal source filename/path in TeX
- explicit file citation v498_celestial_wp5b_singular_vector.py
literal source filename/path in TeX
- explicit file citation twisted_source.py
literal source filename/path in TeX
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation source_unification.py
literal source filename/path in TeX
- explicit file citation PROOF.txt
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 README.md
literal source filename/path in TeX
- explicit file citation v814_k5_sixstep_transport.py
literal source filename/path in TeX
- 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 file citation v486_transfer_full_rule.py
literal source filename/path in TeX
- explicit file citation v260_k3_kummer_unification.py
literal source filename/path in TeX
- explicit file citation hecke_source.py
literal source filename/path in TeX
- explicit file citation marked_source_process.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