Store the goal as a spec (claims + pass criteria).

Load a Target from a JSON template file and set it as the current target. Defaults to the shipped example (zero personal data). Validates via build_target.

Derive modules for claims not yet passed.

Log a learning attempt + evidence (durable). Validates that a target exists and module_id is a known claim — same guard as record_verdict.

DEFAULT path: record the cold examiner's verdict.

The skill instructs the coaching agent to dispatch a FRESH-CONTEXT examiner SUBAGENT (the Agent/Task tool — same model, clean context) whose prompt contains ONLY the claim statement, the pass criteria, and the learner's explanation (NOT the coaching history), then call this tool with verdict_source="fresh-context" (the default). Because the examiner never saw the coaching context, the grade is genuinely decorrelated — real maker/checker, not Reflection.

verdict_source must be one of:

• "fresh-context" (default; the decorrelated examiner subagent)

• "same-context" (DISCOURAGED inline grading; status() flags matches backed only by it)

A passed=True verdict with score < 0.7 is coerced to a non-pass. A passed=True verdict for a needs_lab claim with no logged lab attempt (evidence) is also coerced to a non-pass.

Report coverage against the Target; matched = all claims have a passing (fresh-context) verdict. Warns via only_same_context if a match is backed solely by discouraged inline grading.