get_reach_verdicts
Get reachability verdicts for a child threat model in a composed topology, reflecting inherited components and trust boundaries.
Instructions
Per-CO reachability verdicts over the composed effective topology.
Same shape as get_reachability_verdicts, but evaluated against
the merged tree: own components and trust boundaries combined with
everything inherited, and qualified ids used for cross-model
references. Use this when the model is a child on the composition
tree and you need reach state that reflects the ancestor topology,
not just the local model document.
Return shape::
{
model_id, flag_enabled,
verdicts: [
{co_qid, asset_qid, attacker_qid,
kind: "reachable"|"unreachable"|"indeterminate",
reason: <structural label>},
...
],
total, page, page_size,
}When composition is disabled on the backend, verdicts is empty
and flag_enabled: false — fall back to get_reachability_verdicts
for the per-model derivation.
Omitting page / page_size defaults to page=1, page_size=100 — the response is paginated and no longer returns
every verdict in a single call.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| page | No | 1-indexed page number (default ``1``). | |
| model_id | Yes | ID of the threat model. | |
| page_size | No | verdicts per page (default ``100``). | |
| kind_filter | No | restrict verdicts to one kind — one of ``"reachable" | "unreachable" | "indeterminate"``. Named ``kind_filter`` (not ``kind``) to disambiguate from the verdict object's own ``kind`` field. When omitted, all verdict kinds are returned. | |
| server_version | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||