Summary

• Add the v0.9.0 post-release audit record with GitHub release, tag, crates.io, docs.rs, claim-proof, verification-pack, and contract-pack proof state.
• Close out the v0.9.0 release lane and archive the active goal.
• Record the release automation finding: the tag-triggered Release workflow succeeded through preflight and publish, then failed creating the GitHub release because the curated release already existed.

Files added/changed

• docs/release/post-release-audit-v0.9.0.md
• plans/v0.9.0-release/closeout.md
• docs/learnings/2026-05-v0.9.0-release.md
• .uselesskey/goals/archive/2026-05-v0.9.0-release.toml
• .uselesskey/goals/active.toml
• plans/v0.9.0-release/README.md
• docs/learnings/README.md

Validation

• cargo xtask cratesio-smoke --version 0.9.0
• crates.io API check: all 24 intended publish crates visible at 0.9.0
• crates.io API check: all 29 removed shim crates remain capped at 0.7.1 and have no 0.9.0
• cargo xtask claim-proof --all-stable
• cargo xtask verification-pack --out target/uselesskey-verification
• cargo xtask bundle-proof --profile tls --out target/release-evidence/tls
• cargo xtask bundle-proof --profile oidc --out target/release-evidence/oidc
• cargo xtask bundle-proof --profile webhook --out target/release-evidence/webhook
• cargo xtask public-surface
• cargo xtask publish-check
• cargo xtask badges --check
• cargo xtask check-no-panic-family
• cargo xtask spec-check --strict
• cargo xtask claim-report --check-public-claims
• cargo xtask contract-packs --check
• cargo xtask docs-sync --check
• cargo xtask typos
• git diff --check

Non-goals

• No package changes.
• No republish, yank, tag rewrite, or release-note mutation.
• No new product lane, contract pack, badge, shipper migration, TLS expansion, or historical no-panic baseline cleanup.

What this enables next

The v0.9.0 release lane is archived. Future product or reliability work should start from a fresh active goal and plan.