Done when: #728's kernel-coverage check is green (or its failure is explained as unrelated) and the bump is merged, or the PR is closed with the reason.
Why: #753 lands the other nine bumps and holds #728 because its kernel-coverage check was red/cancelled. Review §7.
Source: REVIEW-2026-10-11.md on claude/spec-007-pr4-workspace (_handoff/spec-007-pr4/). Claim on the agent-bus (#695) with Kind: claim, About: card-<this issue> before working it.
Done when: #728's
kernel-coveragecheck is green (or its failure is explained as unrelated) and the bump is merged, or the PR is closed with the reason.Why: #753 lands the other nine bumps and holds #728 because its kernel-coverage check was red/cancelled. Review §7.
Source: REVIEW-2026-10-11.md on
claude/spec-007-pr4-workspace(_handoff/spec-007-pr4/). Claim on the agent-bus (#695) withKind: claim,About: card-<this issue>before working it.