Established in scope
Mixed-source completion and automatic discriminating query in the existing search path
In the question: Automated construction of operator maps and sources
Additional finite CAR-cyclic representation ansatz, validated on previously given one/two-mode quarter controls. Exactness applies to rational inputs or explicitly rational-recovered numerical moments; no new P1 Wick value, physical time/reflection derivation, larger-dilation/continuum uniqueness, absolute Z scalar or T1-T8 closure. The actual local P1 insertion and joint connected four-field response remain to be derived.
Read the exact result, assumptions and evidence
Result
The normal search entry point now offers optional faithful CAR GNS completion instead of stopping thermal data at an incompatible pure-Fock ansatz. In the old supplied quarter source, two exact candidates replay all51moments through word length4. The search generates the shortest missing joint response of length5 and obtains its value only from the same existing source. All16/16transfer metric entries are then fixed in this representation; an explicit full basis intertwiner verifies the actual source action. The16dimensional two-mode control preserves neutral transfer products.37appropriate new/old regressions pass, with independent source/algebra review accepting the scope. This improves automated source recovery and software validation, not physical original-P1 source selection.
Required assumptions
- 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.
- Declared faithful finite CAR GNS source completion class
At most two CAR modes are supplied with complete normalized CAR state moments, positive definite Gram and internal quarter invariance. The additional selfadjoint transfer preserves the CAR cyclic space, satisfies explicit finite bounds and has the supplied reference eigenvalue. One-transfer data supply linear constraints; all other supplied words are exactly replayed. The actual control oracle is the previously given quarter source; neither its data nor the finite representation ansatz is derived from P1/P2 here.
Original evidence
- PROOF.txt lines 1–121
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/gns_completion_20261029/PROOF.txt
2e48711231c097bdf444b99c91c4d9d8bf2485e2b6dc60a1f6c9202302de8e17
- RESULTS.json lines 1–29
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/gns_completion_20261029/RESULTS.json
32c49994d0a4f36f857c0689365949c9aa1540358191011d1cc37c32d213cef8
- INDEPENDENT-REVIEW.txt lines 1–28
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/gns_completion_20261029/INDEPENDENT-REVIEW.txt
1082fcaac6f416f45532af24b23d865e12446e8b38e76901e033c3a6b7d21fb2
finding:faithful-gns-completion-closes-automated-source-query-feedback