Create a bounded task and persist a redacted objective.

List persisted proof tasks without reading their projects.

Return task, active criteria, verifier profile, evidence, and current assessment.

Ask the host model for observable criteria and persist only a draft proposal.

Replace active criteria with the user-reviewed statements and evidence policies.

Derive verifier argv and working directories from live project manifests.

Create an evidence-linked verifier plan and a one-time execution token.

Consume one token, run the candidate verifier, and append observed command evidence.

Hash a project file; only an explicit expected hash produces observed pass or fail.

Record a human-reviewed claim, explicitly labelled as attested rather than observed.

Compute completion from fresh evidence policies and ledger integrity.

Write a Markdown proof report containing the matrix and hash-linked evidence ledger.