An agent that receives an optimizer unsatisfiability artifact needs its claimed ...

{ "body": { "artifact": { "claimed_verified": true, "clauses": [ [ -3, 1 ], [ -1 ], [ 1 ], [ -2, 2 ] ], "steps": [ { "claimed_accepted": true, "clause": [ -3 ], "kind": "add" }, { "claimed_accepted": true, "clause": [ 1, 3 ], "kind": "delete" }, { "claimed_accepted": true, "clause": [], "kind": "add" }, { "claimed_accepted": true, "clause": [ -2 ], "kind": "add" }, { "claimed_accepted": true, "clause": [ -1, 2 ], "kind": "add" }, { "claimed_accepted": true, "clause": [ 3 ], "kind": "add" }, { "claimed_accepted": true, "clause": [ -3, -2 ], "kind": "add" }, { "claimed_accepted": true, "clause": [], "kind": "add" } ], "variables": 3 } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "workflow-rup-refutation-handover_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.", "Normalized set-based RUP/DRUP subset, not general RAT/DRAT. Clauses canonicalized and duplicates idempotent; absent deletions ignored. Invalid additions are not trusted. Verification requires every addition justified and an active final empty clause.2million literal-work cap returns unknown. No solver execution or variable identities returned." ], "module": "workflow-rup-refutation-handover", "module_cpu_ms": 0, "state": "not_observed", "value": { "claimed_verification_matches": true, "final_refutation_verified": true, "initial_proof_clauses": 4, "proof_steps": 8, "step_claim_mismatches": 0, "unjustified_rup_additions": 0 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }