TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/source-continuous-marked-time-search-20260922/PROOF.md
Original file SHA-256: 62fd2844ecc3e84134d1400335cf4dd469312305d6cfb3eae427aba01beb0ac8
Inclusive original lines: 164-188
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.

000164 | ## 4. Was ausdrücklich gültig bleibt
000165 | 
000166 | Auf dem GNS-/Hilbert-Schmidt-Raum ist H_GNS=−log Φ positiv selbstadjungiert,
000167 | mit Spektrum 0,a,b. exp(−t H_GNS) ist ein gültiger positiver **Hilberttransfer**.
000168 | exp(it H_GNS) ist dort unitär. Der zugehörige linksmultiplikative
000169 | Operatorprozess aus dem Anhang wird durch Abschnitt 2 nicht widerlegt.
000170 | 
000171 | Ebenso ist log B auf dem originalen klassischen Dreizustandsraum ein
000172 | Markovgenerator. Seine Offdiagonalen sind a/3 sowie b/2−a/6. Letztere sind
000173 | positiv, weil 3b−a=log(9/8)>0. Das originale T=B^6 behält seine
000174 | klassische Recovery-Halbgruppe und seine Lücke 6b. Die ursprüngliche
000175 | DYN.SEMIGROUP.01-Aussage über diesen klassischen Block wird nicht als
000176 | M4-Aussage umgedeutet oder verworfen.
000177 | 
000178 | Nicht ausgeschlossen sind ein zeitabhängiger GKSL-Prozess, eine begründete
000179 | größere Systemdynamik oder eine physisch anders gewählte Zeitinterpretation.
000180 | Insbesondere folgt kein Beweis diskreter physischer Zeit. Die allgemeine
000181 | Unterscheidung und das Logarithmus-Einbettungsproblem sind Gegenstand von
000182 | [Wolf et al., Assessing non-Markovian dynamics](https://arxiv.org/abs/0711.3172)
000183 | und [Wolf–Cirac, Dividing Quantum Channels](https://arxiv.org/abs/math-ph/0611057).
000184 | Der konkrete Allzweig-Beweis oben wird selbst gegeben; er wird nicht diesen
000185 | Quellen als dortiger TFPT-Satz zugeschrieben.
000186 | 
000187 | ## 5. Exakte Suche mit denselben fünf Quelloperatoren
000188 |