Needs Spec

Return requires_spec, a concrete reason, and remaining questions. A user-visible behavior change, contract change, or cross-module invariant usually needs a formal specification. A mechanical refactor preserving observable behavior may not. Judge actual scope rather than ticket size. Record the reviewed judgment in work; the specification provider is the only formal specification system.

Resolve provider-specific commands from the configured role provider’s instructions. The agent supplies judgment; services store, validate, and link artifacts.