Get Control Delta
get_control_deltaRead the delta of a control: the edits to the behavioural model that the control's own text commits to. Read-only; no side effects.
Instructions
Read the delta of a control: the edits to the behavioural model that the control's own text commits to. Read-only; no side effects.
The delta is served for the control's text as it stands. status is
absent (none), pending (not checked yet), checked, failed
or declared (a person declared it). Returns {status, edits, unexpressed, applies, expressible, declared_by, rendered, unquoted, second_reading, declaration, cross_check, ...}: rendered is each
edit in words beside its quotes, unquoted the text no quote reaches.
Once a person declares the delta, the control's sufficiency is judged
against the declaration's commitments, not a reading of its text, and
cross_check says whether the text may commit to more than they
state: completed (false until the control's next sufficiency
evaluation asks it) and findings, each dismissed or open. The
control reads sufficient only once its cross-check completed and every
finding is dismissed. RELAY OPEN FINDINGS TO THE PERSON: dismissing one
is a person's act, made in the app, never a program's; the other exit
is a new draft declared again.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| model_id | Yes | ID of the threat model. | |
| control_id | Yes | ID of the control (e.g. "CTRL-01"). | |
| server_version | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||