Was über den gesamten Bestand geprüft wurde
TFPT Gesamtsynthese 2026-09-28
Die aktuelle Bestandsprüfung erfasst die Register und Einordnungen von 1028 Verifikationsskripten, 279 Theorie-Contracts, 59 Experimentverzeichnissen und 179 Lean-Dateiknoten einschließlich RH. Das ist keine Behauptung, jedes Skript neu ausgeführt oder jede Zeile vollständig semantisch geprüft zu haben. Die gezielte Originalprüfung verfolgt die tragenden Wege: P1/P2 und Compiler, Clock und Vergröberung, Quellen-/Dete
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 146 to 152
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