Prove a claim

Measure before the change

Record the baseline before implementation. It distinguishes a regression from an existing failure. A claim links a file, an assertion and a command; registering it neither runs the command nor proves the assertion.

ork verify <thread> --baseline
ork claims add <thread> src/filtro.ts --claim "o filtro respeita o fuso" --verificar "npm test -- filtro"

Rerun against current state

ork verify reruns claims and manifest checks. Read the cause, exit code and interrupted commands. A timeout is incomplete execution, not a pass or an automatic explanation of the underlying defect.

ork verify <thread>
ork retry plan <thread>

Fix and verify again

A failure opens correction work with an explicit scope. Inspect the round before rerunning it. Behavior changes require full verification again; the core owns attempt limits and escalation.

ork fix open <thread>
ork fix list <thread>
ork fix reverify <thread>

Failures, deadlines and focused commands

Verify records cause, deadline and duration. Timeout has a typed reason and uses the manifest deadline. Claims should run the smallest command that proves the change. Lint warns during claims add, and ci prepare rejects the full local suite: npm --prefix core test may need resources unavailable in CI.

CI preparation compiles once, binds product identity and records executado to distinguish actual results from commands that never ran. Resource contention may cause a local timeout; it does not waive CI at the exact commit or turn failure into success.

npm --prefix core run test:ci
ork ci prepare <thread>

Unavailable models and session accounts

model_not_found produces runtime.model-unavailable. Retry tries authorized destinations with the same prompt, retains the profile for other models and records the change. Without a destination it escalates with a setup correction; ordinary rate limits wait for their window. sessions stop, logs and attach find the correct account among configured Claude profiles. Global inventory, doctor, pulse and native HITL control may still be limited to the process account.

ork retry plan <thread>
ork retry run <thread> --dry-run