Clarify terminal closeout target forms - #703
Conversation
|
Important Approval pendingCodeRabbit has no unresolved comments, but it has not reviewed the latest commit. Use the checkbox below to review the latest commit. CodeRabbit will approve the changes if it finds no blocking issues.
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
|
Evidence:
|
Review summarySmall, focused doc/test change (fixes #503): aligns the documented batch-manifest Findings posted inline:
Other notes (no action needed):
|
Address-review summaryScan scope: full history from PR #703 Detailed review outcomesMattered
Skipped
Next default scan starts after this comment. Say |
| immediately route to the ordinary claim-only release fallback/recovery: | ||
| re-register the affected lane under the exact manifest `TARGET` string, then | ||
| retry the same `agent-coord release` invocation from above with that exact | ||
| `--batch-id`, `--repo`, and `--target` tuple. Claim both lanes under their |
There was a problem hiding this comment.
This new recovery instruction tells the operator to "re-register the affected lane under the exact manifest TARGET string," but no such per-lane re-registration operation is documented anywhere in this repo (docs/coordination-backend.md's "Batch Provenance Manifest" section only describes registering an entire batch once, at batch start, not re-registering a single lane mid-batch). "re-register" doesn't appear anywhere else in docs/, workflows/, or skills/.
An operator who hits terminal closeout does not match exactly one lane in batch <id> and follows this new guidance has no concrete command to run — the recovery path this PR adds is effectively a dead end. Either this should point to whatever mechanism actually exists for correcting a mismatched lane target (e.g., re-claiming with the manifest's exact string, if that's what's meant), or the recovery command needs to be spelled out explicitly.
| { | ||
| "name": "implementation", | ||
| "owner": "batch-a-implementation", | ||
| "targets": ["123"], |
There was a problem hiding this comment.
Inconsistent indentation was introduced in this "representative" manifest example: name, owner, and worker_preference are now indented 8 spaces while targets and observed_host remain at 6 spaces (line 129 vs. 127-128/130). The JSON is still technically valid (whitespace-insensitive), but this doc is meant to be copy-pasted as a template, and the ragged indentation makes it look like a bad merge/edit rather than an intentional example. Worth re-flowing to a consistent indent.
|
🤖 Codex Closing this stale implementation while retaining the small #503 documentation residual. Agent Coordination #186 and current Agent Workflows already normalize canonical target identity and require exact target spelling. This branch’s proposed per-lane “re-register” recovery is not a documented operation: registration accepts the whole manifest, and the unresolved review correctly identifies that mismatch. Issue #503 retains only the exact raw target-equality examples and, if supported by the backend, a documented whole-manifest update/re-registration path. The branch remains available as reference; no claim-only or invented per-lane recovery is being adopted. |
Fixes #503
Make the documented batch-manifest target string explicit, keep claim/release aligned to that exact string, and route the known terminal-closeout mismatch message straight to the ordinary claim-only recovery path.
Validation:
ruby skills/pr-batch/bin/coordination-telemetry-contract-test.rb