Established in scope
Existing search separates withheld response, rational identity and numerical approximation
In the question: Automatic response search with original-source decision
Software and conditional equality identities. Exact rational contract coefficients differ from rounded solver coefficients. Numerical endpoints are not certified bounds or full processes. Affine identity proves neither existence, original P1 identification, Z0 nor physical uniqueness. Replay shares row generation and is not independently coded semantics.
Read the exact result, assumptions and evidence
Result
An executed withheld-response path now exists in run_search. Queries contain no target and are not imposed as source constraints. Min/max use the same declared moment class. Sparse rational elimination and solver-free replay check conditional affine identities. Full2D controls give [0,1] without added relation and exactly1/3 with a different supplied response. Contradiction, positivity emptiness, complex coefficients, rounding and tampering are checked.66 existing tests passed. CLI control explicitly retains inconclusive rational completion.
Required assumptions
- Declared finite positive kernel search class
Given up to five CAR modes, an extra selfadjoint transfer operation, 0<=T<=I, T Omega=Omega and internal CAR quarter invariance. Five-mode completions additionally use a minimal irreducible Fock representation with pure occupations inferred from searched moments. Objectives, positive floor and cluster gap are declared search choices; neither these nor the representation are presumed consequences of P1/P2.
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Original evidence
- RESPONSE-SEARCH-20261102.txt lines 1–104
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/RESPONSE-SEARCH-20261102.txt
0c00ffee481cfab9cf299a116a6c9c7ab91ab9bffaf7c2f1a7db6b2118f7affd
finding:r098-withheld-response-search-has-exact-conditional-affine-certificates