fix(autofix): fail closed on ambiguous workflow validation - #2030
fix(autofix): fail closed on ambiguous workflow validation#2030seonghobae wants to merge 4 commits into
Conversation
RED: protected main has neither the trusted workflow linter nor a contract that rejects expression-valued/non-boolean cancel-in-progress beside queue: max.
|
Important Draft PR not reviewedDraft PRs are not automatically reviewed by default.
To automatically review draft PRs, update your CodeRabbit configuration: reviews:
auto_review:
drafts: trueThanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
|
Exact-head publication receipt: |
|
Exact-head Runtime Quality RCA and repair:
The update is a normal fast-forward descendant; no force update, bypass, or predecessor Check transfer. Fresh exact-head Checks are authoritative. |
|
Exact-head verification receipt: Runtime Quality run |
|
Restack onto protected
Left Draft. Fresh exact-head checks required; predecessor evidence does not transfer. |
Goal
Carry the still-valid trusted workflow-linting delta out of historical #1231 into one bounded canonical-owner successor.
RED → GREEN
98768d6b2a27631602ec2405d3d71a8f6d13d534: proves that expression-valued and non-booleancancel-in-progressbesidequeue: maxmust fail closed.822222ed4621d7a896b3dd59d25f4c728d60dd88: provisions checksum-pinned actionlint 1.7.12 and BSD-licensed shfmt 3.13.1 for every changed workflow, installs the bounded trusted linter, and accepts max queue only when cancellation is absent or literal YAMLfalse.Boundary
This successor carries only the linter/provisioning/dynamic-cancellation responsibility. It does not claim carryover of #1231's unrelated scheduler, SBOM, GPU, or dispatch changes. Historical #1231 remains open and its substantive thread remains unresolved until this successor has exact-head GREEN evidence.
Documentation
Updates CHANGELOG, APA-style doctoring, and
docs/product-technical-gap-baseline.md. Status remains Proposed while current-head hosted Checks are non-terminal.Verification
The branch is a normal three-commit descendant of protected
main@78a4937c684a54ca8e415822c913742f41c6efc4; no force push or rebase was used. Runtime Quality run34181640286is GREEN on exact head6d104003767e22aaa1f3415e6e49b16192a35b42: focused linter contracts14 passed, full repository3000 passed, 1 skipped, 21 subtests, 100% coverage, consolidated contracts16 passed, compile and diff checks clean. Remaining exact-head security/CodeQL Checks and independent review are still authoritative merge gates.Refs #1231.