Skip to content

attestgate: a task that attests only what it uploads attests no later step - #31

Merged
aledbf merged 1 commit into
mainfrom
attestgate-self
Oct 13, 2026
Merged

aledbf merged 1 commit into
mainfrom
attestgate-self

Conversation

@aledbf

@aledbf aledbf commented Oct 13, 2026 •

Copy link
Copy Markdown
Contributor

In spin-ami's release job, task prebuilt:save attests only the packs it pushes. As an attest task, though, it counted as attesting every later step in the job. So publish ahead of images:sign, the ordering that would put a disk out with no provenance, passed the gate.

  • Gate.SelfAttesting: tasks that attest only what they upload themselves. A step running one is attested for itself only, conditional or not.
  • The attestation classification moves to attestation(), which keeps cyclop happy.

Three new cases; mutate 12 refused, 0 survived.

🤖 Generated with Claude Code


View with [code]smith Autofix with [code]smith
Need help on this PR? Tag @codesmith-bot with what you need.

… step

spin-ami's release job saves prebuilts with a task that attests the
packs it pushes and nothing else; counted as an attest task it made
every later step look attested, and publish ahead of images:sign passed.
SelfAttesting names such tasks: a step running one is attested for
itself only.

Co-Authored-By: Claude Opus 5.5 (1M context) <[email protected]>
@aledbf
aledbf merged commit e698d12 into main Oct 13, 2026
1 check passed
@aledbf
aledbf deleted the attestgate-self branch October 13, 2026 13:11
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