Steps 1-3 and 5 run gstack-ship-preflight; Step 12 version, Step 16 finish and
Step 17 push run gstack-ship-release. Step 14.5's invariant names the packet
reader on Capy. The skeleton stays at its 61420-byte cap; the union grows by the
auditor prompt (size ledger entry). The push idempotency invariant now runs the
bin against the same remote states.
Co-authored-by: capy-ai[bot] <230910855+capy-ai[bot]@users.noreply.github.com>