An agent that accepts a token-generating workflow needs its claimed unbounded-gr...

{ "body": { "artifact": { "claimed_unbounded": true, "initial": [ 7 ], "transitions": [ { "consume": [ 4 ], "produce": [ 1 ] }, { "consume": [ 2 ], "produce": [ 1 ] }, { "consume": [ 1 ], "produce": [ 0 ] }, { "consume": [ 0 ], "produce": [ 0 ] }, { "consume": [ 2 ], "produce": [ 3 ] }, { "consume": [ 3 ], "produce": [ 2 ] } ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "workflow-petri-unbounded-growth_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.", "Ordinary nonnegative-weight Petri net, no inhibitor/reset arcs or declared finite capacities. Karp-Miller ancestor acceleration detects omega and terminates immediately on an unbounded-growth witness; a fully exhausted finite tree proves boundedness. Explicit5000 tree nodes or50000 transition attempts yields unknown. This is mathematical model growth, not runtime memory use." ], "module": "workflow-petri-unbounded-growth", "module_cpu_ms": 0, "state": "not_observed", "value": { "claimed_unboundedness_matches": true, "coverability_tree_nodes": 4, "expanded_coverability_nodes": 1, "unbounded_token_growth": true, "workflow_places": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }