Mobile Shell Button - #723

Merged

arul28 merged 8 commits into

mainfrom

ade/ok-start-skill-plan-skill-77039123

Jul 7, 2026

Commits on Jul 7, 2026

Add mobile shell launcher
arul28
committed
5dc4251
ship: iteration 1 - address shell scope review
arul28
committed
0460720
ship: iteration 2 - derive shell scope from lane
arul28
committed
c12c170
ship: iteration 3 - harden queued shell launches
arul28
committed
5dd7ca1
ship: iteration 4 - require shell project scope
arul28
committed
16a4259
ship: iteration 5 - prefer nested shell scope
arul28
committed
1c1e786
ship: iteration 6 - keep known shell project
arul28
committed
5bf46f6
ship: iteration 7 - reject stale parent shell scope
arul28
committed
f59ecc4