@almadar/std 17.0.1 → 17.0.2

package/behaviors/registry/cli/atoms/std-orb-lint-state-unreachable.orb

@@ -1 +1 @@
-{"typeContractVersion":1,"types":{"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}],"LintStateUnreachableCodes":[{"nullable":false,"name":"tStateUnreachable","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"}}],"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"]}],"StUnreachFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"StUnreachMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"StUnreachOrbital":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"items":{"nullable":false,"name":"","type":"StUnreachTrait","projectedFrom":{"type":"StUnreachTrait"}}}],"StUnreachProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"items":{"nullable":false,"name":"","type":"StUnreachTrait","projectedFrom":{"type":"StUnreachTrait"}}}],"items":{"nullable":false,"name":"","type":"StUnreachOrbital","projectedFrom":{"type":"StUnreachOrbital"}}}],"StUnreachState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"StUnreachTrait":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"StUnreachTransition":[{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}]},"name":"std-orb-lint-state-unreachable","version":"1.0.0","description":"std-orb-lint-state-unreachable — the `orb lint state-unreachable <file>` command, the port of ORB_T_STATE_UNREACHABLE (trait_validator.rs validate_state_machine). It lowers the file with program/read and, for every inline trait with an initial state, follows the transition edges from the first initial state (a `*` source adds no edge; the INIT self-loop on the initial state is skipped) and reports each declared state not reached, with the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint state-unreachable: 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":"OrbLintStateUnreachableOrbital","id":"orb_9N2C1T4MZJAFSATNQPE2FJ78V4","uses":[{"from":"almadar-std/lint-state-unreachable","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintStateUnreachableRun","id":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"findings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}}]},"traits":[{"name":"OrbLintStateUnreachable","id":"trt_T1K215EDWF6Y7WPPNVW93WMNRF","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintStateUnreachableRun","linkedEntityId":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2","entityRefIds":{"OrbLintStateUnreachableRun":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2"},"emits":[{"event":"LINT_FOUND","eventId":"evt_GGSH41RX39EHMPHNN47PE3C57B","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_JCHHSRB3G3HR1V7FMRX6G6DHVN","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_JXT3GCYFQ77VKS3QN01NZNCG32","triggers":"LINT_INPUT","triggersId":"evt_JXT3GCYFQ77VKS3QN01NZNCG32","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_4QJ9NJNNRATW5F4C3169GSX8WD","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_JXT3GCYFQ77VKS3QN01NZNCG32","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":"traits","type":"[object]","properties":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"items":{"nullable":false,"name":"","type":"StUnreachTrait","projectedFrom":{"type":"StUnreachTrait"}}}],"items":{"nullable":false,"name":"","type":"StUnreachOrbital","projectedFrom":{"type":"StUnreachOrbital"}}}],"projectedFrom":{"type":"StUnreachProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_JCHHSRB3G3HR1V7FMRX6G6DHVN","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_GGSH41RX39EHMPHNN47PE3C57B","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_4QJ9NJNNRATW5F4C3169GSX8WD"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_JXT3GCYFQ77VKS3QN01NZNCG32","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["let",[["orbitals",["object/get","@payload.program","orbitals",[]]]],["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["trList",["object/get",["array/nth","@orbitals","@oi"],"traits",[]]]],["array/flatten",["array/map",["array/range",0,["array/len","@trList"]],["fn","ti",["let",[["td",["array/nth","@trList","@ti"]]],["let",[["sm",["object/get","@td","stateMachine",null]],["tpath",["str/concat","orbitals[","@oi","].traits[","@ti","]"]]],["if",["=","@sm",null],[],["let",[["sts",["object/get","@sm","states",[]]],["where",["str/concat","@tpath",".stateMachine"]]],["if",["=",["array/len","@sts"],0],[],["let",[["initRow",["array/find","@sts",["fn","s",["=",["object/get","@s","isInitial",false],true]]]],["tx",["object/get","@sm","transitions",[]]]],["if",["=","@initRow",null],[],["let",[["initial",["object/get","@initRow","name",""]]],["let",[["edges",["array/flatten",["array/map","@tx",["fn","tr",["let",[["frm",["object/get","@tr","from",""]]],["let",[["froms",["if",["validate/string","@frm"],["array/append",[],"@frm"],"@frm"]]],["if",["and",["=",["object/get","@tr","event",""],"INIT"],["or",["array/includes","@froms","*"],["array/includes","@froms","@initial"]],["=",["object/get","@tr","to",""],"@initial"]],[],["array/map",["array/filter","@froms",["fn","f",["!=","@f","*"]]],["fn","f",{"from":"@f","to":["object/get","@tr","to",""]}]]]]]]]]]],["let",[["reached",["array/reduce",["array/range",0,["array/len","@sts"]],["@initial"],["fn",["cur","i"],["array/unique",["array/concat","@cur",["array/map",["array/filter","@edges",["fn","e",["array/includes","@cur",["object/get","@e","from"]]]],["fn","e",["object/get","@e","to"]]]]]]]]],["array/map",["array/filter","@sts",["fn","s",["not",["array/includes","@reached",["object/get","@s","name",""]]]]],["fn","s",{"code":"@config.codes.tStateUnreachable.code","path":["str/concat","@where",".states"],"message":["str/concat","State '",["object/get","@s","name",""],"' is unreachable from the initial state '","@initial","' via any transition path"],"suggestion":"Add a transition that reaches this state, or remove the dead state","severity":"error"}]]]]]]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_JCHHSRB3G3HR1V7FMRX6G6DHVN","effects":[["emit","LINT_FOUND",{"rule":"state-unreachable","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintStateUnreachableCodes","default":{"tStateUnreachable":{"code":"ORB_T_STATE_UNREACHABLE","category":"trait","description":"A state is unreachable from the initial state through any transition path"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"tStateUnreachable":{"nullable":false,"name":"tStateUnreachable","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":"LintStateUnreachableCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_T1K215EDWF6Y7WPPNVW93WMNRF","fingerprint":"421af58e82203c4ddf266d2a5bcc271c73b8299f9df85ab3e7f39a9b6e92f3c7"}},{"name":"OrbLintStateUnreachableCli","id":"trt_HPYWG26QE0BQ01NAX8P7GES3WK","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintStateUnreachableRun","linkedEntityId":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2","entityRefIds":{"OrbLintStateUnreachableRun":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_RK2353S885M42Z6CCQZKEDAHW9","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_THR8M9Q3FMHQTAA677529V68TJ","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_BGQY0723VZ1XZQC0REVT0CR4CK","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_HJ5DX35KDYSPZACH18RX9X0Q7B","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_GGSH41RX39EHMPHNN47PE3C57B","triggers":"LINT_FOUND","triggersId":"evt_BGQY0723VZ1XZQC0REVT0CR4CK","source":{"kind":"trait","trait":"OrbLintStateUnreachable","traitId":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_HJ5DX35KDYSPZACH18RX9X0Q7B","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_HJ5DX35KDYSPZACH18RX9X0Q7B","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_3305Y6205A02NCGYFETFFSGJ4K","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_XP0R7FZTXYXEZ1R4N7EBF5J1VN","name":"Lint Called","description":"Run `orb lint state-unreachable` with its arguments and working directory.","synonyms":"orb lint state-unreachable","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-state-unreachable","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_BGQY0723VZ1XZQC0REVT0CR4CK","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_HJ5DX35KDYSPZACH18RX9X0Q7B","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_RK2353S885M42Z6CCQZKEDAHW9","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_THR8M9Q3FMHQTAA677529V68TJ","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_3305Y6205A02NCGYFETFFSGJ4K"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_XP0R7FZTXYXEZ1R4N7EBF5J1VN","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 state-unreachable <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_XP0R7FZTXYXEZ1R4N7EBF5J1VN","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 state-unreachable <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_3305Y6205A02NCGYFETFFSGJ4K"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_BGQY0723VZ1XZQC0REVT0CR4CK","guard":["and",["=","@payload.rule","state-unreachable"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint state-unreachable: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_BGQY0723VZ1XZQC0REVT0CR4CK","guard":["and",["=","@payload.rule","state-unreachable"],[">",["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_HJ5DX35KDYSPZACH18RX9X0Q7B","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint state-unreachable: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_HPYWG26QE0BQ01NAX8P7GES3WK","fingerprint":"02270987ba975c3c0b1d816eeb310abf3a5caf795b111c0a0acbc5297752576a"}},{"ref":"Input.traits.Versions","id":"trt_PBD5WHRK1H9GRZNHYBXQFAK0SM","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_T0KH4E6BAQ5NBQ8XWYXV92F5YH","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintStateUnreachableCli"}},{"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":"OrbLintStateUnreachableOrbitalStart","id":"pag_PC1TBB4QQ2BVHCGS99KQH94S6H","path":"","protocol":"boot","traits":[{"ref":"OrbLintStateUnreachable","refId":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"},{"ref":"OrbLintStateUnreachableCli","refId":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},{"ref":"OrbLintInput","refId":"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP"},{"ref":"Packs","refId":"trt_T0KH4E6BAQ5NBQ8XWYXV92F5YH"},{"ref":"Versions","refId":"trt_PBD5WHRK1H9GRZNHYBXQFAK0SM"}]}],"types":{"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}],"LintStateUnreachableCodes":[{"nullable":false,"name":"tStateUnreachable","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"}}],"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"]}],"StUnreachFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"StUnreachMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"StUnreachOrbital":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"items":{"nullable":false,"name":"","type":"StUnreachTrait","projectedFrom":{"type":"StUnreachTrait"}}}],"StUnreachProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"items":{"nullable":false,"name":"","type":"StUnreachTrait","projectedFrom":{"type":"StUnreachTrait"}}}],"items":{"nullable":false,"name":"","type":"StUnreachOrbital","projectedFrom":{"type":"StUnreachOrbital"}}}],"StUnreachState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"StUnreachTrait":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"StUnreachTransition":[{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}]}}],"inbound":["cli-lint-state-unreachable"],"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_0KT7B5SJXJSESCHRV0PCKY5JV2":{"id":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2","kind":"entity","bakedName":"OrbLintStateUnreachableRun","curName":"OrbLintStateUnreachableRun","renames":[],"owner":"workspace"},"evt_3305Y6205A02NCGYFETFFSGJ4K":{"id":"evt_3305Y6205A02NCGYFETFFSGJ4K","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"evt_4QJ9NJNNRATW5F4C3169GSX8WD":{"id":"evt_4QJ9NJNNRATW5F4C3169GSX8WD","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"},"evt_BGQY0723VZ1XZQC0REVT0CR4CK":{"id":"evt_BGQY0723VZ1XZQC0REVT0CR4CK","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"evt_GGSH41RX39EHMPHNN47PE3C57B":{"id":"evt_GGSH41RX39EHMPHNN47PE3C57B","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"},"evt_HJ5DX35KDYSPZACH18RX9X0Q7B":{"id":"evt_HJ5DX35KDYSPZACH18RX9X0Q7B","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"evt_JCHHSRB3G3HR1V7FMRX6G6DHVN":{"id":"evt_JCHHSRB3G3HR1V7FMRX6G6DHVN","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"},"evt_JXT3GCYFQ77VKS3QN01NZNCG32":{"id":"evt_JXT3GCYFQ77VKS3QN01NZNCG32","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"},"evt_RK2353S885M42Z6CCQZKEDAHW9":{"id":"evt_RK2353S885M42Z6CCQZKEDAHW9","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"evt_THR8M9Q3FMHQTAA677529V68TJ":{"id":"evt_THR8M9Q3FMHQTAA677529V68TJ","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"evt_XP0R7FZTXYXEZ1R4N7EBF5J1VN":{"id":"evt_XP0R7FZTXYXEZ1R4N7EBF5J1VN","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"orb_9N2C1T4MZJAFSATNQPE2FJ78V4":{"id":"orb_9N2C1T4MZJAFSATNQPE2FJ78V4","kind":"orbital","bakedName":"OrbLintStateUnreachableOrbital","curName":"OrbLintStateUnreachableOrbital","renames":[],"owner":"workspace"},"pag_PC1TBB4QQ2BVHCGS99KQH94S6H":{"id":"pag_PC1TBB4QQ2BVHCGS99KQH94S6H","kind":"page","bakedName":"OrbLintStateUnreachableOrbitalStart","curName":"OrbLintStateUnreachableOrbitalStart","renames":[],"owner":"workspace"},"trt_HPYWG26QE0BQ01NAX8P7GES3WK":{"id":"trt_HPYWG26QE0BQ01NAX8P7GES3WK","kind":"trait","bakedName":"OrbLintStateUnreachableCli","curName":"OrbLintStateUnreachableCli","renames":[],"owner":"workspace"},"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP":{"id":"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_PBD5WHRK1H9GRZNHYBXQFAK0SM":{"id":"trt_PBD5WHRK1H9GRZNHYBXQFAK0SM","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_T0KH4E6BAQ5NBQ8XWYXV92F5YH":{"id":"trt_T0KH4E6BAQ5NBQ8XWYXV92F5YH","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_T1K215EDWF6Y7WPPNVW93WMNRF":{"id":"trt_T1K215EDWF6Y7WPPNVW93WMNRF","kind":"trait","bakedName":"OrbLintStateUnreachable","curName":"OrbLintStateUnreachable","renames":[],"owner":"workspace"}}}}
+{"typeContractVersion":1,"types":{"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}],"LintStateUnreachableCodes":[{"nullable":false,"name":"tStateUnreachable","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"}}],"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"]}],"StUnreachFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"StUnreachMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"StUnreachOrbital":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"items":{"nullable":false,"name":"","type":"StUnreachTrait","projectedFrom":{"type":"StUnreachTrait"}}}],"StUnreachProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"items":{"nullable":false,"name":"","type":"StUnreachTrait","projectedFrom":{"type":"StUnreachTrait"}}}],"items":{"nullable":false,"name":"","type":"StUnreachOrbital","projectedFrom":{"type":"StUnreachOrbital"}}}],"StUnreachState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"StUnreachTrait":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"StUnreachTransition":[{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}]},"name":"std-orb-lint-state-unreachable","version":"1.0.0","description":"std-orb-lint-state-unreachable — the `orb lint state-unreachable <file>` command, the port of ORB_T_STATE_UNREACHABLE (trait_validator.rs validate_state_machine). It lowers the file with program/read and, for every inline trait with an initial state, follows the transition edges from the first initial state (a `*` source adds no edge; the INIT self-loop on the initial state is skipped) and reports each declared state not reached, with the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint state-unreachable: 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":"OrbLintStateUnreachableOrbital","id":"orb_9N2C1T4MZJAFSATNQPE2FJ78V4","uses":[{"from":"almadar-std/lint-state-unreachable","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintStateUnreachableRun","id":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"findings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}}]},"traits":[{"name":"OrbLintStateUnreachable","id":"trt_T1K215EDWF6Y7WPPNVW93WMNRF","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintStateUnreachableRun","linkedEntityId":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2","entityRefIds":{"OrbLintStateUnreachableRun":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2"},"emits":[{"event":"LINT_FOUND","eventId":"evt_GGSH41RX39EHMPHNN47PE3C57B","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_JCHHSRB3G3HR1V7FMRX6G6DHVN","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_JXT3GCYFQ77VKS3QN01NZNCG32","triggers":"LINT_INPUT","triggersId":"evt_JXT3GCYFQ77VKS3QN01NZNCG32","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_4QJ9NJNNRATW5F4C3169GSX8WD","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_JXT3GCYFQ77VKS3QN01NZNCG32","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":"traits","type":"[object]","properties":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"items":{"nullable":false,"name":"","type":"StUnreachTrait","projectedFrom":{"type":"StUnreachTrait"}}}],"items":{"nullable":false,"name":"","type":"StUnreachOrbital","projectedFrom":{"type":"StUnreachOrbital"}}}],"projectedFrom":{"type":"StUnreachProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_JCHHSRB3G3HR1V7FMRX6G6DHVN","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_GGSH41RX39EHMPHNN47PE3C57B","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_4QJ9NJNNRATW5F4C3169GSX8WD"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_JXT3GCYFQ77VKS3QN01NZNCG32","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["let",[["orbitals",["object/get","@payload.program","orbitals",[]]]],["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["trList",["object/get",["array/nth","@orbitals","@oi"],"traits",[]]]],["array/flatten",["array/map",["array/range",0,["array/len","@trList"]],["fn","ti",["let",[["td",["array/nth","@trList","@ti"]]],["let",[["sm",["object/get","@td","stateMachine",null]],["tpath",["str/concat","orbitals[","@oi","].traits[","@ti","]"]]],["if",["=","@sm",null],[],["let",[["sts",["object/get","@sm","states",[]]],["where",["str/concat","@tpath",".stateMachine"]]],["if",["=",["array/len","@sts"],0],[],["let",[["initRow",["array/find","@sts",["fn","s",["=",["object/get","@s","isInitial",false],true]]]],["tx",["object/get","@sm","transitions",[]]]],["if",["=","@initRow",null],[],["let",[["initial",["object/get","@initRow","name",""]]],["let",[["edges",["array/flatten",["array/map","@tx",["fn","tr",["let",[["frm",["object/get","@tr","from",""]]],["let",[["froms",["if",["validate/string","@frm"],["array/append",[],"@frm"],"@frm"]]],["if",["and",["=",["object/get","@tr","event",""],"INIT"],["or",["array/includes","@froms","*"],["array/includes","@froms","@initial"]],["=",["object/get","@tr","to",""],"@initial"]],[],["array/map",["array/filter","@froms",["fn","f",["!=","@f","*"]]],["fn","f",{"from":"@f","to":["object/get","@tr","to",""]}]]]]]]]]]],["let",[["reached",["array/reduce",["array/range",0,["array/len","@sts"]],["@initial"],["fn",["cur","i"],["array/unique",["array/concat","@cur",["array/map",["array/filter","@edges",["fn","e",["array/includes","@cur",["object/get","@e","from"]]]],["fn","e",["object/get","@e","to"]]]]]]]]],["array/map",["array/filter","@sts",["fn","s",["not",["array/includes","@reached",["object/get","@s","name",""]]]]],["fn","s",{"code":"@config.codes.tStateUnreachable.code","path":["str/concat","@where",".states"],"message":["str/concat","State '",["object/get","@s","name",""],"' is unreachable from the initial state '","@initial","' via any transition path"],"suggestion":"Add a transition that reaches this state, or remove the dead state","severity":"error"}]]]]]]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_JCHHSRB3G3HR1V7FMRX6G6DHVN","effects":[["emit","LINT_FOUND",{"rule":"state-unreachable","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintStateUnreachableCodes","default":{"tStateUnreachable":{"code":"ORB_T_STATE_UNREACHABLE","category":"trait","description":"A state is unreachable from the initial state through any transition path"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"tStateUnreachable":{"nullable":false,"name":"tStateUnreachable","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":"LintStateUnreachableCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_T1K215EDWF6Y7WPPNVW93WMNRF","fingerprint":"421af58e82203c4ddf266d2a5bcc271c73b8299f9df85ab3e7f39a9b6e92f3c7"}},{"name":"OrbLintStateUnreachableCli","id":"trt_HPYWG26QE0BQ01NAX8P7GES3WK","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintStateUnreachableRun","linkedEntityId":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2","entityRefIds":{"OrbLintStateUnreachableRun":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_RK2353S885M42Z6CCQZKEDAHW9","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_THR8M9Q3FMHQTAA677529V68TJ","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_BGQY0723VZ1XZQC0REVT0CR4CK","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_HJ5DX35KDYSPZACH18RX9X0Q7B","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_GGSH41RX39EHMPHNN47PE3C57B","triggers":"LINT_FOUND","triggersId":"evt_BGQY0723VZ1XZQC0REVT0CR4CK","source":{"kind":"trait","trait":"OrbLintStateUnreachable","traitId":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_HJ5DX35KDYSPZACH18RX9X0Q7B","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_HJ5DX35KDYSPZACH18RX9X0Q7B","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_3305Y6205A02NCGYFETFFSGJ4K","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_XP0R7FZTXYXEZ1R4N7EBF5J1VN","name":"Lint Called","description":"Run `orb lint state-unreachable` with its arguments and working directory.","synonyms":"orb lint state-unreachable","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-state-unreachable","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_BGQY0723VZ1XZQC0REVT0CR4CK","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_HJ5DX35KDYSPZACH18RX9X0Q7B","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_RK2353S885M42Z6CCQZKEDAHW9","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_THR8M9Q3FMHQTAA677529V68TJ","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_3305Y6205A02NCGYFETFFSGJ4K"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_XP0R7FZTXYXEZ1R4N7EBF5J1VN","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 state-unreachable <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_XP0R7FZTXYXEZ1R4N7EBF5J1VN","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 state-unreachable <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_3305Y6205A02NCGYFETFFSGJ4K"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_BGQY0723VZ1XZQC0REVT0CR4CK","guard":["and",["=","@payload.rule","state-unreachable"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint state-unreachable: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_BGQY0723VZ1XZQC0REVT0CR4CK","guard":["and",["=","@payload.rule","state-unreachable"],[">",["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_HJ5DX35KDYSPZACH18RX9X0Q7B","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint state-unreachable: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_HPYWG26QE0BQ01NAX8P7GES3WK","fingerprint":"02270987ba975c3c0b1d816eeb310abf3a5caf795b111c0a0acbc5297752576a"}},{"ref":"Input.traits.Versions","id":"trt_PBD5WHRK1H9GRZNHYBXQFAK0SM","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_T0KH4E6BAQ5NBQ8XWYXV92F5YH","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintStateUnreachableCli"}},{"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":"OrbLintStateUnreachableOrbitalStart","id":"pag_PC1TBB4QQ2BVHCGS99KQH94S6H","path":"","protocol":"boot","traits":[{"ref":"OrbLintStateUnreachable","refId":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"},{"ref":"OrbLintStateUnreachableCli","refId":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},{"ref":"OrbLintInput","refId":"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP"},{"ref":"Packs","refId":"trt_T0KH4E6BAQ5NBQ8XWYXV92F5YH"},{"ref":"Versions","refId":"trt_PBD5WHRK1H9GRZNHYBXQFAK0SM"}]}],"types":{"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}],"LintStateUnreachableCodes":[{"nullable":false,"name":"tStateUnreachable","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"}}],"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"]}],"StUnreachFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"StUnreachMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"StUnreachOrbital":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"items":{"nullable":false,"name":"","type":"StUnreachTrait","projectedFrom":{"type":"StUnreachTrait"}}}],"StUnreachProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"items":{"nullable":false,"name":"","type":"StUnreachTrait","projectedFrom":{"type":"StUnreachTrait"}}}],"items":{"nullable":false,"name":"","type":"StUnreachOrbital","projectedFrom":{"type":"StUnreachOrbital"}}}],"StUnreachState":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"StUnreachTrait":[{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"StUnreachState","projectedFrom":{"type":"StUnreachState"}}},{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}],"items":{"nullable":false,"name":"","type":"StUnreachTransition","projectedFrom":{"type":"StUnreachTransition"}}}],"projectedFrom":{"type":"StUnreachMachine"}}],"StUnreachTransition":[{"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":"StUnreachFrom"}},{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"to","type":"string"}]}}],"inbound":["cli-lint-state-unreachable"],"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_0KT7B5SJXJSESCHRV0PCKY5JV2":{"id":"ent_0KT7B5SJXJSESCHRV0PCKY5JV2","kind":"entity","bakedName":"OrbLintStateUnreachableRun","curName":"OrbLintStateUnreachableRun","renames":[],"owner":"workspace"},"evt_3305Y6205A02NCGYFETFFSGJ4K":{"id":"evt_3305Y6205A02NCGYFETFFSGJ4K","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"evt_4QJ9NJNNRATW5F4C3169GSX8WD":{"id":"evt_4QJ9NJNNRATW5F4C3169GSX8WD","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"},"evt_BGQY0723VZ1XZQC0REVT0CR4CK":{"id":"evt_BGQY0723VZ1XZQC0REVT0CR4CK","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"evt_GGSH41RX39EHMPHNN47PE3C57B":{"id":"evt_GGSH41RX39EHMPHNN47PE3C57B","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"},"evt_HJ5DX35KDYSPZACH18RX9X0Q7B":{"id":"evt_HJ5DX35KDYSPZACH18RX9X0Q7B","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"evt_JCHHSRB3G3HR1V7FMRX6G6DHVN":{"id":"evt_JCHHSRB3G3HR1V7FMRX6G6DHVN","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"},"evt_JXT3GCYFQ77VKS3QN01NZNCG32":{"id":"evt_JXT3GCYFQ77VKS3QN01NZNCG32","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_T1K215EDWF6Y7WPPNVW93WMNRF"},"evt_RK2353S885M42Z6CCQZKEDAHW9":{"id":"evt_RK2353S885M42Z6CCQZKEDAHW9","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"evt_THR8M9Q3FMHQTAA677529V68TJ":{"id":"evt_THR8M9Q3FMHQTAA677529V68TJ","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"evt_XP0R7FZTXYXEZ1R4N7EBF5J1VN":{"id":"evt_XP0R7FZTXYXEZ1R4N7EBF5J1VN","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_HPYWG26QE0BQ01NAX8P7GES3WK"},"orb_9N2C1T4MZJAFSATNQPE2FJ78V4":{"id":"orb_9N2C1T4MZJAFSATNQPE2FJ78V4","kind":"orbital","bakedName":"OrbLintStateUnreachableOrbital","curName":"OrbLintStateUnreachableOrbital","renames":[],"owner":"workspace"},"pag_PC1TBB4QQ2BVHCGS99KQH94S6H":{"id":"pag_PC1TBB4QQ2BVHCGS99KQH94S6H","kind":"page","bakedName":"OrbLintStateUnreachableOrbitalStart","curName":"OrbLintStateUnreachableOrbitalStart","renames":[],"owner":"workspace"},"trt_HPYWG26QE0BQ01NAX8P7GES3WK":{"id":"trt_HPYWG26QE0BQ01NAX8P7GES3WK","kind":"trait","bakedName":"OrbLintStateUnreachableCli","curName":"OrbLintStateUnreachableCli","renames":[],"owner":"workspace"},"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP":{"id":"trt_MBC3JZ4Z7ZFKZYC0J7ADVCR5FP","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_PBD5WHRK1H9GRZNHYBXQFAK0SM":{"id":"trt_PBD5WHRK1H9GRZNHYBXQFAK0SM","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_T0KH4E6BAQ5NBQ8XWYXV92F5YH":{"id":"trt_T0KH4E6BAQ5NBQ8XWYXV92F5YH","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_T1K215EDWF6Y7WPPNVW93WMNRF":{"id":"trt_T1K215EDWF6Y7WPPNVW93WMNRF","kind":"trait","bakedName":"OrbLintStateUnreachable","curName":"OrbLintStateUnreachable","renames":[],"owner":"workspace"}}}}