Oko
Oko/Docs

Command reference

oko defects classes check

Says whether a defect may close as far as its class decides, with the steps it lacks when it may not.

Invocation#

Command
oko defects classes check <defect> [--json]

Inputs and options#

  • A mechanism stands when it is carried by what is installed: a hook in the catalogue of the Tama release installed on the machine, a refusal or test whose revision a published release of its product carries. An instance of an open class closes only once every layer of every cause of its class stands; an instance of a shape at the level that no class ever held does not close at all; an open instance of a closed class's shape is a recurrence its mechanisms let through, and it does not close on its own: the class is reopened (`oko defects reopen`) and the instance closes once the reopened class's mechanisms stand. A class closes only when every layer of every cause stands and none of its instances is still open. `oko defects fix` applies the same gate.
  • The completion probe measures from the install records: a hook was installed when the Tama hook registry carrying it was written, which every install does whole; a refusal or test since the oldest installation of its product's command line, in the unbroken run up to the current one, whose source revision contains the mechanism's (`stado product status <product> --surface cli`). The first reading that finds every layer standing (`show`, `check`, or the closing gate) keeps that moment as `installedAt`, which the listing shows; a change to a cause or a mechanism clears it.

Output and state effect#

  • Prints `<id> may close: no class holds it back`; --json prints `{defect, closable: true}`. The native API answers `{defect, closable, refused}`.

Refusals and safe exits#

  • `defect <id> is one of <n> open defects of the shape "<shape>" and no class holds them ("<words>"): open it with `oko defects classes open --shape "<shape>" --by <session>`, land its mechanisms, then close this instance`.
  • `defect <id> is a recurrence of closed class <short id> ("<shape>"): its mechanisms let the shape through, so the class is reopened, not the instance closed on its own: oko defects reopen <short id> --reason <this instance and what let it through>; the instance closes once the reopened class's mechanisms stand`.
  • `defect <id> is an instance of class <short id> ("<shape>"); an instance closes only once its class's mechanisms stand:` and, for a class, `class defect <id> cannot be closed while its causes lack mechanisms:`, each followed by one line per step: `name every cause of its shape with the evidence it was found by: oko defects classes cause add …`, `cause <id> (<text>) has no <layer> mechanism landed (planned: <plan>)` or `… and none is planned` with the `land` command, `cause <id>'s <layer> mechanism <kind> <name> of <product>@<revision> is not installed: <cause>; install a release carrying it, or land one that is`, and for a class `its instances [<ids>] are still open; each closes once the class's mechanisms stand, before the class does`.

CLI reference#