list_assertions
Lists active assertions for a control or assumption, with origin flags distinguishing own from inherited through model composition.
Instructions
List active assertions for a control or assumption.
Provide exactly one of control_id or assumption_id.
Returns a flat list of assertions. Each assertion carries an origin
field: "own" for assertions submitted directly against this model's
control or assumption, "inherited" for assertions contributed through
model composition (composed models whose assertions apply here).
Inherited assertions are included in the listing.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| model_id | Yes | ID of the threat model. | |
| control_id | No | ID of the control (omit if using assumption_id). | |
| assumption_id | No | ID of the assumption (omit if using control_id). | |
| server_version | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||