Der kleinste entscheidende Test an der vorhandenen Clock-Vergröberung
TFPT Gesamtsynthese 2026-09-28
In verification/v993_minimal_defect_selector.py:169-212 ist die Clock [formula in source] und ihre neutrale Auslese [formula in source] Die Originalprüfung bestätigt Idempotenz, Positivität, Spurerhaltung und die Regel [formula in source] Das ist die Struktur einer bedingten Erwartung. Die Faktoren außerhalb von [formula in source] müssen dabei bereits neutral sein. Eine allgemeine Produktregel [formula in source] fo
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/001-section-korrektur-der-suchrichtung-am-29-september.tex · lines 153 to 200
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v1030_alg2_sector_frame.py
literal source filename/path in TeX
- explicit file citation v993_minimal_defect_selector.py
literal source filename/path in TeX