Get Control Work Order
get_control_work_orderRead the read-only work order for a control before implementing it, including objectives, required evidence, acceptance criteria, steps, and delegation rules.
Instructions
The work order for one control: the ticket to read BEFORE implementing it. Read-only.
Returns {model_id, model_version, control, objectives, max_tier, scan_brief, assertion_contract, acceptance_criteria, required_evidence, steps, reconcile_rules, delegation, open_proposals, provenance}:
where to look, what counts as proof (assertion_contract: the types
by soundness class, the evidence and universal_rule, the
sound_types the platform takes, what to submit with, when the
control counts as verified), what to do when the code disagrees with
the model, what this agent may decide alone (delegation), and
whether code or description is authoritative (provenance).
Where the order names a required class for a clause,
required_evidence holds one entry per such clause: its clause,
the clause_id to put in covers, its quantifier, the
required_class, what is missing, and a suggested_submission
skeleton. The skeleton is a fill-in, not a submission: replace its
<...> placeholders; one left unfilled is refused, by this client and
again by the platform, since it would record a claim nothing backs. A
for-all clause takes [by_construction, sound_over_approximation]:
prefer typed_boundary (the type the sinks accept, its
constructors), else sink_default_deny (the sinks, the safe forms, a
reviewed allowlist). When the bound evidence is the wrong CLASS,
missing says so. acceptance_criteria is GENERATED from those
entries, so a clause that must hold at every site reads as such and no
number of tests closes it.
A type's soundness is the class to branch on; behavioral is a
compatibility field for readers written before the classes.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| model_id | Yes | ||
| control_id | Yes | ||
| server_version | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||