Skip to content

feat(verified): failure loop -- deterministic level, fix-PR linkage, same-pipeline close - #6690

Closed
gHashTag wants to merge 1 commit into
claude/verified-reuse-6655from
claude/verified-failure-loop-6655
Closed

gHashTag wants to merge 1 commit into
claude/verified-reuse-6655from
claude/verified-failure-loop-6655

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 6, 2026

Copy link
Copy Markdown
Owner

Closes #6689
Refs #6655 (Phase F, automatic failure loop). Stacked on #6671 (base claude/verified-reuse-6655).

Adds specs/verified/failure_loop.t27, which imports verified::reuse:

  • failure_level: a failure on the default branch is CRITICAL, a fingerprint that recurred after its issue was closed is HIGH, and anything else is NORMAL. These are the specs/queen/priority.t27 level values; its cap and aging still apply. No occurrence thresholds are invented.
  • runnable: a failure issue goes to the Queen only with a Boundary, Success Criteria and its fingerprint.
  • fix_linked: a fix PR must reference both the failure issue and the original change.
  • close_action: a recurring fingerprint is UPDATE. An unlinked fix or a different pipeline is KEEP. Otherwise it defers to reuse.on_fix_run (CLOSE only when the run passed and the seal verified).

Evidence (Railway lab, master t27c, zig 0.16.0; the lab's reuse.t27 matches this branch, sha256 79af2725...):

  • 10/10 tests passed
  • 8/8 mutants killed
  • gen-verilog (150 lines) and gen-c (186 lines) OK
  • t27c seal --verify: all hashes MATCH
  • gitleaks: no leaks; own-language hook passed

🤖 Generated with Claude Code

…same-pipeline close

specs/verified/failure_loop.t27 (use verified::reuse): failure_level()
files a red default branch at CRITICAL, a fix that did not hold at HIGH,
everything else at NORMAL (priority.t27 levels; cap and aging stay there).
runnable() needs Boundary + Success Criteria + fingerprint; fix_linked()
needs the failure issue and the original change; close_action() keeps the
issue open on an unlinked fix or another pipeline and otherwise defers to
reuse.on_fix_run(). 10 tests, 8/8 mutants killed, sealed.

Closes #6689
Refs #6655

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
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