Skip to content

Release v5.0.0 — re-signed pre-tag receipt (rebind after CI fix #156) - #157

Merged
b7n0de merged 1 commit into
mainfrom
release/v5.0.0-resigned-receipt-20260827
Aug 27, 2026
Merged

Release v5.0.0 — re-signed pre-tag receipt (rebind after CI fix #156)#157
b7n0de merged 1 commit into
mainfrom
release/v5.0.0-resigned-receipt-20260827

Conversation

@b7n0de

@b7n0de b7n0de commented Aug 27, 2026

Copy link
Copy Markdown
Owner

The first release run (33074248363) failed at build-and-attest: pre_tag_audit_gate --strict ran before cryptography was installed (ModuleNotFoundError, fail-closed). PR #156 fixed that, which changed .github/ and thus subject_tree_digest (bb1fbba3 → 4212087). The old receipt no longer binds this tree.

This replaces the receipt with one re-signed (Mac, ed25519 private half — never leaves the Mac) over the new tree:

  • subject_tree_digest 4212087273dc…, gate_source_digest fa6a019b6dee…, audit_exit_code 0, verdict WITHSTANDS_DEEPGATE
  • signer iJipntJA8N//… (pinned in audit_artifacts/pre_tag_trusted_pubkeys.txt)
  • pre_tag_audit_gate.py --version 5.0.0 --strict green locally (1 verified, 0 rejected)

Nothing shipped under the old tag (gh release view v5.0.0 = not found). After merge, tag v5.0.0 is re-created at this head so the fixed release.yml runs green.

The first release run (33074248363) failed at build-and-attest: the pre-tag gate ran before
`cryptography` was installed (ModuleNotFoundError, fail-closed). PR #156 fixed that (install
cryptography before the gate), which changed `.github/` and thus the subject_tree_digest
(bb1fbba3 -> 4212087). The old receipt no longer binds this tree.

This REPLACES the receipt with one re-signed (Mac, ed25519 private half — never leaves the Mac)
over the new tree:
  subject_tree_digest 4212087273dc..., gate_source_digest fa6a019b6dee..., audit_exit_code 0,
  verdict WITHSTANDS_DEEPGATE, signer iJipntJA8N//... (pinned in pre_tag_trusted_pubkeys.txt).

pre_tag_audit_gate.py --version 5.0.0 --strict is green locally (1 verified receipt, 0 rejected).
Nothing shipped under the old tag; the tag will be re-created at the merged head of this fix.
@b7n0de
b7n0de merged commit 840a0a6 into main Aug 27, 2026
13 of 22 checks passed
@b7n0de
b7n0de deleted the release/v5.0.0-resigned-receipt-20260827 branch August 27, 2026 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant