get_verification_report
Obtain verification report with tier1/tier2 pass/fail/pending counts and per-control sufficiency gaps for a threat model.
Instructions
Get verification report with summary stats and sufficiency gaps.
Returns tier1/tier2 pass/fail/pending counts, per-control verification status, and sufficiency details.
Each per-control sufficiency block carries:
status:"sufficient" | "insufficient" | "pending" | "stale"."stale"means the cached verdict no longer reflects the current control description or active assertion set; a background re-evaluation has been triggered automatically on this read — call this tool again shortly for a refreshed verdict.details: human-readable LLM reasoning.misaligned_assertion_ids: assertions whose stated subject is off-topic for the control's current description (common after a control has been refined or regenerated). Treat as a directive: rebind to the right control, supersede viadelete_assertion, or rewrite. Do NOT treat them as evidence. A non-empty list forces the verdict to"insufficient".stale: boolean shortcut forstatus == "stale", kept distinct so an INSUFFICIENT verdict that's also stale (the prior insufficient decision was computed under outdated inputs) can be flagged without overloadingstatus.
By default returns summary only (no per-assertion details). Set summary_only=False to include full assertion details and drift items.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | Max control entries to return (0=all). | |
| offset | No | Skip first N control entries. | |
| status | No | Filter by verification status: "verified", "partially_verified", "pending", "unverified". | |
| model_id | Yes | ID of the threat model. | |
| summary_only | No | Omit per-assertion details and drift items (default True). | |
| server_version | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||