Replay the original EWD684 closed diffusing-computation count/cornet/stock proto...

{ "body": { "artifact": { "termination": { "claim": null, "data": { "events": [ { "forward": [], "op": "start" }, { "cornet_index": 0, "from": 0, "op": "signal" } ], "gate": 0, "successors": [ [ 0 ] ] } } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 1, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "dijkstra-scholten-diffusing-computation-engagement-deficit-termination-ledger_scoped_evidence", "type": "artifact" } ], "limits": [ "Dijkstra/Scholten original EWD684 count/cornet/stock signalling and P1/P2 engagement-tree invariants; atomic transfers." ], "module": "dijkstra-scholten-diffusing-computation-engagement-deficit-termination-ledger", "state": "observed", "value": { "claim_matches": false, "computed": { "all_stocks_empty": true, "deficits": [ { "deficit": 0, "from": 0, "messages": 0, "signals": 0, "to": 0 } ], "environment_completed": true, "environment_deficit": 0, "nodes": [ { "cornet": [], "count": 0, "enabled_signal_indices": [], "engagement_parent": null, "stock": [] } ], "started": true, "transcript": [ { "environment_completed": false, "event": 0, "from": -1, "operation": "start", "to": 0 }, { "environment_completed": true, "event": 1, "from": 0, "operation": "signal", "to": -1 } ], "valid_prefix": true, "violation": null } }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }