TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/seam-positive-kernel-search-20261015/README.md
Original file SHA-256: aeae9d10aad06370ca7387adf8db70b51046417d03fdf7fe5444480cd717a2c8
Inclusive original lines: 201-327
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.

000201 | UCP-Automorphismusgruppe; Omega bleibt invariant. Die Zeiteinheit ist dabei
000202 | deklariert. Dies beweist weder einen euklidischen UCP-Kanal mit GNS-Implementer T
000203 | noch ein physisches Ereignisinstrument, eine native Zeitskala oder Raumzeit.
000204 | 
000205 | ## Wie die Suche künftig statt im Kreis weiterarbeitet
000206 | 
000207 | `run_search.py` verbindet unbekannte Momente, exakte Vervollständigung und
000208 | Unterscheidung der Treffer in einem Aufruf. Kandidatenvorhersagen werden niemals
000209 | automatisch zu Quellenannahmen gemacht. Code, Konfiguration und Ausgabedateien
000210 | werden für die Wiederverwendung geprüft; geänderte Bedingungen brauchen einen
000211 | neuen Laufordner. Ungeänderte abgeschlossene Läufe werden wiederverwendet.
000212 | 
000213 | Die erzeugte nächste Frage lautet konkret: Welche **ursprüngliche** Nahtrelation
000214 | koppelt Transfer nach zwei Feldoperationen an die Einfeld-Antwort? Ein
000215 | Wick-/quasifreier Abschluss oder eine additive Zweitquantisierung wäre eine
000216 | solche zusätzliche Bindung, muss aber für dieselbe Quelle begründet sein.
000217 | Ein Treffer allein rechtfertigt nicht, diese Regeln einzusetzen.
000218 | 
000219 | Im Atlas existiert bereits die vollständige Produktkragen-Rekonstruktion:
000220 | der gesamte Zweiflächen-Graph bestimmt unter seinen Hypothesen B; die zusätzliche
000221 | CAR-/Wick-Identifikation verbindet den eingeschränkten Zustand mit derselben
000222 | Zeit. Diese positive Vorarbeit wird wiederverwendet. Die neue Methode sucht
000223 | unbekannte Kerne, statt nur den bekannten inversen Leser erneut auszuführen.
000224 | 
000225 | Die originalen Quelltypen bleiben getrennt: OS-Reflexionspositivität auf einem
000226 | positiven Zeitnetz ist mehr als die Gram-Positivität hier. P2 markiert einen
000227 | Einteilchenträger; eine 3+2-Besetzung von Moden wäre keine Herleitung seiner
000228 | Markierung. Eine nichttriviale Nahtindexklasse hat in dieser vollständig
000229 | endlichen Darstellung ebenfalls noch keine Realisierung. Somit ist die Methode
000230 | implementiert, der ursprüngliche gemeinsame TFPT-Quellenvertrag nicht geschlossen.
000231 | 
000232 | ## Aufrufen und ohne Optimierer nachprüfen
000233 | 
000234 | Im Verzeichnis dieses Contracts:
000235 | 
000236 | ```sh
000237 | python3 -m venv .venv
000238 | .venv/bin/python -m pip install -r requirements.txt
000239 | .venv/bin/python run_search.py --out runs/my-search
000240 | .venv/bin/python run_search.py --out runs/my-explicit-calibration --objective diversity --transfer-floor 0.25 --cluster-gap 0.25
000241 | .venv/bin/python proof_check.py runs/my-search
000242 | .venv/bin/python -m unittest discover -p 'test_*.py'
000243 | ```
000244 | 
000245 | Die SDP arbeitet hier mit einer 78x78-Momentmatrix und die Vervollständigung mit
000246 | 32x32-Matrizen. Der gemessene erste vollständige positive Lauf dauerte rund
000247 | 6,5 Sekunden auf der lokalen CPU. Für diese Größe wurden keine H200 belegt.
000248 | Große parallele Kandidatenräume benötigen zuerst einen geeigneten numerischen
000249 | Engpass; GPU-Aktivität ist kein eigenständiges Forschungsresultat.
000250 | 
000251 | ## Quellen und Beziehungen
000252 | 
000253 | - GNS-Original im Repo: `universalraum-primitive-source-audit-20260915/RESULTS.md`,
000254 |   Zeilen 145–194: vollständiger positiver Kern und Nullstabilität.
000255 | - `_archive/tfpt-45/source_extracts/01_boundary_kernel_source.tex`, Zeilen 480–520:
000256 |   ursprüngliche operational seed category mit OS-Netz, Reflexion und Nahtklasse.
000257 | - `_archive/tfpt-45/source_extracts/02_carrier_source.tex`, Zeilen 172–205:
000258 |   tatsächliche P2-Trägermarkierung und Hyperladung.
000259 | - `seam-full-collar-reconstruction-20261015/PROOF.txt`, Zeilen 63–143:
000260 |   vollständiger Graph sowie bedingte Zustands-/Zeitverbindung.
000261 | - Pironio, Navascués, Acín: [Convergent relaxations of polynomial optimization
000262 |   problems with non-commuting variables](https://arxiv.org/abs/0903.4368).
000263 |   Die Arbeit begründet das Verfahren hierarchischer positiver Momentrelaxationen
000264 |   und Rekonstruktionen unter passenden Voraussetzungen. Ihre Konvergenz wird
000265 |   hier nicht als TFPT-Kontinuumsbeweis beansprucht.
000266 | 
000267 | Verdict: **PARTIAL für den ursprünglichen Forschungsauftrag; exakte endliche
000268 | Konstruktionen und ein funktionierender automatischer Such-/Unterscheidungsweg.**
000269 | Kein neuer P1/P2-Beweis und keine Änderung des Beweisledgers.
000270 | 
000271 | 
000272 | ## Withheld response search added on 2 November 2026
000273 | 
000274 | The existing campaign accepts `--withheld-response FILE`. The file has only
000275 | `terms`, for example `{"terms":[{"word":[1,-1,1],"re":"1"}]}`. A fitted
000276 | target is rejected. This example is a software control, not a physical P1
000277 | input. Source controls remain separate. The same relaxation is minimized and
000278 | maximized for this response. Numerical endpoints are estimates only. A
000279 | rational affine identity has an explicit replayable linear-combination
000280 | certificate, conditional on existence in the declared class. It can also
000281 | hold in a positivity-empty class; existence is not claimed by the identity.
000282 | 
000283 | ```sh
000284 | python response_search.py --m 1 --degree 2 --response QUERY.json --source-control ORIGINAL_CONTROL.json --out NEW_RESULT.json
000285 | python response_search.py --verify NEW_RESULT.json
000286 | python run_search.py --out NEW_CAMPAIGN --source-control ORIGINAL_CONTROL.json --withheld-response QUERY.json
000287 | python certify_response_segment.py runs/source-clustering --out NEW_SEGMENT.json
000288 | ```
000289 | 
000290 | Use the project's installed numerical dependencies. The current execution used
000291 | `/private/tmp/tfpt-kernel-relations-venv/bin/python`; that temporary environment
000292 | is not a permanent installation promise. `check_response_search.py` executes
000293 | complete exact 2D witness controls, tampering, contradictory inputs, complex
000294 | coefficients and positivity-empty cases. The CLI integration emitted its
000295 | conditional identity but retained an inconclusive finite rational recovery.
000296 | 
000297 | The stored five-mode source-clustering endpoints extend to an exact full
000298 | segment: all 2245 supplied moments are constant, while all ten existing
000299 | separating responses are `1/4+s/2`, `0<=s<=1`. These are attained values in
000300 | that constructed family, not global extrema. The original source must supply
000301 | an independent relation for this composite-field transfer or exclude the
000302 | class; no candidate answer is recycled as a physical premise. Full scope and
000303 | source reminders, including the existing conditional v534 selector, are in
000304 | [RESPONSE-SEARCH-20261102.txt](RESPONSE-SEARCH-20261102.txt).
000305 | 
000306 | 
000307 | ## Source-indexed AI origin hypotheses, 2 November2026
000308 | 
000309 | `origin_hypothesis_search.py` uses the existing local Ollama backend to propose a typed hypothesis, validate its declared IDs and source premises, execute fixed curated checks and feed counterexamples into the next proposal. All proposals remain unverified hypotheses. Passing a check is not a fundamental physical solution. `GENESIS-SYNTHESIS-20261102.txt` records the common P1, double-cover, information, horizon and compiler context, the entire variable-mark conditional lattice class and the stronger primitive-projection selector.
000310 | 
000311 | The index includes all707 original registered Python sources with exact hashes, docstrings and check/assert text, the complete current ledger and reviewed Atlas records, and canonical research documents. This is static extraction, not a new run or proof review of707 modules. The model receives selected original excerpts; full source inventory is saved separately. Do not run indexing with `-OO`, which can strip docstrings.
000312 | 
000313 | ```sh
000314 | python3 -B origin_hypothesis_search.py --catalog genesis_checks.json --rounds 4 --output runs/NEW_RUN.json
000315 | ```
000316 | 
000317 | Run from this directory. A saved full inventory can be reused with `--reuse-inventory runs/OLD_RUN.inventory.json`; the driver checks the Atlas, registry, ledger and all original script hashes before reuse. Output names must be new. `--question` changes the mathematical proposal task. `--rounds` is an explicit positive number, not a scheduled service. The current curated tests cover four source/class questions; arbitrary new physical hypotheses still require an actual derivation or a new reviewed checker. No model text or source ID is silently inserted as a constraint, and no model-generated command is executed.
000318 | 
000319 | Completed run: `runs/genesis-20261102/qwen-structured-completion.json` contains two actual local qwen3.6:35b rounds, including a wrong primitive-projection prediction and its correction after the exact checker. Older failed/invalid proposals are retained. `curated-check-results.json` records all four computations. The raw broad hypothesis remains unproved.
000320 | 
000321 | ```sh
000322 | python3 -B -m unittest test_origin_hypothesis_search test_adaptive_discriminator
000323 | python3 -B -OO genesis_checks.py --check variable-mark-completion
000324 | python3 -B -OO adaptive_discriminator.py runs/source-clustering --out runs/NEW_RANKING.json
000325 | ```
000326 | 
000327 | The adaptive discriminator replays the existing full segment certificates and groups affinely equivalent response questions. It ranks separation per declared cost only on supplied candidates; it is not Shannon information or a search over all physical processes.