Skip to content

release-gate.sh ends the evidence with the line the release criterion reads - #323

Merged
afflom merged 1 commit into
release/v0.4from
claude/release-evidence-line
Oct 26, 2026
Merged

afflom merged 1 commit into
release/v0.4from
claude/release-evidence-line

Conversation

@afflom

@afflom afflom commented Oct 26, 2026

Copy link
Copy Markdown
Member

Release-blocking: the first v0.4.0 tag run (40321415513 on aa6593e02) passed every job but publish the release, which stopped at release-check with ci-evidence: release/vv-evidence.txt does not record the gate passing (#34). The §30.3 criterion reads the line just vv prints when the whole gate passes; since #320 the file is written from the sharded ci.yml run and carried the run, its jobs and the legs' transcripts, none of which says it. The six rehearsals could not show this because publish runs on a tag only. Nothing was published: no GitHub Release, no crates.io upload; the 0.4.0 and latest image tags were pushed by manifest and are pushed again by the next run.

  • .github/release-gate.sh ends the file with gate: every job of run N passed on <commit> and vv: the acceptance gate passed, the summary of the run it verified.
  • The criterion is one function, repo_model::release::ci_evidence, used by release-check and tested on its own (the legs' lines alone are refused; a file naming no commit is refused).
  • conformance_rp_18's planted-run test holds the script's output to that function, so the file the gate job writes is the file release-check accepts. Two committed-tree plants are in VERIFICATION.md; run by hand on aa6593e02 the script names run 40292537147 and ends with the two lines.

After the merge: rehearsal 7 on the merge commit, then the tag moves to it (delete v0.4.0, tag the new commit); commands follow on #34.


Generated by Claude Code

… reads

The first v0.4.0 tag run passed every job but `publish the release`,
which stopped at release-check: the §30.3 criterion reads the line
`just vv` prints when the whole gate passes, and the file the release
gate writes from the sharded run carried the run, its jobs and the
legs' transcripts, none of which says it. The rehearsals could not show
this, since `publish` runs on a tag only.

The script now ends the file with `gate: every job of run N passed on
<commit>` and `vv: the acceptance gate passed`, the criterion is one
function (`repo_model::release::ci_evidence`) with its own test, and
RP-18's planted-run test holds the script's output to that function.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
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.

2 participants