From ee9e18a745f49f01a86be3e00deca6edd15c0729 Mon Sep 17 00:00:00 2001 From: Meta Vens Date: Sat, 17 Oct 2026 15:25:20 +0200 Subject: [PATCH] verse map: grouped lane mislabels a moved scope LeftBeforeSelection (no spend difference) Co-Authored-By: Claude Opus 5.5 --- notes/ghostlight-verse-map.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/notes/ghostlight-verse-map.md b/notes/ghostlight-verse-map.md index 10daac1..85b9f3b 100644 --- a/notes/ghostlight-verse-map.md +++ b/notes/ghostlight-verse-map.md @@ -230,6 +230,13 @@ from 21:04 the denial forever. Mechanism: - In the narrative lane, the lookup digest clause is the only gate. A driver resume with the fresh opportunity is refused there. Fork A's kernel-refusal re-lowering (`1ef973a`) runs only when a caller passes the stale opportunity. +- Grouped lane (probed 2026-10-17, `771a79d`, by reading; `select_one` now + returns `ScopeMoved`): `run_group` maps every `select_one` error to + `LeftBeforeSelection`, which the driver records as `OpportunityGone`. A member + whose scope moved is dropped before any constituent, inference or submission + exists, so only the label is wrong; spend is identical and nothing branches on + the reason (`grouped-record-and-carry` keys on membership in `refused`). Own + cut: `cut-grouped-scope-moved-label.r1`. ## Model page