Skip to content

Show verification degree

Verification degree of a selection in one view: the share of the requirements verified or indirect, and the count per verification status (SR-037).

Command evidence.degree. Reads the workspace and changes no file.

Field Type Required Description
selection selection no The requirements to count, as element.list takes them. Its view (else its saved filter’s, else the core) is the view of the status.
Field Type Required Description
degree verificationDegree yes SR-037: the Nachweisgrad of a selection in one view. Counted are the requirements of the selection (type with the meaning requirement) whose status the metamodel does not mark invalid (AK3, D-044) and that have a verification status in the view (spec question #592).
view viewId yes core, or the variant of the selection’s view (else of its saved filter’s).
incomplete incomplete no True when a result is incomplete because targets are in repositories that are not available locally (SR-006 AK2, SR-036 AK3).
names array of elementName no The variant of view (#588), so a reader names it by short ID and title. Left out in the core.

In the command prompt (Ctrl+Shift+P, macOS ⌘⇧P): the command Show verification degree.

reqseq evidence degree, with --json for the output as JSON. Its help:

Usage: reqseq evidence degree [options]
Verification degree of a selection in one view: the share of the requirements
verified or indirect, and the count per verification status (SR-037).
Options:
--input <json|@file|-> command input as JSON: inline, from a file, or from
standard input
--workspace <path> workspace root (default: nearest folder upwards with
reqseq-workspace.yaml)
--json print exactly the command output as JSON
--yaml print the whole command output as YAML, problems one
per line
-h, --help show help
Only via --input: selection

POST /v1/commands/evidence.degree on the local API (reqseq serve api), with the input as the JSON body; the answer is the output.

Tool evidence_degree of the MCP server (reqseq mcp), with the input as its arguments.