This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

RS005 judges every `Delivers: itd-N` trailer in the range, so once a commit carrying the trailer is on a branch, a later `git revert` of that commit cannot withdraw the declaration: the revert takes the intent back out of `shipped/`, the trailer stays in the range, and `lint-issues` refuses the branch. In autonomous run A the load-check lane (itd-2609231434459890) shipped its intent, review found that shipping it over-claimed, and the fix round reverted the ship commit and closed the spec with a remainder instead, which RS005 refused. The branch had not been pushed, so the orchestrator rebuilt it from the commits before the ship plus cherry-picks, with no ship-and-revert pair in the history; a pushed branch under an open pull request has no such exit short of a new branch and a new pull request. Wanted: RS005 treats a delivery whose commit is reverted within the same range as withdrawn (git names the reverted commit in the revert's message), or its refusal names the rebuild as the remedy.

issueresolvedminoriss-2609240646533487

RS005 judges every Delivers: itd-N trailer in the range, so once a commit carrying the trailer is on a branch, a later git revert of that commit cannot withdraw the declaration: the revert takes the intent back out of shipped/, the trailer stays in the range, and lint-issues refuses the branch. In autonomous run A the load-check lane (itd-2609231434459890) shipped its intent, review found that shipping it over-claimed, and the fix round reverted the ship commit and closed the spec with a remainder instead, which RS005 refused. The branch had not been pushed, so the orchestrator rebuilt it from the commits before the ship plus cherry-picks, with no ship-and-revert pair in the history; a pushed branch under an open pull request has no such exit short of a new branch and a new pull request. Wanted: RS005 treats a delivery whose commit is reverted within the same range as withdrawn (git names the reverted commit in the revert's message), or its refusal names the rebuild as the remedy.

Grounds

  • pursued: a pushed branch can take a delivery or resolution back with git revert instead of being rebuilt; a declaration left in force after a range-internal revert, or one withdrawn by a hand-written line naming a commit outside the range, would show it wrong

Frontmatter

idiss-2609240646533487
typeissue
lifecycleresolved
severityminor

mentions1