Repository navigation

fix(picker,#18832): delivered marker revocable by a later [NOT-DELIVERED] line - #20455

Merged

myia-ai-01 merged 2 commits into

mainfrom

fix/picker-delivered-marker-revocable

Oct 13, 2026

Merged

fix(picker,#18832): delivered marker revocable by a later [NOT-DELIVERED] line#20455
myia-ai-01 merged 2 commits into
mainfrom
fix/picker-delivered-marker-revocable

Commits on Oct 12, 2026
- fix(picker): make the delivered marker revocable by a later comment
  
  jsboige
  and
  claude
  committed
  d49d918
- fix(picker): give the belt probe (`has_delivered_signal`) the same revocation
  
  jsboige
  and
  claude
  committed
  705a6f7