@almadar/std 17.0.3 → 17.1.0

package/behaviors/lolo/spec/cli/lint-mem-handles.replay.goldens.json

@@ -3687,6 +3687,3026 @@
      }
     }
    ]
-  }
+  },
+  {
+   "id": "gpu-clean-lifecycle-write-submit-read-release-close-is-clean",
+   "steps": [
+    {
+     "event": "SITES_HEARD",
+     "from": "ready",
+     "payload": {
+      "scope": "",
+      "guardHeads": {},
+      "guardRoots": {
+       "0-0-0": [],
+       "0-0-1": [],
+       "0-0-2": [],
+       "0-0-3": [],
+       "0-0-4": [],
+       "0-0-5": [],
+       "0-0-6": [],
+       "0-0-7": [],
+       "0-0-8": [],
+       "0-0-9": [],
+       "0-0-10": [],
+       "0-0-11": [],
+       "0-0-12": [],
+       "0-0-13": [],
+       "0-0-14": [],
+       "0-0-15": [],
+       "0-0-16": [],
+       "0-0-17": [],
+       "0-0-18": [],
+       "0-0-19": []
+      },
+      "calls": {
+       "gpu/device-open": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[1].effects[0]",
+         "node": [
+          "gpu/device-open",
+          "high-performance",
+          {
+           "emit": {
+            "success": "DEV_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/buffer-create": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[3].effects[1]",
+         "node": [
+          "gpu/buffer-create",
+          "@entity.device",
+          "storage",
+          {
+           "emit": {
+            "success": "BUF_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/device-close": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[4].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[6].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[8].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[10].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[12].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[13].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/submit": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[5].effects[1]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          [
+           {
+            "write": {
+             "buffer": "@entity.buf",
+             "data": "x"
+            }
+           }
+          ],
+          {
+           "emit": {
+            "success": "WROTE",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[7].effects[0]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          "cmds",
+          {
+           "emit": {
+            "success": "SUBMITTED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[9].effects[0]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          [
+           {
+            "read": {
+             "buffer": "@entity.buf"
+            }
+           }
+          ],
+          {
+           "emit": {
+            "success": "READ_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/release": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[11].effects[0]",
+         "node": [
+          "gpu/release",
+          "@entity.buf",
+          {
+           "emit": {
+            "success": "RELEASED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ]
+      },
+      "trait": [],
+      "entity": []
+     },
+     "expect": {
+      "fired": true
+     }
+    },
+    {
+     "event": "LINT_INPUT",
+     "from": "ready",
+     "payload": {
+      "file": "a.lolo",
+      "raw": "",
+      "latin": true,
+      "program": {
+       "name": "gpu",
+       "orbitals": [
+        {
+         "name": "GpuOrbital",
+         "traits": [
+          {
+           "name": "GpuUser",
+           "stateMachine": {
+            "states": [
+             {
+              "name": "idle",
+              "isInitial": true
+             },
+             {
+              "name": "opening"
+             },
+             {
+              "name": "creating"
+             },
+             {
+              "name": "writing"
+             },
+             {
+              "name": "submitting"
+             },
+             {
+              "name": "reading"
+             },
+             {
+              "name": "releasing"
+             }
+            ],
+            "transitions": [
+             {
+              "from": "idle",
+              "to": "idle",
+              "event": "INIT"
+             },
+             {
+              "from": "idle",
+              "to": "opening",
+              "event": "GO",
+              "effects": [
+               [
+                "gpu/device-open",
+                "high-performance",
+                {
+                 "emit": {
+                  "success": "DEV_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "opening",
+              "to": "idle",
+              "event": "FAILED"
+             },
+             {
+              "from": "opening",
+              "to": "creating",
+              "event": "DEV_OK",
+              "effects": [
+               [
+                "set",
+                "@entity.device",
+                "@payload.device"
+               ],
+               [
+                "gpu/buffer-create",
+                "@entity.device",
+                "storage",
+                {
+                 "emit": {
+                  "success": "BUF_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "creating",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "creating",
+              "to": "writing",
+              "event": "BUF_OK",
+              "effects": [
+               [
+                "set",
+                "@entity.buf",
+                "@payload.buffer"
+               ],
+               [
+                "gpu/submit",
+                "@entity.device",
+                [
+                 {
+                  "write": {
+                   "buffer": "@entity.buf",
+                   "data": "x"
+                  }
+                 }
+                ],
+                {
+                 "emit": {
+                  "success": "WROTE",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "writing",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "writing",
+              "to": "submitting",
+              "event": "WROTE",
+              "effects": [
+               [
+                "gpu/submit",
+                "@entity.device",
+                "cmds",
+                {
+                 "emit": {
+                  "success": "SUBMITTED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "submitting",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "submitting",
+              "to": "reading",
+              "event": "SUBMITTED",
+              "effects": [
+               [
+                "gpu/submit",
+                "@entity.device",
+                [
+                 {
+                  "read": {
+                   "buffer": "@entity.buf"
+                  }
+                 }
+                ],
+                {
+                 "emit": {
+                  "success": "READ_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "reading",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "reading",
+              "to": "releasing",
+              "event": "READ_OK",
+              "effects": [
+               [
+                "gpu/release",
+                "@entity.buf",
+                {
+                 "emit": {
+                  "success": "RELEASED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "releasing",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "releasing",
+              "to": "idle",
+              "event": "RELEASED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             }
+            ]
+           }
+          }
+         ]
+        }
+       ]
+      },
+      "scope": ""
+     },
+     "expect": {
+      "fired": true,
+      "state": "ready",
+      "emits": [
+       {
+        "event": "LINT_FINISH",
+        "payload": {}
+       }
+      ]
+     }
+    },
+    {
+     "event": "LINT_FINISH",
+     "payload": {},
+     "expect": {
+      "emits": [
+       {
+        "event": "LINT_FOUND",
+        "payload": {
+         "rule": "mem-handles",
+         "scope": "",
+         "findings": []
+        }
+       }
+      ]
+     }
+    }
+   ]
+  },
+  {
+   "id": "gpu-a-submit-after-the-device-closed-is-a-use-after-release",
+   "steps": [
+    {
+     "event": "SITES_HEARD",
+     "from": "ready",
+     "payload": {
+      "scope": "",
+      "guardHeads": {},
+      "guardRoots": {
+       "0-0-0": [],
+       "0-0-1": [],
+       "0-0-2": [],
+       "0-0-3": [],
+       "0-0-4": [],
+       "0-0-5": [],
+       "0-0-6": [],
+       "0-0-7": [],
+       "0-0-8": [],
+       "0-0-9": [],
+       "0-0-10": [],
+       "0-0-11": [],
+       "0-0-12": [],
+       "0-0-13": [],
+       "0-0-14": [],
+       "0-0-15": [],
+       "0-0-16": [],
+       "0-0-17": [],
+       "0-0-18": [],
+       "0-0-19": []
+      },
+      "calls": {
+       "gpu/device-open": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[1].effects[0]",
+         "node": [
+          "gpu/device-open",
+          "high-performance",
+          {
+           "emit": {
+            "success": "DEV_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/buffer-create": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[3].effects[1]",
+         "node": [
+          "gpu/buffer-create",
+          "@entity.device",
+          "storage",
+          {
+           "emit": {
+            "success": "BUF_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/device-close": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[4].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[6].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[8].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[10].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[12].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[13].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/submit": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[5].effects[1]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          [
+           {
+            "write": {
+             "buffer": "@entity.buf",
+             "data": "x"
+            }
+           }
+          ],
+          {
+           "emit": {
+            "success": "WROTE",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[7].effects[0]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          "cmds",
+          {
+           "emit": {
+            "success": "SUBMITTED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[9].effects[0]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          [
+           {
+            "read": {
+             "buffer": "@entity.buf"
+            }
+           }
+          ],
+          {
+           "emit": {
+            "success": "READ_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[13].effects[1]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          [
+           {
+            "write": {
+             "buffer": "@entity.buf",
+             "data": "y"
+            }
+           }
+          ],
+          {
+           "emit": {
+            "success": "WROTE2",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/release": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[11].effects[0]",
+         "node": [
+          "gpu/release",
+          "@entity.buf",
+          {
+           "emit": {
+            "success": "RELEASED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ]
+      },
+      "trait": [],
+      "entity": []
+     },
+     "expect": {
+      "fired": true
+     }
+    },
+    {
+     "event": "LINT_INPUT",
+     "from": "ready",
+     "payload": {
+      "file": "a.lolo",
+      "raw": "",
+      "latin": true,
+      "program": {
+       "name": "gpu",
+       "orbitals": [
+        {
+         "name": "GpuOrbital",
+         "traits": [
+          {
+           "name": "GpuUser",
+           "stateMachine": {
+            "states": [
+             {
+              "name": "idle",
+              "isInitial": true
+             },
+             {
+              "name": "opening"
+             },
+             {
+              "name": "creating"
+             },
+             {
+              "name": "writing"
+             },
+             {
+              "name": "submitting"
+             },
+             {
+              "name": "reading"
+             },
+             {
+              "name": "releasing"
+             }
+            ],
+            "transitions": [
+             {
+              "from": "idle",
+              "to": "idle",
+              "event": "INIT"
+             },
+             {
+              "from": "idle",
+              "to": "opening",
+              "event": "GO",
+              "effects": [
+               [
+                "gpu/device-open",
+                "high-performance",
+                {
+                 "emit": {
+                  "success": "DEV_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "opening",
+              "to": "idle",
+              "event": "FAILED"
+             },
+             {
+              "from": "opening",
+              "to": "creating",
+              "event": "DEV_OK",
+              "effects": [
+               [
+                "set",
+                "@entity.device",
+                "@payload.device"
+               ],
+               [
+                "gpu/buffer-create",
+                "@entity.device",
+                "storage",
+                {
+                 "emit": {
+                  "success": "BUF_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "creating",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "creating",
+              "to": "writing",
+              "event": "BUF_OK",
+              "effects": [
+               [
+                "set",
+                "@entity.buf",
+                "@payload.buffer"
+               ],
+               [
+                "gpu/submit",
+                "@entity.device",
+                [
+                 {
+                  "write": {
+                   "buffer": "@entity.buf",
+                   "data": "x"
+                  }
+                 }
+                ],
+                {
+                 "emit": {
+                  "success": "WROTE",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "writing",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "writing",
+              "to": "submitting",
+              "event": "WROTE",
+              "effects": [
+               [
+                "gpu/submit",
+                "@entity.device",
+                "cmds",
+                {
+                 "emit": {
+                  "success": "SUBMITTED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "submitting",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "submitting",
+              "to": "reading",
+              "event": "SUBMITTED",
+              "effects": [
+               [
+                "gpu/submit",
+                "@entity.device",
+                [
+                 {
+                  "read": {
+                   "buffer": "@entity.buf"
+                  }
+                 }
+                ],
+                {
+                 "emit": {
+                  "success": "READ_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "reading",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "reading",
+              "to": "releasing",
+              "event": "READ_OK",
+              "effects": [
+               [
+                "gpu/release",
+                "@entity.buf",
+                {
+                 "emit": {
+                  "success": "RELEASED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "releasing",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "releasing",
+              "to": "idle",
+              "event": "RELEASED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ],
+               [
+                "gpu/submit",
+                "@entity.device",
+                [
+                 {
+                  "write": {
+                   "buffer": "@entity.buf",
+                   "data": "y"
+                  }
+                 }
+                ],
+                {
+                 "emit": {
+                  "success": "WROTE2",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             }
+            ]
+           }
+          }
+         ]
+        }
+       ]
+      },
+      "scope": ""
+     },
+     "expect": {
+      "fired": true,
+      "state": "ready",
+      "emits": [
+       {
+        "event": "LINT_FINISH",
+        "payload": {}
+       }
+      ]
+     }
+    },
+    {
+     "event": "LINT_FINISH",
+     "payload": {},
+     "expect": {
+      "emits": [
+       {
+        "event": "LINT_FOUND",
+        "payload": {
+         "rule": "mem-handles",
+         "scope": "",
+         "findings": [
+          {
+           "code": "ORB_GPU_USE_AFTER_RELEASE",
+           "path": "orbitals[0 (GpuOrbital)].traits[0 (GpuUser)].stateMachine.transitions[13]",
+           "message": "`(gpu/submit @entity.device ...)` uses a handle that `gpu/release` or `gpu/device-close` already ended on some path to this transition",
+           "suggestion": "Stop using the handle after it is released or closed, or rebind the field from a fresh creation first",
+           "severity": "error"
+          },
+          {
+           "code": "ORB_GPU_USE_AFTER_RELEASE",
+           "path": "orbitals[0 (GpuOrbital)].traits[0 (GpuUser)].stateMachine.transitions[13]",
+           "message": "`(gpu/submit ...)` command `write.buffer` names `@entity.buf`, a handle that `gpu/release` or `gpu/device-close` already ended on some path to this transition",
+           "suggestion": "Stop using the handle after it is released or closed, or rebind the field from a fresh creation first",
+           "severity": "error"
+          }
+         ]
+        }
+       }
+      ]
+     }
+    }
+   ]
+  },
+  {
+   "id": "gpu-a-second-release-of-the-same-buffer-is-a-use-after-release",
+   "steps": [
+    {
+     "event": "SITES_HEARD",
+     "from": "ready",
+     "payload": {
+      "scope": "",
+      "guardHeads": {},
+      "guardRoots": {
+       "0-0-0": [],
+       "0-0-1": [],
+       "0-0-2": [],
+       "0-0-3": [],
+       "0-0-4": [],
+       "0-0-5": [],
+       "0-0-6": [],
+       "0-0-7": [],
+       "0-0-8": [],
+       "0-0-9": [],
+       "0-0-10": [],
+       "0-0-11": [],
+       "0-0-12": [],
+       "0-0-13": [],
+       "0-0-14": [],
+       "0-0-15": [],
+       "0-0-16": [],
+       "0-0-17": [],
+       "0-0-18": [],
+       "0-0-19": []
+      },
+      "calls": {
+       "gpu/device-open": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[1].effects[0]",
+         "node": [
+          "gpu/device-open",
+          "high-performance",
+          {
+           "emit": {
+            "success": "DEV_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/buffer-create": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[3].effects[1]",
+         "node": [
+          "gpu/buffer-create",
+          "@entity.device",
+          "storage",
+          {
+           "emit": {
+            "success": "BUF_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/device-close": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[4].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[6].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[8].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[10].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[12].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[13].effects[1]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/submit": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[5].effects[1]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          [
+           {
+            "write": {
+             "buffer": "@entity.buf",
+             "data": "x"
+            }
+           }
+          ],
+          {
+           "emit": {
+            "success": "WROTE",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[7].effects[0]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          "cmds",
+          {
+           "emit": {
+            "success": "SUBMITTED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[9].effects[0]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          [
+           {
+            "read": {
+             "buffer": "@entity.buf"
+            }
+           }
+          ],
+          {
+           "emit": {
+            "success": "READ_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/release": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[11].effects[0]",
+         "node": [
+          "gpu/release",
+          "@entity.buf",
+          {
+           "emit": {
+            "success": "RELEASED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[13].effects[0]",
+         "node": [
+          "gpu/release",
+          "@entity.buf",
+          {
+           "emit": {
+            "success": "RELEASED2",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ]
+      },
+      "trait": [],
+      "entity": []
+     },
+     "expect": {
+      "fired": true
+     }
+    },
+    {
+     "event": "LINT_INPUT",
+     "from": "ready",
+     "payload": {
+      "file": "a.lolo",
+      "raw": "",
+      "latin": true,
+      "program": {
+       "name": "gpu",
+       "orbitals": [
+        {
+         "name": "GpuOrbital",
+         "traits": [
+          {
+           "name": "GpuUser",
+           "stateMachine": {
+            "states": [
+             {
+              "name": "idle",
+              "isInitial": true
+             },
+             {
+              "name": "opening"
+             },
+             {
+              "name": "creating"
+             },
+             {
+              "name": "writing"
+             },
+             {
+              "name": "submitting"
+             },
+             {
+              "name": "reading"
+             },
+             {
+              "name": "releasing"
+             }
+            ],
+            "transitions": [
+             {
+              "from": "idle",
+              "to": "idle",
+              "event": "INIT"
+             },
+             {
+              "from": "idle",
+              "to": "opening",
+              "event": "GO",
+              "effects": [
+               [
+                "gpu/device-open",
+                "high-performance",
+                {
+                 "emit": {
+                  "success": "DEV_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "opening",
+              "to": "idle",
+              "event": "FAILED"
+             },
+             {
+              "from": "opening",
+              "to": "creating",
+              "event": "DEV_OK",
+              "effects": [
+               [
+                "set",
+                "@entity.device",
+                "@payload.device"
+               ],
+               [
+                "gpu/buffer-create",
+                "@entity.device",
+                "storage",
+                {
+                 "emit": {
+                  "success": "BUF_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "creating",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "creating",
+              "to": "writing",
+              "event": "BUF_OK",
+              "effects": [
+               [
+                "set",
+                "@entity.buf",
+                "@payload.buffer"
+               ],
+               [
+                "gpu/submit",
+                "@entity.device",
+                [
+                 {
+                  "write": {
+                   "buffer": "@entity.buf",
+                   "data": "x"
+                  }
+                 }
+                ],
+                {
+                 "emit": {
+                  "success": "WROTE",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "writing",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "writing",
+              "to": "submitting",
+              "event": "WROTE",
+              "effects": [
+               [
+                "gpu/submit",
+                "@entity.device",
+                "cmds",
+                {
+                 "emit": {
+                  "success": "SUBMITTED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "submitting",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "submitting",
+              "to": "reading",
+              "event": "SUBMITTED",
+              "effects": [
+               [
+                "gpu/submit",
+                "@entity.device",
+                [
+                 {
+                  "read": {
+                   "buffer": "@entity.buf"
+                  }
+                 }
+                ],
+                {
+                 "emit": {
+                  "success": "READ_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "reading",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "reading",
+              "to": "releasing",
+              "event": "READ_OK",
+              "effects": [
+               [
+                "gpu/release",
+                "@entity.buf",
+                {
+                 "emit": {
+                  "success": "RELEASED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "releasing",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "releasing",
+              "to": "idle",
+              "event": "RELEASED",
+              "effects": [
+               [
+                "gpu/release",
+                "@entity.buf",
+                {
+                 "emit": {
+                  "success": "RELEASED2",
+                  "failure": "FAILED"
+                 }
+                }
+               ],
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             }
+            ]
+           }
+          }
+         ]
+        }
+       ]
+      },
+      "scope": ""
+     },
+     "expect": {
+      "fired": true,
+      "state": "ready",
+      "emits": [
+       {
+        "event": "LINT_FINISH",
+        "payload": {}
+       }
+      ]
+     }
+    },
+    {
+     "event": "LINT_FINISH",
+     "payload": {},
+     "expect": {
+      "emits": [
+       {
+        "event": "LINT_FOUND",
+        "payload": {
+         "rule": "mem-handles",
+         "scope": "",
+         "findings": [
+          {
+           "code": "ORB_GPU_USE_AFTER_RELEASE",
+           "path": "orbitals[0 (GpuOrbital)].traits[0 (GpuUser)].stateMachine.transitions[13]",
+           "message": "`(gpu/release @entity.buf)` ends a handle that `gpu/release` or `gpu/device-close` already ended on some path to this transition",
+           "suggestion": "End each handle once on every path, or set the field to a new handle between the two",
+           "severity": "error"
+          }
+         ]
+        }
+       }
+      ]
+     }
+    }
+   ]
+  },
+  {
+   "id": "gpu-a-failure-route-to-a-resting-state-without-device-close-is-a-leak",
+   "steps": [
+    {
+     "event": "SITES_HEARD",
+     "from": "ready",
+     "payload": {
+      "scope": "",
+      "guardHeads": {},
+      "guardRoots": {
+       "0-0-0": [],
+       "0-0-1": [],
+       "0-0-2": [],
+       "0-0-3": [],
+       "0-0-4": [],
+       "0-0-5": [],
+       "0-0-6": [],
+       "0-0-7": [],
+       "0-0-8": [],
+       "0-0-9": [],
+       "0-0-10": [],
+       "0-0-11": [],
+       "0-0-12": [],
+       "0-0-13": [],
+       "0-0-14": [],
+       "0-0-15": [],
+       "0-0-16": [],
+       "0-0-17": [],
+       "0-0-18": [],
+       "0-0-19": []
+      },
+      "calls": {
+       "gpu/device-open": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[1].effects[0]",
+         "node": [
+          "gpu/device-open",
+          "high-performance",
+          {
+           "emit": {
+            "success": "DEV_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/buffer-create": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[3].effects[1]",
+         "node": [
+          "gpu/buffer-create",
+          "@entity.device",
+          "storage",
+          {
+           "emit": {
+            "success": "BUF_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/device-close": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[4].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[8].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[10].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[12].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[13].effects[0]",
+         "node": [
+          "gpu/device-close",
+          "@entity.device",
+          {
+           "emit": {
+            "success": "CLOSED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/submit": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[5].effects[1]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          [
+           {
+            "write": {
+             "buffer": "@entity.buf",
+             "data": "x"
+            }
+           }
+          ],
+          {
+           "emit": {
+            "success": "WROTE",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[7].effects[0]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          "cmds",
+          {
+           "emit": {
+            "success": "SUBMITTED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        },
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[9].effects[0]",
+         "node": [
+          "gpu/submit",
+          "@entity.device",
+          [
+           {
+            "read": {
+             "buffer": "@entity.buf"
+            }
+           }
+          ],
+          {
+           "emit": {
+            "success": "READ_OK",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ],
+       "gpu/release": [
+        {
+         "path": "orbitals[0].traits[0].stateMachine.transitions[11].effects[0]",
+         "node": [
+          "gpu/release",
+          "@entity.buf",
+          {
+           "emit": {
+            "success": "RELEASED",
+            "failure": "FAILED"
+           }
+          }
+         ],
+         "at": 0
+        }
+       ]
+      },
+      "trait": [],
+      "entity": []
+     },
+     "expect": {
+      "fired": true
+     }
+    },
+    {
+     "event": "LINT_INPUT",
+     "from": "ready",
+     "payload": {
+      "file": "a.lolo",
+      "raw": "",
+      "latin": true,
+      "program": {
+       "name": "gpu",
+       "orbitals": [
+        {
+         "name": "GpuOrbital",
+         "traits": [
+          {
+           "name": "GpuUser",
+           "stateMachine": {
+            "states": [
+             {
+              "name": "idle",
+              "isInitial": true
+             },
+             {
+              "name": "opening"
+             },
+             {
+              "name": "creating"
+             },
+             {
+              "name": "writing"
+             },
+             {
+              "name": "submitting"
+             },
+             {
+              "name": "reading"
+             },
+             {
+              "name": "releasing"
+             }
+            ],
+            "transitions": [
+             {
+              "from": "idle",
+              "to": "idle",
+              "event": "INIT"
+             },
+             {
+              "from": "idle",
+              "to": "opening",
+              "event": "GO",
+              "effects": [
+               [
+                "gpu/device-open",
+                "high-performance",
+                {
+                 "emit": {
+                  "success": "DEV_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "opening",
+              "to": "idle",
+              "event": "FAILED"
+             },
+             {
+              "from": "opening",
+              "to": "creating",
+              "event": "DEV_OK",
+              "effects": [
+               [
+                "set",
+                "@entity.device",
+                "@payload.device"
+               ],
+               [
+                "gpu/buffer-create",
+                "@entity.device",
+                "storage",
+                {
+                 "emit": {
+                  "success": "BUF_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "creating",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "creating",
+              "to": "writing",
+              "event": "BUF_OK",
+              "effects": [
+               [
+                "set",
+                "@entity.buf",
+                "@payload.buffer"
+               ],
+               [
+                "gpu/submit",
+                "@entity.device",
+                [
+                 {
+                  "write": {
+                   "buffer": "@entity.buf",
+                   "data": "x"
+                  }
+                 }
+                ],
+                {
+                 "emit": {
+                  "success": "WROTE",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "writing",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "set",
+                "@entity.n",
+                0
+               ]
+              ]
+             },
+             {
+              "from": "writing",
+              "to": "submitting",
+              "event": "WROTE",
+              "effects": [
+               [
+                "gpu/submit",
+                "@entity.device",
+                "cmds",
+                {
+                 "emit": {
+                  "success": "SUBMITTED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "submitting",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "submitting",
+              "to": "reading",
+              "event": "SUBMITTED",
+              "effects": [
+               [
+                "gpu/submit",
+                "@entity.device",
+                [
+                 {
+                  "read": {
+                   "buffer": "@entity.buf"
+                  }
+                 }
+                ],
+                {
+                 "emit": {
+                  "success": "READ_OK",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "reading",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "reading",
+              "to": "releasing",
+              "event": "READ_OK",
+              "effects": [
+               [
+                "gpu/release",
+                "@entity.buf",
+                {
+                 "emit": {
+                  "success": "RELEASED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "releasing",
+              "to": "idle",
+              "event": "FAILED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             },
+             {
+              "from": "releasing",
+              "to": "idle",
+              "event": "RELEASED",
+              "effects": [
+               [
+                "gpu/device-close",
+                "@entity.device",
+                {
+                 "emit": {
+                  "success": "CLOSED",
+                  "failure": "FAILED"
+                 }
+                }
+               ]
+              ]
+             }
+            ]
+           }
+          }
+         ]
+        }
+       ]
+      },
+      "scope": ""
+     },
+     "expect": {
+      "fired": true,
+      "state": "ready",
+      "emits": [
+       {
+        "event": "LINT_FINISH",
+        "payload": {}
+       }
+      ]
+     }
+    },
+    {
+     "event": "LINT_FINISH",
+     "payload": {},
+     "expect": {
+      "emits": [
+       {
+        "event": "LINT_FOUND",
+        "payload": {
+         "rule": "mem-handles",
+         "scope": "",
+         "findings": [
+          {
+           "code": "ORB_GPU_LEAK",
+           "path": "orbitals[0 (GpuOrbital)].traits[0 (GpuUser)].stateMachine.transitions[3]",
+           "message": "The device stored in '@entity.device' can reach the resting state(s) 'idle' without `gpu/device-close`",
+           "suggestion": "Close the device on every path to a resting state, including the failure routes",
+           "severity": "error"
+          }
+         ]
+        }
+       }
+      ]
+     }
+    }
+   ]
+  },
+ {
+  "id": "gpu-a-submit-read-of-a-released-buffer-is-a-use-after-release",
+  "steps": [
+   {
+    "event": "SITES_HEARD",
+    "from": "ready",
+    "payload": {
+     "scope": "",
+     "guardHeads": {},
+     "guardRoots": {},
+     "calls": {
+      "gpu/buffer-create": [
+       {
+        "path": "orbitals[0].traits[0].stateMachine.transitions[1].effects[0]",
+        "node": [
+         "gpu/buffer-create",
+         "@entity.device",
+         "storage",
+         {
+          "emit": {
+           "success": "BUF_OK",
+           "failure": "FAILED"
+          }
+         }
+        ],
+        "at": 0
+       }
+      ],
+      "gpu/release": [
+       {
+        "path": "orbitals[0].traits[0].stateMachine.transitions[3].effects[1]",
+        "node": [
+         "gpu/release",
+         "@entity.buf",
+         {
+          "emit": {
+           "success": "RELEASED",
+           "failure": "FAILED"
+          }
+         }
+        ],
+        "at": 0
+       }
+      ],
+      "gpu/submit": [
+       {
+        "path": "orbitals[0].traits[0].stateMachine.transitions[5].effects[0]",
+        "node": [
+         "gpu/submit",
+         "@entity.device",
+         [
+          {
+           "read": {
+            "buffer": "@entity.buf"
+           }
+          }
+         ],
+         {
+          "emit": {
+           "success": "READ_OK",
+           "failure": "FAILED"
+          }
+         }
+        ],
+        "at": 0
+       }
+      ]
+     },
+     "trait": [],
+     "entity": []
+    },
+    "expect": {
+     "fired": true
+    }
+   },
+   {
+    "event": "LINT_INPUT",
+    "from": "ready",
+    "payload": {
+     "file": "a.lolo",
+     "raw": "",
+     "latin": true,
+     "program": {
+      "name": "gpu",
+      "orbitals": [
+       {
+        "name": "GpuOrbital",
+        "traits": [
+         {
+          "name": "GpuUser",
+          "stateMachine": {
+           "states": [
+            {
+             "name": "idle",
+             "isInitial": true
+            },
+            {
+             "name": "creating"
+            },
+            {
+             "name": "releasing"
+            },
+            {
+             "name": "using"
+            }
+           ],
+           "transitions": [
+            {
+             "from": "idle",
+             "to": "idle",
+             "event": "INIT"
+            },
+            {
+             "from": "idle",
+             "to": "creating",
+             "event": "GO",
+             "effects": [
+              [
+               "gpu/buffer-create",
+               "@entity.device",
+               "storage",
+               {
+                "emit": {
+                 "success": "BUF_OK",
+                 "failure": "FAILED"
+                }
+               }
+              ]
+             ]
+            },
+            {
+             "from": "creating",
+             "to": "idle",
+             "event": "FAILED"
+            },
+            {
+             "from": "creating",
+             "to": "releasing",
+             "event": "BUF_OK",
+             "effects": [
+              [
+               "set",
+               "@entity.buf",
+               "@payload.buffer"
+              ],
+              [
+               "gpu/release",
+               "@entity.buf",
+               {
+                "emit": {
+                 "success": "RELEASED",
+                 "failure": "FAILED"
+                }
+               }
+              ]
+             ]
+            },
+            {
+             "from": "releasing",
+             "to": "idle",
+             "event": "FAILED"
+            },
+            {
+             "from": "releasing",
+             "to": "using",
+             "event": "RELEASED",
+             "effects": [
+              [
+               "gpu/submit",
+               "@entity.device",
+               [
+                {
+                 "read": {
+                  "buffer": "@entity.buf"
+                 }
+                }
+               ],
+               {
+                "emit": {
+                 "success": "READ_OK",
+                 "failure": "FAILED"
+                }
+               }
+              ]
+             ]
+            },
+            {
+             "from": "using",
+             "to": "idle",
+             "event": "READ_OK"
+            }
+           ]
+          }
+         }
+        ]
+       }
+      ]
+     },
+     "scope": ""
+    },
+    "expect": {
+     "fired": true,
+     "state": "ready",
+     "emits": [
+      {
+       "event": "LINT_FINISH",
+       "payload": {}
+      }
+     ]
+    }
+   },
+   {
+    "event": "LINT_FINISH",
+    "payload": {},
+    "expect": {
+     "emits": [
+      {
+       "event": "LINT_FOUND",
+       "payload": {
+        "rule": "mem-handles",
+        "scope": "",
+        "findings": [
+         {
+          "code": "ORB_GPU_USE_AFTER_RELEASE",
+          "path": "orbitals[0 (GpuOrbital)].traits[0 (GpuUser)].stateMachine.transitions[5]",
+          "message": "`(gpu/submit ...)` command `read.buffer` names `@entity.buf`, a handle that `gpu/release` or `gpu/device-close` already ended on some path to this transition",
+          "suggestion": "Stop using the handle after it is released or closed, or rebind the field from a fresh creation first",
+          "severity": "error"
+         }
+        ]
+       }
+      }
+     ]
+    }
+   }
+  ]
+ },
+ {
+  "id": "gpu-a-submit-compute-bind-group-that-was-released-is-a-use-after-release",
+  "steps": [
+   {
+    "event": "SITES_HEARD",
+    "from": "ready",
+    "payload": {
+     "scope": "",
+     "guardHeads": {},
+     "guardRoots": {},
+     "calls": {
+      "gpu/buffer-create": [
+       {
+        "path": "orbitals[0].traits[0].stateMachine.transitions[1].effects[0]",
+        "node": [
+         "gpu/buffer-create",
+         "@entity.device",
+         "storage",
+         {
+          "emit": {
+           "success": "BUF_OK",
+           "failure": "FAILED"
+          }
+         }
+        ],
+        "at": 0
+       }
+      ],
+      "gpu/release": [
+       {
+        "path": "orbitals[0].traits[0].stateMachine.transitions[3].effects[1]",
+        "node": [
+         "gpu/release",
+         "@entity.bg",
+         {
+          "emit": {
+           "success": "RELEASED",
+           "failure": "FAILED"
+          }
+         }
+        ],
+        "at": 0
+       }
+      ],
+      "gpu/submit": [
+       {
+        "path": "orbitals[0].traits[0].stateMachine.transitions[5].effects[0]",
+        "node": [
+         "gpu/submit",
+         "@entity.device",
+         [
+          {
+           "compute": {
+            "pipeline": "p",
+            "bindGroups": [
+             "@entity.bg"
+            ],
+            "dispatch": [
+             1,
+             1,
+             1
+            ]
+           }
+          }
+         ],
+         {
+          "emit": {
+           "success": "READ_OK",
+           "failure": "FAILED"
+          }
+         }
+        ],
+        "at": 0
+       }
+      ]
+     },
+     "trait": [],
+     "entity": []
+    },
+    "expect": {
+     "fired": true
+    }
+   },
+   {
+    "event": "LINT_INPUT",
+    "from": "ready",
+    "payload": {
+     "file": "a.lolo",
+     "raw": "",
+     "latin": true,
+     "program": {
+      "name": "gpu",
+      "orbitals": [
+       {
+        "name": "GpuOrbital",
+        "traits": [
+         {
+          "name": "GpuUser",
+          "stateMachine": {
+           "states": [
+            {
+             "name": "idle",
+             "isInitial": true
+            },
+            {
+             "name": "creating"
+            },
+            {
+             "name": "releasing"
+            },
+            {
+             "name": "using"
+            }
+           ],
+           "transitions": [
+            {
+             "from": "idle",
+             "to": "idle",
+             "event": "INIT"
+            },
+            {
+             "from": "idle",
+             "to": "creating",
+             "event": "GO",
+             "effects": [
+              [
+               "gpu/buffer-create",
+               "@entity.device",
+               "storage",
+               {
+                "emit": {
+                 "success": "BUF_OK",
+                 "failure": "FAILED"
+                }
+               }
+              ]
+             ]
+            },
+            {
+             "from": "creating",
+             "to": "idle",
+             "event": "FAILED"
+            },
+            {
+             "from": "creating",
+             "to": "releasing",
+             "event": "BUF_OK",
+             "effects": [
+              [
+               "set",
+               "@entity.buf",
+               "@payload.buffer"
+              ],
+              [
+               "set",
+               "@entity.bg",
+               "@payload.bindGroup"
+              ],
+              [
+               "gpu/release",
+               "@entity.bg",
+               {
+                "emit": {
+                 "success": "RELEASED",
+                 "failure": "FAILED"
+                }
+               }
+              ]
+             ]
+            },
+            {
+             "from": "releasing",
+             "to": "idle",
+             "event": "FAILED"
+            },
+            {
+             "from": "releasing",
+             "to": "using",
+             "event": "RELEASED",
+             "effects": [
+              [
+               "gpu/submit",
+               "@entity.device",
+               [
+                {
+                 "compute": {
+                  "pipeline": "p",
+                  "bindGroups": [
+                   "@entity.bg"
+                  ],
+                  "dispatch": [
+                   1,
+                   1,
+                   1
+                  ]
+                 }
+                }
+               ],
+               {
+                "emit": {
+                 "success": "READ_OK",
+                 "failure": "FAILED"
+                }
+               }
+              ]
+             ]
+            },
+            {
+             "from": "using",
+             "to": "idle",
+             "event": "READ_OK"
+            }
+           ]
+          }
+         }
+        ]
+       }
+      ]
+     },
+     "scope": ""
+    },
+    "expect": {
+     "fired": true,
+     "state": "ready",
+     "emits": [
+      {
+       "event": "LINT_FINISH",
+       "payload": {}
+      }
+     ]
+    }
+   },
+   {
+    "event": "LINT_FINISH",
+    "payload": {},
+    "expect": {
+     "emits": [
+      {
+       "event": "LINT_FOUND",
+       "payload": {
+        "rule": "mem-handles",
+        "scope": "",
+        "findings": [
+         {
+          "code": "ORB_GPU_USE_AFTER_RELEASE",
+          "path": "orbitals[0 (GpuOrbital)].traits[0 (GpuUser)].stateMachine.transitions[5]",
+          "message": "`(gpu/submit ...)` command `compute.bindGroups` names `@entity.bg`, a handle that `gpu/release` or `gpu/device-close` already ended on some path to this transition",
+          "suggestion": "Stop using the handle after it is released or closed, or rebind the field from a fresh creation first",
+          "severity": "error"
+         }
+        ]
+       }
+      }
+     ]
+    }
+   }
+  ]
+ },
+ {
+  "id": "control-gpu-a-submit-before-the-release-is-clean",
+  "steps": [
+   {
+    "event": "SITES_HEARD",
+    "from": "ready",
+    "payload": {
+     "scope": "",
+     "guardHeads": {},
+     "guardRoots": {},
+     "calls": {
+      "gpu/buffer-create": [
+       {
+        "path": "orbitals[0].traits[0].stateMachine.transitions[1].effects[0]",
+        "node": [
+         "gpu/buffer-create",
+         "@entity.device",
+         "storage",
+         {
+          "emit": {
+           "success": "BUF_OK",
+           "failure": "FAILED"
+          }
+         }
+        ],
+        "at": 0
+       }
+      ],
+      "gpu/submit": [
+       {
+        "path": "orbitals[0].traits[0].stateMachine.transitions[3].effects[1]",
+        "node": [
+         "gpu/submit",
+         "@entity.device",
+         [
+          {
+           "read": {
+            "buffer": "@entity.buf"
+           }
+          }
+         ],
+         {
+          "emit": {
+           "success": "READ_OK",
+           "failure": "FAILED"
+          }
+         }
+        ],
+        "at": 0
+       }
+      ],
+      "gpu/release": [
+       {
+        "path": "orbitals[0].traits[0].stateMachine.transitions[5].effects[0]",
+        "node": [
+         "gpu/release",
+         "@entity.buf",
+         {
+          "emit": {
+           "success": "RELEASED",
+           "failure": "FAILED"
+          }
+         }
+        ],
+        "at": 0
+       }
+      ]
+     },
+     "trait": [],
+     "entity": []
+    },
+    "expect": {
+     "fired": true
+    }
+   },
+   {
+    "event": "LINT_INPUT",
+    "from": "ready",
+    "payload": {
+     "file": "a.lolo",
+     "raw": "",
+     "latin": true,
+     "program": {
+      "name": "gpu",
+      "orbitals": [
+       {
+        "name": "GpuOrbital",
+        "traits": [
+         {
+          "name": "GpuUser",
+          "stateMachine": {
+           "states": [
+            {
+             "name": "idle",
+             "isInitial": true
+            },
+            {
+             "name": "creating"
+            },
+            {
+             "name": "reading"
+            },
+            {
+             "name": "releasing"
+            }
+           ],
+           "transitions": [
+            {
+             "from": "idle",
+             "to": "idle",
+             "event": "INIT"
+            },
+            {
+             "from": "idle",
+             "to": "creating",
+             "event": "GO",
+             "effects": [
+              [
+               "gpu/buffer-create",
+               "@entity.device",
+               "storage",
+               {
+                "emit": {
+                 "success": "BUF_OK",
+                 "failure": "FAILED"
+                }
+               }
+              ]
+             ]
+            },
+            {
+             "from": "creating",
+             "to": "idle",
+             "event": "FAILED"
+            },
+            {
+             "from": "creating",
+             "to": "reading",
+             "event": "BUF_OK",
+             "effects": [
+              [
+               "set",
+               "@entity.buf",
+               "@payload.buffer"
+              ],
+              [
+               "gpu/submit",
+               "@entity.device",
+               [
+                {
+                 "read": {
+                  "buffer": "@entity.buf"
+                 }
+                }
+               ],
+               {
+                "emit": {
+                 "success": "READ_OK",
+                 "failure": "FAILED"
+                }
+               }
+              ]
+             ]
+            },
+            {
+             "from": "reading",
+             "to": "idle",
+             "event": "FAILED"
+            },
+            {
+             "from": "reading",
+             "to": "releasing",
+             "event": "READ_OK",
+             "effects": [
+              [
+               "gpu/release",
+               "@entity.buf",
+               {
+                "emit": {
+                 "success": "RELEASED",
+                 "failure": "FAILED"
+                }
+               }
+              ]
+             ]
+            },
+            {
+             "from": "releasing",
+             "to": "idle",
+             "event": "RELEASED"
+            }
+           ]
+          }
+         }
+        ]
+       }
+      ]
+     },
+     "scope": ""
+    },
+    "expect": {
+     "fired": true,
+     "state": "ready",
+     "emits": [
+      {
+       "event": "LINT_FINISH",
+       "payload": {}
+      }
+     ]
+    }
+   },
+   {
+    "event": "LINT_FINISH",
+    "payload": {},
+    "expect": {
+     "emits": [
+      {
+       "event": "LINT_FOUND",
+       "payload": {
+        "rule": "mem-handles",
+        "scope": "",
+        "findings": []
+       }
+      }
+     ]
+    }
+   }
+  ]
+ }
  ]
 }