Established in scope
Operator synthesis implemented and calibrated on known cases
In the question: Automated construction of operator maps and sources
Supplied finite representations. Clifford monomial grammar and generic equal matrix dimensions up to16; not a complete operator-program, kernel or continuum search. Twelve generic Lean transport lemmas; concrete matrices checked separately and exactly.
Read the exact result, assumptions and evidence
Result
A CEGIS word search generates 2048 Majorana word/linearity classes and recovers the known five-mode particle-hole map. An automatically found imaginary mixing component eliminates the linear candidate. A second solver constructs simultaneous linear/antilinear intertwiners from exact operator pairs; evaluation identities include constraints, code and search configuration. These are software and recovery results, not new source selection.
Required assumptions
- Explicit finite operator-synthesis inputs
The recovery control assumes the given five-mode CAR representation. The inverse solver assumes explicitly supplied finite operator pairs and adjoints. The map is unknown; physical source selection is not assumed derived.
Original evidence
- README.md lines 1–107
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/README.md
db453a12d7a64e1a30988b61c6ff20ad80863ac8471a3c5a6eb735e876bc76e5
finding:typed-operator-search-calibrated