An agent that hands over workflow bytecode needs its claimed type safety checked...

{ "body": { "artifact": { "blocks": [ { "next": [ 2, 5 ], "ops": [ "boolean" ], "returns": [] }, { "next": [ 3, 5 ], "ops": [ "eq" ], "returns": [ "number", "boolean" ] }, { "next": [ 4 ], "ops": [ "boolean" ], "returns": [ "number" ] }, { "next": [ 4 ], "ops": [ "number", "add", "eq", "number" ], "returns": [ "boolean", "number" ] }, { "next": [], "ops": [], "returns": [ "boolean" ] }, { "next": [], "ops": [ "drop", "boolean" ], "returns": [] } ], "claimed_valid": false } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "workflow-acyclic-stack-type-joins_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.", "Forward-edge acyclic bytecode only. A join requires identical stack types on every valid incoming path; terminal stacks must equal the explicit return contract. Branch consumes boolean, eq requires equal operand types. Invalid paths are counted and stop." ], "module": "workflow-acyclic-stack-type-joins", "module_cpu_ms": 0, "state": "not_observed", "value": { "claimed_type_safety_matches": true, "reachable_bytecode_blocks": 4, "type_issue_count": 2, "type_safe": false }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }