[plancherb1]

First Jetson AGX Orin (sm_87) receipt, recorded at the 0.7.0 receipt commit 607efc2, the same 2056-test collection the primary receipt covers.

• receipts/gpu-proof-sm87.json: 82 shards, 2056 tests, 2055 passed, 1 skipped (the compute-sanitizer racecheck cell in test/gpu-proof-expected-skips-sm87.txt); recorded 2026-11-01 to 2026-11-02 on the Orin (L4T R39.2, CUDA 13.2, torch 2.14.0+cu130, jax 0.11.1 with jax-cuda13-plugin), merged and signed on the desktop.
• receipts/gpu-proof-sm87-header-keys.json: the header-key ledger, 41 cuda shards, 782 records.
• Compatibility page: the Orin row records the receipt in place of the 0.5.1 smoke runs; the primary row's receipt date moves to the 0.7.0 receipt.
• RELEASING.md: the desktop merge and ledger step for a Jetson recorded with the signing backend off.
• Changelog line under Unreleased; debugging guide 7.z83.

make verify-all on the clean tree: sm_120 ok (2056 passed), sm_87 ok (2055 passed, 1 skipped), sm_72 not recorded. Sphinx strict build green. Docs and receipts only, no generator or runtime change; merge with a merge commit.

🤖 Generated with Claude Code