An agent that accepts a remote allocation optimizer result needs its supplied pr...

{ "body": { "artifact": { "bounds": [ 1 ], "coordinate_denominator": 1, "dual": [ 1 ], "matrix": [ [ 1 ] ], "objective": [ 1 ], "primal": [ 1 ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "workflow-primal-dual-optimum-certificate_scoped_evidence", "type": "artifact" } ], "limits": [ "Only explicitly supplied normalized JSON artifacts are examined; no network request or runtime execution occurs.", "The contract is maximize c*x subject to A*x<=b and x>=0; dual is minimize b*y with A-transpose*y>=c and y>=0. Both nonnegative rational vectors share the supplied positive denominator. All proof comparisons use integer BigInt arithmetic; no LP solver or external result is invoked." ], "module": "workflow-primal-dual-optimum-certificate", "module_cpu_ms": 0, "state": "not_observed", "value": { "certificate_proves_optimality": true, "dual_constraint_violations": 0, "dual_constraints": 1, "objective_equality_missing": false, "primal_constraint_violations": 0, "primal_constraints": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }