Lifecycle

Derived deterministically; BLOCKED wins over everything except UNINITIALIZED; COMPLETE requires a fresh PASS plus a completed ACKit task.

• UNINITIALIZED — ACKit or Spec Kit not initialized.
• READY — initialized; no active feature (or spec missing).
• SPECIFIED — spec present, plan missing.
• PLANNED — plan present, tasks/mapping missing.
• TASKED — tasks + mapping present, no verdict yet.
• IMPLEMENTING — verdict FAIL.
• VERIFIED — fresh PASS verdict.
• STALE — subject moved; re-verify.
• BLOCKED — explicit block reason.
• COMPLETE — task completed with a fresh PASS.

status is read-only and never writes.