cognitive.verify_strategy
Run objective deterministic verification on a strategy (§24, §16).
Clients cannot self-promote. Verification is evaluated server-side.
Pass task_structure_id (from cognitive.identify_task) so constraints are
independently recomputed from registered descriptors instead of trusting
trace flags. Objective precedence: explicit caller value → recomputed from
raw data → registered spec (labeled unknown) → nested trace claims ONLY
when trust_trace_objective=true → otherwise unknown, never silent 0.0.
Returns passed/score plus details.objective_source and
details.independently_verified so callers know what was recomputed
versus taken on trace claims. Failures are structured, never bare.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| strategy_id | Yes | ||
| task_instance | No | ||
| execution_trace | No | ||
| task_structure_id | No | ||
| trust_trace_objective | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||