[jwr404]

Summary

• The Audit selected scatter parity across word and record checks #2977 scatter repair is not in the pinned exporter. It still emits one ADD when an index is present, while the symbolic replay XORs once per occurrence.
• On the selected tuned word all 111 rows are unique, and the two actions agree on 527 terms. Appending [0, 0] to the first row is the only disagreement: symbolic coefficient 0, export coefficient 1.
• An odd triple agrees again. Uniqueness accepts the selected rows and rejects both appends. No frozen source or selected frontier changes.

Test plan

• python3.12 -B research/scatter-duplicate-boundary/verify.py
• python3.12 -B research/scatter-duplicate-boundary/test_verify.py
• python3.12 -B scripts/research_package.py --package research/scatter-duplicate-boundary
• Confirm the registered replay on the maintainer's Python 3.12 checkout

Made with Cursor