Skip to content

claw: shape_race.t27 -- the issue-shape gate replayed under the payload and a live reading (Refs #10662) - #10663

Merged
gHashTag merged 1 commit into
masterfrom
claw-shape-race-pr
Oct 18, 2026
Merged

gHashTag merged 1 commit into
masterfrom
claw-shape-race-pr

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

What

specs/claw/shape_race.t27 replays the issue-shape gate ("Needs boundary") under two readings of the same timeline:

  • payload: what the gate does today. It judges the body and the shape-refused label that the event carried when it was created.
  • live: it judges the body, labels and state as they are when the job runs.

The fixture is #10644's real timeline (run and job API, 2026-10-18). The issue was opened with a failing body and fixed by an edit four minutes later. The gate's first job ran twenty minutes after that and closed it. The next job read a stale REFUSED: false and left it closed. Only a third edit reopened it, 1246 s later.

Reading Jobs that left the issue wrong End
payload 2 of 3 right, only because of the third edit; without it, stuck
live 0 of 3 right

The plan prints F shape-race race for that timeline. The workflow change itself is the owner's decision, recorded in #10662; this PR moves nothing.

Verification (Railway lab)

  • t27c test-report specs/claw/shape_race.t27 --specs-dir specs: 16 of 16 passing, 0 vacuous passes.
  • t27b test specs/claw/shape_race.t27: 16 of 16 passing.
  • Mutations: 23 of 23 fail a test, none only by turning the spec BLOCKED. The first run left one survivor (the live end word printed from the payload result), now pinned by the_plan_prints_each_reading_its_own_end.
  • seal --save, then seal --verify: all hashes match.

Refs #10662, #10644

🤖 Generated with Claude Code

… and a live reading (Refs #10662)

The gate reads the body and the shape-refused label from the event payload,
fixed when the event was created. #10644's timeline is the fixture: the payload
reading leaves the issue wrong after 2 of 3 jobs, a live reading after none.
t27c 16/16 (0 vacuous), t27b 16/16, 23 of 23 mutations caught, seal verified.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 21:25:12 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 48
PRs with All Checks Green 2
READY 2
FAILING 48
PENDING 0
NO CHECKS YET 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=fad12492937a != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

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