Record live Sized project and verified release cleanup

SHIPMENT.md

@@ -31,7 +31,8 @@ cliff-mads, overriding the job image with the pinned Sized Rust runtime.
 The runner itself launches the two tmpfs mounts. Jobs have no Docker socket
 and run `scripts/check-linux-container.sh` as UID 65532, using the checked-out
 workspace as `SIZED_TEST_SOURCE`. Its tests, strict Clippy, formatting and
-optimized-binary smoke test are the same as the local Docker workflow.
+optimized-binary smoke test and extracted release-archive verification are the
+same as the local Docker workflow.
 
 The runtime contains Rust 1.88.0, rustfmt/Clippy and Node for the pinned checkout
 action. On cliff-mads, rebuild it explicitly with:
@@ -55,8 +56,11 @@ The first complete native AMD64 push check is
 [Gitea run 1048 (number 2)](https://gitea.speelman.ca/gamertan/sized/actions/runs/1048),
 at `74b30bbf750417121f3b0c26017d2f011a2a8286`. All 23 tests, formatting, strict
 Clippy, release smoke and unchanged-checkout verification passed as UID 65532
-on `cliff-himesan-linux-amd64`. PR and manual-dispatch events are configured;
-only push execution has been exercised. See `TODO.md` for the current checkpoint.
+on `cliff-himesan-linux-amd64`. The packaging source checkpoint `77b11a8`
+subsequently passed [push run 1065](https://gitea.speelman.ca/gamertan/sized/actions/runs/1065)
+and [PR run 1066](https://gitea.speelman.ca/gamertan/sized/actions/runs/1066),
+including executable/archive checks and output/symlink refusal. Manual dispatch
+is configured but not independently exercised. See `TODO.md` for current work.
 
 ## 1. Versioning and Tagging