[jwr404]

Summary

• The F0 fault checker stores register 359 as one rational, 2^e, in a 712-register state. The completed data defect is 4 u 2^e with u = 2^-80.
• At the Bound completed QQ16 producer errors through the decoder #2965 tolerance H 2^(-72) with H = 1, the exponent 0 meets the bound and the exponents 8, 64 and 256 miss it.
• The 26,099-event word is not replayed, and the selected exponent is unchanged.

Test plan

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

Made with Cursor