Repository navigation

Extract the run-end decision into Query::RunLifecycle - #168

Merged

ya-luotao merged 6 commits into

mainfrom

refactor/run-end-state-machine

Oct 6, 2026

Merged

Extract the run-end decision into Query::RunLifecycle#168
ya-luotao merged 6 commits into
mainfrom
refactor/run-end-state-machine

Commits on Oct 5, 2026
- Extract the run-end decision into Query::RunLifecycle
  
  ya-luotao
  and
  claude
  committed
  3124d33
- Table the run-end decision against Query::RunLifecycle
  
  ya-luotao
  and
  claude
  committed
  9c68fea
- Document Query::RunLifecycle and name it the next TLA+ target
  
  ya-luotao
  and
  claude
  committed
  2ff3d00
- Tighten the run-end specs after review, widen the smoke's path filter
  
  ya-luotao
  and
  claude
  committed
  c512dd4
- Name the run-end checks that exist; count the lifecycle's interface right
  
  ya-luotao
  and
  claude
  committed
  2ea3411
Commits on Oct 6, 2026
- Merge remote-tracking branch 'origin/main' into refactor/run-end-state-machine
  ya-luotao
  committed
  b837c2a