Repository navigation
fix(claw): regenerate the gate inventory after t27os workflows were removed (Closes #12963) - #12967
Merged
Merged
Conversation
…emoved (Closes #12963) The gate-topology claw drift step compares the gate inventory with .github/workflows. The t27os and t27os-release workflow files are gone and stale-arm-repair (#12846) landed without a row, so the audit printed SPEC-ONLY t27os, SPEC-ONLY t27os-release and DIR-ONLY stale-arm-repair on master and on every open PR. - drop the t27os and t27os-release rows from all seven parallel arrays - add a stale-arm-repair row (schedule,workflow_dispatch; reporting) - move sizes, loop bounds, COUNT and the census test to 70 workflows (62 blocking + 3 soft + 5 reporting) - move the two gates_pins.t27 loops to 70 - regenerate the committed gen/c/claw/gates.c with the gen-c backend Local checks: the CI audit prints "matrix is current" and exits 0; the per-spec test report passes 25/25 (gates) and 6/6 (gates_pins), 0 vacuous. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Contributor
This was referenced Oct 31, 2026
This was referenced Oct 31, 2026
This was referenced Oct 31, 2026
Merged
Merged
…fix-claw-gate-inventory-12963
…0-row gate inventory (Refs #12963) The inventory fix changed specs/claw/gates.t27 and specs/claw/gates_pins.t27 (t27os and t27os-release rows removed, stale-arm-repair added, arrays and loops resized to 70), so both seals no longer described their specs and the coverage and spec-guards checks read red. Both seals were re-saved with the post-#12824 compiler build kept in the lane folder, from a T27 OS shell-cell pane, on the owner's word: - claw_ClawGates: tests 25/25, spec_hash sha256:cd5f3c42... - claw_ClawGatesPins: tests 6/6, spec_hash sha256:cf681eb5... Neither seal file carries a home path. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Contributor
PR DashboardGenerated at: 2026-10-31 11:59:55 UTC
Summary
Seal Status
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #12963
What
The
gate-topologystep "Gate inventory must match the workflows directory (claw drift)" fails on master and on every open PR withclaw: DRIFT -- regenerate specs/claw/gates.t27. The audit printed:SPEC-ONLY t27osandSPEC-ONLY t27os-release(the workflow files were removed)DIR-ONLY stale-arm-repair(landed in crons: the stale-arm repair workflow live -- paid by the check-conflicts.sh deletion (Refs #12606, #12813) #12846 without a row)This PR makes the inventory equal the directory again.
Changes
specs/claw/gates.t27: drop thet27osandt27os-releaserows from all seven parallel arrays; add astale-arm-repairrow (alphabetical, trigger keysschedule,workflow_dispatch, class reporting, reason recorded); move array sizes, loop bounds, COUNT and the census test to 70 workflows (62 blocking + 3 soft + 5 reporting).specs/claw/gates_pins.t27: the two pin loops now run over 70 rows.gen/c/claw/gates.c: regenerated with the gen-c backend (the CI step includes this committed file, it does not regenerate it).stale-arm-repairis classed reporting, likepr-queue-drain: it only update-branches stale pull requests, and the gates on those pull requests are what gate a merge.Verification (local)
claw: matrix is currentand exits 0.specs/claw/gates.t2725/25 pass,specs/claw/gates_pins.t276/6 pass, 0 vacuous passes in both.Not in this PR
claw_ClawGatesandclaw_ClawGatesPinsare not re-saved here; the sharedcoverage/spec-guardsreds (stale seals) and the Corpus ratchet (ci: Corpus ratchet is red on master since 2026-10-30 (1 unexpected failure, 3 unexpected passes) #12959) are separate.docs/claw/README.mdwas already stale before this change and is left alone.🤖 Generated with Claude Code