Die ursprüngliche Clock ist ein konkreter markierter Operator
TFPT Gesamtsynthese 2026-09-28
Der v487-Survivaloperator lautet Hier ist [formula in source] der Decktausch von Ordnung zwei, während [formula in source] die Familienmarkierung von Ordnung drei bezeichnet. Seine Eindeutigkeit gilt in der ursprünglichen treuen markierten Dreierklasse. Die Fortsetzung [formula in source] auf den Trimer setzt zusätzliche Identifikationen voraus und bestimmt außerhalb des Seedsektors nicht automatisch alles.
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/010-subsection-der-st-rkste-neue-selektor-verbindet-orientie.tex · lines 314 to 332
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v487_transfer_clock_rungs.py
literal short identifier uniquely resolves in local script registry