Skip to content

docs(skill): record pool-of-5 round-3 gotchas - #1556

Merged
squid-protocol merged 1 commit into
mainfrom
docs/tree-sitter-sweep-gotchas-round3
Aug 14, 2026
Merged

docs(skill): record pool-of-5 round-3 gotchas#1556
squid-protocol merged 1 commit into
mainfrom
docs/tree-sitter-sweep-gotchas-round3

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Summary

Two operational lessons from the first real pool-of-5 tree-sitter-accuracy-sweep run (issues #1427/#1493/#1512/#1527/#1531, all merged):

  • A nonzero gh pr checks --watch exit doesn't mean the PR failed to merge -- crucible-audit/ruff-audit are advisory, not required, checks on this repo's branch protection. Hit 3 times this round; the fix is to always confirm with gh pr view --json state,mergedAt.
  • Switching branches in the main checkout's shared working tree while a backgrounded crucible_check.py --update/--regenerate run is still writing files there can silently discard that in-flight work.

Docs only, no code change.

🤖 Generated with Claude Code

…state, branch-switch-during-bg-write

Two operational lessons from the first real pool-of-5 run (2026-08-13/14,
issues #1427/#1493/#1512/#1527/#1531): a nonzero gh pr checks --watch exit
doesn't mean the PR didn't merge (crucible-audit/ruff-audit are advisory, not
required, checks -- hit 3 times), and switching branches in the main
checkout's working tree while a backgrounded crucible_check.py run is still
writing files there can silently discard that work (a near-miss caught only
by re-checking git status before committing).

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@squid-protocol
squid-protocol merged commit 60caf1b into main Aug 14, 2026
26 checks passed
@squid-protocol
squid-protocol deleted the docs/tree-sitter-sweep-gotchas-round3 branch August 14, 2026 03:25
@github-actions

Copy link
Copy Markdown
Contributor

🐦‍⬛ Muninn Security Scan

✅ No security issues found.

🐦‍⬛ Powered by Muninn · Skald Lab

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