Skip to content

A criterion settled by a command or by a deployment will be met by recorded evidence

**This is not implemented.** It is published so that a known gap is visible rather than assumed to be covered.

declared statusdeclared status: planned Specified and not implemented. Named so the omission is visible.

recorded evidencerecorded evidence: no test Not judged: only a guaranteed claim is held to a recorded run. how evidence is recorded

Such a criterion resolves and reads `not_derivable`, and never meets a criterion by itself, because the evidence ledger records runs of tests and claims only. An intent whose criteria are all of these kinds cannot be satisfied today.

What it means

This is not implemented. It is published so that a known gap is visible rather than assumed to be covered.

A criterion may name four kinds of evidence: a test, a claim, a command or a deployment. The intended shape is that a recorded run of the command, or a verified state of the deployment, meets the criterion the way a passing test run does.

How it works today

A command criterion and a deployment criterion whose deployment exists both resolve, so intent validate accepts them, and both read not_derivable: the evidence ledger records runs of tests and claims only, so nothing can meet them. An intent whose criteria include one of these cannot be satisfied today.

How to see it

majordomus intent show <id> --format json   # the criterion's state is not_derivable

What it does not cover

Recording the run of a command would say that it ran and what it returned, not that the outcome it was chosen to witness is true.

Why it exists

Not every outcome has a test: some are a deployment answering, some a command exiting zero. Saying they are never met, rather than quietly treating them as met, keeps the intent's stage honest until the ledger can record them.

Detail rendered from docs/claims/intent-command-deployment-evidence.md.

From the statement to the proof

  1. 1 · the public statement

    A criterion settled by a command or by a deployment will be met by recorded evidence

    No feature or README responsibility names it; this page is where it is stated.

  2. 2 · the canonical claim

    intent-command-deployment-evidencedeclared status: planned in docs/CLAIMS.yaml

    Defined in read it on this site · docs/PLANNING.md

  3. 3 · the implementation

    Nothing implements it yet.

  4. 4 · the test and the scenarios

    No executable evidence linked: the claim names no test, and no use case executes it.

  5. 5 · the recorded runs

    recorded evidence: no test how evidence is recorded

Searches the titles and descriptions of every page this site publishes.