An agent that negotiates dependent capability choices needs its claimed contract...

{ "body": { "artifact": { "claimed_feasible": false, "clauses": [ [ 1, 2, -2 ], [ -3, 2 ], [ 3 ], [ -1, -2 ] ], "prefix": [ { "kind": "forall", "variable": 0 }, { "kind": "forall", "variable": 1 }, { "kind": "forall", "variable": 3 }, { "kind": "exists", "variable": 2 } ], "variables": 4 } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "workflow-quantified-capability-game_scoped_evidence", "type": "artifact" } ], "limits": [ "Only the explicit bounded artifact is measured. No retrieval, execution, real credential validation, contact output or legal/security/quality judgement.", "Exact prenex Boolean CNF game: each choice observes all earlier choices. Every variable quantified once, arbitrary prefix order; empty clause is false and empty CNF true. Tautologies discarded. Explicit2million literal-work cap returns unknown rather than claiming an answer." ], "module": "workflow-quantified-capability-game", "module_cpu_ms": 0, "state": "not_observed", "value": { "capability_contract_feasible": false, "capability_variables": 4, "claimed_feasibility_matches": true, "quantifier_game_nodes": 6 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }