Checking a claim

Start with Capabilities for supported workflows. The capability matrix records their implementation and verification status separately.

Find the source

The case manifests name each registered claim, its reference, and its executable target. Read the case’s README for assumptions and required environment. Ordinary product tests remain beside the code they exercise.

Run a selected check

From a repository checkout, list the current case-to-capability mapping:

bash

cargo run -p eqiora-verify -- index

Then run the case you need, for example:

bash

mise run fast -- --case interfaces.cli-compile-check

A case result applies to its stated claim and environment. An implemented capability is not automatically independently verified. See local verification for focused checks and environment requirements.