Oko
Oko/Docs

Command reference

oko planning revise

Writes the next plan without the assumptions the check refused: every step with a condition that does not hold or cannot be checked is dropped with that refusal, every step that follows a dropped one is dropped with it, and what is left is checked again until it is admitted. Each round drops at least one step, so revision ends.

Invocation#

Command
oko planning revise --plan FILE --out FILE

Inputs and options#

  • --plan as for check; --out the file the revised plan is written to.

Output and state effect#

  • Writes the admitted plan to --out and prints `{written, dropped: [{id, because}], report}`.

Refusals and safe exits#

  • Every refusal of check's plan reading; `oko planning revise requires --out <text>` (exit 2); `no step of the plan is left once its refused assumptions are dropped: <id> (<because>); …`; a failed write of --out names the path and the cause.

CLI reference#