npm - @almadar/std - Versions diffs - 17.0.1 → 17.0.2 - Mend

@almadar/std 17.0.1 → 17.0.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (321) hide show

package/behaviors/registry/cli/atoms/std-orb-lint-mem-handles.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"typeContractVersion":1,"types":{"GtCallHit":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"GtVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}]}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintMemHandlesCodes":[{"nullable":false,"name":"useAfterFree","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"doubleFree","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"alias","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"leak","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"MhAcc":[{"nullable":false,"name":"s","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"f","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}],"MhCall":[{"nullable":false,"name":"","type":"[MhValue]","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"MhEmit":[{"nullable":false,"name":"success","type":"string","required":true}],"MhFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"MhLink":[{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"tgt","type":"string","required":true}],"MhMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"MhOp":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"at","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"src","type":"string","required":true},{"nullable":false,"name":"key","type":"string","required":true},{"nullable":false,"name":"lit","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"v","type":"string","required":true}],"MhOpts":[{"nullable":false,"name":"emit","type":"object","required":true,"properties":[{"nullable":false,"name":"success","type":"string","required":true}],"projectedFrom":{"type":"MhEmit"}}],"MhOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"items":{"nullable":false,"name":"","type":"MhTrait","projectedFrom":{"type":"MhTrait"}}}],"MhProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"items":{"nullable":false,"name":"","type":"MhTrait","projectedFrom":{"type":"MhTrait"}}}],"items":{"nullable":false,"name":"","type":"MhOrbital","projectedFrom":{"type":"MhOrbital"}}}],"MhRound":[{"nullable":false,"name":"facts","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"fnd","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}],"MhState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"MhT":[{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"from","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"ops","type":"[object]","required":true,"properties":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"at","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"src","type":"string","required":true},{"nullable":false,"name":"key","type":"string","required":true},{"nullable":false,"name":"lit","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"v","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"MhOp","projectedFrom":{"type":"MhOp"}}}],"MhTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"MhTransition":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"MhValue":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[MhValue]","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}},{"nullable":false,"name":"object","type":"Map<string,MhValue>","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}]}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]},"name":"std-orb-lint-mem-handles","version":"1.0.0","description":"std-orb-lint-mem-handles — the `orb lint mem-handles <file>` command, the typestate check of EXEC-METAL-3 over a trait's transition graph. It lowers the file with program/read and, for every inline trait that calls a mem/ operator, walks the graph (transition = edge from each `from` state to its `to` state, guards ignored, so every written path counts) carrying the set of handle facts true on some path into each state until nothing changes. HANDLE SOURCE: a handle is named only by the exact argument `@entity.<field>` (or, inside one transition, `@payload.<field>`); an argument that is anything else (a let binding, a computed value, an array element) is skipped, no finding. A handle enters a field only where a transition sets `@entity.<f>` from `@payload.arena`, `@payload.block` or `@payload.borrow` (the documented success payloads of mem/arena-new, mem/alloc and mem/borrow); any other `set @entity.<f>` rebinds f and forgets what was known of it. Order inside one effect or guard is its pre-order, mem calls before the sets nested in the same top-level effect. ORB_MEM_USE_AFTER_FREE: a mem/ call taking the handle (alloc, borrow, write, read, read-uint, length) on a path after mem/free, mem/arena-drop or mem/release of the same source. ORB_MEM_DOUBLE_FREE: a second mem/free, mem/arena-drop or mem/release of the same source on a path; dropping an arena also kills every block field the trait allocated from that arena field (the link is a mem/alloc whose success route sets that field from `@payload.block`), so a later free of such a block is a double free. ORB_MEM_ALIAS: a mem/borrow with the literal mode \"exclusive\" of a block source while a borrow of that source is live, or any borrow while an exclusive one is live; a borrow is live from the transition that sets its field from `@payload.borrow` (the borrow effect's success route; the field must be set by exactly one borrow call's route, else it is untracked) until mem/release of that field, and two borrow calls of one source inside one transition conflict at once. ORB_MEM_LEAK: a mem/arena-new whose arena is stored in an entity field (success route sets it from `@payload.arena`) and reaches a RESTING state of the trait without mem/arena-drop of that field on some path; RESTING means the trait's initial state or a state with no transition to a different state. A `stack` arena (literal kind) dies with its dispatch and is never a leak. Not tracked: handles outside the file's inline traits (composed `uses` traits are their own file's), handles passed through a payload, a let or an emit, and arenas overwritten without a drop. Clean answers `lint mem-handles: clean` (status 200, exit 0); findings are status 500, exit 1. Anything but one file argument is the usage (status 400, exit 2); an unreadable or unlowerable file is status 500.","orbitals":[{"name":"OrbLintMemHandlesOrbital","id":"orb_7R1PZRXGRSRCCJ6X24ASRR6BAF","uses":[{"from":"almadar-std/lint-mem-handles","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintMemHandlesRun","id":"ent_5TVG6XD782KM122JDVF5NXZWES","persistence":"runtime","fields":[{"nullable":false,"name":"sCalls","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"object","properties":{"path":{"nullable":false,"name":"path","type":"string","required":false},"node":{"nullable":true,"name":"node","type":"union","required":false,"values":["string","number","boolean","array","map"],"properties":{"string":{"nullable":false,"name":"string","type":"string"},"number":{"nullable":false,"name":"number","type":"number"},"boolean":{"nullable":false,"name":"boolean","type":"boolean"},"array":{"nullable":false,"name":"array","type":"array","items":{"nullable":true,"type":"union","values":["GtVal"],"projectedFrom":{"type":"GtVal"}}},"map":{"nullable":false,"name":"map","type":"object","items":{"nullable":true,"type":"union","values":["GtVal"],"projectedFrom":{"type":"GtVal"}}}},"projectedFrom":{"type":"GtVal"}},"at":{"nullable":false,"name":"at","type":"number","required":false}},"projectedFrom":{"type":"GtCallHit"}}}},{"nullable":false,"name":"sitesCallsHeard","type":"boolean","default":false},{"nullable":false,"name":"sitesCallsScope","type":"string","default":""},{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"findings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}}]},"traits":[{"name":"OrbLintMemHandles","id":"trt_PSWDF5XB88NM40P8D3ED72A70W","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.sCalls"},{"kind":"set","resource":"@entity.scope"},{"kind":"set","resource":"@entity.sitesCallsHeard"},{"kind":"set","resource":"@entity.sitesCallsScope"}],"linkedEntity":"OrbLintMemHandlesRun","linkedEntityId":"ent_5TVG6XD782KM122JDVF5NXZWES","entityRefIds":{"OrbLintMemHandlesRun":"ent_5TVG6XD782KM122JDVF5NXZWES"},"emits":[{"event":"LINT_FOUND","eventId":"evt_56C6M8WVKKDSSG77NQNS5W3335","description":"This rule's findings for the file, offered to the lint-all umbrella.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"rule","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}]},{"event":"LINT_FINISH","eventId":"evt_MRA0FX0P4EB273RH65XD5V7PFR","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_V1H25B3SSKWWSHPV62F1QVJ4WY","triggers":"LINT_INPUT","triggersId":"evt_V1H25B3SSKWWSHPV62F1QVJ4WY","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_90N5EEA043021XAMXEDZ514JPS"}},{"event":"LINT_SITES","triggers":"SITES_HEARD","triggersId":"evt_DKJCCSZCRMPCAFHVZ3PW14MXK0","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_90N5EEA043021XAMXEDZ514JPS"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_NQ2P0GRV42DJ185H81RG338PT6","name":"Initialize"},{"key":"SITES_HEARD","id":"evt_DKJCCSZCRMPCAFHVZ3PW14MXK0","name":"Sites Heard","description":"std-orb-lint-input's LINT_SITES: guard heads and roots, the call hits by head and the @trait. and @entity. leaves.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"guardHeads","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"guardRoots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"calls","type":"Map<string,[GtCallHit]>","required":true,"items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}}},{"nullable":false,"name":"trait","type":"[object]","required":true,"properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}},{"nullable":false,"name":"entity","type":"[object]","required":true,"properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}}],"listened":true},{"key":"LINT_INPUT","id":"evt_V1H25B3SSKWWSHPV62F1QVJ4WY","name":"Lint Input","description":"The lint input: the file read, its language decided and the program lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"raw","type":"string","required":true},{"nullable":false,"name":"latin","type":"boolean","required":true},{"nullable":false,"name":"program","type":"object","required":true,"properties":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"items":{"nullable":false,"name":"","type":"MhTrait","projectedFrom":{"type":"MhTrait"}}}],"items":{"nullable":false,"name":"","type":"MhOrbital","projectedFrom":{"type":"MhOrbital"}}}],"projectedFrom":{"type":"MhProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_MRA0FX0P4EB273RH65XD5V7PFR","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_56C6M8WVKKDSSG77NQNS5W3335","name":"Lint Found","description":"This rule's findings for the file, offered to the lint-all umbrella.","tier":"internal","payloadSchema":[{"nullable":false,"name":"rule","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}]}],"transitions":[{"from":"ready","to":"ready","event":"INIT","eventId":"evt_NQ2P0GRV42DJ185H81RG338PT6"},{"from":"ready","to":"ready","event":"SITES_HEARD","eventId":"evt_DKJCCSZCRMPCAFHVZ3PW14MXK0","effects":[["set","@entity.sCalls","@payload.calls"],["set","@entity.sitesCallsHeard",true],["set","@entity.sitesCallsScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_V1H25B3SSKWWSHPV62F1QVJ4WY","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if",["and","@entity.sitesCallsHeard",["=","@entity.sitesCallsScope","@payload.scope"]],["let",[["orbitals",["object/get","@payload.program","orbitals",[]]],["memHits",["array/flatten",["array/map",["array/filter",["object/keys","@entity.sCalls"],["fn","h",["str/startsWith","@h","mem/"]]],["fn","h",["object/get","@entity.sCalls","@h",[]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"GtCallHit\"}},\"named\":{\"GtCallHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"GtVal\"}},\"required\":false,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":false,\"constraints\":[]}]},\"GtVal\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"GtVal\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"GtVal\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["orb",["default",["array/nth","@orbitals","@oi"],{}]]],["array/flatten",["array/map",["array/range",0,["array/len",["object/get","@orb","traits",[]]]],["fn","ti",["let",[["td",["default",["array/nth",["object/get","@orb","traits",[]],"@ti"],{}]]],["if",["or",["not",["validate/object",["object/get","@td","stateMachine",null]]],["not",["array/some","@memHits",["fn","mh",["str/startsWith",["object/get","@mh","path",""],["str/concat","orbitals[","@oi","].traits[","@ti","]"]]]]]],[],["let",[["tx",["object/get",["object/get","@td","stateMachine",{}],"transitions",[]]],["stNames",["array/map",["object/get",["object/get","@td","stateMachine",{}],"states",[]],["fn","s",["object/get","@s","name",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["initials",["array/map",["array/filter",["object/get",["object/get","@td","stateMachine",{}],"states",[]],["fn","s",["object/get","@s","isInitial",false]]],["fn","s",["object/get","@s","name",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["sig",["str/slice","x@",1],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["prefix",["str/concat","orbitals[","@oi"," (",["object/get","@orb","name",""],")].traits[","@ti"," (",["object/get","@td","name",""],")].stateMachine"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["let",[["perT",["array/map",["array/range",0,["array/len","@tx"]],["fn","j",["let",[["t",["default",["array/nth","@tx","@j"],{}]]],["let",[["items",["array/concat",["if",["object/has","@t","guard"],[["object/get","@t","guard"]],[]],["object/get","@t","effects",[]]]],["at",["str/concat","@prefix",".transitions[","@j","]"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],{"j":"@j","ev":["object/get","@t","event",""],"to":["object/get","@t","to",""],"from":["let",[["f",["object/get","@t","from",""]]],["if",["validate/array","@f"],"@f",["@f"]]],"ops":["array/flatten",["array/map","@items",["fn","e",["let",[["nd",["array/filter",["array/map",["json/nodes",["@e"]],["fn","n",["default",["as","@n","MhCall"],[]]]],["fn","c",["and",[">",["array/len","@c"],0],["!=",["as",["array/first","@c"],"string"],null]]]]]],["array/concat",["array/map",["array/filter","@nd",["fn","c",["str/startsWith",["default",["as",["array/first","@c"],"string"],""],"mem/"]]],["fn","c",["let",[["hd",["default",["as",["array/first","@c"],"string"],""],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["a0",["default",["as",["array/nth","@c",1],"string"],""],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["a1",["default",["as",["array/nth","@c",2],"string"],""],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["opt",["as",["array/last","@c"],"MhOpts"]]],{"k":"mem","j":"@j","at":"@at","h":"@hd","src":"@a0","f":"","v":"","key":["if",["str/startsWith","@a0",["str/concat","@sig","entity."]],["str/slice","@a0",8],["if",["str/startsWith","@a0",["str/concat","@sig","payload."]],["str/concat","payload.",["str/slice","@a0",9]],""]],"lit":["if",["=","@hd","mem/arena-new"],"@a0","@a1"],"ev":["if",["=","@opt",null],"",["object/get",["object/get","@opt","emit"],"success",""]]}]]],["array/map",["array/filter","@nd",["fn","c",["and",["=",["default",["as",["array/first","@c"],"string"],""],"set"],[">",["array/len","@c"],2],["str/startsWith",["default",["as",["array/nth","@c",1],"string"],""],["str/concat","@sig","entity."]]]]],["fn","c",{"k":"set","j":"@j","at":"@at","h":"","src":"","key":"","lit":"","ev":"","f":["str/slice",["default",["as",["array/nth","@c",1],"string"],""],8],"v":["default",["as",["array/nth","@c",2],"string"],""]}]]]]]]]}]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"MhT\"}},\"named\":{\"MhOp\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"j\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"h\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"src\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"key\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"lit\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ev\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"f\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"v\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"MhT\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"j\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"ev\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"to\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"from\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"ops\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"MhOp\"}},\"required\":true,\"constraints\":[]}]}}}"]],["if",["not",["array/some","@perT",["fn","p",[">",["array/len",["object/get","@p","ops"]],0]]]],[],["let",[["rows",["array/flatten",["array/map",["array/flatten",["array/map","@perT",["fn","p",["array/filter",["object/get","@p","ops"],["fn","o",["and",["=",["object/get","@o","k"],"mem"],["!=",["object/get","@o","ev"],""],["array/includes",["list","mem/alloc","mem/borrow","mem/arena-new"],["object/get","@o","h"]]]]]]]],["fn","o",["let",[["want",["if",["=",["object/get","@o","h"],"mem/alloc"],["str/concat","@sig","payload.block"],["if",["=",["object/get","@o","h"],"mem/borrow"],["str/concat","@sig","payload.borrow"],["str/concat","@sig","payload.arena"]]],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["tgt",["if",["=",["object/get","@o","h"],"mem/borrow"],["str/concat",["object/get","@o","key"],"\|",["object/get","@o","lit"]],["if",["=",["object/get","@o","h"],"mem/alloc"],["object/get","@o","key"],["object/get","@o","lit"]]],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["array/flatten",["array/map","@perT",["fn","p",["if",["!=",["object/get","@p","ev"],["object/get","@o","ev"]],[],["array/map",["array/filter",["object/get","@p","ops"],["fn","s",["and",["=",["object/get","@s","k"],"set"],["=",["object/get","@s","v"],"@want"]]]],["fn","s",{"f":["object/get","@s","f"],"h":["object/get","@o","h"],"tgt":"@tgt"}]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"MhLink\"}},\"named\":{\"MhLink\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"f\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"h\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tgt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["links",["array/filter","@rows",["fn","r",["and",["not",["array/some","@rows",["fn","r2",["and",["=",["object/get","@r2","f"],["object/get","@r","f"]],["=",["object/get","@r2","h"],["object/get","@r","h"]],["!=",["object/get","@r2","tgt"],["object/get","@r","tgt"]]]]]],["or",["=",["object/get","@r","h"],"mem/arena-new"],["and",["!=",["object/get","@r","tgt"],""],["not",["str/startsWith",["object/get","@r","tgt"],"\|"]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"MhLink\"}},\"named\":{\"MhLink\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"f\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"h\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tgt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["rinit",{"facts":{},"fnd":[]},"{\"version\":1,\"name\":\"MhRound\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"facts\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"fnd\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],["let",[["done",["array/reduce",["array/range",0,["+",["array/len","@stNames"],1]],"@rinit",["fn",["racc","r"],["let",[["tinit",{"facts":["object/get","@racc","facts"],"fnd":[]},"{\"version\":1,\"name\":\"MhRound\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"facts\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"fnd\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],["array/reduce","@perT","@tinit",["fn",["acc2","p"],["let",[["inM",["object/get","@acc2","facts"],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}}"]],["let",[["inF",["array/unique",["array/flatten",["array/map",["array/flatten",["array/map",["object/get","@p","from"],["fn","s",["if",["=","@s",""],"@stNames",["@s"]]]]],["fn","s",["object/get","@inM","@s",[]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["to",["object/get","@p","to"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["ainit",{"s":[],"f":[]},"{\"version\":1,\"name\":\"MhAcc\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"f\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],["let",[["res",["array/reduce",["object/get","@p","ops"],["let",[["a0",{"s":"@inF","f":[]},"{\"version\":1,\"name\":\"MhAcc\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"f\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],"@a0"],["fn",["acc","o"],["let",[["S",["object/get","@acc","s"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["F",["object/get","@acc","f"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"],["k",["object/get","@o","key"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["h",["object/get","@o","h"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["lit",["object/get","@o","lit"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["if",["=",["object/get","@o","k"],"set"],["let",[["f",["object/get","@o","f"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["v",["object/get","@o","v"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["let",[["bl",["array/find","@links",["fn","l",["and",["=",["object/get","@l","f"],"@f"],["=",["object/get","@l","h"],"mem/borrow"]]]]],["made",["array/find","@links",["fn","l",["and",["=",["object/get","@l","f"],"@f"],["=",["object/get","@l","h"],"mem/arena-new"],["!=",["object/get","@l","tgt"],"stack"]]]]]],{"s":["array/concat",["array/filter","@S",["fn","x",["not",["or",["=","@x",["str/concat","F:","@f"]],["and",["or",["str/startsWith","@x","BX:"],["str/startsWith","@x","BS:"]],["str/endsWith","@x",["str/concat",":","@f"]]],["and",["=","@v",["str/concat","@sig","payload.arena"]],["str/startsWith","@x",["str/concat","A:","@f",":"]]],["and",["=","@v",["str/concat","@sig","payload.block"]],["or",["str/startsWith","@x",["str/concat","BX:","@f",":"]],["str/startsWith","@x",["str/concat","BS:","@f",":"]]]]]]]],["if",["and",["=","@v",["str/concat","@sig","payload.arena"]],["!=","@made",null]],[["str/concat","A:","@f",":",["object/get","@o","j"]]],[]],["if",["and",["=","@v",["str/concat","@sig","payload.borrow"]],["!=","@bl",null],["array/includes",["exclusive","shared"],["default",["array/nth",["str/split",["object/get","@bl","tgt"],"\|"],1],""]]],[["str/concat",["if",["=",["array/nth",["str/split",["object/get","@bl","tgt"],"\|"],1],"exclusive"],"BX","BS"],":",["default",["array/first",["str/split",["object/get","@bl","tgt"],"\|"]],""],":","@f"]],[]]],"f":"@F"}]],["if",["=","@k",""],"@acc",["let",[["src",["object/get","@o","src"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["at",["object/get","@o","at"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["isEnd",["array/includes",["list","mem/free","mem/arena-drop","mem/release"],"@h"],"{\"version\":1,\"type\":{\"kind\":\"boolean\"}}"],["freed",["array/includes","@S",["str/concat","F:","@k"]],"{\"version\":1,\"type\":{\"kind\":\"boolean\"}}"],["modeOk",["and",["=","@h","mem/borrow"],["array/includes",["exclusive","shared"],"@lit"]],"{\"version\":1,\"type\":{\"kind\":\"boolean\"}}"]],["let",[["conflict",["and","@modeOk",["array/some","@S",["fn","x",["or",["str/startsWith","@x",["str/concat","BX:","@k",":"]],["str/startsWith","@x",["str/concat","pBX:","@k",":"]],["and",["=","@lit","exclusive"],["or",["str/startsWith","@x",["str/concat","BS:","@k",":"]],["str/startsWith","@x",["str/concat","pBS:","@k",":"]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"boolean\"}}"]],{"s":["if",["=","@h","mem/free"],["array/concat","@S",[["str/concat","F:","@k"]]],["if",["=","@h","mem/arena-drop"],["let",[["blocks",["array/map",["array/filter","@links",["fn","l",["and",["=",["object/get","@l","h"],"mem/alloc"],["=",["object/get","@l","tgt"],"@k"]]]],["fn","l",["object/get","@l","f"]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["array/concat",["array/filter","@S",["fn","x",["not",["or",["str/startsWith","@x",["str/concat","A:","@k",":"]],["array/some","@blocks",["fn","b",["or",["str/startsWith","@x",["str/concat","BX:","@b",":"]],["str/startsWith","@x",["str/concat","BS:","@b",":"]]]]]]]]],[["str/concat","F:","@k"]],["array/map","@blocks",["fn","b",["str/concat","F:","@b"]]]]],["if",["=","@h","mem/release"],["array/concat",["array/filter","@S",["fn","x",["not",["and",["or",["str/startsWith","@x","BX:"],["str/startsWith","@x","BS:"]],["str/endsWith","@x",["str/concat",":","@k"]]]]]],[["str/concat","F:","@k"]]],["if","@modeOk",["array/concat","@S",[["str/concat",["if",["=","@lit","exclusive"],"pBX:","pBS:"],"@k",":"]]],"@S"]]]],"f":["array/concat","@F",["if",["and","@freed",["not","@isEnd"]],[{"code":"@config.codes.useAfterFree.code","path":"@at","message":["str/concat","`(","@h"," ","@src"," ...)` uses a handle that `mem/free`, `mem/arena-drop` or `mem/release` already ended on some path to this transition"],"suggestion":"Stop using the handle after it is freed, dropped or released, or rebind the field from a fresh allocation first","severity":"error"}],[]],["if",["and","@freed","@isEnd"],[{"code":"@config.codes.doubleFree.code","path":"@at","message":["str/concat","`(","@h"," ","@src",")` ends a handle that `mem/free`, `mem/arena-drop` or `mem/release` 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"}],[]],["if","@conflict",[{"code":"@config.codes.alias.code","path":"@at","message":["str/concat","`(mem/borrow ","@src"," \"","@lit","\")` borrows a block that another borrow of it (an exclusive one, or any when this one is exclusive) still holds on some path to this transition"],"suggestion":"`mem/release` the earlier borrow before borrowing again","severity":"error"}],[]]]}]]]]]]],"{\"version\":1,\"name\":\"MhAcc\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"f\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],{"facts":["object/set","@inM","@to",["array/unique",["array/concat",["object/get","@inM","@to",[]],["array/filter",["object/get","@res","s"],["fn","x",["not",["or",["str/startsWith","@x","pB"],["str/startsWith","@x",["str/concat","F:payload."]]]]]]]]],"fnd":["array/concat",["object/get","@acc2","fnd"],["object/get","@res","f"]]}]]]]]]]],"{\"version\":1,\"name\":\"MhRound\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"facts\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"fnd\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],["let",[["inFinal",["object/get","@done","facts"],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}}"],["resting",["array/filter","@stNames",["fn","s",["or",["array/includes","@initials","@s"],["not",["array/some","@perT",["fn","p",["and",["!=",["object/get","@p","to"],"@s"],["or",["array/includes",["object/get","@p","from"],"@s"],["array/includes",["object/get","@p","from"],""]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["array/concat",["object/get","@done","fnd"],["array/map",["array/unique",["array/flatten",["array/map","@resting",["fn","r",["array/filter",["object/get","@inFinal","@r",[]],["fn","x",["str/startsWith","@x","A:"]]]]]]],["fn","fact",["let",[["parts",["str/split","@fact",":"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],{"code":"@config.codes.leak.code","path":["str/concat","@prefix",".transitions[",["default",["array/nth","@parts",2],""],"]"],"message":["str/concat","The arena stored in '","@sig","entity.",["default",["array/nth","@parts",1],""],"' can reach the resting state(s) '",["str/join",["array/filter","@resting",["fn","r",["array/includes",["object/get","@inFinal","@r",[]],"@fact"]]],"', '"],"' without `mem/arena-drop`"],"suggestion":"Drop the arena on every path to a resting state, including the failure routes","severity":"error"}]]]]]]]]]]]]]]]]]]]]]],[{"code":"@config.codes.lintIndexMissing.code","path":"","message":"the lint input arrived without LINT_SITES, so this rule cannot check the program","suggestion":"std-orb-lint-input sends LINT_SITES before LINT_INPUT; this rule did not hear it","severity":"error"}]]],["set","@entity.sitesCallsHeard",false],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_MRA0FX0P4EB273RH65XD5V7PFR","effects":[["emit","LINT_FOUND",{"rule":"mem-handles","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintMemHandlesCodes","default":{"lintIndexMissing":{"code":"ORB_LINT_INDEX_MISSING","category":"lint","description":"The lint input arrived without a shared program fact the rule reads (the structural index, sites, units, embeds or entities), so the rule cannot check the program"},"useAfterFree":{"code":"ORB_MEM_USE_AFTER_FREE","category":"mem","description":"A mem/ call takes a handle after it was freed, dropped or released on some path"},"doubleFree":{"code":"ORB_MEM_DOUBLE_FREE","category":"mem","description":"A handle is freed, dropped or released a second time on some path"},"alias":{"code":"ORB_MEM_ALIAS","category":"mem","description":"An exclusive borrow of a block while another borrow of it is live, or a borrow while an exclusive one is live"},"leak":{"code":"ORB_MEM_LEAK","category":"mem","description":"An arena reaches a resting state on some path without being dropped"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"useAfterFree":{"nullable":false,"name":"useAfterFree","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"doubleFree":{"nullable":false,"name":"doubleFree","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"alias":{"nullable":false,"name":"alias","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"leak":{"nullable":false,"name":"leak","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"lintIndexMissing":{"nullable":false,"name":"lintIndexMissing","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}}},"projectedFrom":{"type":"LintMemHandlesCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_PSWDF5XB88NM40P8D3ED72A70W","fingerprint":"693e35a5512b7f63d253f9ed956cb20d996f987915146d9ee21e88813ac424b8"}},{"name":"OrbLintMemHandlesCli","id":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintMemHandlesRun","linkedEntityId":"ent_5TVG6XD782KM122JDVF5NXZWES","entityRefIds":{"OrbLintMemHandlesRun":"ent_5TVG6XD782KM122JDVF5NXZWES"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_D3DQV0P3811M0HRQJK5JJQCSYF","description":"Internal: the command's answer, which the cli hook prints.","tier":"internal","scope":"internal","payloadSchema":[{"nullable":false,"name":"status","type":"number","required":true},{"nullable":false,"name":"body","type":"string","required":true}]},{"event":"LINT_REQUEST","eventId":"evt_QGTTNC88SR4CW0KX52QC1Y22G5","description":"Ask the lint input to read and lower this file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}]},{"event":"LINT_FOUND","eventId":"evt_34BRT5FAEFN77QV482FZTDGXD9","description":"The rule trait's findings for the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"rule","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}]},{"event":"LINT_INPUT_UNREAD","eventId":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","description":"The lint input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_56C6M8WVKKDSSG77NQNS5W3335","triggers":"LINT_FOUND","triggersId":"evt_34BRT5FAEFN77QV482FZTDGXD9","source":{"kind":"trait","trait":"OrbLintMemHandles","traitId":"trt_PSWDF5XB88NM40P8D3ED72A70W"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_90N5EEA043021XAMXEDZ514JPS"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_8RPN7ZNNMVTTDJYAM72BS7JGK3","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_NJK57SCV4GDJ80GX61X8X9MY2C","name":"Lint Called","description":"Run `orb lint mem-handles` with its arguments and working directory.","synonyms":"orb lint mem-handles","payloadSchema":[{"nullable":false,"name":"headers","type":"Map<string,string>","items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rawBody","type":"string","required":true}],"listened":true,"inbound":{"name":"cli-lint-mem-handles","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_34BRT5FAEFN77QV482FZTDGXD9","name":"Lint Found","description":"The rule trait's findings for the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"rule","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}]},{"key":"LINT_INPUT_UNREAD","id":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","name":"Lint Input Unread","description":"The lint input could not read or lower the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_D3DQV0P3811M0HRQJK5JJQCSYF","name":"Lint Answered","description":"Internal: the command's answer, which the cli hook prints.","tier":"internal","payloadSchema":[{"nullable":false,"name":"status","type":"number","required":true},{"nullable":false,"name":"body","type":"string","required":true}]},{"key":"LINT_REQUEST","id":"evt_QGTTNC88SR4CW0KX52QC1Y22G5","name":"Lint Request","description":"Ask the lint input to read and lower this file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}]}],"transitions":[{"from":"ready","to":"ready","event":"INIT","eventId":"evt_8RPN7ZNNMVTTDJYAM72BS7JGK3"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_NJK57SCV4GDJ80GX61X8X9MY2C","guard":["or",["=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["!=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint mem-handles <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_NJK57SCV4GDJ80GX61X8X9MY2C","guard":["and",["!=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["let",[["argFile",["array/first",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]]]],["if",["=","@argFile",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint mem-handles <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_8RPN7ZNNMVTTDJYAM72BS7JGK3"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_34BRT5FAEFN77QV482FZTDGXD9","guard":["and",["=","@payload.rule","mem-handles"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint mem-handles: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_34BRT5FAEFN77QV482FZTDGXD9","guard":["and",["=","@payload.rule","mem-handles"],[">",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":500,"body":["str/join",["array/map","@payload.findings",["fn","x",["str/concat","[",["object/get","@x","code"],"] ",["object/get","@x","path"],": ",["object/get","@x","message"],["if",["=",["object/get","@x","suggestion"],""],"",["str/concat","\n suggestion: ",["object/get","@x","suggestion"]]]]]],"\n"]}]]},{"from":"waiting","to":"ready","event":"LINT_INPUT_UNREAD","eventId":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint mem-handles: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN","fingerprint":"4c6c8b92bbca8337b8d79a2a2a5cafefd1b0fe6ba1db1744a4e85e923f9f8f21"}},{"ref":"Input.traits.Versions","id":"trt_QCYY85YNE8AQ4DE9NRHM6S8RHF","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_21WJMAF114GGJF02Z5TY3TMECH","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_90N5EEA043021XAMXEDZ514JPS","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintMemHandlesCli"}},{"event":"SCAN_ANSWERED","triggers":"LANG_SCAN_ANSWERED","source":{"kind":"trait","trait":"Packs"}},{"event":"LANGUAGE_PACK_VOCAB","triggers":"LANGUAGE_PACK_VOCAB_HEARD","source":{"kind":"trait","trait":"Packs"}},{"event":"LANGUAGE_PACKS_DONE","triggers":"LANGUAGE_PACKS_DONE_HEARD","source":{"kind":"trait","trait":"Packs"}}]}],"pages":[{"name":"OrbLintMemHandlesOrbitalStart","id":"pag_M8PMA2GEE4772D0ZF83N1WK9G6","path":"","protocol":"boot","traits":[{"ref":"OrbLintMemHandles","refId":"trt_PSWDF5XB88NM40P8D3ED72A70W"},{"ref":"OrbLintMemHandlesCli","refId":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},{"ref":"OrbLintInput","refId":"trt_90N5EEA043021XAMXEDZ514JPS"},{"ref":"Packs","refId":"trt_21WJMAF114GGJF02Z5TY3TMECH"},{"ref":"Versions","refId":"trt_QCYY85YNE8AQ4DE9NRHM6S8RHF"}]}],"types":{"GtCallHit":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"GtVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}]}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintMemHandlesCodes":[{"nullable":false,"name":"useAfterFree","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"doubleFree","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"alias","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"leak","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"MhAcc":[{"nullable":false,"name":"s","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"f","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}],"MhCall":[{"nullable":false,"name":"","type":"[MhValue]","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"MhEmit":[{"nullable":false,"name":"success","type":"string","required":true}],"MhFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"MhLink":[{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"tgt","type":"string","required":true}],"MhMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"MhOp":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"at","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"src","type":"string","required":true},{"nullable":false,"name":"key","type":"string","required":true},{"nullable":false,"name":"lit","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"v","type":"string","required":true}],"MhOpts":[{"nullable":false,"name":"emit","type":"object","required":true,"properties":[{"nullable":false,"name":"success","type":"string","required":true}],"projectedFrom":{"type":"MhEmit"}}],"MhOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"items":{"nullable":false,"name":"","type":"MhTrait","projectedFrom":{"type":"MhTrait"}}}],"MhProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"items":{"nullable":false,"name":"","type":"MhTrait","projectedFrom":{"type":"MhTrait"}}}],"items":{"nullable":false,"name":"","type":"MhOrbital","projectedFrom":{"type":"MhOrbital"}}}],"MhRound":[{"nullable":false,"name":"facts","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"fnd","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}],"MhState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"MhT":[{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"from","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"ops","type":"[object]","required":true,"properties":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"at","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"src","type":"string","required":true},{"nullable":false,"name":"key","type":"string","required":true},{"nullable":false,"name":"lit","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"v","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"MhOp","projectedFrom":{"type":"MhOp"}}}],"MhTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"MhTransition":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"MhValue":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[MhValue]","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}},{"nullable":false,"name":"object","type":"Map<string,MhValue>","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}]}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]}}],"inbound":["cli-lint-mem-handles"],"osGrants":{"fs":[{"glob":"/","modes":["read"]},{"glob":"~/.orb/node_modules/","modes":["read"]}],"exec":["orb"],"net":[],"env":["PATH"],"stdio":[],"sys":[],"desktop":[],"anchored":{"fs":[{"anchor":"cwd","glob":"**","modes":["read"]}]}},"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_5TVG6XD782KM122JDVF5NXZWES":{"id":"ent_5TVG6XD782KM122JDVF5NXZWES","kind":"entity","bakedName":"OrbLintMemHandlesRun","curName":"OrbLintMemHandlesRun","renames":[],"owner":"workspace"},"evt_34BRT5FAEFN77QV482FZTDGXD9":{"id":"evt_34BRT5FAEFN77QV482FZTDGXD9","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_56C6M8WVKKDSSG77NQNS5W3335":{"id":"evt_56C6M8WVKKDSSG77NQNS5W3335","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_PSWDF5XB88NM40P8D3ED72A70W"},"evt_8RPN7ZNNMVTTDJYAM72BS7JGK3":{"id":"evt_8RPN7ZNNMVTTDJYAM72BS7JGK3","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_D3DQV0P3811M0HRQJK5JJQCSYF":{"id":"evt_D3DQV0P3811M0HRQJK5JJQCSYF","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_DKJCCSZCRMPCAFHVZ3PW14MXK0":{"id":"evt_DKJCCSZCRMPCAFHVZ3PW14MXK0","kind":"event","bakedName":"SITES_HEARD","curName":"SITES_HEARD","renames":[],"owner":"workspace","parent":"trt_PSWDF5XB88NM40P8D3ED72A70W"},"evt_KAW6QYC2P61B38JW4ATF5B0QDW":{"id":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_MRA0FX0P4EB273RH65XD5V7PFR":{"id":"evt_MRA0FX0P4EB273RH65XD5V7PFR","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_PSWDF5XB88NM40P8D3ED72A70W"},"evt_NJK57SCV4GDJ80GX61X8X9MY2C":{"id":"evt_NJK57SCV4GDJ80GX61X8X9MY2C","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_NQ2P0GRV42DJ185H81RG338PT6":{"id":"evt_NQ2P0GRV42DJ185H81RG338PT6","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_PSWDF5XB88NM40P8D3ED72A70W"},"evt_QGTTNC88SR4CW0KX52QC1Y22G5":{"id":"evt_QGTTNC88SR4CW0KX52QC1Y22G5","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_V1H25B3SSKWWSHPV62F1QVJ4WY":{"id":"evt_V1H25B3SSKWWSHPV62F1QVJ4WY","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_PSWDF5XB88NM40P8D3ED72A70W"},"orb_7R1PZRXGRSRCCJ6X24ASRR6BAF":{"id":"orb_7R1PZRXGRSRCCJ6X24ASRR6BAF","kind":"orbital","bakedName":"OrbLintMemHandlesOrbital","curName":"OrbLintMemHandlesOrbital","renames":[],"owner":"workspace"},"pag_M8PMA2GEE4772D0ZF83N1WK9G6":{"id":"pag_M8PMA2GEE4772D0ZF83N1WK9G6","kind":"page","bakedName":"OrbLintMemHandlesOrbitalStart","curName":"OrbLintMemHandlesOrbitalStart","renames":[],"owner":"workspace"},"trt_21WJMAF114GGJF02Z5TY3TMECH":{"id":"trt_21WJMAF114GGJF02Z5TY3TMECH","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_90N5EEA043021XAMXEDZ514JPS":{"id":"trt_90N5EEA043021XAMXEDZ514JPS","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN":{"id":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN","kind":"trait","bakedName":"OrbLintMemHandlesCli","curName":"OrbLintMemHandlesCli","renames":[],"owner":"workspace"},"trt_PSWDF5XB88NM40P8D3ED72A70W":{"id":"trt_PSWDF5XB88NM40P8D3ED72A70W","kind":"trait","bakedName":"OrbLintMemHandles","curName":"OrbLintMemHandles","renames":[],"owner":"workspace"},"trt_QCYY85YNE8AQ4DE9NRHM6S8RHF":{"id":"trt_QCYY85YNE8AQ4DE9NRHM6S8RHF","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"}}}}
1	+ {"typeContractVersion":1,"types":{"GtCallHit":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"GtVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}]}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintMemHandlesCodes":[{"nullable":false,"name":"useAfterFree","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"doubleFree","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"alias","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"leak","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"MhAcc":[{"nullable":false,"name":"s","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"f","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}],"MhCall":[{"nullable":false,"name":"","type":"[MhValue]","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"MhEmit":[{"nullable":false,"name":"success","type":"string","required":true}],"MhFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"MhLink":[{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"tgt","type":"string","required":true}],"MhMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"MhOp":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"at","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"src","type":"string","required":true},{"nullable":false,"name":"key","type":"string","required":true},{"nullable":false,"name":"lit","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"v","type":"string","required":true}],"MhOpts":[{"nullable":false,"name":"emit","type":"object","required":true,"properties":[{"nullable":false,"name":"success","type":"string","required":true}],"projectedFrom":{"type":"MhEmit"}}],"MhOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"items":{"nullable":false,"name":"","type":"MhTrait","projectedFrom":{"type":"MhTrait"}}}],"MhProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"items":{"nullable":false,"name":"","type":"MhTrait","projectedFrom":{"type":"MhTrait"}}}],"items":{"nullable":false,"name":"","type":"MhOrbital","projectedFrom":{"type":"MhOrbital"}}}],"MhRound":[{"nullable":false,"name":"facts","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"fnd","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}],"MhState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"MhT":[{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"from","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"ops","type":"[object]","required":true,"properties":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"at","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"src","type":"string","required":true},{"nullable":false,"name":"key","type":"string","required":true},{"nullable":false,"name":"lit","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"v","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"MhOp","projectedFrom":{"type":"MhOp"}}}],"MhTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"MhTransition":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"MhValue":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[MhValue]","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}},{"nullable":false,"name":"object","type":"Map<string,MhValue>","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}]}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]},"name":"std-orb-lint-mem-handles","version":"1.0.0","description":"std-orb-lint-mem-handles — the `orb lint mem-handles <file>` command, the typestate check of EXEC-METAL-3 over a trait's transition graph. It lowers the file with program/read and, for every inline trait that calls a mem/ operator, walks the graph (transition = edge from each `from` state to its `to` state, guards ignored, so every written path counts) carrying the set of handle facts true on some path into each state until nothing changes. HANDLE SOURCE: a handle is named only by the exact argument `@entity.<field>` (or, inside one transition, `@payload.<field>`); an argument that is anything else (a let binding, a computed value, an array element) is skipped, no finding. A handle enters a field only where a transition sets `@entity.<f>` from `@payload.arena`, `@payload.block` or `@payload.borrow` (the documented success payloads of mem/arena-new, mem/alloc and mem/borrow); any other `set @entity.<f>` rebinds f and forgets what was known of it. Order inside one effect or guard is its pre-order, mem calls before the sets nested in the same top-level effect. ORB_MEM_USE_AFTER_FREE: a mem/ call taking the handle (alloc, borrow, write, read, read-uint, length) on a path after mem/free, mem/arena-drop or mem/release of the same source. ORB_MEM_DOUBLE_FREE: a second mem/free, mem/arena-drop or mem/release of the same source on a path; dropping an arena also kills every block field the trait allocated from that arena field (the link is a mem/alloc whose success route sets that field from `@payload.block`), so a later free of such a block is a double free. ORB_MEM_ALIAS: a mem/borrow with the literal mode \"exclusive\" of a block source while a borrow of that source is live, or any borrow while an exclusive one is live; a borrow is live from the transition that sets its field from `@payload.borrow` (the borrow effect's success route; the field must be set by exactly one borrow call's route, else it is untracked) until mem/release of that field, and two borrow calls of one source inside one transition conflict at once. ORB_MEM_LEAK: a mem/arena-new whose arena is stored in an entity field (success route sets it from `@payload.arena`) and reaches a RESTING state of the trait without mem/arena-drop of that field on some path; RESTING means the trait's initial state or a state with no transition to a different state. A `stack` arena (literal kind) dies with its dispatch and is never a leak. Not tracked: handles outside the file's inline traits (composed `uses` traits are their own file's), handles passed through a payload, a let or an emit, and arenas overwritten without a drop. Clean answers `lint mem-handles: clean` (status 200, exit 0); findings are status 500, exit 1. Anything but one file argument is the usage (status 400, exit 2); an unreadable or unlowerable file is status 500.","orbitals":[{"name":"OrbLintMemHandlesOrbital","id":"orb_7R1PZRXGRSRCCJ6X24ASRR6BAF","uses":[{"from":"almadar-std/lint-mem-handles","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintMemHandlesRun","id":"ent_5TVG6XD782KM122JDVF5NXZWES","persistence":"runtime","fields":[{"nullable":false,"name":"sCalls","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"object","properties":{"path":{"nullable":false,"name":"path","type":"string","required":false},"node":{"nullable":true,"name":"node","type":"union","required":false,"values":["string","number","boolean","array","map"],"properties":{"string":{"nullable":false,"name":"string","type":"string"},"number":{"nullable":false,"name":"number","type":"number"},"boolean":{"nullable":false,"name":"boolean","type":"boolean"},"array":{"nullable":false,"name":"array","type":"array","items":{"nullable":true,"type":"union","values":["GtVal"],"projectedFrom":{"type":"GtVal"}}},"map":{"nullable":false,"name":"map","type":"object","items":{"nullable":true,"type":"union","values":["GtVal"],"projectedFrom":{"type":"GtVal"}}}},"projectedFrom":{"type":"GtVal"}},"at":{"nullable":false,"name":"at","type":"number","required":false}},"projectedFrom":{"type":"GtCallHit"}}}},{"nullable":false,"name":"sitesCallsHeard","type":"boolean","default":false},{"nullable":false,"name":"sitesCallsScope","type":"string","default":""},{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"findings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}}]},"traits":[{"name":"OrbLintMemHandles","id":"trt_PSWDF5XB88NM40P8D3ED72A70W","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.sCalls"},{"kind":"set","resource":"@entity.scope"},{"kind":"set","resource":"@entity.sitesCallsHeard"},{"kind":"set","resource":"@entity.sitesCallsScope"}],"linkedEntity":"OrbLintMemHandlesRun","linkedEntityId":"ent_5TVG6XD782KM122JDVF5NXZWES","entityRefIds":{"OrbLintMemHandlesRun":"ent_5TVG6XD782KM122JDVF5NXZWES"},"emits":[{"event":"LINT_FOUND","eventId":"evt_56C6M8WVKKDSSG77NQNS5W3335","description":"This rule's findings for the file, offered to the lint-all umbrella.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"rule","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}]},{"event":"LINT_FINISH","eventId":"evt_MRA0FX0P4EB273RH65XD5V7PFR","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_V1H25B3SSKWWSHPV62F1QVJ4WY","triggers":"LINT_INPUT","triggersId":"evt_V1H25B3SSKWWSHPV62F1QVJ4WY","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_90N5EEA043021XAMXEDZ514JPS"}},{"event":"LINT_SITES","triggers":"SITES_HEARD","triggersId":"evt_DKJCCSZCRMPCAFHVZ3PW14MXK0","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_90N5EEA043021XAMXEDZ514JPS"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_NQ2P0GRV42DJ185H81RG338PT6","name":"Initialize"},{"key":"SITES_HEARD","id":"evt_DKJCCSZCRMPCAFHVZ3PW14MXK0","name":"Sites Heard","description":"std-orb-lint-input's LINT_SITES: guard heads and roots, the call hits by head and the @trait. and @entity. leaves.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"guardHeads","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"guardRoots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"calls","type":"Map<string,[GtCallHit]>","required":true,"items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}}},{"nullable":false,"name":"trait","type":"[object]","required":true,"properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}},{"nullable":false,"name":"entity","type":"[object]","required":true,"properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}}],"listened":true},{"key":"LINT_INPUT","id":"evt_V1H25B3SSKWWSHPV62F1QVJ4WY","name":"Lint Input","description":"The lint input: the file read, its language decided and the program lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"raw","type":"string","required":true},{"nullable":false,"name":"latin","type":"boolean","required":true},{"nullable":false,"name":"program","type":"object","required":true,"properties":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"items":{"nullable":false,"name":"","type":"MhTrait","projectedFrom":{"type":"MhTrait"}}}],"items":{"nullable":false,"name":"","type":"MhOrbital","projectedFrom":{"type":"MhOrbital"}}}],"projectedFrom":{"type":"MhProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_MRA0FX0P4EB273RH65XD5V7PFR","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_56C6M8WVKKDSSG77NQNS5W3335","name":"Lint Found","description":"This rule's findings for the file, offered to the lint-all umbrella.","tier":"internal","payloadSchema":[{"nullable":false,"name":"rule","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}]}],"transitions":[{"from":"ready","to":"ready","event":"INIT","eventId":"evt_NQ2P0GRV42DJ185H81RG338PT6"},{"from":"ready","to":"ready","event":"SITES_HEARD","eventId":"evt_DKJCCSZCRMPCAFHVZ3PW14MXK0","effects":[["set","@entity.sCalls","@payload.calls"],["set","@entity.sitesCallsHeard",true],["set","@entity.sitesCallsScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_V1H25B3SSKWWSHPV62F1QVJ4WY","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if",["and","@entity.sitesCallsHeard",["=","@entity.sitesCallsScope","@payload.scope"]],["let",[["orbitals",["object/get","@payload.program","orbitals",[]]],["memHits",["array/flatten",["array/map",["array/filter",["object/keys","@entity.sCalls"],["fn","h",["str/startsWith","@h","mem/"]]],["fn","h",["object/get","@entity.sCalls","@h",[]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"GtCallHit\"}},\"named\":{\"GtCallHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"GtVal\"}},\"required\":false,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":false,\"constraints\":[]}]},\"GtVal\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"GtVal\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"GtVal\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["orb",["default",["array/nth","@orbitals","@oi"],{}]]],["array/flatten",["array/map",["array/range",0,["array/len",["object/get","@orb","traits",[]]]],["fn","ti",["let",[["td",["default",["array/nth",["object/get","@orb","traits",[]],"@ti"],{}]]],["if",["or",["not",["validate/object",["object/get","@td","stateMachine",null]]],["not",["array/some","@memHits",["fn","mh",["str/startsWith",["object/get","@mh","path",""],["str/concat","orbitals[","@oi","].traits[","@ti","]"]]]]]],[],["let",[["tx",["object/get",["object/get","@td","stateMachine",{}],"transitions",[]]],["stNames",["array/map",["object/get",["object/get","@td","stateMachine",{}],"states",[]],["fn","s",["object/get","@s","name",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["initials",["array/map",["array/filter",["object/get",["object/get","@td","stateMachine",{}],"states",[]],["fn","s",["object/get","@s","isInitial",false]]],["fn","s",["object/get","@s","name",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["sig",["str/slice","x@",1],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["prefix",["str/concat","orbitals[","@oi"," (",["object/get","@orb","name",""],")].traits[","@ti"," (",["object/get","@td","name",""],")].stateMachine"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["let",[["perT",["array/map",["array/range",0,["array/len","@tx"]],["fn","j",["let",[["t",["default",["array/nth","@tx","@j"],{}]]],["let",[["items",["array/concat",["if",["object/has","@t","guard"],[["object/get","@t","guard"]],[]],["object/get","@t","effects",[]]]],["at",["str/concat","@prefix",".transitions[","@j","]"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],{"j":"@j","ev":["object/get","@t","event",""],"to":["object/get","@t","to",""],"from":["let",[["f",["object/get","@t","from",""]]],["if",["validate/array","@f"],"@f",["@f"]]],"ops":["array/flatten",["array/map","@items",["fn","e",["let",[["nd",["array/filter",["array/map",["json/nodes",["@e"]],["fn","n",["default",["as","@n","MhCall"],[]]]],["fn","c",["and",[">",["array/len","@c"],0],["!=",["as",["array/first","@c"],"string"],null]]]]]],["array/concat",["array/map",["array/filter","@nd",["fn","c",["str/startsWith",["default",["as",["array/first","@c"],"string"],""],"mem/"]]],["fn","c",["let",[["hd",["default",["as",["array/first","@c"],"string"],""],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["a0",["default",["as",["array/nth","@c",1],"string"],""],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["a1",["default",["as",["array/nth","@c",2],"string"],""],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["opt",["as",["array/last","@c"],"MhOpts"]]],{"k":"mem","j":"@j","at":"@at","h":"@hd","src":"@a0","f":"","v":"","key":["if",["str/startsWith","@a0",["str/concat","@sig","entity."]],["str/slice","@a0",8],["if",["str/startsWith","@a0",["str/concat","@sig","payload."]],["str/concat","payload.",["str/slice","@a0",9]],""]],"lit":["if",["=","@hd","mem/arena-new"],"@a0","@a1"],"ev":["if",["=","@opt",null],"",["object/get",["object/get","@opt","emit"],"success",""]]}]]],["array/map",["array/filter","@nd",["fn","c",["and",["=",["default",["as",["array/first","@c"],"string"],""],"set"],[">",["array/len","@c"],2],["str/startsWith",["default",["as",["array/nth","@c",1],"string"],""],["str/concat","@sig","entity."]]]]],["fn","c",{"k":"set","j":"@j","at":"@at","h":"","src":"","key":"","lit":"","ev":"","f":["str/slice",["default",["as",["array/nth","@c",1],"string"],""],8],"v":["default",["as",["array/nth","@c",2],"string"],""]}]]]]]]]}]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"MhT\"}},\"named\":{\"MhOp\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"j\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"h\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"src\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"key\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"lit\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ev\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"f\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"v\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"MhT\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"j\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"ev\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"to\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"from\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"ops\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"MhOp\"}},\"required\":true,\"constraints\":[]}]}}}"]],["if",["not",["array/some","@perT",["fn","p",[">",["array/len",["object/get","@p","ops"]],0]]]],[],["let",[["rows",["array/flatten",["array/map",["array/flatten",["array/map","@perT",["fn","p",["array/filter",["object/get","@p","ops"],["fn","o",["and",["=",["object/get","@o","k"],"mem"],["!=",["object/get","@o","ev"],""],["array/includes",["list","mem/alloc","mem/borrow","mem/arena-new"],["object/get","@o","h"]]]]]]]],["fn","o",["let",[["want",["if",["=",["object/get","@o","h"],"mem/alloc"],["str/concat","@sig","payload.block"],["if",["=",["object/get","@o","h"],"mem/borrow"],["str/concat","@sig","payload.borrow"],["str/concat","@sig","payload.arena"]]],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["tgt",["if",["=",["object/get","@o","h"],"mem/borrow"],["str/concat",["object/get","@o","key"],"\|",["object/get","@o","lit"]],["if",["=",["object/get","@o","h"],"mem/alloc"],["object/get","@o","key"],["object/get","@o","lit"]]],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["array/flatten",["array/map","@perT",["fn","p",["if",["!=",["object/get","@p","ev"],["object/get","@o","ev"]],[],["array/map",["array/filter",["object/get","@p","ops"],["fn","s",["and",["=",["object/get","@s","k"],"set"],["=",["object/get","@s","v"],"@want"]]]],["fn","s",{"f":["object/get","@s","f"],"h":["object/get","@o","h"],"tgt":"@tgt"}]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"MhLink\"}},\"named\":{\"MhLink\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"f\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"h\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tgt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["links",["array/filter","@rows",["fn","r",["and",["not",["array/some","@rows",["fn","r2",["and",["=",["object/get","@r2","f"],["object/get","@r","f"]],["=",["object/get","@r2","h"],["object/get","@r","h"]],["!=",["object/get","@r2","tgt"],["object/get","@r","tgt"]]]]]],["or",["=",["object/get","@r","h"],"mem/arena-new"],["and",["!=",["object/get","@r","tgt"],""],["not",["str/startsWith",["object/get","@r","tgt"],"\|"]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"MhLink\"}},\"named\":{\"MhLink\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"f\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"h\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tgt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["rinit",{"facts":{},"fnd":[]},"{\"version\":1,\"name\":\"MhRound\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"facts\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"fnd\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],["let",[["done",["array/reduce",["array/range",0,["+",["array/len","@stNames"],1]],"@rinit",["fn",["racc","r"],["let",[["tinit",{"facts":["object/get","@racc","facts"],"fnd":[]},"{\"version\":1,\"name\":\"MhRound\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"facts\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"fnd\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],["array/reduce","@perT","@tinit",["fn",["acc2","p"],["let",[["inM",["object/get","@acc2","facts"],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}}"]],["let",[["inF",["array/unique",["array/flatten",["array/map",["array/flatten",["array/map",["object/get","@p","from"],["fn","s",["if",["=","@s",""],"@stNames",["@s"]]]]],["fn","s",["object/get","@inM","@s",[]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["to",["object/get","@p","to"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["ainit",{"s":[],"f":[]},"{\"version\":1,\"name\":\"MhAcc\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"f\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],["let",[["res",["array/reduce",["object/get","@p","ops"],["let",[["a0",{"s":"@inF","f":[]},"{\"version\":1,\"name\":\"MhAcc\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"f\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],"@a0"],["fn",["acc","o"],["let",[["S",["object/get","@acc","s"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["F",["object/get","@acc","f"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"],["k",["object/get","@o","key"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["h",["object/get","@o","h"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["lit",["object/get","@o","lit"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["if",["=",["object/get","@o","k"],"set"],["let",[["f",["object/get","@o","f"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["v",["object/get","@o","v"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["let",[["bl",["array/find","@links",["fn","l",["and",["=",["object/get","@l","f"],"@f"],["=",["object/get","@l","h"],"mem/borrow"]]]]],["made",["array/find","@links",["fn","l",["and",["=",["object/get","@l","f"],"@f"],["=",["object/get","@l","h"],"mem/arena-new"],["!=",["object/get","@l","tgt"],"stack"]]]]]],{"s":["array/concat",["array/filter","@S",["fn","x",["not",["or",["=","@x",["str/concat","F:","@f"]],["and",["or",["str/startsWith","@x","BX:"],["str/startsWith","@x","BS:"]],["str/endsWith","@x",["str/concat",":","@f"]]],["and",["=","@v",["str/concat","@sig","payload.arena"]],["str/startsWith","@x",["str/concat","A:","@f",":"]]],["and",["=","@v",["str/concat","@sig","payload.block"]],["or",["str/startsWith","@x",["str/concat","BX:","@f",":"]],["str/startsWith","@x",["str/concat","BS:","@f",":"]]]]]]]],["if",["and",["=","@v",["str/concat","@sig","payload.arena"]],["!=","@made",null]],[["str/concat","A:","@f",":",["object/get","@o","j"]]],[]],["if",["and",["=","@v",["str/concat","@sig","payload.borrow"]],["!=","@bl",null],["array/includes",["exclusive","shared"],["default",["array/nth",["str/split",["object/get","@bl","tgt"],"\|"],1],""]]],[["str/concat",["if",["=",["array/nth",["str/split",["object/get","@bl","tgt"],"\|"],1],"exclusive"],"BX","BS"],":",["default",["array/first",["str/split",["object/get","@bl","tgt"],"\|"]],""],":","@f"]],[]]],"f":"@F"}]],["if",["=","@k",""],"@acc",["let",[["src",["object/get","@o","src"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["at",["object/get","@o","at"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["isEnd",["array/includes",["list","mem/free","mem/arena-drop","mem/release"],"@h"],"{\"version\":1,\"type\":{\"kind\":\"boolean\"}}"],["freed",["array/includes","@S",["str/concat","F:","@k"]],"{\"version\":1,\"type\":{\"kind\":\"boolean\"}}"],["modeOk",["and",["=","@h","mem/borrow"],["array/includes",["exclusive","shared"],"@lit"]],"{\"version\":1,\"type\":{\"kind\":\"boolean\"}}"]],["let",[["conflict",["and","@modeOk",["array/some","@S",["fn","x",["or",["str/startsWith","@x",["str/concat","BX:","@k",":"]],["str/startsWith","@x",["str/concat","pBX:","@k",":"]],["and",["=","@lit","exclusive"],["or",["str/startsWith","@x",["str/concat","BS:","@k",":"]],["str/startsWith","@x",["str/concat","pBS:","@k",":"]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"boolean\"}}"]],{"s":["if",["=","@h","mem/free"],["array/concat","@S",[["str/concat","F:","@k"]]],["if",["=","@h","mem/arena-drop"],["let",[["blocks",["array/map",["array/filter","@links",["fn","l",["and",["=",["object/get","@l","h"],"mem/alloc"],["=",["object/get","@l","tgt"],"@k"]]]],["fn","l",["object/get","@l","f"]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["array/concat",["array/filter","@S",["fn","x",["not",["or",["str/startsWith","@x",["str/concat","A:","@k",":"]],["array/some","@blocks",["fn","b",["or",["str/startsWith","@x",["str/concat","BX:","@b",":"]],["str/startsWith","@x",["str/concat","BS:","@b",":"]]]]]]]]],[["str/concat","F:","@k"]],["array/map","@blocks",["fn","b",["str/concat","F:","@b"]]]]],["if",["=","@h","mem/release"],["array/concat",["array/filter","@S",["fn","x",["not",["and",["or",["str/startsWith","@x","BX:"],["str/startsWith","@x","BS:"]],["str/endsWith","@x",["str/concat",":","@k"]]]]]],[["str/concat","F:","@k"]]],["if","@modeOk",["array/concat","@S",[["str/concat",["if",["=","@lit","exclusive"],"pBX:","pBS:"],"@k",":"]]],"@S"]]]],"f":["array/concat","@F",["if",["and","@freed",["not","@isEnd"]],[{"code":"@config.codes.useAfterFree.code","path":"@at","message":["str/concat","`(","@h"," ","@src"," ...)` uses a handle that `mem/free`, `mem/arena-drop` or `mem/release` already ended on some path to this transition"],"suggestion":"Stop using the handle after it is freed, dropped or released, or rebind the field from a fresh allocation first","severity":"error"}],[]],["if",["and","@freed","@isEnd"],[{"code":"@config.codes.doubleFree.code","path":"@at","message":["str/concat","`(","@h"," ","@src",")` ends a handle that `mem/free`, `mem/arena-drop` or `mem/release` 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"}],[]],["if","@conflict",[{"code":"@config.codes.alias.code","path":"@at","message":["str/concat","`(mem/borrow ","@src"," \"","@lit","\")` borrows a block that another borrow of it (an exclusive one, or any when this one is exclusive) still holds on some path to this transition"],"suggestion":"`mem/release` the earlier borrow before borrowing again","severity":"error"}],[]]]}]]]]]]],"{\"version\":1,\"name\":\"MhAcc\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"f\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],{"facts":["object/set","@inM","@to",["array/unique",["array/concat",["object/get","@inM","@to",[]],["array/filter",["object/get","@res","s"],["fn","x",["not",["or",["str/startsWith","@x","pB"],["str/startsWith","@x",["str/concat","F:payload."]]]]]]]]],"fnd":["array/concat",["object/get","@acc2","fnd"],["object/get","@res","f"]]}]]]]]]]],"{\"version\":1,\"name\":\"MhRound\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"facts\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"fnd\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"required\":true,\"constraints\":[]}]},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"]],["let",[["inFinal",["object/get","@done","facts"],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}}"],["resting",["array/filter","@stNames",["fn","s",["or",["array/includes","@initials","@s"],["not",["array/some","@perT",["fn","p",["and",["!=",["object/get","@p","to"],"@s"],["or",["array/includes",["object/get","@p","from"],"@s"],["array/includes",["object/get","@p","from"],""]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["array/concat",["object/get","@done","fnd"],["array/map",["array/unique",["array/flatten",["array/map","@resting",["fn","r",["array/filter",["object/get","@inFinal","@r",[]],["fn","x",["str/startsWith","@x","A:"]]]]]]],["fn","fact",["let",[["parts",["str/split","@fact",":"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],{"code":"@config.codes.leak.code","path":["str/concat","@prefix",".transitions[",["default",["array/nth","@parts",2],""],"]"],"message":["str/concat","The arena stored in '","@sig","entity.",["default",["array/nth","@parts",1],""],"' can reach the resting state(s) '",["str/join",["array/filter","@resting",["fn","r",["array/includes",["object/get","@inFinal","@r",[]],"@fact"]]],"', '"],"' without `mem/arena-drop`"],"suggestion":"Drop the arena on every path to a resting state, including the failure routes","severity":"error"}]]]]]]]]]]]]]]]]]]]]]],[{"code":"@config.codes.lintIndexMissing.code","path":"","message":"the lint input arrived without LINT_SITES, so this rule cannot check the program","suggestion":"std-orb-lint-input sends LINT_SITES before LINT_INPUT; this rule did not hear it","severity":"error"}]]],["set","@entity.sitesCallsHeard",false],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_MRA0FX0P4EB273RH65XD5V7PFR","effects":[["emit","LINT_FOUND",{"rule":"mem-handles","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintMemHandlesCodes","default":{"lintIndexMissing":{"code":"ORB_LINT_INDEX_MISSING","category":"lint","description":"The lint input arrived without a shared program fact the rule reads (the structural index, sites, units, embeds or entities), so the rule cannot check the program"},"useAfterFree":{"code":"ORB_MEM_USE_AFTER_FREE","category":"mem","description":"A mem/ call takes a handle after it was freed, dropped or released on some path"},"doubleFree":{"code":"ORB_MEM_DOUBLE_FREE","category":"mem","description":"A handle is freed, dropped or released a second time on some path"},"alias":{"code":"ORB_MEM_ALIAS","category":"mem","description":"An exclusive borrow of a block while another borrow of it is live, or a borrow while an exclusive one is live"},"leak":{"code":"ORB_MEM_LEAK","category":"mem","description":"An arena reaches a resting state on some path without being dropped"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"useAfterFree":{"nullable":false,"name":"useAfterFree","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"doubleFree":{"nullable":false,"name":"doubleFree","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"alias":{"nullable":false,"name":"alias","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"leak":{"nullable":false,"name":"leak","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"lintIndexMissing":{"nullable":false,"name":"lintIndexMissing","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}}},"projectedFrom":{"type":"LintMemHandlesCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_PSWDF5XB88NM40P8D3ED72A70W","fingerprint":"693e35a5512b7f63d253f9ed956cb20d996f987915146d9ee21e88813ac424b8"}},{"name":"OrbLintMemHandlesCli","id":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintMemHandlesRun","linkedEntityId":"ent_5TVG6XD782KM122JDVF5NXZWES","entityRefIds":{"OrbLintMemHandlesRun":"ent_5TVG6XD782KM122JDVF5NXZWES"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_D3DQV0P3811M0HRQJK5JJQCSYF","description":"Internal: the command's answer, which the cli hook prints.","tier":"internal","scope":"internal","payloadSchema":[{"nullable":false,"name":"status","type":"number","required":true},{"nullable":false,"name":"body","type":"string","required":true}]},{"event":"LINT_REQUEST","eventId":"evt_QGTTNC88SR4CW0KX52QC1Y22G5","description":"Ask the lint input to read and lower this file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}]},{"event":"LINT_FOUND","eventId":"evt_34BRT5FAEFN77QV482FZTDGXD9","description":"The rule trait's findings for the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"rule","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}]},{"event":"LINT_INPUT_UNREAD","eventId":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","description":"The lint input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_56C6M8WVKKDSSG77NQNS5W3335","triggers":"LINT_FOUND","triggersId":"evt_34BRT5FAEFN77QV482FZTDGXD9","source":{"kind":"trait","trait":"OrbLintMemHandles","traitId":"trt_PSWDF5XB88NM40P8D3ED72A70W"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_90N5EEA043021XAMXEDZ514JPS"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_8RPN7ZNNMVTTDJYAM72BS7JGK3","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_NJK57SCV4GDJ80GX61X8X9MY2C","name":"Lint Called","description":"Run `orb lint mem-handles` with its arguments and working directory.","synonyms":"orb lint mem-handles","payloadSchema":[{"nullable":false,"name":"headers","type":"Map<string,string>","items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rawBody","type":"string","required":true}],"listened":true,"inbound":{"name":"cli-lint-mem-handles","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_34BRT5FAEFN77QV482FZTDGXD9","name":"Lint Found","description":"The rule trait's findings for the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"rule","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}]},{"key":"LINT_INPUT_UNREAD","id":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","name":"Lint Input Unread","description":"The lint input could not read or lower the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_D3DQV0P3811M0HRQJK5JJQCSYF","name":"Lint Answered","description":"Internal: the command's answer, which the cli hook prints.","tier":"internal","payloadSchema":[{"nullable":false,"name":"status","type":"number","required":true},{"nullable":false,"name":"body","type":"string","required":true}]},{"key":"LINT_REQUEST","id":"evt_QGTTNC88SR4CW0KX52QC1Y22G5","name":"Lint Request","description":"Ask the lint input to read and lower this file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}]}],"transitions":[{"from":"ready","to":"ready","event":"INIT","eventId":"evt_8RPN7ZNNMVTTDJYAM72BS7JGK3"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_NJK57SCV4GDJ80GX61X8X9MY2C","guard":["or",["=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["!=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint mem-handles <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_NJK57SCV4GDJ80GX61X8X9MY2C","guard":["and",["!=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["let",[["argFile",["array/first",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]]]],["if",["=","@argFile",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint mem-handles <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_8RPN7ZNNMVTTDJYAM72BS7JGK3"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_34BRT5FAEFN77QV482FZTDGXD9","guard":["and",["=","@payload.rule","mem-handles"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint mem-handles: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_34BRT5FAEFN77QV482FZTDGXD9","guard":["and",["=","@payload.rule","mem-handles"],[">",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":500,"body":["str/join",["array/map","@payload.findings",["fn","x",["str/concat","[",["object/get","@x","code"],"] ",["object/get","@x","path"],": ",["object/get","@x","message"],["if",["=",["object/get","@x","suggestion"],""],"",["str/concat","\n suggestion: ",["object/get","@x","suggestion"]]]]]],"\n"]}]]},{"from":"waiting","to":"ready","event":"LINT_INPUT_UNREAD","eventId":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint mem-handles: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN","fingerprint":"4c6c8b92bbca8337b8d79a2a2a5cafefd1b0fe6ba1db1744a4e85e923f9f8f21"}},{"ref":"Input.traits.Versions","id":"trt_QCYY85YNE8AQ4DE9NRHM6S8RHF","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_21WJMAF114GGJF02Z5TY3TMECH","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_90N5EEA043021XAMXEDZ514JPS","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintMemHandlesCli"}},{"event":"SCAN_ANSWERED","triggers":"LANG_SCAN_ANSWERED","source":{"kind":"trait","trait":"Packs"}},{"event":"LANGUAGE_PACK_VOCAB","triggers":"LANGUAGE_PACK_VOCAB_HEARD","source":{"kind":"trait","trait":"Packs"}},{"event":"LANGUAGE_PACKS_DONE","triggers":"LANGUAGE_PACKS_DONE_HEARD","source":{"kind":"trait","trait":"Packs"}}]}],"pages":[{"name":"OrbLintMemHandlesOrbitalStart","id":"pag_M8PMA2GEE4772D0ZF83N1WK9G6","path":"","protocol":"boot","traits":[{"ref":"OrbLintMemHandles","refId":"trt_PSWDF5XB88NM40P8D3ED72A70W"},{"ref":"OrbLintMemHandlesCli","refId":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},{"ref":"OrbLintInput","refId":"trt_90N5EEA043021XAMXEDZ514JPS"},{"ref":"Packs","refId":"trt_21WJMAF114GGJF02Z5TY3TMECH"},{"ref":"Versions","refId":"trt_QCYY85YNE8AQ4DE9NRHM6S8RHF"}]}],"types":{"GtCallHit":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"GtVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}]}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintMemHandlesCodes":[{"nullable":false,"name":"useAfterFree","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"doubleFree","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"alias","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"leak","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"MhAcc":[{"nullable":false,"name":"s","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"f","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}],"MhCall":[{"nullable":false,"name":"","type":"[MhValue]","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"MhEmit":[{"nullable":false,"name":"success","type":"string","required":true}],"MhFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"MhLink":[{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"tgt","type":"string","required":true}],"MhMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"MhOp":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"at","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"src","type":"string","required":true},{"nullable":false,"name":"key","type":"string","required":true},{"nullable":false,"name":"lit","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"v","type":"string","required":true}],"MhOpts":[{"nullable":false,"name":"emit","type":"object","required":true,"properties":[{"nullable":false,"name":"success","type":"string","required":true}],"projectedFrom":{"type":"MhEmit"}}],"MhOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"items":{"nullable":false,"name":"","type":"MhTrait","projectedFrom":{"type":"MhTrait"}}}],"MhProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"items":{"nullable":false,"name":"","type":"MhTrait","projectedFrom":{"type":"MhTrait"}}}],"items":{"nullable":false,"name":"","type":"MhOrbital","projectedFrom":{"type":"MhOrbital"}}}],"MhRound":[{"nullable":false,"name":"facts","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"fnd","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"items":{"nullable":false,"name":"","type":"OrbFinding","projectedFrom":{"type":"OrbFinding"}}}],"MhState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"MhT":[{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"from","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"ops","type":"[object]","required":true,"properties":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"j","type":"number","required":true},{"nullable":false,"name":"at","type":"string","required":true},{"nullable":false,"name":"h","type":"string","required":true},{"nullable":false,"name":"src","type":"string","required":true},{"nullable":false,"name":"key","type":"string","required":true},{"nullable":false,"name":"lit","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"f","type":"string","required":true},{"nullable":false,"name":"v","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"MhOp","projectedFrom":{"type":"MhOp"}}}],"MhTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"MhState","projectedFrom":{"type":"MhState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"items":{"nullable":false,"name":"","type":"MhTransition","projectedFrom":{"type":"MhTransition"}}}],"projectedFrom":{"type":"MhMachine"}}],"MhTransition":[{"nullable":false,"name":"from","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"MhFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"MhValue","properties":[],"projectedFrom":{"type":"MhValue"}},{"nullable":false,"name":"effects","type":"[MhValue]","items":{"nullable":false,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}],"MhValue":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[MhValue]","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}},{"nullable":false,"name":"object","type":"Map<string,MhValue>","items":{"nullable":true,"name":"","type":"MhValue","projectedFrom":{"type":"MhValue"}}}]}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]}}],"inbound":["cli-lint-mem-handles"],"osGrants":{"fs":[{"glob":"/","modes":["read"]},{"glob":"~/.orb/node_modules/","modes":["read"]}],"exec":[],"net":[],"env":["PATH"],"stdio":[],"sys":[],"desktop":[],"anchored":{"fs":[{"anchor":"cwd","glob":"**","modes":["read"]}],"exec":[{"anchor":"exe"}]}},"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_5TVG6XD782KM122JDVF5NXZWES":{"id":"ent_5TVG6XD782KM122JDVF5NXZWES","kind":"entity","bakedName":"OrbLintMemHandlesRun","curName":"OrbLintMemHandlesRun","renames":[],"owner":"workspace"},"evt_34BRT5FAEFN77QV482FZTDGXD9":{"id":"evt_34BRT5FAEFN77QV482FZTDGXD9","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_56C6M8WVKKDSSG77NQNS5W3335":{"id":"evt_56C6M8WVKKDSSG77NQNS5W3335","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_PSWDF5XB88NM40P8D3ED72A70W"},"evt_8RPN7ZNNMVTTDJYAM72BS7JGK3":{"id":"evt_8RPN7ZNNMVTTDJYAM72BS7JGK3","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_D3DQV0P3811M0HRQJK5JJQCSYF":{"id":"evt_D3DQV0P3811M0HRQJK5JJQCSYF","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_DKJCCSZCRMPCAFHVZ3PW14MXK0":{"id":"evt_DKJCCSZCRMPCAFHVZ3PW14MXK0","kind":"event","bakedName":"SITES_HEARD","curName":"SITES_HEARD","renames":[],"owner":"workspace","parent":"trt_PSWDF5XB88NM40P8D3ED72A70W"},"evt_KAW6QYC2P61B38JW4ATF5B0QDW":{"id":"evt_KAW6QYC2P61B38JW4ATF5B0QDW","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_MRA0FX0P4EB273RH65XD5V7PFR":{"id":"evt_MRA0FX0P4EB273RH65XD5V7PFR","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_PSWDF5XB88NM40P8D3ED72A70W"},"evt_NJK57SCV4GDJ80GX61X8X9MY2C":{"id":"evt_NJK57SCV4GDJ80GX61X8X9MY2C","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_NQ2P0GRV42DJ185H81RG338PT6":{"id":"evt_NQ2P0GRV42DJ185H81RG338PT6","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_PSWDF5XB88NM40P8D3ED72A70W"},"evt_QGTTNC88SR4CW0KX52QC1Y22G5":{"id":"evt_QGTTNC88SR4CW0KX52QC1Y22G5","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN"},"evt_V1H25B3SSKWWSHPV62F1QVJ4WY":{"id":"evt_V1H25B3SSKWWSHPV62F1QVJ4WY","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_PSWDF5XB88NM40P8D3ED72A70W"},"orb_7R1PZRXGRSRCCJ6X24ASRR6BAF":{"id":"orb_7R1PZRXGRSRCCJ6X24ASRR6BAF","kind":"orbital","bakedName":"OrbLintMemHandlesOrbital","curName":"OrbLintMemHandlesOrbital","renames":[],"owner":"workspace"},"pag_M8PMA2GEE4772D0ZF83N1WK9G6":{"id":"pag_M8PMA2GEE4772D0ZF83N1WK9G6","kind":"page","bakedName":"OrbLintMemHandlesOrbitalStart","curName":"OrbLintMemHandlesOrbitalStart","renames":[],"owner":"workspace"},"trt_21WJMAF114GGJF02Z5TY3TMECH":{"id":"trt_21WJMAF114GGJF02Z5TY3TMECH","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_90N5EEA043021XAMXEDZ514JPS":{"id":"trt_90N5EEA043021XAMXEDZ514JPS","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN":{"id":"trt_FYSFGB8H1Z8GZRTCXEMZSWD3NN","kind":"trait","bakedName":"OrbLintMemHandlesCli","curName":"OrbLintMemHandlesCli","renames":[],"owner":"workspace"},"trt_PSWDF5XB88NM40P8D3ED72A70W":{"id":"trt_PSWDF5XB88NM40P8D3ED72A70W","kind":"trait","bakedName":"OrbLintMemHandles","curName":"OrbLintMemHandles","renames":[],"owner":"workspace"},"trt_QCYY85YNE8AQ4DE9NRHM6S8RHF":{"id":"trt_QCYY85YNE8AQ4DE9NRHM6S8RHF","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"}}}}