fix(spec): type-check defineApp's navigation again — #4171 fixed only half the annotation (#3786) - #4221

Merged

os-zhuang merged 2 commits into

mainfrom

claude/spec-checklist-drift-investigation-ewgd6l

Jul 30, 2026

Commits on Jul 30, 2026

fix(spec): type-check defineApp's navigation again — #4171 fixed only half the annotation (#3786)

Claude
and
claude
committed
docs(spec): correct the always-on slate's account of how cloud diverged (#3786)

Claude
and
claude
committed