An offline coroutine code-generation agent needs which live locals are destroyed...

{ "body": { "artifact": { "coroutine_lifetime": { "claim": 2, "events": [ "resume", "resume", "destroy" ], "final_ready": false, "final_suspend": true, "initial_ready": false, "initial_suspend": true, "materialized_parameter_copies": 0, "program": [ { "id": 1, "op": "construct" }, { "op": "await", "ready": false, "suspend": true }, { "id": 2, "op": "construct" }, { "op": "return" } ] } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the explicitly supplied bounded anonymous operand model and exact integer claim are evaluated.", "No external resource or native system is queried or changed; source contents and contact values are not returned.", "This is a declared-model correspondence finding without a security, legal, operational or compliance verdict." ], "module": "cpp-coroutine-suspension-frame-lifetime", "state": "not_observed", "value": { "body_awaits_evaluated": 1, "claim_matches": true, "destroyed_local_ids": [ 2, 1 ], "done_query_defined": false, "done_when_defined": false, "event_trace": [ [ 0, 0 ], [ 1, 0 ], [ 6, 0 ], [ 2, 0 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 3, 2 ], [ 4, 2 ], [ 4, 1 ], [ 7, 0 ], [ 8, 0 ] ], "final_await_reached": true, "frame_alive": false, "live_local_ids": [], "materialized_parameter_lifetimes_ended": 0, "promise_lifetime_ended": true, "stage_code": 3, "statistic": 2, "suspended_at_final": false, "unhandled_exception_calls": 0 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }