Repository navigation
A lane control root that cannot be searched reads as "no trees", so an inventory sync removes its rows (from #289's review) #291
Description
Found by the independent review of PR #289 (#173 item c1), as its SHOULD-4. It is in the same family as #173's original finding: a read that failed is taken as an empty one (R22, Amendment 7(d)). It already exists before #289, at main 21e0829; the line numbers below are at #289's head 03b6299.
A lane's control root that cannot be searched reads as "no trees"
lanes-edit.sh:14518,[ -d "$wr_root/trees" ] || continue, treats EACCES as absent.- So does rung 2's
[ -d "$lcr_par" ]at:13128. - Probe P5: with the dir's parent
.lane-stateat mode 000, the helper exits 8, and an inventory sync writes0 upserted, 1 removed. That lane's indexed rows are deleted. - Unlike A lane listing that is not whole no longer removes indexed worktree rows: the inventory read says PARTIAL, lanes --worktrees prints it NOT WHOLE, and lanes-index writes nothing over it; an older helper's tree with no path stays a tree (#173 item c1, #252 delta review 2) #289's SHOULD-1 windows, this failure persists. The same happens at
21e0829.
Fix
Walk up to the deepest ancestor that exists. If it cannot be searched, emit UNREAD for the lane, as main's f18b818 did for leg directories, so that the sync holds the lane's rows instead of deleting them.
Lane: openRepoTools-4
Activity
brettheap commentedon Oct 21, 2026
CLAIMED — lane openRepoTools-4, session e545e636-93fd-4b80-81b1-48177346b887@Eagle, 2026-10-21T10:34:12Z, for #291
Logged in
lanes/log/openRepoTools-4.mdatce0f4790664b8953e26fb751a323813b8ff3514a.The three reads (lane-collision-protocol Rule 1):
A lane whose inventory could not be read is no longer said to have on…
Test that a write under a lane control root nobody could look for fai…
lane_generation's docstring no longer says that a snapshot it could n…
The README's rung section says that a rung is passed over only where …
lane-reconcile no longer says that a trees directory nobody could loo…
The lanes-index marker comment, the second exit-10 header in lanes-ed…
Only the #291 cases that set a mode skip as root, so the links that c…
lookup_blocked's comment names its limit: a denial that the mode bits…
The README's rung paragraph now names what each surface says where a …
lanes-edit.sh worktrees names a lane UNREAD beside a tree record that…
A lifecycle snapshot nobody could look for is 10 to set-lane-state an…
Merge slice 1b at 59551dd into slice 2a: four blocks resolved as unio…
Pin #309's rename-note count, dangling-link control root, fence wordi…