Module doctor 

speccoder doctor: everything a run depends on, checked without writing anything — git, the repository, the spec project and its tool, the configuration, the model key, the sandbox, the state directory, the attestation signing key and the repository’s instructions. A failure is a run that would fail or judge wrongly; a warning is less than it could be (unsigned evidence, no spec tool).

Functions

checks

Every check, in order, for the project at path.

plan_checks

The plan checks as doctor rows: check: "plan", level warn, the code’s catalog entry, the tasks, the fixes and, for behaviour planned early, the decision speccoder records as the remedy.

run

speccoder doctor: the checks; the status of the first failure (ok when nothing fails).