get_functional_satisfaction_groups
Read the satisfaction-group structure for a functional objective: see AND-grouped tests, OR-alternative groups, and ungrouped tests. Inspect current grouping or trace objective satisfaction.
Instructions
Read the satisfaction-group structure for a functional objective. Read-only; no side effects.
A satisfaction group is a set of functional tests that together satisfy the objective: AND within a group (every test in the group must be verified), OR across groups (any one complete group satisfies the objective). Returns the current numbered groups plus any tests associated with the objective but not placed in a group.
Use before set_functional_satisfaction_groups to see the current structure, or to trace why an objective is / isn't satisfied. This is the functional analog of get_control_assumption_groups / get_mitigation_groups.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| model_id | Yes | ID of the threat model. | |
| server_version | Yes | ||
| functional_objective_id | Yes | The objective whose groups to read. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||