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-init-coverage.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"typeContractVersion":1,"types":{"InitFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"InitGuard":[{"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":"[InitGuard]","items":{"nullable":true,"name":"","type":"InitGuard","projectedFrom":{"type":"InitGuard"}}},{"nullable":false,"name":"object","type":"Map<string,InitGuard>","items":{"nullable":true,"name":"","type":"InitGuard","projectedFrom":{"type":"InitGuard"}}}]}],"InitMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"InitOrbital":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"items":{"nullable":false,"name":"","type":"InitPage","projectedFrom":{"type":"InitPage"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitTrait","projectedFrom":{"type":"InitTrait"}}}],"InitPage":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"InitPageTrait":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"InitProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"items":{"nullable":false,"name":"","type":"InitPage","projectedFrom":{"type":"InitPage"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitTrait","projectedFrom":{"type":"InitTrait"}}}],"items":{"nullable":false,"name":"","type":"InitOrbital","projectedFrom":{"type":"InitOrbital"}}}],"InitState":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"InitTrait":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"InitTransition":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"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}],"LintInitCoverageCodes":[{"nullable":false,"name":"lintNodeUnchecked","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":"circuitInitUncoveredState","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"]}]},"name":"std-orb-lint-init-coverage","version":"1.0.0","description":"std-orb-lint-init-coverage — the `orb lint init-coverage <file>` command, the port of ORB_CIRCUIT_INIT_UNCOVERED_STATE (G-ORB-186). It lowers the file with program/read and, for every trait a page of its orbital declares whose initial state handles INIT, reports each reachable state with no INIT arm (status 500, exit 1). Reachability follows transitions from their from states or the wildcard and skips a statically false guard (statically false (a falsy literal, a comparison of two literals, or an and/or/not of those, folded with tree/fold) that cannot hold). Clean answers `lint init-coverage: 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":"OrbLintInitCoverageOrbital","id":"orb_0HVP6F2R6TC3DFJP0SF7ZG23RF","uses":[{"from":"almadar-std/lint-init-coverage","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintInitCoverageRun","id":"ent_RH29T8TGH788KKPJH2GVQE03S5","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":"OrbLintInitCoverage","id":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintInitCoverageRun","linkedEntityId":"ent_RH29T8TGH788KKPJH2GVQE03S5","entityRefIds":{"OrbLintInitCoverageRun":"ent_RH29T8TGH788KKPJH2GVQE03S5"},"emits":[{"event":"LINT_FOUND","eventId":"evt_PE8FFX5EVDQDPWWDQK89MX2BBT","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_TF7BVQ07VZ3XZKAEASEW4X276N","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_KGKWAKVBYMNZA6A1M8WMA5K46J","triggers":"LINT_INPUT","triggersId":"evt_KGKWAKVBYMNZA6A1M8WMA5K46J","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_8GFMDDG76C3K65Q21GZDMF29VN"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_10Z4MKW05F02QQCSFGS52HV3A7","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_KGKWAKVBYMNZA6A1M8WMA5K46J","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]","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"items":{"nullable":false,"name":"","type":"InitPage","projectedFrom":{"type":"InitPage"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitTrait","projectedFrom":{"type":"InitTrait"}}}],"items":{"nullable":false,"name":"","type":"InitOrbital","projectedFrom":{"type":"InitOrbital"}}}],"projectedFrom":{"type":"InitProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_TF7BVQ07VZ3XZKAEASEW4X276N","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_PE8FFX5EVDQDPWWDQK89MX2BBT","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_10Z4MKW05F02QQCSFGS52HV3A7"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_KGKWAKVBYMNZA6A1M8WMA5K46J","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",[["o",["array/nth","@orbitals","@oi"]]],["let",[["pageTraits",["array/flatten",["array/map",["object/get","@o","pages",[]],["fn","p",["array/map",["object/get","@p","traits",[]],["fn","r",["if",["object/has","@r","ref"],["object/get","@r","ref",""],["if",["object/has","@r","stateMachine"],["object/get","@r","name",""],""]]]]]]]],["trs",["object/get","@o","traits",[]]]],["array/flatten",["array/map",["array/range",0,["array/len","@trs"]],["fn","ti",["let",[["t",["array/nth","@trs","@ti"]]],["let",[["sm",["object/get","@t","stateMachine",{}]]],["let",[["states",["object/get","@sm","states",[]]],["arms",["array/map",["object/get","@sm","transitions",[]],["fn","a",["let",[["raw",["object/get","@a","from",""]],["g0",["object/get","@a","guard",null]],["gr",["if",["=","@g0",null],null,["tree/fold","@g0",["fn",["n","k"],["if",["validate/array","@n"],["let",[["len",["array/len","@k"]],["kk",["array/map","@k",["fn","r",["if",["=","@r",null],{"f":true,"t":false,"lit":true,"v":"null"},"@r"]]]]],["let",[["op",["if",["and",[">","@len",0],["validate/string",["array/nth","@n",0]]],["array/nth","@n",0],null]],["args",["array/drop","@kk",1]]],["if",["=","@len",0],{"f":true,"t":false,"lit":false,"v":""},["if",["=","@op",null],{"f":false,"t":true,"lit":false,"v":""},["if",["=","@op","and"],{"f":["array/some","@args",["fn","x",["object/get","@x","f"]]],"t":["and",[">",["array/len","@args"],0],["array/every","@args",["fn","x",["object/get","@x","t"]]]],"lit":false,"v":""},["if",["=","@op","or"],{"f":["and",[">",["array/len","@args"],0],["array/every","@args",["fn","x",["object/get","@x","f"]]]],"t":["array/some","@args",["fn","x",["object/get","@x","t"]]],"lit":false,"v":""},["if",["=","@op","not"],{"f":["and",["=","@len",2],["let",[["k1",["array/nth","@kk",1]]],["if",["=","@k1",null],false,["object/get","@k1","t"]]]],"t":["and",["=","@len",2],["let",[["k1",["array/nth","@kk",1]]],["if",["=","@k1",null],false,["object/get","@k1","f"]]]],"lit":false,"v":""},["if",["array/includes",["list","=","==","!="],"@op"],["if",["and",["=","@len",3],["let",[["k1",["array/nth","@kk",1]]],["if",["=","@k1",null],false,["object/get","@k1","lit"]]],["let",[["k2",["array/nth","@kk",2]]],["if",["=","@k2",null],false,["object/get","@k2","lit"]]]],["let",[["k1",["array/nth","@kk",1]],["k2",["array/nth","@kk",2]]],["if",["or",["=","@k1",null],["=","@k2",null]],{"f":false,"t":false,"lit":false,"v":""},["let",[["eq",["=",["object/get","@k1","v"],["object/get","@k2","v"]]]],{"f":["=","@eq",["=","@op","!="]],"t":["=","@eq",["!=","@op","!="]],"lit":false,"v":""}]]],{"f":false,"t":false,"lit":false,"v":""}],{"f":false,"t":false,"lit":false,"v":""}]]]]]]]],["if",["validate/object","@n"],{"f":["=",["array/len",["object/keys","@n"]],0],"t":[">",["array/len",["object/keys","@n"]],0],"lit":false,"v":""},["if",["validate/string","@n"],{"f":["=","@n",""],"t":["and",["!=","@n",""],["not",["str/startsWith",["json/stringify","@n"],"\"@"]]],"lit":["not",["str/startsWith",["json/stringify","@n"],"\"@"]],"v":["json/stringify","@n"]},["if",["validate/number","@n"],{"f":["=","@n",0],"t":["!=","@n",0],"lit":true,"v":["json/stringify","@n"]},{"f":["not","@n"],"t":"@n","lit":true,"v":["json/stringify","@n"]}]]]]],"InitGuard","{\"name\":\"InitGuard\",\"nullable\":false,\"projectedFrom\":{\"type\":\"InitGuard\"},\"properties\":{\"array\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"InitGuard\"},\"type\":\"union\",\"values\":[\"InitGuard\"]},\"name\":\"array\",\"nullable\":false,\"type\":\"array\"},\"boolean\":{\"name\":\"boolean\",\"nullable\":false,\"type\":\"boolean\"},\"map\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"InitGuard\"},\"type\":\"union\",\"values\":[\"InitGuard\"]},\"name\":\"map\",\"nullable\":false,\"type\":\"object\"},\"number\":{\"name\":\"number\",\"nullable\":false,\"type\":\"number\"},\"string\":{\"name\":\"string\",\"nullable\":false,\"type\":\"string\"}},\"type\":\"union\",\"values\":[\"string\",\"number\",\"boolean\",\"array\",\"map\"]}"]]]],{"froms":["if",["validate/array","@raw"],"@raw",["@raw"]],"event":["object/get","@a","event",""],"to":["object/get","@a","to",""],"unk":["and",["!=","@g0",null],["=","@gr",null]],"dead":["if",["=","@gr",null],false,["object/get","@gr","f"]]}]]]],["initialRow",["array/find",["object/get","@sm","states",[]],["fn","s",["=",["object/get","@s","isInitial",false],true]]]]],["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@arms"]],["fn","ai",["if",["object/get",["array/nth","@arms","@ai"],"unk"],["let",[["up",["str/concat","orbitals[","@oi"," (",["object/get","@o","name"],")].traits[","@ti"," (",["object/get","@t","name"],")].stateMachine.transitions[","@ai","].guard"]]],[{"code":"@config.codes.lintNodeUnchecked.code","path":"@up","message":["str/concat","@payload.file",": schema node at ","@up"," is not a InitGuard; this rule could not check it"],"suggestion":"","severity":"error"}]],[]]]]],["if",["or",["=","@initialRow",null],["not",["array/includes","@pageTraits",["object/get","@t","name"]]]],[],["let",[["initial",["object/get","@initialRow","name"]]],["if",["not",["array/some","@arms",["fn","a",["and",["=",["object/get","@a","event"],"INIT"],["array/some",["object/get","@a","froms"],["fn","f",["or",["=","@f","@initial"],["=","@f",""]]]]]]]],[],["let",[["reachable",["array/reduce",["array/range",0,["array/len","@states"]],["@initial"],["fn",["cur","i"],["array/unique",["array/concat","@cur",["array/map",["array/filter","@arms",["fn","a",["and",["not",["object/get","@a","dead"]],["array/some",["object/get","@a","froms"],["fn","f",["or",["=","@f",""],["array/includes","@cur","@f"]]]]]]],["fn","a",["object/get","@a","to"]]]]]]]]],["array/map",["array/filter","@states",["fn","st",["and",["array/includes","@reachable",["object/get","@st","name"]],["not",["array/some","@arms",["fn","a",["and",["=",["object/get","@a","event"],"INIT"],["array/some",["object/get","@a","froms"],["fn","f",["or",["=","@f",["object/get","@st","name"]],["=","@f",""]]]]]]]]]]],["fn","st",{"code":"@config.codes.circuitInitUncoveredState.code","path":["str/concat","orbitals[","@oi"," (",["object/get","@o","name"],")].traits[","@ti"," (",["object/get","@t","name"],")].stateMachine.states.",["object/get","@st","name"]],"message":["str/concat","Page trait '",["object/get","@t","name"],"' handles INIT in '","@initial","' but not in reachable state '",["object/get","@st","name"],"': revisiting the page from there does nothing"],"suggestion":["str/concat","Add an `INIT` arm to state '",["object/get","@st","name"],"' that re-initializes the trait (as '","@initial","' does)"],"severity":"error"}]]]]]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_TF7BVQ07VZ3XZKAEASEW4X276N","effects":[["emit","LINT_FOUND",{"rule":"init-coverage","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintInitCoverageCodes","default":{"lintNodeUnchecked":{"code":"LINT_NODE_UNCHECKED","category":"lint","description":"A lint rule met a schema node of an unexpected shape and could not check it"},"circuitInitUncoveredState":{"code":"ORB_CIRCUIT_INIT_UNCOVERED_STATE","category":"circuit","description":"A page trait handles INIT in its initial state but not in another reachable state, so revisiting the page from there does nothing"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"lintNodeUnchecked":{"nullable":false,"name":"lintNodeUnchecked","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"}},"circuitInitUncoveredState":{"nullable":false,"name":"circuitInitUncoveredState","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":"LintInitCoverageCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN","fingerprint":"f491ebe7646c97f3209ed63d1e8c1c448586b4462ddf7625a9e514e1fb681630"}},{"name":"OrbLintInitCoverageCli","id":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintInitCoverageRun","linkedEntityId":"ent_RH29T8TGH788KKPJH2GVQE03S5","entityRefIds":{"OrbLintInitCoverageRun":"ent_RH29T8TGH788KKPJH2GVQE03S5"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_4T1NMWB7WZKYFV34WNTCKQ6XXV","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_QGDRRKS97XMKYG35SRKXTZAGRX","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_TBC8DZK0G3G81PQ1RS2G0VGQ98","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_APTRJHK87EM3QB6BFA8D8VPAQJ","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_PE8FFX5EVDQDPWWDQK89MX2BBT","triggers":"LINT_FOUND","triggersId":"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98","source":{"kind":"trait","trait":"OrbLintInitCoverage","traitId":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_APTRJHK87EM3QB6BFA8D8VPAQJ","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_APTRJHK87EM3QB6BFA8D8VPAQJ","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_8GFMDDG76C3K65Q21GZDMF29VN"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_66HA295FJKQS9TDGMGNHTCA0DP","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_GM601SD3X1HYGSSAD2AKX35CYX","name":"Lint Called","description":"Run `orb lint init-coverage` with its arguments and working directory.","synonyms":"orb lint init-coverage, page trait INIT coverage","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-init-coverage","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98","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_APTRJHK87EM3QB6BFA8D8VPAQJ","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_4T1NMWB7WZKYFV34WNTCKQ6XXV","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_QGDRRKS97XMKYG35SRKXTZAGRX","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_66HA295FJKQS9TDGMGNHTCA0DP"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_GM601SD3X1HYGSSAD2AKX35CYX","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["or",["=","@a",null],["!=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint init-coverage <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_GM601SD3X1HYGSSAD2AKX35CYX","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["and",["!=","@a",null],["=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["if",["=","@a",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint init-coverage <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint init-coverage <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_66HA295FJKQS9TDGMGNHTCA0DP"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98","guard":["and",["=","@payload.rule","init-coverage"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint init-coverage: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98","guard":["and",["=","@payload.rule","init-coverage"],[">",["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_APTRJHK87EM3QB6BFA8D8VPAQJ","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint init-coverage: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1","fingerprint":"3d05ccb08fc7e4296541cf0217a35ca76d8549f0eb87e1eba1ad9c72bf907844"}},{"ref":"Input.traits.Versions","id":"trt_7VNNBKZZDMZPT257436Z2WRNF1","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_G292KAP8B745KP5DQ5J8XHMRT5","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_8GFMDDG76C3K65Q21GZDMF29VN","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintInitCoverageCli"}},{"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":"OrbLintInitCoverageOrbitalStart","id":"pag_6N4ZR132NYHAZ3GTWVQ6VS09NB","path":"","protocol":"boot","traits":[{"ref":"OrbLintInitCoverage","refId":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"},{"ref":"OrbLintInitCoverageCli","refId":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},{"ref":"OrbLintInput","refId":"trt_8GFMDDG76C3K65Q21GZDMF29VN"},{"ref":"Packs","refId":"trt_G292KAP8B745KP5DQ5J8XHMRT5"},{"ref":"Versions","refId":"trt_7VNNBKZZDMZPT257436Z2WRNF1"}]}],"types":{"InitFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"InitGuard":[{"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":"[InitGuard]","items":{"nullable":true,"name":"","type":"InitGuard","projectedFrom":{"type":"InitGuard"}}},{"nullable":false,"name":"object","type":"Map<string,InitGuard>","items":{"nullable":true,"name":"","type":"InitGuard","projectedFrom":{"type":"InitGuard"}}}]}],"InitMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"InitOrbital":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"items":{"nullable":false,"name":"","type":"InitPage","projectedFrom":{"type":"InitPage"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitTrait","projectedFrom":{"type":"InitTrait"}}}],"InitPage":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"InitPageTrait":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"InitProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"items":{"nullable":false,"name":"","type":"InitPage","projectedFrom":{"type":"InitPage"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitTrait","projectedFrom":{"type":"InitTrait"}}}],"items":{"nullable":false,"name":"","type":"InitOrbital","projectedFrom":{"type":"InitOrbital"}}}],"InitState":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"InitTrait":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"InitTransition":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"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}],"LintInitCoverageCodes":[{"nullable":false,"name":"lintNodeUnchecked","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":"circuitInitUncoveredState","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"]}]}}],"inbound":["cli-lint-init-coverage"],"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_RH29T8TGH788KKPJH2GVQE03S5":{"id":"ent_RH29T8TGH788KKPJH2GVQE03S5","kind":"entity","bakedName":"OrbLintInitCoverageRun","curName":"OrbLintInitCoverageRun","renames":[],"owner":"workspace"},"evt_10Z4MKW05F02QQCSFGS52HV3A7":{"id":"evt_10Z4MKW05F02QQCSFGS52HV3A7","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"},"evt_4T1NMWB7WZKYFV34WNTCKQ6XXV":{"id":"evt_4T1NMWB7WZKYFV34WNTCKQ6XXV","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_66HA295FJKQS9TDGMGNHTCA0DP":{"id":"evt_66HA295FJKQS9TDGMGNHTCA0DP","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_APTRJHK87EM3QB6BFA8D8VPAQJ":{"id":"evt_APTRJHK87EM3QB6BFA8D8VPAQJ","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_GM601SD3X1HYGSSAD2AKX35CYX":{"id":"evt_GM601SD3X1HYGSSAD2AKX35CYX","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_KGKWAKVBYMNZA6A1M8WMA5K46J":{"id":"evt_KGKWAKVBYMNZA6A1M8WMA5K46J","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"},"evt_PE8FFX5EVDQDPWWDQK89MX2BBT":{"id":"evt_PE8FFX5EVDQDPWWDQK89MX2BBT","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"},"evt_QGDRRKS97XMKYG35SRKXTZAGRX":{"id":"evt_QGDRRKS97XMKYG35SRKXTZAGRX","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98":{"id":"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_TF7BVQ07VZ3XZKAEASEW4X276N":{"id":"evt_TF7BVQ07VZ3XZKAEASEW4X276N","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"},"orb_0HVP6F2R6TC3DFJP0SF7ZG23RF":{"id":"orb_0HVP6F2R6TC3DFJP0SF7ZG23RF","kind":"orbital","bakedName":"OrbLintInitCoverageOrbital","curName":"OrbLintInitCoverageOrbital","renames":[],"owner":"workspace"},"pag_6N4ZR132NYHAZ3GTWVQ6VS09NB":{"id":"pag_6N4ZR132NYHAZ3GTWVQ6VS09NB","kind":"page","bakedName":"OrbLintInitCoverageOrbitalStart","curName":"OrbLintInitCoverageOrbitalStart","renames":[],"owner":"workspace"},"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN":{"id":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN","kind":"trait","bakedName":"OrbLintInitCoverage","curName":"OrbLintInitCoverage","renames":[],"owner":"workspace"},"trt_7VNNBKZZDMZPT257436Z2WRNF1":{"id":"trt_7VNNBKZZDMZPT257436Z2WRNF1","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_8GFMDDG76C3K65Q21GZDMF29VN":{"id":"trt_8GFMDDG76C3K65Q21GZDMF29VN","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_G292KAP8B745KP5DQ5J8XHMRT5":{"id":"trt_G292KAP8B745KP5DQ5J8XHMRT5","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1":{"id":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1","kind":"trait","bakedName":"OrbLintInitCoverageCli","curName":"OrbLintInitCoverageCli","renames":[],"owner":"workspace"}}}}
1	+ {"typeContractVersion":1,"types":{"InitFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"InitGuard":[{"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":"[InitGuard]","items":{"nullable":true,"name":"","type":"InitGuard","projectedFrom":{"type":"InitGuard"}}},{"nullable":false,"name":"object","type":"Map<string,InitGuard>","items":{"nullable":true,"name":"","type":"InitGuard","projectedFrom":{"type":"InitGuard"}}}]}],"InitMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"InitOrbital":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"items":{"nullable":false,"name":"","type":"InitPage","projectedFrom":{"type":"InitPage"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitTrait","projectedFrom":{"type":"InitTrait"}}}],"InitPage":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"InitPageTrait":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"InitProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"items":{"nullable":false,"name":"","type":"InitPage","projectedFrom":{"type":"InitPage"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitTrait","projectedFrom":{"type":"InitTrait"}}}],"items":{"nullable":false,"name":"","type":"InitOrbital","projectedFrom":{"type":"InitOrbital"}}}],"InitState":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"InitTrait":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"InitTransition":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"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}],"LintInitCoverageCodes":[{"nullable":false,"name":"lintNodeUnchecked","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":"circuitInitUncoveredState","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"]}]},"name":"std-orb-lint-init-coverage","version":"1.0.0","description":"std-orb-lint-init-coverage — the `orb lint init-coverage <file>` command, the port of ORB_CIRCUIT_INIT_UNCOVERED_STATE (G-ORB-186). It lowers the file with program/read and, for every trait a page of its orbital declares whose initial state handles INIT, reports each reachable state with no INIT arm (status 500, exit 1). Reachability follows transitions from their from states or the wildcard and skips a statically false guard (statically false (a falsy literal, a comparison of two literals, or an and/or/not of those, folded with tree/fold) that cannot hold). Clean answers `lint init-coverage: 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":"OrbLintInitCoverageOrbital","id":"orb_0HVP6F2R6TC3DFJP0SF7ZG23RF","uses":[{"from":"almadar-std/lint-init-coverage","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintInitCoverageRun","id":"ent_RH29T8TGH788KKPJH2GVQE03S5","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":"OrbLintInitCoverage","id":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintInitCoverageRun","linkedEntityId":"ent_RH29T8TGH788KKPJH2GVQE03S5","entityRefIds":{"OrbLintInitCoverageRun":"ent_RH29T8TGH788KKPJH2GVQE03S5"},"emits":[{"event":"LINT_FOUND","eventId":"evt_PE8FFX5EVDQDPWWDQK89MX2BBT","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_TF7BVQ07VZ3XZKAEASEW4X276N","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_KGKWAKVBYMNZA6A1M8WMA5K46J","triggers":"LINT_INPUT","triggersId":"evt_KGKWAKVBYMNZA6A1M8WMA5K46J","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_8GFMDDG76C3K65Q21GZDMF29VN"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_10Z4MKW05F02QQCSFGS52HV3A7","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_KGKWAKVBYMNZA6A1M8WMA5K46J","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]","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"items":{"nullable":false,"name":"","type":"InitPage","projectedFrom":{"type":"InitPage"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitTrait","projectedFrom":{"type":"InitTrait"}}}],"items":{"nullable":false,"name":"","type":"InitOrbital","projectedFrom":{"type":"InitOrbital"}}}],"projectedFrom":{"type":"InitProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_TF7BVQ07VZ3XZKAEASEW4X276N","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_PE8FFX5EVDQDPWWDQK89MX2BBT","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_10Z4MKW05F02QQCSFGS52HV3A7"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_KGKWAKVBYMNZA6A1M8WMA5K46J","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",[["o",["array/nth","@orbitals","@oi"]]],["let",[["pageTraits",["array/flatten",["array/map",["object/get","@o","pages",[]],["fn","p",["array/map",["object/get","@p","traits",[]],["fn","r",["if",["object/has","@r","ref"],["object/get","@r","ref",""],["if",["object/has","@r","stateMachine"],["object/get","@r","name",""],""]]]]]]]],["trs",["object/get","@o","traits",[]]]],["array/flatten",["array/map",["array/range",0,["array/len","@trs"]],["fn","ti",["let",[["t",["array/nth","@trs","@ti"]]],["let",[["sm",["object/get","@t","stateMachine",{}]]],["let",[["states",["object/get","@sm","states",[]]],["arms",["array/map",["object/get","@sm","transitions",[]],["fn","a",["let",[["raw",["object/get","@a","from",""]],["g0",["object/get","@a","guard",null]],["gr",["if",["=","@g0",null],null,["tree/fold","@g0",["fn",["n","k"],["if",["validate/array","@n"],["let",[["len",["array/len","@k"]],["kk",["array/map","@k",["fn","r",["if",["=","@r",null],{"f":true,"t":false,"lit":true,"v":"null"},"@r"]]]]],["let",[["op",["if",["and",[">","@len",0],["validate/string",["array/nth","@n",0]]],["array/nth","@n",0],null]],["args",["array/drop","@kk",1]]],["if",["=","@len",0],{"f":true,"t":false,"lit":false,"v":""},["if",["=","@op",null],{"f":false,"t":true,"lit":false,"v":""},["if",["=","@op","and"],{"f":["array/some","@args",["fn","x",["object/get","@x","f"]]],"t":["and",[">",["array/len","@args"],0],["array/every","@args",["fn","x",["object/get","@x","t"]]]],"lit":false,"v":""},["if",["=","@op","or"],{"f":["and",[">",["array/len","@args"],0],["array/every","@args",["fn","x",["object/get","@x","f"]]]],"t":["array/some","@args",["fn","x",["object/get","@x","t"]]],"lit":false,"v":""},["if",["=","@op","not"],{"f":["and",["=","@len",2],["let",[["k1",["array/nth","@kk",1]]],["if",["=","@k1",null],false,["object/get","@k1","t"]]]],"t":["and",["=","@len",2],["let",[["k1",["array/nth","@kk",1]]],["if",["=","@k1",null],false,["object/get","@k1","f"]]]],"lit":false,"v":""},["if",["array/includes",["list","=","==","!="],"@op"],["if",["and",["=","@len",3],["let",[["k1",["array/nth","@kk",1]]],["if",["=","@k1",null],false,["object/get","@k1","lit"]]],["let",[["k2",["array/nth","@kk",2]]],["if",["=","@k2",null],false,["object/get","@k2","lit"]]]],["let",[["k1",["array/nth","@kk",1]],["k2",["array/nth","@kk",2]]],["if",["or",["=","@k1",null],["=","@k2",null]],{"f":false,"t":false,"lit":false,"v":""},["let",[["eq",["=",["object/get","@k1","v"],["object/get","@k2","v"]]]],{"f":["=","@eq",["=","@op","!="]],"t":["=","@eq",["!=","@op","!="]],"lit":false,"v":""}]]],{"f":false,"t":false,"lit":false,"v":""}],{"f":false,"t":false,"lit":false,"v":""}]]]]]]]],["if",["validate/object","@n"],{"f":["=",["array/len",["object/keys","@n"]],0],"t":[">",["array/len",["object/keys","@n"]],0],"lit":false,"v":""},["if",["validate/string","@n"],{"f":["=","@n",""],"t":["and",["!=","@n",""],["not",["str/startsWith",["json/stringify","@n"],"\"@"]]],"lit":["not",["str/startsWith",["json/stringify","@n"],"\"@"]],"v":["json/stringify","@n"]},["if",["validate/number","@n"],{"f":["=","@n",0],"t":["!=","@n",0],"lit":true,"v":["json/stringify","@n"]},{"f":["not","@n"],"t":"@n","lit":true,"v":["json/stringify","@n"]}]]]]],"InitGuard","{\"name\":\"InitGuard\",\"nullable\":false,\"projectedFrom\":{\"type\":\"InitGuard\"},\"properties\":{\"array\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"InitGuard\"},\"type\":\"union\",\"values\":[\"InitGuard\"]},\"name\":\"array\",\"nullable\":false,\"type\":\"array\"},\"boolean\":{\"name\":\"boolean\",\"nullable\":false,\"type\":\"boolean\"},\"map\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"InitGuard\"},\"type\":\"union\",\"values\":[\"InitGuard\"]},\"name\":\"map\",\"nullable\":false,\"type\":\"object\"},\"number\":{\"name\":\"number\",\"nullable\":false,\"type\":\"number\"},\"string\":{\"name\":\"string\",\"nullable\":false,\"type\":\"string\"}},\"type\":\"union\",\"values\":[\"string\",\"number\",\"boolean\",\"array\",\"map\"]}"]]]],{"froms":["if",["validate/array","@raw"],"@raw",["@raw"]],"event":["object/get","@a","event",""],"to":["object/get","@a","to",""],"unk":["and",["!=","@g0",null],["=","@gr",null]],"dead":["if",["=","@gr",null],false,["object/get","@gr","f"]]}]]]],["initialRow",["array/find",["object/get","@sm","states",[]],["fn","s",["=",["object/get","@s","isInitial",false],true]]]]],["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@arms"]],["fn","ai",["if",["object/get",["array/nth","@arms","@ai"],"unk"],["let",[["up",["str/concat","orbitals[","@oi"," (",["object/get","@o","name"],")].traits[","@ti"," (",["object/get","@t","name"],")].stateMachine.transitions[","@ai","].guard"]]],[{"code":"@config.codes.lintNodeUnchecked.code","path":"@up","message":["str/concat","@payload.file",": schema node at ","@up"," is not a InitGuard; this rule could not check it"],"suggestion":"","severity":"error"}]],[]]]]],["if",["or",["=","@initialRow",null],["not",["array/includes","@pageTraits",["object/get","@t","name"]]]],[],["let",[["initial",["object/get","@initialRow","name"]]],["if",["not",["array/some","@arms",["fn","a",["and",["=",["object/get","@a","event"],"INIT"],["array/some",["object/get","@a","froms"],["fn","f",["or",["=","@f","@initial"],["=","@f",""]]]]]]]],[],["let",[["reachable",["array/reduce",["array/range",0,["array/len","@states"]],["@initial"],["fn",["cur","i"],["array/unique",["array/concat","@cur",["array/map",["array/filter","@arms",["fn","a",["and",["not",["object/get","@a","dead"]],["array/some",["object/get","@a","froms"],["fn","f",["or",["=","@f",""],["array/includes","@cur","@f"]]]]]]],["fn","a",["object/get","@a","to"]]]]]]]]],["array/map",["array/filter","@states",["fn","st",["and",["array/includes","@reachable",["object/get","@st","name"]],["not",["array/some","@arms",["fn","a",["and",["=",["object/get","@a","event"],"INIT"],["array/some",["object/get","@a","froms"],["fn","f",["or",["=","@f",["object/get","@st","name"]],["=","@f",""]]]]]]]]]]],["fn","st",{"code":"@config.codes.circuitInitUncoveredState.code","path":["str/concat","orbitals[","@oi"," (",["object/get","@o","name"],")].traits[","@ti"," (",["object/get","@t","name"],")].stateMachine.states.",["object/get","@st","name"]],"message":["str/concat","Page trait '",["object/get","@t","name"],"' handles INIT in '","@initial","' but not in reachable state '",["object/get","@st","name"],"': revisiting the page from there does nothing"],"suggestion":["str/concat","Add an `INIT` arm to state '",["object/get","@st","name"],"' that re-initializes the trait (as '","@initial","' does)"],"severity":"error"}]]]]]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_TF7BVQ07VZ3XZKAEASEW4X276N","effects":[["emit","LINT_FOUND",{"rule":"init-coverage","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintInitCoverageCodes","default":{"lintNodeUnchecked":{"code":"LINT_NODE_UNCHECKED","category":"lint","description":"A lint rule met a schema node of an unexpected shape and could not check it"},"circuitInitUncoveredState":{"code":"ORB_CIRCUIT_INIT_UNCOVERED_STATE","category":"circuit","description":"A page trait handles INIT in its initial state but not in another reachable state, so revisiting the page from there does nothing"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"lintNodeUnchecked":{"nullable":false,"name":"lintNodeUnchecked","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"}},"circuitInitUncoveredState":{"nullable":false,"name":"circuitInitUncoveredState","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":"LintInitCoverageCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN","fingerprint":"f491ebe7646c97f3209ed63d1e8c1c448586b4462ddf7625a9e514e1fb681630"}},{"name":"OrbLintInitCoverageCli","id":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintInitCoverageRun","linkedEntityId":"ent_RH29T8TGH788KKPJH2GVQE03S5","entityRefIds":{"OrbLintInitCoverageRun":"ent_RH29T8TGH788KKPJH2GVQE03S5"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_4T1NMWB7WZKYFV34WNTCKQ6XXV","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_QGDRRKS97XMKYG35SRKXTZAGRX","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_TBC8DZK0G3G81PQ1RS2G0VGQ98","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_APTRJHK87EM3QB6BFA8D8VPAQJ","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_PE8FFX5EVDQDPWWDQK89MX2BBT","triggers":"LINT_FOUND","triggersId":"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98","source":{"kind":"trait","trait":"OrbLintInitCoverage","traitId":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_APTRJHK87EM3QB6BFA8D8VPAQJ","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_APTRJHK87EM3QB6BFA8D8VPAQJ","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_8GFMDDG76C3K65Q21GZDMF29VN"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_66HA295FJKQS9TDGMGNHTCA0DP","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_GM601SD3X1HYGSSAD2AKX35CYX","name":"Lint Called","description":"Run `orb lint init-coverage` with its arguments and working directory.","synonyms":"orb lint init-coverage, page trait INIT coverage","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-init-coverage","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98","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_APTRJHK87EM3QB6BFA8D8VPAQJ","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_4T1NMWB7WZKYFV34WNTCKQ6XXV","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_QGDRRKS97XMKYG35SRKXTZAGRX","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_66HA295FJKQS9TDGMGNHTCA0DP"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_GM601SD3X1HYGSSAD2AKX35CYX","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["or",["=","@a",null],["!=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint init-coverage <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_GM601SD3X1HYGSSAD2AKX35CYX","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["and",["!=","@a",null],["=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["if",["=","@a",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint init-coverage <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint init-coverage <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_66HA295FJKQS9TDGMGNHTCA0DP"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98","guard":["and",["=","@payload.rule","init-coverage"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint init-coverage: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98","guard":["and",["=","@payload.rule","init-coverage"],[">",["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_APTRJHK87EM3QB6BFA8D8VPAQJ","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint init-coverage: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1","fingerprint":"3d05ccb08fc7e4296541cf0217a35ca76d8549f0eb87e1eba1ad9c72bf907844"}},{"ref":"Input.traits.Versions","id":"trt_7VNNBKZZDMZPT257436Z2WRNF1","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_G292KAP8B745KP5DQ5J8XHMRT5","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_8GFMDDG76C3K65Q21GZDMF29VN","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintInitCoverageCli"}},{"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":"OrbLintInitCoverageOrbitalStart","id":"pag_6N4ZR132NYHAZ3GTWVQ6VS09NB","path":"","protocol":"boot","traits":[{"ref":"OrbLintInitCoverage","refId":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"},{"ref":"OrbLintInitCoverageCli","refId":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},{"ref":"OrbLintInput","refId":"trt_8GFMDDG76C3K65Q21GZDMF29VN"},{"ref":"Packs","refId":"trt_G292KAP8B745KP5DQ5J8XHMRT5"},{"ref":"Versions","refId":"trt_7VNNBKZZDMZPT257436Z2WRNF1"}]}],"types":{"InitFrom":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}]}],"InitGuard":[{"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":"[InitGuard]","items":{"nullable":true,"name":"","type":"InitGuard","projectedFrom":{"type":"InitGuard"}}},{"nullable":false,"name":"object","type":"Map<string,InitGuard>","items":{"nullable":true,"name":"","type":"InitGuard","projectedFrom":{"type":"InitGuard"}}}]}],"InitMachine":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"InitOrbital":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"items":{"nullable":false,"name":"","type":"InitPage","projectedFrom":{"type":"InitPage"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitTrait","projectedFrom":{"type":"InitTrait"}}}],"InitPage":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"InitPageTrait":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"InitProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"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","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitPageTrait","projectedFrom":{"type":"InitPageTrait"}}}],"items":{"nullable":false,"name":"","type":"InitPage","projectedFrom":{"type":"InitPage"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"items":{"nullable":false,"name":"","type":"InitTrait","projectedFrom":{"type":"InitTrait"}}}],"items":{"nullable":false,"name":"","type":"InitOrbital","projectedFrom":{"type":"InitOrbital"}}}],"InitState":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"InitTrait":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"isInitial","type":"boolean"}],"items":{"nullable":false,"name":"","type":"InitState","projectedFrom":{"type":"InitState"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"items":{"nullable":false,"name":"","type":"InitTransition","projectedFrom":{"type":"InitTransition"}}}],"projectedFrom":{"type":"InitMachine"}}],"InitTransition":[{"nullable":false,"name":"from","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"array","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"projectedFrom":{"type":"InitFrom"}},{"nullable":false,"name":"event","type":"string","required":true},{"nullable":false,"name":"to","type":"string","required":true},{"nullable":false,"name":"guard","type":"InitGuard","properties":[],"projectedFrom":{"type":"InitGuard"}}],"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}],"LintInitCoverageCodes":[{"nullable":false,"name":"lintNodeUnchecked","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":"circuitInitUncoveredState","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"]}]}}],"inbound":["cli-lint-init-coverage"],"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_RH29T8TGH788KKPJH2GVQE03S5":{"id":"ent_RH29T8TGH788KKPJH2GVQE03S5","kind":"entity","bakedName":"OrbLintInitCoverageRun","curName":"OrbLintInitCoverageRun","renames":[],"owner":"workspace"},"evt_10Z4MKW05F02QQCSFGS52HV3A7":{"id":"evt_10Z4MKW05F02QQCSFGS52HV3A7","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"},"evt_4T1NMWB7WZKYFV34WNTCKQ6XXV":{"id":"evt_4T1NMWB7WZKYFV34WNTCKQ6XXV","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_66HA295FJKQS9TDGMGNHTCA0DP":{"id":"evt_66HA295FJKQS9TDGMGNHTCA0DP","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_APTRJHK87EM3QB6BFA8D8VPAQJ":{"id":"evt_APTRJHK87EM3QB6BFA8D8VPAQJ","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_GM601SD3X1HYGSSAD2AKX35CYX":{"id":"evt_GM601SD3X1HYGSSAD2AKX35CYX","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_KGKWAKVBYMNZA6A1M8WMA5K46J":{"id":"evt_KGKWAKVBYMNZA6A1M8WMA5K46J","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"},"evt_PE8FFX5EVDQDPWWDQK89MX2BBT":{"id":"evt_PE8FFX5EVDQDPWWDQK89MX2BBT","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"},"evt_QGDRRKS97XMKYG35SRKXTZAGRX":{"id":"evt_QGDRRKS97XMKYG35SRKXTZAGRX","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98":{"id":"evt_TBC8DZK0G3G81PQ1RS2G0VGQ98","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1"},"evt_TF7BVQ07VZ3XZKAEASEW4X276N":{"id":"evt_TF7BVQ07VZ3XZKAEASEW4X276N","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN"},"orb_0HVP6F2R6TC3DFJP0SF7ZG23RF":{"id":"orb_0HVP6F2R6TC3DFJP0SF7ZG23RF","kind":"orbital","bakedName":"OrbLintInitCoverageOrbital","curName":"OrbLintInitCoverageOrbital","renames":[],"owner":"workspace"},"pag_6N4ZR132NYHAZ3GTWVQ6VS09NB":{"id":"pag_6N4ZR132NYHAZ3GTWVQ6VS09NB","kind":"page","bakedName":"OrbLintInitCoverageOrbitalStart","curName":"OrbLintInitCoverageOrbitalStart","renames":[],"owner":"workspace"},"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN":{"id":"trt_12P1GSEBA95N4Z8BDZGZ2X9FWN","kind":"trait","bakedName":"OrbLintInitCoverage","curName":"OrbLintInitCoverage","renames":[],"owner":"workspace"},"trt_7VNNBKZZDMZPT257436Z2WRNF1":{"id":"trt_7VNNBKZZDMZPT257436Z2WRNF1","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_8GFMDDG76C3K65Q21GZDMF29VN":{"id":"trt_8GFMDDG76C3K65Q21GZDMF29VN","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_G292KAP8B745KP5DQ5J8XHMRT5":{"id":"trt_G292KAP8B745KP5DQ5J8XHMRT5","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1":{"id":"trt_N8Z5E3V5HAJRNAANQHG9HEQJE1","kind":"trait","bakedName":"OrbLintInitCoverageCli","curName":"OrbLintInitCoverageCli","renames":[],"owner":"workspace"}}}}