Established in scope
Automatic search checks the actual source expression separately from matching predictions
In the question: Automatic joint origin hypotheses and source responses
Nine curated fixed checks overall,three relevant new source checks. No arbitrary generated-code execution,automatic scientific promotion or billions claim. Bounded operator grammar only; new mechanisms require original-source review.707 sources were statically indexed,not newly proved. Two current replies from each of The reviewed,Gemini,the reviewed source were read; unsupported origin claims were not adopted. F1 remains in progress.
Read the exact result, assumptions and evidence
Result
The real two-round AI run matched three control answers but still asserted an unproved scalar quarter-current origin. The existing driver now requires a bounded JSON operator expression. Neutral current words are excluded within the declared inventory; internal Clifford vectors as local fields are type errors; proposed sectors retain unverified original binding and are overapproximated by all four possible tags. The actual first expression J*J+derivativeJ is excluded; the second named sector requires original binding. Independent review found and fixed false exclusion of unknown-sector times spinor and a misleading typing-error counter;16 targeted tests passed. The final new model run produced two rejected answers,no valid proposal. The two older concrete expressions were separately replayed with final code and explicitly labelled replay.
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.
- AI proposals with static original-source inventory and curated controls
Current registry/ledger/Atlas and statically read original scripts serve retrieval. The installed local Ollama client proposes structured hypotheses and explicit predictions for fixed curated checkers. Only named consequences are computed and fed back. Known source IDs, schema validity and passed controls do not prove a whole hypothesis or physical origin.
- Explicit Grassmann spinor and tensor-boson word inventory
Consider only the jointly Spin10-typed local word algebra generated by Grassmann spinors S±,tensorial bosons and equivariant word operations. Physical Grassmann parity and central square are distinct automorphisms that agree on this inventory. Do not assert that the entire original P1 master has only this inventory. New sectors,field types and domain changes require their actual original map.
Original evidence
- SEARCH-CHARGE-RUN-20261102.txt lines 1–117
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/SEARCH-CHARGE-RUN-20261102.txt
9a1e9403841437b2bc9ae7258d05289dcbb4bb94840be41416c6267a19cbd88d
- origin_hypothesis_search.py lines 200–396
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/origin_hypothesis_search.py
9ca8da3ea6388229581a548ca5dafa129fd1df1a2f1c673b8299d6c331e9f11e
- source_genesis_checks.json lines 1–71
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/source_genesis_checks.json
b5945ef23d4f2e0f185fad02e412d4eefe5eb3ad1a1d3218e5b36cd4884b2b45
- source_charge_checks.py lines 1–200
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/source_charge_checks.py
c5f5d7704dfc283b577e0aeee31d9875d4d90b1c7b6e4596037920b7d3cf5902
finding:r103-ai-source-expression-is-checked-separately-from-prediction-matches