TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/seam-positive-kernel-search-20261015/charged-clock-relation-control-20261102/README.md
Original file SHA-256: 4effc50dcc9fdc1f3efe72f7f4432f2fe616025a8e9c3a81d714e9490165c4c5
Inclusive original lines: 42-71
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000042 | 
000043 | ## Vollständige Erzeugerrelationen der festen freien Kontrollquelle
000044 | 
000045 | Das mitgelieferte Programm `generator_relations.py` setzt den vollständigen
000046 | gegebenen Einteilchentransfer `diag(1/4, 1/64)` voraus und übersetzt beide
000047 | Erzeugerrelationen `T c_i† = a_i c_i† T` in 32 Majorana Wortrelationen für
000048 | alle vier Bra und Ket Basiszustände. In der bestehenden Grad 3 Suche werden
000049 | nur diese Relationen und die beiden Vakuummomente eingespeist; die Paarantwort
000050 | `1/256` ist dort keine zusätzlich eingegebene Zielzahl. Der bisherige exakte
000051 | `x=0` Kandidat wird aus seinem gespeicherten Zertifikat geladen.
000052 | 
000053 | Der ursprüngliche freie Transfer erfüllt alle Relationen. Der Gegenkandidat
000054 | verletzt zwei. Die exakte symbolische Lösung der vollen Matrizenrelationen
000055 | auf der gegebenen vierdimensionalen Fockdarstellung ist eindeutig
000056 | `diag(1, 1/4, 1/64, 1/256)`. Die numerische Suche gibt jeweils optimal einen
000057 | Minimal und Maximalwert nahe `1/256`; numerische Optimierung ist kein exaktes
000058 | Zertifikat. Da die Wortgleichungen für ganzzahlige Koeffizienten mit dem
000059 | doppelten Erzeugeroperator arbeiten, sind die gespeicherten Residuen doppelt
000060 | so groß wie die Residuen der unskalierten Operatorgleichungen.
000061 | 
000062 | ```sh
000063 | uv run --quiet --with cvxpy --with sympy python -B -OO charged-clock-relation-control-20261102/generator_relations.py
000064 | ```
000065 | 
000066 | Die freie Operatorrelation ist hier eine ursprüngliche Kontrolle **vor** einer
000067 | gemeinsamen Integration dynamischer Felder. Die Aussage begründet keine
000068 | Gaußförmigkeit der integrierten Quelle und keine physische Auswahl von α,
000069 | Länge, Zustand, absolutem Z[0] oder E8 Einbettung. Die Suchebene Grad 3 ist eine
000070 | Momentenrelaxation; die Eindeutigkeit wird in der genannten Fockdarstellung
000071 | exakt bewiesen, nicht für alle möglichen abstrakten Quellen behauptet.