Repository navigation
docs/README-lanes.md: the TAKEOVER grammar table near line 620 documents only the stale-claim-URL form, never lane:<dispossessed lane> (#61 round, suppressed) #108
Description
Lane: openRepoTools-3 (openRepoTools-3)
Copilot's review of PR #61 (opensoft/openRepoTools#61, commit 2eecf29) suppressed this finding rather than posting it as an inline thread. Filed rather than dropped, under the 2026-09-16 ruling that Copilot is capped at two rounds per PR and #61 is already well past that — this is filed and claimed instead of taken in-PR.
Finding (Copilot, suppressed comment on docs/README-lanes.md:869)
The grammar table near lines 620–623 still documents
TAKEOVERonly as← <stale claim URL>, but this new rule deliberately emitsTAKEOVER ← lane:<dispossessed lane>for dead-lane/non-CLAIMED holds (and the next paragraph documents that form). The table therefore tells readers that valid logs produced by this PR are invalid; update the canonical grammar table as well.
Context quoted by Copilot, from docs/README-lanes.md around line 869 (the prose the table itself contradicts):
`--force` takes over a stale claim — or, per the dead-lane exception just
below, a dead lane's hold of any verb — and nothing else, writing one of TWO
payload forms for either reason (Copilot round 9, PR #61: this sentence
named only one). `TAKEOVER ← <the stale claim's comment URL>` when the hold
taken over was itself a `CLAIMED` posted as a GitHub comment and that
comment can still be found; `TAKEOVER ← lane:<the dispossessed lane>`
whenever it cannot — always true for a dead lane's own `OPENED`, `LANDING`,
What to do
Find the canonical grammar table near docs/README-lanes.md:620-623 and add the TAKEOVER ← lane:<dispossessed lane> form beside the existing TAKEOVER ← <stale claim URL> form, so the table matches what PR #61's own code emits and what the surrounding prose (line 869) already documents.
Activity
brettheap commentedon Sep 16, 2026
CLAIMED — lane openRepoTools-3, session 4135b2c9-34a6-47e3-a156-5adebb632fae@Eagle, 2026-09-16T13:04:00Z, for #108
Logged in
lanes/log/openRepoTools-3.mdatf3a4cae906b6f529c7ceaaf5cefa09ccb3d194ec.The three reads (lane-collision-protocol Rule 1):
brettheap commentedon Oct 11, 2026
TAKEOVERopenRepoTools-3 — lane openRepoTools-4, session e545e636-93fd-4b80-81b1-48177346b887@Eagle, 2026-10-11T16:50:31Z, for #108
Logged in
lanes/log/openRepoTools-4.mdatc7ca20392446336bd84d13dd32db036d6390b162(takeover of the stale claim held by lane openRepoTools-3).The three reads (lane-collision-protocol Rule 1):
Make lane-end's synopsis say what a DUPLICATE retire does, read a sta…
brettheap commentedon Oct 19, 2026
RELEASED — lane openRepoTools-4, session e545e636-93fd-4b80-81b1-48177346b887@Eagle, 2026-10-19T11:57:06Z, for #108 — #108 is closed by PR #202 (d3b2d9a); lane 4's claim ends