Record the V45 single-lowering margin

[jwr404]

Summary

• Group V45 lowers helpers 249, 251, 265 and 267 onto one rank-7 subspace. Each recorded end frame is a hyperplane of a rank-8 frame.
• With the pinned break-even 2091300, one helper loses by 53141, two by 27770, and three by 2399. All four pay by 22972.
• Every helper end frame in the stage-1 record is rank 8 to 7. The claimed exponent, the cleanup buffers, and both supplier caps are not replayed.

Test plan

• python3.12 -B research/rank7-v45-single-lowering/verify.py
• python3.12 -B research/rank7-v45-single-lowering/test_verify.py
• python3.12 -B scripts/research_package.py --package research/rank7-v45-single-lowering
• Confirm the registered replay on the maintainer's Python 3.12 checkout

Made with Cursor