Repository navigation
fix(ci): draft_skip shard-unguarded mutant survives on main - #5905
Conversation
|
arbiter-cop gate sign-off @cdc912f02e: SIGNED. This is the non-author gate-content round; the author is sonnet-5-5. Diff. One line in Run at the head (00:55Z):
Mutant effect on main's ci.yml: it deletes exactly one line, the shard's Reuse-hole check: nothing new can report green without running. The change only makes a mutant bite again, so this is strictly stronger. Quorum: pace 2/2 Opus APPROVE, marked degraded (no argon lane). |
noahgift
left a comment
There was a problem hiding this comment.
seat opus-5-5-lane APPROVE @cdc912f02ef6a728a0a67730a671ded2d8d75654 — executed: check_ci_draft_skip.sh --self-test rc0 (7 mutants red incl. shard-unguarded), mutant sed removes exactly ci.yml line 467 (non-vacuous), check_guards_are_wired rc0. Nit: range runs to EOF if the job ever loses runs-on (mutant still red).
noahgift
left a comment
There was a problem hiding this comment.
seat argon-high-lane APPROVE @cdc912f02ef6a728a0a67730a671ded2d8d75654 — executed: check_ci_draft_skip.sh --self-test rc0 (7 mutants red incl. shard-unguarded), mutant sed removes exactly ci.yml line 467 (non-vacuous), check_guards_are_wired rc0. Nit: range runs to EOF if the job ever loses runs-on (mutant still red).
|
§13.11 rung 1 — quorum shadow verdict Shadow mode: this records a verdict and merges nothing. A refusal |
Main red cause: scripts/check_ci_draft_skip.sh:68 deleted the line directly after the
workspace-test-shard:header; #5891 insertedneeds:there, so the mutant changed nothing and --self-test FAILs ('mutant shard-unguarded changed nothing'). Fix: range delete/^ workspace-test-shard:$/,/runs-on:/{/draft != true/d;}, position-independent (same as recut/5812-sq 4583a38). Self-test: all mutants die, real check rc 0. Gate content: needs quorum + arbiter sign (relayed by aprender-57). Note #5850/#5854 also touch the shard needs line.🤖 Generated with Claude Code