[jwr404]

Summary

• Both shipped words end helpers 249, 251, 265 and 267 on the rank-7 subspace. The parent already contains those helpers, on a rank-8 frame.
• Private buffers go from 86 to 91. The five new keys are the later extractions 226, 228, 230, 363 and 395, so V45 adds none.
• The recorded fixed-capacity brackets rise from the parent through stage 1, stage 2 and the final certificate. The cap basis is not re-solved, and there is no new exponent.

Test plan

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

Made with Cursor