verse map: grouped lane mislabels a moved scope LeftBeforeSelection (no spend difference)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
parent
771a79dde2
commit
ee9e18a745
1 changed files with 7 additions and 0 deletions
|
|
@ -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
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue