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

@almadar/std 17.0.0 → 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 (323) hide show

package/behaviors/registry/cli/atoms/std-orb-lint-circuit-graph.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"typeContractVersion":1,"types":{"CgFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"CgMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"CgNode":[{"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":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}},{"nullable":false,"name":"object","type":"Map<string,CgNode>","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}]}],"CgOrbital":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"items":{"nullable":false,"name":"","type":"CgTrait","projectedFrom":{"type":"CgTrait"}}}],"CgProgram":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"items":{"nullable":false,"name":"","type":"CgTrait","projectedFrom":{"type":"CgTrait"}}}],"items":{"nullable":false,"name":"","type":"CgOrbital","projectedFrom":{"type":"CgOrbital"}}}],"CgRl":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true}],"CgRu":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"ej","type":"number","required":true}],"CgState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"CgTr":[{"nullable":false,"name":"f","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"e","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"fs","type":"string","required":true},{"nullable":false,"name":"cls","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"hm","type":"boolean","required":true},{"nullable":false,"name":"ru","type":"[object]","required":true,"properties":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"ej","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"CgRu","projectedFrom":{"type":"CgRu"}}}],"CgTrait":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"CgTransition":[{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"LintCircuitGraphCodes":[{"nullable":false,"name":"circuitUnreachableState","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":"circuitNoOverlayExit","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":"circuitModalExitIncomplete","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":"circuitDeadEndState","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"}}],"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}],"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-circuit-graph","version":"1.0.0","description":"std-orb-lint-circuit-graph - the `orb lint circuit-graph <file>` command, the port of the state-graph and overlay-exit checks of validate_closed_circuit (circuit/closed_circuit.rs). For every inline trait it reports CIRCUIT_UNREACHABLE_STATE (a non-initial state no transition enters), CIRCUIT_DEAD_END_STATE (a state no transition leaves by name that is not marked isTerminal), CIRCUIT_NO_OVERLAY_EXIT (a state that paints a pattern into an overlay slot and has no transition that closes the slot or lands in a state that does not paint it) and CIRCUIT_MODAL_EXIT_INCOMPLETE (a transition from an overlay state into a main-painting state that closes the overlay without repainting main, and a transition that leaves a state mounting an overlay slot without a `(render-ui <slot> null)` for it). The overlay slot names are the rule's overlaySlots knob and the exit events of the suggestion its exitEvents knob. Each finding carries the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint circuit-graph: clean` (status 200, exit 0). Anything but one file argument is the usage (status 400, exit 2); an unreadable or unlowerable file is status 500.","orbitals":[{"name":"OrbLintCircuitGraphOrbital","id":"orb_ZD1SP89PAJV594GVNWR0BMRWA6","uses":[{"from":"almadar-std/lint-circuit-graph","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintCircuitGraphRun","id":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"program","type":"object","default":{},"properties":{"orbitals":{"nullable":false,"name":"orbitals","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"traits":{"nullable":false,"name":"traits","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"stateMachine":{"nullable":false,"name":"stateMachine","type":"object","required":false,"properties":{"states":{"nullable":false,"name":"states","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"isInitial":{"nullable":false,"name":"isInitial","type":"boolean","required":false},"isTerminal":{"nullable":false,"name":"isTerminal","type":"boolean","required":false}},"projectedFrom":{"type":"CgState"}}},"transitions":{"nullable":false,"name":"transitions","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"from":{"nullable":false,"name":"from","type":"union","required":false,"values":["string","array"],"properties":{"string":{"nullable":false,"name":"string","type":"string"},"array":{"nullable":false,"name":"array","type":"array","items":{"nullable":false,"type":"string"}}},"projectedFrom":{"type":"CgFrom"}},"to":{"nullable":false,"name":"to","type":"string","required":false},"event":{"nullable":false,"name":"event","type":"string","required":false},"effects":{"nullable":false,"name":"effects","type":"array","required":false,"items":{"nullable":true,"type":"union","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":["CgNode"],"projectedFrom":{"type":"CgNode"}}},"map":{"nullable":false,"name":"map","type":"object","items":{"nullable":true,"type":"union","values":["CgNode"],"projectedFrom":{"type":"CgNode"}}}},"projectedFrom":{"type":"CgNode"}}}},"projectedFrom":{"type":"CgTransition"}}}},"projectedFrom":{"type":"CgMachine"}}},"projectedFrom":{"type":"CgTrait"}}}},"projectedFrom":{"type":"CgOrbital"}}}},"projectedFrom":{"type":"CgProgram"}},{"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":"OrbLintCircuitGraph","id":"trt_85C24SCAMK5A9KNW92FY1R4PEN","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.program"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintCircuitGraphRun","linkedEntityId":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D","entityRefIds":{"OrbLintCircuitGraphRun":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D"},"emits":[{"event":"LINT_FOUND","eventId":"evt_GCE0VFBJ4NS2AW1XJWKVZ2TST1","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_4Z1YX5CQ7RBKW779DC6D7CZ477","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0","triggers":"LINT_INPUT","triggersId":"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_5DNC9YYE6T73DFFYNTCMCYKF5J"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_ZJB1YAE6Z63FKFDN6BWGAEEEGR","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0","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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"items":{"nullable":false,"name":"","type":"CgTrait","projectedFrom":{"type":"CgTrait"}}}],"items":{"nullable":false,"name":"","type":"CgOrbital","projectedFrom":{"type":"CgOrbital"}}}],"projectedFrom":{"type":"CgProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_4Z1YX5CQ7RBKW779DC6D7CZ477","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_GCE0VFBJ4NS2AW1XJWKVZ2TST1","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_ZJB1YAE6Z63FKFDN6BWGAEEEGR"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0","effects":[["set","@entity.program","@payload.program"],["set","@entity.scope","@payload.scope"],["set","@entity.findings",["let",[["nos",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["nof",[],"{\"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\":[]}]}}}"],["noru",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgRu\"}},\"named\":{\"CgRu\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"p\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"ej\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"],["notr",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgTransition\"}},\"named\":{\"CgFrom\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]},\"CgNode\":{\"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\":\"CgNode\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgNode\"}}},\"required\":true,\"constraints\":[]}]},\"CgTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"from\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"CgFrom\"},\"required\":false,\"constraints\":[]},{\"name\":\"to\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgNode\"}}},\"required\":false,\"constraints\":[]}]}}}"],["nost",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgState\"}},\"named\":{\"CgState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"isInitial\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":false,\"constraints\":[]},{\"name\":\"isTerminal\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":false,\"constraints\":[]}]}}}"],["ov","@config.overlaySlots"],["ovSet",["default",["object/fromEntries",["array/map","@config.overlaySlots",["fn","x",["@x",true]]]],{}]]],["array/flatten",["array/map",["object/get","@entity.program","orbitals",[]],["fn",["o","oi"],["array/flatten",["array/map",["object/get","@o","traits",[]],["fn",["t","ti"],["if",["not",["object/has","@t","stateMachine"]],"@nof",["let",[["tp",["str/concat","orbitals[","@oi"," (",["object/get","@o","name",""],")].traits[","@ti"," (",["object/get","@t","name",""],")]"]],["sts",["object/get","@t","stateMachine.states","@nost"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgState\"}},\"named\":{\"CgState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"isInitial\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":false,\"constraints\":[]},{\"name\":\"isTerminal\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":false,\"constraints\":[]}]}}}"],["trs",["object/get","@t","stateMachine.transitions","@notr"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgTransition\"}},\"named\":{\"CgFrom\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]},\"CgNode\":{\"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\":\"CgNode\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgNode\"}}},\"required\":true,\"constraints\":[]}]},\"CgTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"from\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"CgFrom\"},\"required\":false,\"constraints\":[]},{\"name\":\"to\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgNode\"}}},\"required\":false,\"constraints\":[]}]}}}"]],["let",[["names",["array/unique",["array/map","@sts",["fn","s",["object/get","@s","name",""]]]]]],["let",[["tl",["array/map","@trs",["fn","x",["let",[["fr",["object/get","@x","from",""]],["effs",["object/get","@x","effects",[]]]],{"f":["if",["validate/string","@fr"],["array/append","@nos","@fr"],"@fr"],"e":["object/get","@x","event",""],"to":["object/get","@x","to",""],"fs":["if",["validate/string","@fr"],"@fr",["str/concat","[",["str/join","@fr",", "],"]"]],"cls":["array/flatten",["array/map","@effs",["fn","e",["if",["and",["validate/array","@e"],[">=",["array/len","@e"],3],["let",[["h0",["array/nth","@e",0]]],["if",["validate/string","@h0"],["=","@h0","render-ui"],false]],["=",["array/nth","@e",2],null]],["let",[["sl",["array/nth","@e",1]]],["if",["validate/string","@sl"],["array/append","@nos","@sl"],"@nos"]],"@nos"]]]],"hm":["array/some","@effs",["fn","e",["and",["validate/array","@e"],[">=",["array/len","@e"],3],["let",[["h0",["array/nth","@e",0]]],["if",["validate/string","@h0"],["=","@h0","render-ui"],false]],["let",[["h1",["array/nth","@e",1]]],["if",["validate/string","@h1"],["=","@h1","main"],false]],["!=",["array/nth","@e",2],null]]]],"ru":["array/flatten",["array/map",["array/range",0,["array/len","@effs"]],["fn","ej",["let",[["e",["array/nth","@effs","@ej"]]],["if",["and",["validate/array","@e"],[">",["array/len","@e"],1],["let",[["h0",["array/nth","@e",0]]],["if",["validate/string","@h0"],["=","@h0","render-ui"],false]]],["let",[["sl",["array/nth","@e",1]]],["if",["validate/string","@sl"],[{"s":"@sl","p":["let",[["third",["array/nth","@e",2]]],["if",["validate/object","@third"],["validate/string",["object/get","@third","type",null]],false]],"ej":"@ej"}],"@noru"]],"@noru"]]]]]}]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgTr\"}},\"named\":{\"CgRu\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"p\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"ej\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]},\"CgTr\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"f\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"e\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"to\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"fs\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"cls\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hm\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"ru\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgRu\"}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["rl",["array/flatten",["array/map",["array/range",0,["array/len","@tl"]],["fn","tj",["array/map",["object/get",["default",["array/nth","@tl","@tj"],{}],"ru"],["fn","r",{"s":["object/get","@r","s"],"p":["object/get","@r","p"],"to":["object/get",["default",["array/nth","@tl","@tj"],{}],"to"],"path":["str/concat","@tp",".stateMachine.transitions[","@tj","].effects[",["object/get","@r","ej"],"]"]}]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgRl\"}},\"named\":{\"CgRl\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"p\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"to\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["initRow",["array/find","@sts",["fn","s",["=",["object/get","@s","isInitial",false],true]]]],["termNames",["array/map",["array/filter","@sts",["fn","s",["=",["object/get","@s","isTerminal",false],true]]],["fn","s",["object/get","@s","name",""]]]],["closers",["array/filter","@tl",["fn","x",["array/some",["object/get","@x","cls"],["fn","c",["object/has","@ovSet","@c"]]]]]],["ovPaint",["array/filter","@rl",["fn","r",["and",["object/get","@r","p"],["object/has","@ovSet",["object/get","@r","s"]]]]]]],["let",[["initName",["if",["=","@initRow",null],null,["object/get","@initRow","name",""]]],["ovStates",["array/unique",["array/map","@ovPaint",["fn","r",["object/get","@r","to"]]]]],["inlStates",["array/unique",["array/map",["array/filter","@rl",["fn","r",["and",["object/get","@r","p"],["=",["object/get","@r","s"],"main"]]]],["fn","r",["object/get","@r","to"]]]]]],["array/concat",["array/concat",["array/concat",["array/flatten",["array/map",["array/sort","@names"],["fn","n",["if",["or",["=","@n","@initName"],["array/some","@tl",["fn","x",["=",["object/get","@x","to"],"@n"]]]],"@nof",[{"code":"@config.codes.circuitUnreachableState.code","path":["str/concat","@tp",".stateMachine.states"],"message":["str/concat","State '","@n","' has no incoming transitions and cannot be reached"],"suggestion":"Add a transition to this state or remove it","severity":"error"}]]]]],["array/map",["array/filter","@ovPaint",["fn","r",["not",["let",[["tg",["object/get","@r","to"]],["sl",["object/get","@r","s"]]],["and",["array/includes","@names","@tg"],["array/some",["array/filter","@tl",["fn","x",["array/includes",["object/get","@x","f"],"@tg"]]],["fn","x",["or",["array/some","@closers",["fn","c2",["and",["=",["object/get","@c2","e"],["object/get","@x","e"]],["array/includes",["object/get","@c2","f"],"@tg"]]]],["and",["!=",["object/get","@x","to"],"@tg"],["let",[["sa",["array/unique",["array/map",["array/filter","@rl",["fn","q",["and",["object/get","@q","p"],["=",["object/get","@q","to"],["object/get","@x","to"]]]]],["fn","q",["object/get","@q","s"]]]]]],["or",["=",["array/len","@sa"],0],["not",["array/includes","@sa","@sl"]]]]]]]]]]]]],["fn","r",{"code":"@config.codes.circuitNoOverlayExit.code","path":["object/get","@r","path"],"message":["str/concat","State '",["object/get","@r","to"],"' renders to '",["object/get","@r","s"],"' slot but has no exit transition. Users will be stuck in this overlay."],"suggestion":["str/concat","Add a transition from '",["object/get","@r","to"],"' that goes to a state not rendering to '",["object/get","@r","s"],"' slot. Common exit events: ",["str/join","@config.exitEvents",", "]],"severity":"error"}]]],["if",["=",["array/len","@ovStates"],0],"@nof",["array/flatten",["array/map",["array/range",0,["array/len","@tl"]],["fn","tj",["let",[["x",["default",["array/nth","@tl","@tj"],{}]]],["if",["and",["array/some","@ovStates",["fn","s",["array/includes",["object/get","@x","f"],"@s"]]],["array/includes","@inlStates",["object/get","@x","to"]],["array/some",["object/get","@x","cls"],["fn","c",["object/has","@ovSet","@c"]]],["not",["object/get","@x","hm"]]],[{"code":"@config.codes.circuitModalExitIncomplete.code","path":["str/concat","@tp",".transitions[",["object/get","@x","fs"],"->",["object/get","@x","e"],"->",["object/get","@x","to"],"]"],"message":["str/concat","Transition ",["object/get","@x","fs"],"--[",["object/get","@x","e"],"]-->",["object/get","@x","to"]," closes modal but doesn't re-render main slot. Main view will show stale content."],"suggestion":"Add render-ui(\"main\", {...}) alongside render-ui(\"modal\", null) to refresh the main view after closing the modal","severity":"error"}],"@nof"]]]]]]],["array/concat",["if",["=",["array/len","@ovStates"],0],"@nof",["array/flatten",["array/map","@tl",["fn","x",["array/flatten",["array/map",["object/get","@x","f"],["fn","from",["let",[["mounted",["array/sort",["array/unique",["array/map",["array/filter","@ovPaint",["fn","r",["=",["object/get","@r","to"],"@from"]]],["fn","r",["object/get","@r","s"]]]]]]],["if",["or",["=",["array/len","@mounted"],0],["=","@from",["object/get","@x","to"]]],"@nof",["let",[["dest",["array/map",["array/filter","@ovPaint",["fn","r",["=",["object/get","@r","to"],["object/get","@x","to"]]]],["fn","r",["object/get","@r","s"]]]]],["array/flatten",["array/map",["array/filter","@mounted",["fn","ovl",["and",["not",["array/includes","@dest","@ovl"]],["not",["array/includes",["object/get","@x","cls"],"@ovl"]]]]],["fn","ovl",[{"code":"@config.codes.circuitModalExitIncomplete.code","path":["str/concat","@tp",".transitions[",["object/get","@x","fs"],"->",["object/get","@x","e"],"->",["object/get","@x","to"],"]"],"message":["str/concat","Transition ",["object/get","@x","fs"],"--[",["object/get","@x","e"],"]-->",["object/get","@x","to"]," leaves a state mounting '","@ovl","' but doesn't include `(render-ui ","@ovl"," null)` to close it. The overlay will stay mounted across the transition."],"suggestion":["str/concat","Add `(render-ui ","@ovl"," null)` to the transition's effects to explicitly close the overlay before the new state renders."],"severity":"error"}]]]]]]]]]]]]]],["array/flatten",["array/map",["array/sort","@names"],["fn","n",["if",["or",["array/includes","@termNames","@n"],["array/some","@tl",["fn","x",["array/includes",["object/get","@x","f"],"@n"]]]],"@nof",[{"code":"@config.codes.circuitDeadEndState.code","path":["str/concat","@tp",".stateMachine.states"],"message":["str/concat","State '","@n","' has no outgoing transitions - it may be a dead end"],"suggestion":"Add outgoing transitions or mark as terminal state with isTerminal: true","severity":"error"}]]]]]]]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_4Z1YX5CQ7RBKW779DC6D7CZ477","effects":[["emit","LINT_FOUND",{"rule":"circuit-graph","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintCircuitGraphCodes","default":{"circuitUnreachableState":{"code":"CIRCUIT_UNREACHABLE_STATE","category":"circuit","description":"A state has no incoming transitions and cannot be reached"},"circuitNoOverlayExit":{"code":"CIRCUIT_NO_OVERLAY_EXIT","category":"circuit","description":"A state renders into an overlay slot but has no exit transition, leaving users stuck"},"circuitModalExitIncomplete":{"code":"CIRCUIT_MODAL_EXIT_INCOMPLETE","category":"circuit","description":"A transition leaving a modal state does not close the modal overlay it opened"},"circuitDeadEndState":{"code":"CIRCUIT_DEAD_END_STATE","category":"circuit","description":"A state has no outgoing transitions, so it is a dead end"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"circuitUnreachableState":{"nullable":false,"name":"circuitUnreachableState","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"}},"circuitNoOverlayExit":{"nullable":false,"name":"circuitNoOverlayExit","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"}},"circuitModalExitIncomplete":{"nullable":false,"name":"circuitModalExitIncomplete","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"}},"circuitDeadEndState":{"nullable":false,"name":"circuitDeadEndState","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":"LintCircuitGraphCodes"}},"overlaySlots":{"nullable":false,"type":"[string]","default":["modal","drawer","dock","overlay"],"label":"Overlay slots","description":"The slots the portal shell wraps; a state painting one needs a way out.","items":{"nullable":false,"type":"string"}},"exitEvents":{"nullable":false,"type":"[string]","default":["CLOSE","CANCEL","DISMISS","SAVE","SUBMIT","CONFIRM"],"label":"Overlay exit events","description":"The events the overlay-exit suggestion names.","items":{"nullable":false,"type":"string"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_85C24SCAMK5A9KNW92FY1R4PEN","fingerprint":"0191780e21d654745e34078c3cafe2e34dac9f0b740dbb0eabc8c3813644bacb"}},{"name":"OrbLintCircuitGraphCli","id":"trt_KHV4B6ACGS68CMJWKTXSKFC40N","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintCircuitGraphRun","linkedEntityId":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D","entityRefIds":{"OrbLintCircuitGraphRun":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_82BA3FNF4QQJBYVZHTA9BRMF4Y","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_0WJ5ME0XMKET9GHJ12BDMQJYSG","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_Z5ME4GJ53E2HQ26830Z1R307DC","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_7Y5DX1E36C1K654WGER8QK8SDR","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_GCE0VFBJ4NS2AW1XJWKVZ2TST1","triggers":"LINT_FOUND","triggersId":"evt_Z5ME4GJ53E2HQ26830Z1R307DC","source":{"kind":"trait","trait":"OrbLintCircuitGraph","traitId":"trt_85C24SCAMK5A9KNW92FY1R4PEN"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_7Y5DX1E36C1K654WGER8QK8SDR","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_7Y5DX1E36C1K654WGER8QK8SDR","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_5DNC9YYE6T73DFFYNTCMCYKF5J"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_Y8V6589CWZPEFZWZMRS7H6D580","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_84JFB12NG8AR44638BFWGJVGCR","name":"Lint Called","description":"Run `orb lint circuit-graph` with its arguments and working directory.","synonyms":"orb lint circuit-graph","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-circuit-graph","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_Z5ME4GJ53E2HQ26830Z1R307DC","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_7Y5DX1E36C1K654WGER8QK8SDR","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_82BA3FNF4QQJBYVZHTA9BRMF4Y","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_0WJ5ME0XMKET9GHJ12BDMQJYSG","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_Y8V6589CWZPEFZWZMRS7H6D580"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_84JFB12NG8AR44638BFWGJVGCR","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 circuit-graph <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_84JFB12NG8AR44638BFWGJVGCR","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 circuit-graph <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_Y8V6589CWZPEFZWZMRS7H6D580"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_Z5ME4GJ53E2HQ26830Z1R307DC","guard":["and",["=","@payload.rule","circuit-graph"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint circuit-graph: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_Z5ME4GJ53E2HQ26830Z1R307DC","guard":["and",["=","@payload.rule","circuit-graph"],[">",["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_7Y5DX1E36C1K654WGER8QK8SDR","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint circuit-graph: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_KHV4B6ACGS68CMJWKTXSKFC40N","fingerprint":"a51725be96c70239c69e73b7a9a0806b41d28edc99553c670dbe87378056058c"}},{"ref":"Input.traits.Versions","id":"trt_88621MNA9GN4RFFREJQ4CXP5Q7","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_4N1661XPAFV57P9VR41FN91P7P","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_5DNC9YYE6T73DFFYNTCMCYKF5J","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintCircuitGraphCli"}},{"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":"OrbLintCircuitGraphOrbitalStart","id":"pag_1PKZ0EW8VN4DTZYEF17P2FRXC8","path":"","protocol":"boot","traits":[{"ref":"OrbLintCircuitGraph","refId":"trt_85C24SCAMK5A9KNW92FY1R4PEN"},{"ref":"OrbLintCircuitGraphCli","refId":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},{"ref":"OrbLintInput","refId":"trt_5DNC9YYE6T73DFFYNTCMCYKF5J"},{"ref":"Packs","refId":"trt_4N1661XPAFV57P9VR41FN91P7P"},{"ref":"Versions","refId":"trt_88621MNA9GN4RFFREJQ4CXP5Q7"}]}],"types":{"CgFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"CgMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"CgNode":[{"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":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}},{"nullable":false,"name":"object","type":"Map<string,CgNode>","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}]}],"CgOrbital":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"items":{"nullable":false,"name":"","type":"CgTrait","projectedFrom":{"type":"CgTrait"}}}],"CgProgram":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"items":{"nullable":false,"name":"","type":"CgTrait","projectedFrom":{"type":"CgTrait"}}}],"items":{"nullable":false,"name":"","type":"CgOrbital","projectedFrom":{"type":"CgOrbital"}}}],"CgRl":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true}],"CgRu":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"ej","type":"number","required":true}],"CgState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"CgTr":[{"nullable":false,"name":"f","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"e","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"fs","type":"string","required":true},{"nullable":false,"name":"cls","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"hm","type":"boolean","required":true},{"nullable":false,"name":"ru","type":"[object]","required":true,"properties":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"ej","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"CgRu","projectedFrom":{"type":"CgRu"}}}],"CgTrait":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"CgTransition":[{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"LintCircuitGraphCodes":[{"nullable":false,"name":"circuitUnreachableState","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":"circuitNoOverlayExit","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":"circuitModalExitIncomplete","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":"circuitDeadEndState","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"}}],"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}],"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-circuit-graph"],"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_J2VY80PFWJ7Y91FK19YQCBTC1D":{"id":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D","kind":"entity","bakedName":"OrbLintCircuitGraphRun","curName":"OrbLintCircuitGraphRun","renames":[],"owner":"workspace"},"evt_0WJ5ME0XMKET9GHJ12BDMQJYSG":{"id":"evt_0WJ5ME0XMKET9GHJ12BDMQJYSG","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_4Z1YX5CQ7RBKW779DC6D7CZ477":{"id":"evt_4Z1YX5CQ7RBKW779DC6D7CZ477","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_85C24SCAMK5A9KNW92FY1R4PEN"},"evt_7Y5DX1E36C1K654WGER8QK8SDR":{"id":"evt_7Y5DX1E36C1K654WGER8QK8SDR","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_82BA3FNF4QQJBYVZHTA9BRMF4Y":{"id":"evt_82BA3FNF4QQJBYVZHTA9BRMF4Y","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_84JFB12NG8AR44638BFWGJVGCR":{"id":"evt_84JFB12NG8AR44638BFWGJVGCR","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_GCE0VFBJ4NS2AW1XJWKVZ2TST1":{"id":"evt_GCE0VFBJ4NS2AW1XJWKVZ2TST1","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_85C24SCAMK5A9KNW92FY1R4PEN"},"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0":{"id":"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_85C24SCAMK5A9KNW92FY1R4PEN"},"evt_Y8V6589CWZPEFZWZMRS7H6D580":{"id":"evt_Y8V6589CWZPEFZWZMRS7H6D580","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_Z5ME4GJ53E2HQ26830Z1R307DC":{"id":"evt_Z5ME4GJ53E2HQ26830Z1R307DC","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_ZJB1YAE6Z63FKFDN6BWGAEEEGR":{"id":"evt_ZJB1YAE6Z63FKFDN6BWGAEEEGR","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_85C24SCAMK5A9KNW92FY1R4PEN"},"orb_ZD1SP89PAJV594GVNWR0BMRWA6":{"id":"orb_ZD1SP89PAJV594GVNWR0BMRWA6","kind":"orbital","bakedName":"OrbLintCircuitGraphOrbital","curName":"OrbLintCircuitGraphOrbital","renames":[],"owner":"workspace"},"pag_1PKZ0EW8VN4DTZYEF17P2FRXC8":{"id":"pag_1PKZ0EW8VN4DTZYEF17P2FRXC8","kind":"page","bakedName":"OrbLintCircuitGraphOrbitalStart","curName":"OrbLintCircuitGraphOrbitalStart","renames":[],"owner":"workspace"},"trt_4N1661XPAFV57P9VR41FN91P7P":{"id":"trt_4N1661XPAFV57P9VR41FN91P7P","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_5DNC9YYE6T73DFFYNTCMCYKF5J":{"id":"trt_5DNC9YYE6T73DFFYNTCMCYKF5J","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_85C24SCAMK5A9KNW92FY1R4PEN":{"id":"trt_85C24SCAMK5A9KNW92FY1R4PEN","kind":"trait","bakedName":"OrbLintCircuitGraph","curName":"OrbLintCircuitGraph","renames":[],"owner":"workspace"},"trt_88621MNA9GN4RFFREJQ4CXP5Q7":{"id":"trt_88621MNA9GN4RFFREJQ4CXP5Q7","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_KHV4B6ACGS68CMJWKTXSKFC40N":{"id":"trt_KHV4B6ACGS68CMJWKTXSKFC40N","kind":"trait","bakedName":"OrbLintCircuitGraphCli","curName":"OrbLintCircuitGraphCli","renames":[],"owner":"workspace"}}}}
1	+ {"typeContractVersion":1,"types":{"CgFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"CgMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"CgNode":[{"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":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}},{"nullable":false,"name":"object","type":"Map<string,CgNode>","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}]}],"CgOrbital":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"items":{"nullable":false,"name":"","type":"CgTrait","projectedFrom":{"type":"CgTrait"}}}],"CgProgram":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"items":{"nullable":false,"name":"","type":"CgTrait","projectedFrom":{"type":"CgTrait"}}}],"items":{"nullable":false,"name":"","type":"CgOrbital","projectedFrom":{"type":"CgOrbital"}}}],"CgRl":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true}],"CgRu":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"ej","type":"number","required":true}],"CgState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"CgTr":[{"nullable":false,"name":"f","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"e","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"fs","type":"string","required":true},{"nullable":false,"name":"cls","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"hm","type":"boolean","required":true},{"nullable":false,"name":"ru","type":"[object]","required":true,"properties":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"ej","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"CgRu","projectedFrom":{"type":"CgRu"}}}],"CgTrait":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"CgTransition":[{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"LintCircuitGraphCodes":[{"nullable":false,"name":"circuitUnreachableState","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":"circuitNoOverlayExit","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":"circuitModalExitIncomplete","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":"circuitDeadEndState","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"}}],"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}],"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-circuit-graph","version":"1.0.0","description":"std-orb-lint-circuit-graph - the `orb lint circuit-graph <file>` command, the port of the state-graph and overlay-exit checks of validate_closed_circuit (circuit/closed_circuit.rs). For every inline trait it reports CIRCUIT_UNREACHABLE_STATE (a non-initial state no transition enters), CIRCUIT_DEAD_END_STATE (a state no transition leaves by name that is not marked isTerminal), CIRCUIT_NO_OVERLAY_EXIT (a state that paints a pattern into an overlay slot and has no transition that closes the slot or lands in a state that does not paint it) and CIRCUIT_MODAL_EXIT_INCOMPLETE (a transition from an overlay state into a main-painting state that closes the overlay without repainting main, and a transition that leaves a state mounting an overlay slot without a `(render-ui <slot> null)` for it). The overlay slot names are the rule's overlaySlots knob and the exit events of the suggestion its exitEvents knob. Each finding carries the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint circuit-graph: clean` (status 200, exit 0). Anything but one file argument is the usage (status 400, exit 2); an unreadable or unlowerable file is status 500.","orbitals":[{"name":"OrbLintCircuitGraphOrbital","id":"orb_ZD1SP89PAJV594GVNWR0BMRWA6","uses":[{"from":"almadar-std/lint-circuit-graph","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintCircuitGraphRun","id":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"program","type":"object","default":{},"properties":{"orbitals":{"nullable":false,"name":"orbitals","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"traits":{"nullable":false,"name":"traits","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"stateMachine":{"nullable":false,"name":"stateMachine","type":"object","required":false,"properties":{"states":{"nullable":false,"name":"states","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"isInitial":{"nullable":false,"name":"isInitial","type":"boolean","required":false},"isTerminal":{"nullable":false,"name":"isTerminal","type":"boolean","required":false}},"projectedFrom":{"type":"CgState"}}},"transitions":{"nullable":false,"name":"transitions","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"from":{"nullable":false,"name":"from","type":"union","required":false,"values":["string","array"],"properties":{"string":{"nullable":false,"name":"string","type":"string"},"array":{"nullable":false,"name":"array","type":"array","items":{"nullable":false,"type":"string"}}},"projectedFrom":{"type":"CgFrom"}},"to":{"nullable":false,"name":"to","type":"string","required":false},"event":{"nullable":false,"name":"event","type":"string","required":false},"effects":{"nullable":false,"name":"effects","type":"array","required":false,"items":{"nullable":true,"type":"union","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":["CgNode"],"projectedFrom":{"type":"CgNode"}}},"map":{"nullable":false,"name":"map","type":"object","items":{"nullable":true,"type":"union","values":["CgNode"],"projectedFrom":{"type":"CgNode"}}}},"projectedFrom":{"type":"CgNode"}}}},"projectedFrom":{"type":"CgTransition"}}}},"projectedFrom":{"type":"CgMachine"}}},"projectedFrom":{"type":"CgTrait"}}}},"projectedFrom":{"type":"CgOrbital"}}}},"projectedFrom":{"type":"CgProgram"}},{"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":"OrbLintCircuitGraph","id":"trt_85C24SCAMK5A9KNW92FY1R4PEN","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.program"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintCircuitGraphRun","linkedEntityId":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D","entityRefIds":{"OrbLintCircuitGraphRun":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D"},"emits":[{"event":"LINT_FOUND","eventId":"evt_GCE0VFBJ4NS2AW1XJWKVZ2TST1","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_4Z1YX5CQ7RBKW779DC6D7CZ477","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0","triggers":"LINT_INPUT","triggersId":"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_5DNC9YYE6T73DFFYNTCMCYKF5J"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_ZJB1YAE6Z63FKFDN6BWGAEEEGR","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0","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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"items":{"nullable":false,"name":"","type":"CgTrait","projectedFrom":{"type":"CgTrait"}}}],"items":{"nullable":false,"name":"","type":"CgOrbital","projectedFrom":{"type":"CgOrbital"}}}],"projectedFrom":{"type":"CgProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_4Z1YX5CQ7RBKW779DC6D7CZ477","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_GCE0VFBJ4NS2AW1XJWKVZ2TST1","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_ZJB1YAE6Z63FKFDN6BWGAEEEGR"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0","effects":[["set","@entity.program","@payload.program"],["set","@entity.scope","@payload.scope"],["set","@entity.findings",["let",[["nos",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["nof",[],"{\"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\":[]}]}}}"],["noru",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgRu\"}},\"named\":{\"CgRu\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"p\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"ej\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"],["notr",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgTransition\"}},\"named\":{\"CgFrom\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]},\"CgNode\":{\"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\":\"CgNode\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgNode\"}}},\"required\":true,\"constraints\":[]}]},\"CgTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"from\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"CgFrom\"},\"required\":false,\"constraints\":[]},{\"name\":\"to\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgNode\"}}},\"required\":false,\"constraints\":[]}]}}}"],["nost",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgState\"}},\"named\":{\"CgState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"isInitial\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":false,\"constraints\":[]},{\"name\":\"isTerminal\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":false,\"constraints\":[]}]}}}"],["ov","@config.overlaySlots"],["ovSet",["default",["object/fromEntries",["array/map","@config.overlaySlots",["fn","x",["@x",true]]]],{}]]],["array/flatten",["array/map",["object/get","@entity.program","orbitals",[]],["fn",["o","oi"],["array/flatten",["array/map",["object/get","@o","traits",[]],["fn",["t","ti"],["if",["not",["object/has","@t","stateMachine"]],"@nof",["let",[["tp",["str/concat","orbitals[","@oi"," (",["object/get","@o","name",""],")].traits[","@ti"," (",["object/get","@t","name",""],")]"]],["sts",["object/get","@t","stateMachine.states","@nost"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgState\"}},\"named\":{\"CgState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"isInitial\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":false,\"constraints\":[]},{\"name\":\"isTerminal\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":false,\"constraints\":[]}]}}}"],["trs",["object/get","@t","stateMachine.transitions","@notr"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgTransition\"}},\"named\":{\"CgFrom\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]},\"CgNode\":{\"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\":\"CgNode\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgNode\"}}},\"required\":true,\"constraints\":[]}]},\"CgTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"from\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"CgFrom\"},\"required\":false,\"constraints\":[]},{\"name\":\"to\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgNode\"}}},\"required\":false,\"constraints\":[]}]}}}"]],["let",[["names",["array/unique",["array/map","@sts",["fn","s",["object/get","@s","name",""]]]]]],["let",[["tl",["array/map","@trs",["fn","x",["let",[["fr",["object/get","@x","from",""]],["effs",["object/get","@x","effects",[]]]],{"f":["if",["validate/string","@fr"],["array/append","@nos","@fr"],"@fr"],"e":["object/get","@x","event",""],"to":["object/get","@x","to",""],"fs":["if",["validate/string","@fr"],"@fr",["str/concat","[",["str/join","@fr",", "],"]"]],"cls":["array/flatten",["array/map","@effs",["fn","e",["if",["and",["validate/array","@e"],[">=",["array/len","@e"],3],["let",[["h0",["array/nth","@e",0]]],["if",["validate/string","@h0"],["=","@h0","render-ui"],false]],["=",["array/nth","@e",2],null]],["let",[["sl",["array/nth","@e",1]]],["if",["validate/string","@sl"],["array/append","@nos","@sl"],"@nos"]],"@nos"]]]],"hm":["array/some","@effs",["fn","e",["and",["validate/array","@e"],[">=",["array/len","@e"],3],["let",[["h0",["array/nth","@e",0]]],["if",["validate/string","@h0"],["=","@h0","render-ui"],false]],["let",[["h1",["array/nth","@e",1]]],["if",["validate/string","@h1"],["=","@h1","main"],false]],["!=",["array/nth","@e",2],null]]]],"ru":["array/flatten",["array/map",["array/range",0,["array/len","@effs"]],["fn","ej",["let",[["e",["array/nth","@effs","@ej"]]],["if",["and",["validate/array","@e"],[">",["array/len","@e"],1],["let",[["h0",["array/nth","@e",0]]],["if",["validate/string","@h0"],["=","@h0","render-ui"],false]]],["let",[["sl",["array/nth","@e",1]]],["if",["validate/string","@sl"],[{"s":"@sl","p":["let",[["third",["array/nth","@e",2]]],["if",["validate/object","@third"],["validate/string",["object/get","@third","type",null]],false]],"ej":"@ej"}],"@noru"]],"@noru"]]]]]}]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgTr\"}},\"named\":{\"CgRu\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"p\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"ej\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]},\"CgTr\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"f\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"e\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"to\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"fs\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"cls\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hm\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"ru\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgRu\"}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["rl",["array/flatten",["array/map",["array/range",0,["array/len","@tl"]],["fn","tj",["array/map",["object/get",["default",["array/nth","@tl","@tj"],{}],"ru"],["fn","r",{"s":["object/get","@r","s"],"p":["object/get","@r","p"],"to":["object/get",["default",["array/nth","@tl","@tj"],{}],"to"],"path":["str/concat","@tp",".stateMachine.transitions[","@tj","].effects[",["object/get","@r","ej"],"]"]}]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"CgRl\"}},\"named\":{\"CgRl\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"p\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"to\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["initRow",["array/find","@sts",["fn","s",["=",["object/get","@s","isInitial",false],true]]]],["termNames",["array/map",["array/filter","@sts",["fn","s",["=",["object/get","@s","isTerminal",false],true]]],["fn","s",["object/get","@s","name",""]]]],["closers",["array/filter","@tl",["fn","x",["array/some",["object/get","@x","cls"],["fn","c",["object/has","@ovSet","@c"]]]]]],["ovPaint",["array/filter","@rl",["fn","r",["and",["object/get","@r","p"],["object/has","@ovSet",["object/get","@r","s"]]]]]]],["let",[["initName",["if",["=","@initRow",null],null,["object/get","@initRow","name",""]]],["ovStates",["array/unique",["array/map","@ovPaint",["fn","r",["object/get","@r","to"]]]]],["inlStates",["array/unique",["array/map",["array/filter","@rl",["fn","r",["and",["object/get","@r","p"],["=",["object/get","@r","s"],"main"]]]],["fn","r",["object/get","@r","to"]]]]]],["array/concat",["array/concat",["array/concat",["array/flatten",["array/map",["array/sort","@names"],["fn","n",["if",["or",["=","@n","@initName"],["array/some","@tl",["fn","x",["=",["object/get","@x","to"],"@n"]]]],"@nof",[{"code":"@config.codes.circuitUnreachableState.code","path":["str/concat","@tp",".stateMachine.states"],"message":["str/concat","State '","@n","' has no incoming transitions and cannot be reached"],"suggestion":"Add a transition to this state or remove it","severity":"error"}]]]]],["array/map",["array/filter","@ovPaint",["fn","r",["not",["let",[["tg",["object/get","@r","to"]],["sl",["object/get","@r","s"]]],["and",["array/includes","@names","@tg"],["array/some",["array/filter","@tl",["fn","x",["array/includes",["object/get","@x","f"],"@tg"]]],["fn","x",["or",["array/some","@closers",["fn","c2",["and",["=",["object/get","@c2","e"],["object/get","@x","e"]],["array/includes",["object/get","@c2","f"],"@tg"]]]],["and",["!=",["object/get","@x","to"],"@tg"],["let",[["sa",["array/unique",["array/map",["array/filter","@rl",["fn","q",["and",["object/get","@q","p"],["=",["object/get","@q","to"],["object/get","@x","to"]]]]],["fn","q",["object/get","@q","s"]]]]]],["or",["=",["array/len","@sa"],0],["not",["array/includes","@sa","@sl"]]]]]]]]]]]]],["fn","r",{"code":"@config.codes.circuitNoOverlayExit.code","path":["object/get","@r","path"],"message":["str/concat","State '",["object/get","@r","to"],"' renders to '",["object/get","@r","s"],"' slot but has no exit transition. Users will be stuck in this overlay."],"suggestion":["str/concat","Add a transition from '",["object/get","@r","to"],"' that goes to a state not rendering to '",["object/get","@r","s"],"' slot. Common exit events: ",["str/join","@config.exitEvents",", "]],"severity":"error"}]]],["if",["=",["array/len","@ovStates"],0],"@nof",["array/flatten",["array/map",["array/range",0,["array/len","@tl"]],["fn","tj",["let",[["x",["default",["array/nth","@tl","@tj"],{}]]],["if",["and",["array/some","@ovStates",["fn","s",["array/includes",["object/get","@x","f"],"@s"]]],["array/includes","@inlStates",["object/get","@x","to"]],["array/some",["object/get","@x","cls"],["fn","c",["object/has","@ovSet","@c"]]],["not",["object/get","@x","hm"]]],[{"code":"@config.codes.circuitModalExitIncomplete.code","path":["str/concat","@tp",".transitions[",["object/get","@x","fs"],"->",["object/get","@x","e"],"->",["object/get","@x","to"],"]"],"message":["str/concat","Transition ",["object/get","@x","fs"],"--[",["object/get","@x","e"],"]-->",["object/get","@x","to"]," closes modal but doesn't re-render main slot. Main view will show stale content."],"suggestion":"Add render-ui(\"main\", {...}) alongside render-ui(\"modal\", null) to refresh the main view after closing the modal","severity":"error"}],"@nof"]]]]]]],["array/concat",["if",["=",["array/len","@ovStates"],0],"@nof",["array/flatten",["array/map","@tl",["fn","x",["array/flatten",["array/map",["object/get","@x","f"],["fn","from",["let",[["mounted",["array/sort",["array/unique",["array/map",["array/filter","@ovPaint",["fn","r",["=",["object/get","@r","to"],"@from"]]],["fn","r",["object/get","@r","s"]]]]]]],["if",["or",["=",["array/len","@mounted"],0],["=","@from",["object/get","@x","to"]]],"@nof",["let",[["dest",["array/map",["array/filter","@ovPaint",["fn","r",["=",["object/get","@r","to"],["object/get","@x","to"]]]],["fn","r",["object/get","@r","s"]]]]],["array/flatten",["array/map",["array/filter","@mounted",["fn","ovl",["and",["not",["array/includes","@dest","@ovl"]],["not",["array/includes",["object/get","@x","cls"],"@ovl"]]]]],["fn","ovl",[{"code":"@config.codes.circuitModalExitIncomplete.code","path":["str/concat","@tp",".transitions[",["object/get","@x","fs"],"->",["object/get","@x","e"],"->",["object/get","@x","to"],"]"],"message":["str/concat","Transition ",["object/get","@x","fs"],"--[",["object/get","@x","e"],"]-->",["object/get","@x","to"]," leaves a state mounting '","@ovl","' but doesn't include `(render-ui ","@ovl"," null)` to close it. The overlay will stay mounted across the transition."],"suggestion":["str/concat","Add `(render-ui ","@ovl"," null)` to the transition's effects to explicitly close the overlay before the new state renders."],"severity":"error"}]]]]]]]]]]]]]],["array/flatten",["array/map",["array/sort","@names"],["fn","n",["if",["or",["array/includes","@termNames","@n"],["array/some","@tl",["fn","x",["array/includes",["object/get","@x","f"],"@n"]]]],"@nof",[{"code":"@config.codes.circuitDeadEndState.code","path":["str/concat","@tp",".stateMachine.states"],"message":["str/concat","State '","@n","' has no outgoing transitions - it may be a dead end"],"suggestion":"Add outgoing transitions or mark as terminal state with isTerminal: true","severity":"error"}]]]]]]]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_4Z1YX5CQ7RBKW779DC6D7CZ477","effects":[["emit","LINT_FOUND",{"rule":"circuit-graph","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintCircuitGraphCodes","default":{"circuitUnreachableState":{"code":"CIRCUIT_UNREACHABLE_STATE","category":"circuit","description":"A state has no incoming transitions and cannot be reached"},"circuitNoOverlayExit":{"code":"CIRCUIT_NO_OVERLAY_EXIT","category":"circuit","description":"A state renders into an overlay slot but has no exit transition, leaving users stuck"},"circuitModalExitIncomplete":{"code":"CIRCUIT_MODAL_EXIT_INCOMPLETE","category":"circuit","description":"A transition leaving a modal state does not close the modal overlay it opened"},"circuitDeadEndState":{"code":"CIRCUIT_DEAD_END_STATE","category":"circuit","description":"A state has no outgoing transitions, so it is a dead end"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"circuitUnreachableState":{"nullable":false,"name":"circuitUnreachableState","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"}},"circuitNoOverlayExit":{"nullable":false,"name":"circuitNoOverlayExit","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"}},"circuitModalExitIncomplete":{"nullable":false,"name":"circuitModalExitIncomplete","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"}},"circuitDeadEndState":{"nullable":false,"name":"circuitDeadEndState","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":"LintCircuitGraphCodes"}},"overlaySlots":{"nullable":false,"type":"[string]","default":["modal","drawer","dock","overlay"],"label":"Overlay slots","description":"The slots the portal shell wraps; a state painting one needs a way out.","items":{"nullable":false,"type":"string"}},"exitEvents":{"nullable":false,"type":"[string]","default":["CLOSE","CANCEL","DISMISS","SAVE","SUBMIT","CONFIRM"],"label":"Overlay exit events","description":"The events the overlay-exit suggestion names.","items":{"nullable":false,"type":"string"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_85C24SCAMK5A9KNW92FY1R4PEN","fingerprint":"0191780e21d654745e34078c3cafe2e34dac9f0b740dbb0eabc8c3813644bacb"}},{"name":"OrbLintCircuitGraphCli","id":"trt_KHV4B6ACGS68CMJWKTXSKFC40N","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintCircuitGraphRun","linkedEntityId":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D","entityRefIds":{"OrbLintCircuitGraphRun":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_82BA3FNF4QQJBYVZHTA9BRMF4Y","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_0WJ5ME0XMKET9GHJ12BDMQJYSG","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_Z5ME4GJ53E2HQ26830Z1R307DC","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_7Y5DX1E36C1K654WGER8QK8SDR","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_GCE0VFBJ4NS2AW1XJWKVZ2TST1","triggers":"LINT_FOUND","triggersId":"evt_Z5ME4GJ53E2HQ26830Z1R307DC","source":{"kind":"trait","trait":"OrbLintCircuitGraph","traitId":"trt_85C24SCAMK5A9KNW92FY1R4PEN"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_7Y5DX1E36C1K654WGER8QK8SDR","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_7Y5DX1E36C1K654WGER8QK8SDR","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_5DNC9YYE6T73DFFYNTCMCYKF5J"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_Y8V6589CWZPEFZWZMRS7H6D580","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_84JFB12NG8AR44638BFWGJVGCR","name":"Lint Called","description":"Run `orb lint circuit-graph` with its arguments and working directory.","synonyms":"orb lint circuit-graph","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-circuit-graph","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_Z5ME4GJ53E2HQ26830Z1R307DC","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_7Y5DX1E36C1K654WGER8QK8SDR","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_82BA3FNF4QQJBYVZHTA9BRMF4Y","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_0WJ5ME0XMKET9GHJ12BDMQJYSG","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_Y8V6589CWZPEFZWZMRS7H6D580"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_84JFB12NG8AR44638BFWGJVGCR","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 circuit-graph <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_84JFB12NG8AR44638BFWGJVGCR","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 circuit-graph <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_Y8V6589CWZPEFZWZMRS7H6D580"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_Z5ME4GJ53E2HQ26830Z1R307DC","guard":["and",["=","@payload.rule","circuit-graph"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint circuit-graph: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_Z5ME4GJ53E2HQ26830Z1R307DC","guard":["and",["=","@payload.rule","circuit-graph"],[">",["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_7Y5DX1E36C1K654WGER8QK8SDR","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint circuit-graph: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_KHV4B6ACGS68CMJWKTXSKFC40N","fingerprint":"a51725be96c70239c69e73b7a9a0806b41d28edc99553c670dbe87378056058c"}},{"ref":"Input.traits.Versions","id":"trt_88621MNA9GN4RFFREJQ4CXP5Q7","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_4N1661XPAFV57P9VR41FN91P7P","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_5DNC9YYE6T73DFFYNTCMCYKF5J","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintCircuitGraphCli"}},{"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":"OrbLintCircuitGraphOrbitalStart","id":"pag_1PKZ0EW8VN4DTZYEF17P2FRXC8","path":"","protocol":"boot","traits":[{"ref":"OrbLintCircuitGraph","refId":"trt_85C24SCAMK5A9KNW92FY1R4PEN"},{"ref":"OrbLintCircuitGraphCli","refId":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},{"ref":"OrbLintInput","refId":"trt_5DNC9YYE6T73DFFYNTCMCYKF5J"},{"ref":"Packs","refId":"trt_4N1661XPAFV57P9VR41FN91P7P"},{"ref":"Versions","refId":"trt_88621MNA9GN4RFFREJQ4CXP5Q7"}]}],"types":{"CgFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"CgMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"CgNode":[{"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":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}},{"nullable":false,"name":"object","type":"Map<string,CgNode>","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}]}],"CgOrbital":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"items":{"nullable":false,"name":"","type":"CgTrait","projectedFrom":{"type":"CgTrait"}}}],"CgProgram":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"items":{"nullable":false,"name":"","type":"CgTrait","projectedFrom":{"type":"CgTrait"}}}],"items":{"nullable":false,"name":"","type":"CgOrbital","projectedFrom":{"type":"CgOrbital"}}}],"CgRl":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true}],"CgRu":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"ej","type":"number","required":true}],"CgState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"CgTr":[{"nullable":false,"name":"f","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"e","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"fs","type":"string","required":true},{"nullable":false,"name":"cls","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"hm","type":"boolean","required":true},{"nullable":false,"name":"ru","type":"[object]","required":true,"properties":[{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"p","type":"boolean","required":true},{"nullable":false,"name":"ej","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"CgRu","projectedFrom":{"type":"CgRu"}}}],"CgTrait":[{"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"},{"nullable":false,"name":"isTerminal","type":"boolean"}],"items":{"nullable":false,"name":"","type":"CgState","projectedFrom":{"type":"CgState"}}},{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"items":{"nullable":false,"name":"","type":"CgTransition","projectedFrom":{"type":"CgTransition"}}}],"projectedFrom":{"type":"CgMachine"}}],"CgTransition":[{"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":"CgFrom"}},{"nullable":false,"name":"to","type":"string"},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"effects","type":"[CgNode]","items":{"nullable":true,"name":"","type":"CgNode","projectedFrom":{"type":"CgNode"}}}],"LintCircuitGraphCodes":[{"nullable":false,"name":"circuitUnreachableState","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":"circuitNoOverlayExit","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":"circuitModalExitIncomplete","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":"circuitDeadEndState","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"}}],"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}],"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-circuit-graph"],"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_J2VY80PFWJ7Y91FK19YQCBTC1D":{"id":"ent_J2VY80PFWJ7Y91FK19YQCBTC1D","kind":"entity","bakedName":"OrbLintCircuitGraphRun","curName":"OrbLintCircuitGraphRun","renames":[],"owner":"workspace"},"evt_0WJ5ME0XMKET9GHJ12BDMQJYSG":{"id":"evt_0WJ5ME0XMKET9GHJ12BDMQJYSG","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_4Z1YX5CQ7RBKW779DC6D7CZ477":{"id":"evt_4Z1YX5CQ7RBKW779DC6D7CZ477","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_85C24SCAMK5A9KNW92FY1R4PEN"},"evt_7Y5DX1E36C1K654WGER8QK8SDR":{"id":"evt_7Y5DX1E36C1K654WGER8QK8SDR","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_82BA3FNF4QQJBYVZHTA9BRMF4Y":{"id":"evt_82BA3FNF4QQJBYVZHTA9BRMF4Y","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_84JFB12NG8AR44638BFWGJVGCR":{"id":"evt_84JFB12NG8AR44638BFWGJVGCR","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_GCE0VFBJ4NS2AW1XJWKVZ2TST1":{"id":"evt_GCE0VFBJ4NS2AW1XJWKVZ2TST1","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_85C24SCAMK5A9KNW92FY1R4PEN"},"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0":{"id":"evt_JW3HECN0YYGFFCVFFJ0KQZ99Y0","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_85C24SCAMK5A9KNW92FY1R4PEN"},"evt_Y8V6589CWZPEFZWZMRS7H6D580":{"id":"evt_Y8V6589CWZPEFZWZMRS7H6D580","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_Z5ME4GJ53E2HQ26830Z1R307DC":{"id":"evt_Z5ME4GJ53E2HQ26830Z1R307DC","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_KHV4B6ACGS68CMJWKTXSKFC40N"},"evt_ZJB1YAE6Z63FKFDN6BWGAEEEGR":{"id":"evt_ZJB1YAE6Z63FKFDN6BWGAEEEGR","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_85C24SCAMK5A9KNW92FY1R4PEN"},"orb_ZD1SP89PAJV594GVNWR0BMRWA6":{"id":"orb_ZD1SP89PAJV594GVNWR0BMRWA6","kind":"orbital","bakedName":"OrbLintCircuitGraphOrbital","curName":"OrbLintCircuitGraphOrbital","renames":[],"owner":"workspace"},"pag_1PKZ0EW8VN4DTZYEF17P2FRXC8":{"id":"pag_1PKZ0EW8VN4DTZYEF17P2FRXC8","kind":"page","bakedName":"OrbLintCircuitGraphOrbitalStart","curName":"OrbLintCircuitGraphOrbitalStart","renames":[],"owner":"workspace"},"trt_4N1661XPAFV57P9VR41FN91P7P":{"id":"trt_4N1661XPAFV57P9VR41FN91P7P","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_5DNC9YYE6T73DFFYNTCMCYKF5J":{"id":"trt_5DNC9YYE6T73DFFYNTCMCYKF5J","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_85C24SCAMK5A9KNW92FY1R4PEN":{"id":"trt_85C24SCAMK5A9KNW92FY1R4PEN","kind":"trait","bakedName":"OrbLintCircuitGraph","curName":"OrbLintCircuitGraph","renames":[],"owner":"workspace"},"trt_88621MNA9GN4RFFREJQ4CXP5Q7":{"id":"trt_88621MNA9GN4RFFREJQ4CXP5Q7","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_KHV4B6ACGS68CMJWKTXSKFC40N":{"id":"trt_KHV4B6ACGS68CMJWKTXSKFC40N","kind":"trait","bakedName":"OrbLintCircuitGraphCli","curName":"OrbLintCircuitGraphCli","renames":[],"owner":"workspace"}}}}