Der andere Lösungsweg: Die Antworttreue zum Ausgangspunkt machen
TFPT Gesamtsynthese 2026-09-28
Mehrere Programme können dieselbe Liste von Ergebnissen ausgeben. Ob sie dieselbe Regel ausführen, erkennt man daran, was nach Eingriffen passiert: dieselben Schritte anders anordnen, eine Phase vergleichen oder einen früheren Speicher nochmals benutzen. Der Ursprung wird durch diese Fortsetzungen bestimmt, nicht durch seine Dateiform oder die Namen seiner Matrizen.
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 108 to 139
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