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

@almadar/std 17.0.1 → 17.0.3

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 (325) hide show

package/behaviors/registry/cli/atoms/std-orb-lint-sigil-context.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"typeContractVersion":1,"types":{"GtCallHit":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"GtVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}]}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintSigilContextCodes":[{"nullable":false,"name":"bindingPayloadInTick","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":"bindingUnknownRoot","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":"lintOperatorShapesUnread","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":"lintLanguageFactsUnread","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"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"]}],"SgAtHit":[{"nullable":false,"name":"ip","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"SgAtIdx":[{"nullable":false,"name":"","type":"Map<string,[SgAtNode]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"SgAtNode","projectedFrom":{"type":"SgAtNode"}}}}],"SgAtNode":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"SgCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SgShape","required":true,"properties":[],"projectedFrom":{"type":"SgShape"}}],"SgEntity":[{"nullable":false,"name":"invariants","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"SgHit":[{"nullable":false,"name":"ip","type":"string"},{"nullable":false,"name":"rel","type":"string"},{"nullable":false,"name":"r","type":"string"}],"SgIdx":[{"nullable":false,"name":"","type":"Map<string,[SgCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SgShape","required":true,"properties":[],"projectedFrom":{"type":"SgShape"}}],"items":{"nullable":false,"name":"","type":"SgCall","projectedFrom":{"type":"SgCall"}}}}],"SgMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"SgOpShape":[{"nullable":false,"name":"category","type":"string"},{"nullable":false,"name":"minArity","type":"number"}],"SgOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"items":{"nullable":false,"name":"","type":"SgTrait","projectedFrom":{"type":"SgTrait"}}},{"nullable":true,"name":"entity","type":"SgEntity","projectedFrom":{"type":"SgEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[SgEntity]","items":{"nullable":false,"name":"","type":"SgEntity","projectedFrom":{"type":"SgEntity"}}}],"SgPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SgProgType":[{"nullable":false,"name":"type","type":"string"}],"SgProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"items":{"nullable":false,"name":"","type":"SgTrait","projectedFrom":{"type":"SgTrait"}}},{"nullable":true,"name":"entity","type":"SgEntity","projectedFrom":{"type":"SgEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[SgEntity]","items":{"nullable":false,"name":"","type":"SgEntity","projectedFrom":{"type":"SgEntity"}}}],"items":{"nullable":false,"name":"","type":"SgOrbital","projectedFrom":{"type":"SgOrbital"}}}],"SgRoot":[{"nullable":true,"name":"x","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"SgScope":[{"nullable":false,"name":"ip","type":"string","required":true},{"nullable":false,"name":"q","type":"string","required":true},{"nullable":false,"name":"qb","type":"string","required":true},{"nullable":false,"name":"ql","type":"number","required":true},{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"names","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"pairs","type":"[object]","required":true,"properties":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"SgPair","projectedFrom":{"type":"SgPair"}}}],"SgShape":[{"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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}]}],"SgState":[{"nullable":true,"name":"holds","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}}],"SgTick":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"SgTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"SgTransition":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}]},"name":"std-orb-lint-sigil-context","version":"1.0.0","description":"std-orb-lint-sigil-context - the `orb lint sigil-context <file>` command, the port of ORB_BINDING_UNKNOWN_ROOT and ORB_BINDING_PAYLOAD_IN_TICK (traits/sigil_context.rs). It lowers the file with program/read and walks the guard and effects of every inline trait transition (guard and effect context) the `@ensures` of every transition (guard sigils plus the `ensuresSigils` knob), the `@holds` of every state and the invariants of every entity and auxiliary entity (guard sigils), and the effects of every tick (tick context): every `@root` binding string must name a sigil the installed @almadar/core binding rules allow in that context (read from LINT_LANGUAGE_FACTS), unless it is bound by an enclosing `(fn (x) ...)` parameter, a sequential `let` name, or, inside a collection callback (a collection or std-array operator of two or more arguments in the installed operator table, read from LINT_OPERATOR_SHAPES), `item` / `index`. `@item` / `@index` outside a callback get the out-of-scope diagnostic; `@payload` in a tick is ORB_BINDING_PAYLOAD_IN_TICK; PascalCase roots (entity bindings) are skipped. Findings carry the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint sigil-context: 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":"OrbLintSigilContextOrbital","id":"orb_5MWFBGVE6DQ36KF906F8PGMDYQ","uses":[{"from":"almadar-std/lint-sigil-context","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintSigilContextRun","id":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS","persistence":"runtime","fields":[{"nullable":false,"name":"iRoots","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"string"}}},{"nullable":false,"name":"indexHeard","type":"boolean","default":false},{"nullable":false,"name":"indexScope","type":"string","default":""},{"nullable":false,"name":"sGuardRoots","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"string"}}},{"nullable":false,"name":"sitesGuardHeard","type":"boolean","default":false},{"nullable":false,"name":"sitesGuardScope","type":"string","default":""},{"nullable":false,"name":"uItem","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"string"}}},{"nullable":false,"name":"uGuardItem","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"string"}}},{"nullable":false,"name":"unitsHeard","type":"boolean","default":false},{"nullable":false,"name":"unitsScope","type":"string","default":""},{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"findings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}},{"nullable":false,"name":"collOps","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"guardAllowed","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"effectAllowed","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"tickAllowed","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"shapesUnread","type":"boolean","default":false},{"nullable":false,"name":"factsUnread","type":"boolean","default":false}]},"traits":[{"name":"OrbLintSigilContext","id":"trt_0DKEWN8ERW7CEFT9PH809V2S0K","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.collOps"},{"kind":"set","resource":"@entity.effectAllowed"},{"kind":"set","resource":"@entity.factsUnread"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.guardAllowed"},{"kind":"set","resource":"@entity.iRoots"},{"kind":"set","resource":"@entity.indexHeard"},{"kind":"set","resource":"@entity.indexScope"},{"kind":"set","resource":"@entity.sGuardRoots"},{"kind":"set","resource":"@entity.scope"},{"kind":"set","resource":"@entity.shapesUnread"},{"kind":"set","resource":"@entity.sitesGuardHeard"},{"kind":"set","resource":"@entity.sitesGuardScope"},{"kind":"set","resource":"@entity.tickAllowed"},{"kind":"set","resource":"@entity.uGuardItem"},{"kind":"set","resource":"@entity.uItem"},{"kind":"set","resource":"@entity.unitsHeard"},{"kind":"set","resource":"@entity.unitsScope"}],"linkedEntity":"OrbLintSigilContextRun","linkedEntityId":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS","entityRefIds":{"OrbLintSigilContextRun":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS"},"emits":[{"event":"LINT_FOUND","eventId":"evt_R4PTQEQVBBXNNVQHGGCVY1CGCT","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_CYSV9ZVAP8NB4187XZPT3TEXV3","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_TB476Q83BY1NZABMHN86AT0N5D","triggers":"LINT_INPUT","triggersId":"evt_TB476Q83BY1NZABMHN86AT0N5D","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_INDEX","triggers":"INDEX_HEARD","triggersId":"evt_VZRP7Y2ADZ56ZNXTWDPESFZ733","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_SITES","triggers":"SITES_HEARD","triggersId":"evt_8NW7T4XC17P0KGNX6WXDVR46RF","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_UNITS","triggers":"UNITS_HEARD","triggersId":"evt_XYQTXH1K41SJ0XVDCWW6NNZ0G8","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_OPERATOR_SHAPES","triggers":"SHAPES_HEARD","triggersId":"evt_WR05DF5Q3PVHVC0G2622V1KPYG","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_OPERATOR_SHAPES_UNREAD","triggers":"SHAPES_UNREAD","triggersId":"evt_5XGDDJWGJ3891KYYYM0EQRNRTW","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_LANGUAGE_FACTS","triggers":"FACTS_HEARD","triggersId":"evt_FJN5WCPN68AK42D1QRPCAX1Z7M","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_LANGUAGE_FACTS_UNREAD","triggers":"FACTS_UNREAD","triggersId":"evt_7VWDDXG7373HKXTP07ZET82W16","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_G27B64MEC9764HHMZGVVGPQ0XJ","name":"Initialize"},{"key":"SHAPES_HEARD","id":"evt_WR05DF5Q3PVHVC0G2622V1KPYG","name":"Shapes Heard","description":"std-orb-lint-input's LINT_OPERATOR_SHAPES: every installed operator with its category and arity; a collection or std-array operator of two or more arguments introduces @item and @index into its callback arguments.","payloadSchema":[{"nullable":false,"name":"operators","type":"Map<string,SgOpShape>","required":true,"items":{"nullable":false,"name":"","type":"SgOpShape","projectedFrom":{"type":"SgOpShape"}}}],"listened":true},{"key":"SHAPES_UNREAD","id":"evt_5XGDDJWGJ3891KYYYM0EQRNRTW","name":"Shapes Unread","description":"std-orb-lint-input's LINT_OPERATOR_SHAPES_UNREAD: the operator table does not match the shape type.","payloadSchema":[{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"FACTS_HEARD","id":"evt_FJN5WCPN68AK42D1QRPCAX1Z7M","name":"Facts Heard","description":"std-orb-lint-input's LINT_LANGUAGE_FACTS: the sigils the installed binding rules allow in a guard, an effect and a tick.","payloadSchema":[{"nullable":false,"name":"programTypes","type":"Map<string,SgProgType>","required":true,"items":{"nullable":false,"name":"","type":"SgProgType","projectedFrom":{"type":"SgProgType"}}},{"nullable":false,"name":"guardSigils","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"effectSigils","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"tickSigils","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"fieldTypes","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"listened":true},{"key":"FACTS_UNREAD","id":"evt_7VWDDXG7373HKXTP07ZET82W16","name":"Facts Unread","description":"std-orb-lint-input's LINT_LANGUAGE_FACTS_UNREAD: the installed language facts could not be read.","payloadSchema":[{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"INDEX_HEARD","id":"evt_VZRP7Y2ADZ56ZNXTWDPESFZ733","name":"Index Heard","description":"std-orb-lint-input's LINT_INDEX: the binding roots of every trait and transition effect list.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"heads","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"roots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}}],"listened":true},{"key":"SITES_HEARD","id":"evt_8NW7T4XC17P0KGNX6WXDVR46RF","name":"Sites Heard","description":"std-orb-lint-input's LINT_SITES: guard heads and roots, the call hits by head and the @trait. and @entity. leaves.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"guardHeads","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"guardRoots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"calls","type":"Map<string,[GtCallHit]>","required":true,"items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}}},{"nullable":false,"name":"trait","type":"[object]","required":true,"properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}},{"nullable":false,"name":"entity","type":"[object]","required":true,"properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}}],"listened":true},{"key":"UNITS_HEARD","id":"evt_XYQTXH1K41SJ0XVDCWW6NNZ0G8","name":"Units Heard","description":"std-orb-lint-input's LINT_UNITS: the object keys, string emits and @item/@index roots of every transition, tick and config unit.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"keys","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"guardKeys","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"emitStr","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"guardEmitStr","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"itemRoots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"guardItemRoots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}}],"listened":true},{"key":"LINT_INPUT","id":"evt_TB476Q83BY1NZABMHN86AT0N5D","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"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"items":{"nullable":false,"name":"","type":"SgTrait","projectedFrom":{"type":"SgTrait"}}},{"nullable":true,"name":"entity","type":"SgEntity","projectedFrom":{"type":"SgEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[SgEntity]","items":{"nullable":false,"name":"","type":"SgEntity","projectedFrom":{"type":"SgEntity"}}}],"items":{"nullable":false,"name":"","type":"SgOrbital","projectedFrom":{"type":"SgOrbital"}}}],"projectedFrom":{"type":"SgProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_CYSV9ZVAP8NB4187XZPT3TEXV3","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_R4PTQEQVBBXNNVQHGGCVY1CGCT","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_G27B64MEC9764HHMZGVVGPQ0XJ"},{"from":"ready","to":"ready","event":"SHAPES_HEARD","eventId":"evt_WR05DF5Q3PVHVC0G2622V1KPYG","effects":[["set","@entity.shapesUnread",false],["set","@entity.collOps",["array/filter",["object/keys","@payload.operators"],["fn","k",["and",["or",["=",["object/get",["object/get","@payload.operators","@k"],"category",""],"collection"],["=",["object/get",["object/get","@payload.operators","@k"],"category",""],"std-array"]],[">=",["object/get",["object/get","@payload.operators","@k"],"minArity",0],2]]]]]]},{"from":"ready","to":"ready","event":"SHAPES_UNREAD","eventId":"evt_5XGDDJWGJ3891KYYYM0EQRNRTW","effects":[["set","@entity.shapesUnread",true]]},{"from":"ready","to":"ready","event":"FACTS_HEARD","eventId":"evt_FJN5WCPN68AK42D1QRPCAX1Z7M","effects":[["set","@entity.factsUnread",false],["set","@entity.guardAllowed","@payload.guardSigils"],["set","@entity.effectAllowed","@payload.effectSigils"],["set","@entity.tickAllowed","@payload.tickSigils"]]},{"from":"ready","to":"ready","event":"FACTS_UNREAD","eventId":"evt_7VWDDXG7373HKXTP07ZET82W16","effects":[["set","@entity.factsUnread",true]]},{"from":"ready","to":"ready","event":"INDEX_HEARD","eventId":"evt_VZRP7Y2ADZ56ZNXTWDPESFZ733","effects":[["set","@entity.iRoots","@payload.roots"],["set","@entity.indexHeard",true],["set","@entity.indexScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"SITES_HEARD","eventId":"evt_8NW7T4XC17P0KGNX6WXDVR46RF","effects":[["set","@entity.sGuardRoots","@payload.guardRoots"],["set","@entity.sitesGuardHeard",true],["set","@entity.sitesGuardScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"UNITS_HEARD","eventId":"evt_XYQTXH1K41SJ0XVDCWW6NNZ0G8","effects":[["set","@entity.uItem","@payload.itemRoots"],["set","@entity.uGuardItem","@payload.guardItemRoots"],["set","@entity.unitsHeard",true],["set","@entity.unitsScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_TB476Q83BY1NZABMHN86AT0N5D","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if",["and","@entity.indexHeard",["=","@entity.indexScope","@payload.scope"],"@entity.sitesGuardHeard",["=","@entity.sitesGuardScope","@payload.scope"],"@entity.unitsHeard",["=","@entity.unitsScope","@payload.scope"]],["let",[["nohits",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgHit\"}},\"named\":{\"SgHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"ip\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]}]}}}"],["noroots",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgRoot\"}},\"named\":{\"SgRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["nostr",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["nohits0",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgAtHit\"}},\"named\":{\"SgAtHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"ip\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"],["nof",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"],["collSet",["default",["object/fromEntries",["array/map","@entity.collOps",["fn","c",["@c",true]]]],{}],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"boolean\"}}}"],["orbitals",["object/get","@payload.program","orbitals",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgOrbital\"}},\"named\":{\"SgEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTransition\"}},\"required\":false,\"constraints\":[]},{\"name\":\"states\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgState\"}}},\"required\":false,\"constraints\":[]}]},\"SgOrbital\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"traits\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTrait\"}},\"required\":false,\"constraints\":[]},{\"name\":\"entity\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgEntity\"}},\"required\":false,\"constraints\":[]},{\"name\":\"auxiliaryEntities\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgEntity\"}}},\"required\":false,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]},\"SgState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SgMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTick\"}},\"required\":false,\"constraints\":[]}]},\"SgTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":false,\"constraints\":[]}]}}}"],["eAt",["array/map","@entity.effectAllowed",["fn","a",["str/concat",["quote","\"\\u0040\""],"@a"]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["gAt",["array/map","@entity.guardAllowed",["fn","a",["str/concat",["quote","\"\\u0040\""],"@a"]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["if",["or","@entity.shapesUnread","@entity.factsUnread"],["array/concat",["if","@entity.shapesUnread",[{"code":"@config.codes.lintOperatorShapesUnread.code","path":"operators","message":"the installed @almadar/std operator table does not match the operator shape type, so the collection callback operators are unknown","suggestion":"Reinstall @almadar/std so its operator table declares the params of every operator","severity":"error"}],"@nof"],["if","@entity.factsUnread",[{"code":"@config.codes.lintLanguageFactsUnread.code","path":"bindingRules","message":"the installed @almadar/core language facts could not be read, so the sigils allowed in a guard, an effect and a tick are unknown","suggestion":"Reinstall @almadar/core so its orbLanguage declares bindingRules","severity":"error"}],"@nof"]],["let",[["roots",["array/flatten",["array/map","@orbitals",["fn","o",["let",[["oi","@index"]],["let",[["trts",["object/get","@o","traits",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTrait\"}},\"named\":{\"SgMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTransition\"}},\"required\":false,\"constraints\":[]},{\"name\":\"states\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgState\"}}},\"required\":false,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]},\"SgState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SgMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTick\"}},\"required\":false,\"constraints\":[]}]},\"SgTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":false,\"constraints\":[]}]}}}"]],["array/concat",["array/flatten",["array/map","@trts",["fn","t",["let",[["ti","@index"]],["if",["not",["object/has","@t","stateMachine"]],"@noroots",["let",[["tp",["str/concat","orbitals[","@oi"," (",["object/get","@o","name",""],")].traits[","@ti"," (",["object/get","@t","name",""],")]"]],["trs",["object/get","@t","stateMachine.transitions",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTransition\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]},\"SgTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":false,\"constraints\":[]}]}}}"],["tks",["object/get","@t","ticks",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTick\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]},\"SgTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/concat",["array/flatten",["array/map","@trs",["fn","tr",["let",[["xp",["str/concat","@tp",".stateMachine.transitions[","@index","]"]],["uni",["str/concat","@oi","-","@ti","-","@index"]]],["let",[["effs",["object/get","@tr","effects",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["g",["object/get","@tr","guard",null]]],["array/concat",["array/concat",["if",["and",["!=","@g",null],["or",["!=",["object/get","@entity.uGuardItem","@uni",null],null],["array/some",["object/get","@entity.sGuardRoots","@uni","@nostr"],["fn","r",["not",["array/includes","@gAt","@r"]]]]]],[{"x":"@g","w":["str/concat","@xp",".guard"],"c":"guard"}],"@noroots"],["if",["or",["!=",["object/get","@entity.uItem","@uni",null],null],["array/some",["object/get","@entity.iRoots","@uni","@nostr"],["fn","r",["not",["array/includes","@eAt","@r"]]]]],["array/map","@effs",["fn","e",{"x":"@e","w":["str/concat","@xp",".effects[","@index","]"],"c":"effect"}]],"@noroots"]],["let",[["ens",["object/get","@tr","ensures",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/map","@ens",["fn","e",{"x":"@e","w":["str/concat","@xp",".ensures[","@index","]"],"c":"ensures"}]]]]]]]]],["array/concat",["let",[["sts",["object/get","@t","stateMachine.states",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgState\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]},\"SgState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@sts",["fn","st",["let",[["h",["object/get","@st","holds",null]]],["if",["!=","@h",null],[{"x":"@h","w":["str/concat","@tp",".stateMachine.states[","@index","].holds"],"c":"holds"}],"@noroots"]]]]]],["array/flatten",["array/map","@tks",["fn","tk",["let",[["ki","@index"],["teffs",["object/get","@tk","effects",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/map","@teffs",["fn","e",{"x":"@e","w":["str/concat","@tp",".ticks[","@ki","].effects[","@index","]"],"c":"tick"}]]]]]]]]]]]]]],["array/concat",["let",[["ent",["object/get","@o","entity",null]]],["if",["validate/object","@ent"],["let",[["invs",["object/get","@ent","invariants",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["r",["array/map","@invs",["fn","iv",{"x":"@iv","w":["str/concat","orbitals[","@oi","].entity.invariants[","@index","]"],"c":"invariant"}]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgRoot\"}},\"named\":{\"SgRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],"@r"]],"@noroots"]],["let",[["auxs",["object/get","@o","auxiliaryEntities",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgEntity\"}},\"named\":{\"SgEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@auxs",["fn","a",["let",[["ai","@index"],["invs",["object/get","@a","invariants",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["r",["array/map","@invs",["fn","iv",{"x":"@iv","w":["str/concat","orbitals[","@oi","].auxiliaryEntities[","@ai","].invariants[","@index","]"],"c":"invariant"}]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgRoot\"}},\"named\":{\"SgRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],"@r"]]]]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgRoot\"}},\"named\":{\"SgRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["collHeads",["array/concat",["list","fn","let"],"@entity.collOps"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["aMap",{"guard":"@entity.guardAllowed","effect":"@entity.effectAllowed","tick":"@entity.tickAllowed","ensures":["array/concat","@entity.guardAllowed","@config.ensuresSigils"],"holds":"@entity.guardAllowed","invariant":"@entity.guardAllowed"},"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}}"],["cs",["array/map","@roots",["fn","r",["object/get","@r","c",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["ws",["array/map","@roots",["fn","r",["object/get","@r","w",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["let",[["raw",["tree/index","@roots","@collHeads",{"prefixes":[["quote","\"\\u0040\""]]}]]],["let",[["byNode",["array/groupBy",["array/flatten",["object/values",["default",["as",["object/omit","@raw","@collHeads"],"SgAtIdx"],{}]]],"node"],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgAtNode\"}}},\"named\":{\"SgAtNode\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["ats",["array/sort",["array/flatten",["array/map",["object/entries","@byNode"],["fn","en",["let",[["nd",["array/nth","@en",0],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["rt",["str/replace-pattern",["str/replaceAll",["str/slice","@nd",1],"[","."],"\\..$",""]],["hits",["array/nth","@en",1],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgAtNode\"}},\"named\":{\"SgAtNode\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"]],["if",["or",["<",["str/len","@nd"],2],["=","@rt",""],["validate/pattern","@rt","^[A-Z]"]],"@nohits0",["array/map",["if",["or",["=","@rt","item"],["=","@rt","index"]],"@hits",["array/filter","@hits",["fn","a",["not",["array/includes",["object/get","@aMap",["default",["array/nth","@cs",["default",["str/to-int",["str/slice",["default",["array/first",["str/split",["object/get","@a","path",""],"]"]],""],1]],0]],""],"@nostr"],"@rt"]]]]],["fn","a",{"ip":["str/slice",["default",["array/first",["str/split",["object/get","@a","path",""],"]"]],""],1],"path":["object/get","@a","path",""],"r":"@rt","at":["object/get","@a","at",0]}]]]]]]],"at"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgAtHit\"}},\"named\":{\"SgAtHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"ip\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"]],["if",["=",["array/len","@ats"],0],"@nof",["let",[["cset",["default",["object/fromEntries",["array/map","@ats",["fn","h",[["object/get","@h","ip",""],true]]]],{}],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"boolean\"}}}"],["ix",["default",["as",["object/omit","@raw",[["quote","\"\\u0040\""]]],"SgIdx"],{}]]],["let",[["ssBy",["array/groupBy",["array/flatten",["array/map",["array/filter",["array/flatten",["object/values","@ix"]],["fn","c",["object/has","@cset",["str/slice",["default",["array/first",["str/split",["object/get","@c","path",""],"]"]],""],1]]]],["fn","c",["let",[["cn",["object/get","@c","node",null]],["q",["object/get","@c","path",""]]],["if",["not",["and",["validate/array","@cn"],[">=",["array/len","@cn"],3]]],[],["let",[["p1",["array/nth","@cn",1]],["op",["array/nth","@cn",0]],["ip",["str/slice",["default",["array/first",["str/split","@q","]"]],""],1]]],["if",["and",["=",["array/len","@cn"],3],["=","@op","fn"]],[{"ip":"@ip","q":"@q","qb":["str/concat","@q","["],"ql":["str/len","@q"],"kind":"fn","names":["if",["validate/array","@p1"],["array/flatten",["array/map","@p1",["fn","x",["if",["validate/string","@x"],["@x"],"@nostr"]]]],["if",["validate/string","@p1"],["@p1"],"@nostr"]],"pairs":[]}],["if",["and",["=",["array/len","@cn"],3],["=","@op","let"]],["if",["validate/array","@p1"],["let",[["nms",["array/map","@p1",["fn","pr",["if",["and",["validate/array","@pr"],[">",["array/len","@pr"],0]],["let",[["nm0",["array/nth","@pr",0]]],["if",["validate/string","@nm0"],["@nm0"],"@nostr"]],"@nostr"]]]]],[{"ip":"@ip","q":"@q","qb":["str/concat","@q","["],"ql":["str/len","@q"],"kind":"la","names":["array/flatten","@nms"],"pairs":["array/map",["array/range",0,["array/len","@p1"]],["fn","bi",{"pfx":["str/concat","[1][","@bi","][1]"],"before":["array/flatten",["array/slice","@nms",0,"@bi"]]}]]}]],["if",["validate/object","@p1"],[{"ip":"@ip","q":"@q","qb":["str/concat","@q","["],"ql":["str/len","@q"],"kind":"lo","names":["object/keys","@p1"],"pairs":[]}],[{"ip":"@ip","q":"@q","qb":["str/concat","@q","["],"ql":["str/len","@q"],"kind":"l0","names":"@nostr","pairs":[]}]]],["if",["and",["validate/string","@op"],["object/has","@collSet","@op"]],[{"ip":"@ip","q":"@q","qb":["str/concat","@q","["],"ql":["str/len","@q"],"kind":"co","names":["item","index"],"pairs":[]}],[]]]]]]]]]],"ip"],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgScope\"}}},\"named\":{\"SgPair\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"pfx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"before\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]},\"SgScope\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"ip\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"q\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"qb\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ql\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"kind\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"names\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"pairs\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgPair\"}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["hs",["array/filter","@ats",["fn","hit",["let",[["hp",["object/get","@hit","path",""]],["rt",["object/get","@hit","r",""]]],["not",["array/some",["object/get","@ssBy",["object/get","@hit","ip",""],[]],["fn","s",["and",["str/startsWith","@hp",["object/get","@s","qb"]],["let",[["sfx",["str/slice","@hp",["object/get","@s","ql"]]],["kind",["object/get","@s","kind"]],["names",["object/get","@s","names"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["if",["=","@kind","co"],["or",["str/startsWith","@sfx","[0]"],["and",["not",["str/startsWith","@sfx","[1]"]],["array/includes","@names","@rt"]]],["if",["str/startsWith","@sfx","[2]"],["array/includes","@names","@rt"],["if",["=","@kind","lo"],["or",["not",["str/startsWith","@sfx","[1]"]],["array/includes","@names","@rt"]],["if",["=","@kind","la"],["let",[["pf",["array/find",["object/get","@s","pairs"],["fn","pq",["str/startsWith","@sfx",["object/get","@pq","pfx"]]]]]],["or",["=","@pf",null],["array/includes",["object/get","@pf","before"],"@rt"]]],true]]]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgAtHit\"}},\"named\":{\"SgAtHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"ip\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"]],["array/map","@hs",["fn","h",["let",[["root",["object/get","@h","r",""]],["rel",["str/slice",["object/get","@h","path",""],["+",["str/len",["object/get","@h","ip",""]],4]]],["c",["default",["array/nth","@cs",["default",["str/to-int",["object/get","@h","ip",""]],0]],""]]],["let",[["allowed",["object/get","@aMap","@c","@nostr"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["w",["default",["array/nth","@ws",["default",["str/to-int",["object/get","@h","ip",""]],0]],""]]],{"code":["if",["and",["=","@c","tick"],["=","@root","payload"]],"@config.codes.bindingPayloadInTick.code","@config.codes.bindingUnknownRoot.code"],"path":["str/concat","@w","@rel"],"message":["if",["or",["=","@root","item"],["=","@root","index"]],["str/concat","Binding @","@root"," is not in scope here — @item / @index are bound only inside a collection callback (array/map, array/filter, …)."],["str/concat","Binding @","@root"," is not allowed in ","@c"," context. Allowed sigils: ",["str/join","@allowed",", "]]],"suggestion":["if",["or",["=","@root","item"],["=","@root","index"]],"Under `children:` the collection callback must use the EXPLICIT lambda form — `(array/map <collection> (fn (item) <node>))`. The implicit shorthand `(array/map <collection> { … })` is not recognised there, so its body is not treated as a lambda and @item never comes into scope. Both a raw `type:` object and a JSX element are valid as <node>.",["str/concat","Use one of: ",["str/join",["array/map","@allowed",["fn","a",["str/concat",["quote","\"\\u0040\""],"@a"]]],", "]]],"severity":"error"}]]]]]]]]]]]]]]],[{"code":"@config.codes.lintIndexMissing.code","path":"","message":"the lint input arrived without LINT_INDEX and LINT_SITES and LINT_UNITS, so this rule cannot check the program","suggestion":"std-orb-lint-input sends LINT_INDEX and LINT_SITES and LINT_UNITS before LINT_INPUT; this rule did not hear them","severity":"error"}]]],["set","@entity.indexHeard",false],["set","@entity.sitesGuardHeard",false],["set","@entity.unitsHeard",false],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_CYSV9ZVAP8NB4187XZPT3TEXV3","effects":[["emit","LINT_FOUND",{"rule":"sigil-context","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"ensuresSigils":{"nullable":false,"type":"[string]","default":["fromEntity"],"label":"Ensures-only sigils","description":"The sigils an @ensures reads beyond the guard rule's: the entity row before the transition's effects.","items":{"nullable":false,"type":"string"}},"codes":{"nullable":false,"type":"LintSigilContextCodes","default":{"lintIndexMissing":{"code":"ORB_LINT_INDEX_MISSING","category":"lint","description":"The lint input arrived without a shared program fact the rule reads (the structural index, sites, units, embeds or entities), so the rule cannot check the program"},"bindingPayloadInTick":{"code":"ORB_BINDING_PAYLOAD_IN_TICK","category":"binding","description":"A binding reads @payload inside a tick, where a firing has no delivery"},"bindingUnknownRoot":{"code":"ORB_BINDING_UNKNOWN_ROOT","category":"binding","description":"A binding names a root the context does not provide"},"lintOperatorShapesUnread":{"code":"ORB_LINT_OPERATOR_SHAPES_UNREAD","category":"lint","description":"The installed operator table could not be read or does not match the operator shape type, so a lint cannot run"},"lintLanguageFactsUnread":{"code":"ORB_LINT_LANGUAGE_FACTS_UNREAD","category":"lint","description":"The installed language facts could not be read, so the lint rule could not check what it needs"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"bindingPayloadInTick":{"nullable":false,"name":"bindingPayloadInTick","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"}},"bindingUnknownRoot":{"nullable":false,"name":"bindingUnknownRoot","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"}},"lintOperatorShapesUnread":{"nullable":false,"name":"lintOperatorShapesUnread","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"}},"lintLanguageFactsUnread":{"nullable":false,"name":"lintLanguageFactsUnread","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"lintIndexMissing":{"nullable":false,"name":"lintIndexMissing","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}}},"projectedFrom":{"type":"LintSigilContextCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_0DKEWN8ERW7CEFT9PH809V2S0K","fingerprint":"2d3112f642d1069a36f1c04586412a4b514ac651659b5d10fab1d6a2ea3477a0"}},{"name":"OrbLintSigilContextCli","id":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintSigilContextRun","linkedEntityId":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS","entityRefIds":{"OrbLintSigilContextRun":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_QYH59D2NZAAZN2JJ59M4E4C7MR","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_7TTVVVRD9Z6MZP78G6YWVEH50F","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_ZWRGGQA1510JGK0N9TBBR9N4A9","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_KH1EH8ZJVASDNBC8Q9KET9DM0C","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_R4PTQEQVBBXNNVQHGGCVY1CGCT","triggers":"LINT_FOUND","triggersId":"evt_ZWRGGQA1510JGK0N9TBBR9N4A9","source":{"kind":"trait","trait":"OrbLintSigilContext","traitId":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_KH1EH8ZJVASDNBC8Q9KET9DM0C","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_KH1EH8ZJVASDNBC8Q9KET9DM0C","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_J400Q1ES5SCJWT44D0V0TDMGR1","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_FKQW64KR2EW170ZZE95H3ETS7E","name":"Lint Called","description":"Run `orb lint sigil-context` with its arguments and working directory.","synonyms":"orb lint sigil-context","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-sigil-context","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_ZWRGGQA1510JGK0N9TBBR9N4A9","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_KH1EH8ZJVASDNBC8Q9KET9DM0C","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_QYH59D2NZAAZN2JJ59M4E4C7MR","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_7TTVVVRD9Z6MZP78G6YWVEH50F","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_J400Q1ES5SCJWT44D0V0TDMGR1"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_FKQW64KR2EW170ZZE95H3ETS7E","guard":["or",["=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["!=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint sigil-context <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_FKQW64KR2EW170ZZE95H3ETS7E","guard":["and",["!=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["let",[["argFile",["array/first",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]]]],["if",["=","@argFile",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint sigil-context <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_J400Q1ES5SCJWT44D0V0TDMGR1"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_ZWRGGQA1510JGK0N9TBBR9N4A9","guard":["and",["=","@payload.rule","sigil-context"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint sigil-context: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_ZWRGGQA1510JGK0N9TBBR9N4A9","guard":["and",["=","@payload.rule","sigil-context"],[">",["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_KH1EH8ZJVASDNBC8Q9KET9DM0C","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint sigil-context: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC","fingerprint":"9ffc7aa007e5fc35568cea3d786b5fd84c50156485d32895c9d04e7997178452"}},{"ref":"Input.traits.Versions","id":"trt_WYNFYM64A6253C70WRVD5SZP17","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_7N8X0VCN0EAG72S9Y5R0DFGXW8","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_G9XY5746VW3DY857TVMHD6E2Y5","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintSigilContextCli"}},{"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":"OrbLintSigilContextOrbitalStart","id":"pag_Z419EHC0JM09A6CD97MJEX9JNR","path":"","protocol":"boot","traits":[{"ref":"OrbLintSigilContext","refId":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},{"ref":"OrbLintSigilContextCli","refId":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},{"ref":"OrbLintInput","refId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"},{"ref":"Packs","refId":"trt_7N8X0VCN0EAG72S9Y5R0DFGXW8"},{"ref":"Versions","refId":"trt_WYNFYM64A6253C70WRVD5SZP17"}]}],"types":{"GtCallHit":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"GtVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}]}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintSigilContextCodes":[{"nullable":false,"name":"bindingPayloadInTick","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":"bindingUnknownRoot","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":"lintOperatorShapesUnread","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":"lintLanguageFactsUnread","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"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"]}],"SgAtHit":[{"nullable":false,"name":"ip","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"SgAtIdx":[{"nullable":false,"name":"","type":"Map<string,[SgAtNode]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"SgAtNode","projectedFrom":{"type":"SgAtNode"}}}}],"SgAtNode":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"SgCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SgShape","required":true,"properties":[],"projectedFrom":{"type":"SgShape"}}],"SgEntity":[{"nullable":false,"name":"invariants","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"SgHit":[{"nullable":false,"name":"ip","type":"string"},{"nullable":false,"name":"rel","type":"string"},{"nullable":false,"name":"r","type":"string"}],"SgIdx":[{"nullable":false,"name":"","type":"Map<string,[SgCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SgShape","required":true,"properties":[],"projectedFrom":{"type":"SgShape"}}],"items":{"nullable":false,"name":"","type":"SgCall","projectedFrom":{"type":"SgCall"}}}}],"SgMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"SgOpShape":[{"nullable":false,"name":"category","type":"string"},{"nullable":false,"name":"minArity","type":"number"}],"SgOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"items":{"nullable":false,"name":"","type":"SgTrait","projectedFrom":{"type":"SgTrait"}}},{"nullable":true,"name":"entity","type":"SgEntity","projectedFrom":{"type":"SgEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[SgEntity]","items":{"nullable":false,"name":"","type":"SgEntity","projectedFrom":{"type":"SgEntity"}}}],"SgPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SgProgType":[{"nullable":false,"name":"type","type":"string"}],"SgProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"items":{"nullable":false,"name":"","type":"SgTrait","projectedFrom":{"type":"SgTrait"}}},{"nullable":true,"name":"entity","type":"SgEntity","projectedFrom":{"type":"SgEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[SgEntity]","items":{"nullable":false,"name":"","type":"SgEntity","projectedFrom":{"type":"SgEntity"}}}],"items":{"nullable":false,"name":"","type":"SgOrbital","projectedFrom":{"type":"SgOrbital"}}}],"SgRoot":[{"nullable":true,"name":"x","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"SgScope":[{"nullable":false,"name":"ip","type":"string","required":true},{"nullable":false,"name":"q","type":"string","required":true},{"nullable":false,"name":"qb","type":"string","required":true},{"nullable":false,"name":"ql","type":"number","required":true},{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"names","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"pairs","type":"[object]","required":true,"properties":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"SgPair","projectedFrom":{"type":"SgPair"}}}],"SgShape":[{"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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}]}],"SgState":[{"nullable":true,"name":"holds","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}}],"SgTick":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"SgTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"SgTransition":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}]}}],"inbound":["cli-lint-sigil-context"],"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_7JKGQFG4WE2E7FYMQVF6YVJVZS":{"id":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS","kind":"entity","bakedName":"OrbLintSigilContextRun","curName":"OrbLintSigilContextRun","renames":[],"owner":"workspace"},"evt_5XGDDJWGJ3891KYYYM0EQRNRTW":{"id":"evt_5XGDDJWGJ3891KYYYM0EQRNRTW","kind":"event","bakedName":"SHAPES_UNREAD","curName":"SHAPES_UNREAD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_7TTVVVRD9Z6MZP78G6YWVEH50F":{"id":"evt_7TTVVVRD9Z6MZP78G6YWVEH50F","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"evt_7VWDDXG7373HKXTP07ZET82W16":{"id":"evt_7VWDDXG7373HKXTP07ZET82W16","kind":"event","bakedName":"FACTS_UNREAD","curName":"FACTS_UNREAD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_8NW7T4XC17P0KGNX6WXDVR46RF":{"id":"evt_8NW7T4XC17P0KGNX6WXDVR46RF","kind":"event","bakedName":"SITES_HEARD","curName":"SITES_HEARD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_CYSV9ZVAP8NB4187XZPT3TEXV3":{"id":"evt_CYSV9ZVAP8NB4187XZPT3TEXV3","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_FJN5WCPN68AK42D1QRPCAX1Z7M":{"id":"evt_FJN5WCPN68AK42D1QRPCAX1Z7M","kind":"event","bakedName":"FACTS_HEARD","curName":"FACTS_HEARD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_FKQW64KR2EW170ZZE95H3ETS7E":{"id":"evt_FKQW64KR2EW170ZZE95H3ETS7E","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"evt_G27B64MEC9764HHMZGVVGPQ0XJ":{"id":"evt_G27B64MEC9764HHMZGVVGPQ0XJ","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_J400Q1ES5SCJWT44D0V0TDMGR1":{"id":"evt_J400Q1ES5SCJWT44D0V0TDMGR1","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"evt_KH1EH8ZJVASDNBC8Q9KET9DM0C":{"id":"evt_KH1EH8ZJVASDNBC8Q9KET9DM0C","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"evt_QYH59D2NZAAZN2JJ59M4E4C7MR":{"id":"evt_QYH59D2NZAAZN2JJ59M4E4C7MR","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"evt_R4PTQEQVBBXNNVQHGGCVY1CGCT":{"id":"evt_R4PTQEQVBBXNNVQHGGCVY1CGCT","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_TB476Q83BY1NZABMHN86AT0N5D":{"id":"evt_TB476Q83BY1NZABMHN86AT0N5D","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_VZRP7Y2ADZ56ZNXTWDPESFZ733":{"id":"evt_VZRP7Y2ADZ56ZNXTWDPESFZ733","kind":"event","bakedName":"INDEX_HEARD","curName":"INDEX_HEARD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_WR05DF5Q3PVHVC0G2622V1KPYG":{"id":"evt_WR05DF5Q3PVHVC0G2622V1KPYG","kind":"event","bakedName":"SHAPES_HEARD","curName":"SHAPES_HEARD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_XYQTXH1K41SJ0XVDCWW6NNZ0G8":{"id":"evt_XYQTXH1K41SJ0XVDCWW6NNZ0G8","kind":"event","bakedName":"UNITS_HEARD","curName":"UNITS_HEARD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_ZWRGGQA1510JGK0N9TBBR9N4A9":{"id":"evt_ZWRGGQA1510JGK0N9TBBR9N4A9","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"orb_5MWFBGVE6DQ36KF906F8PGMDYQ":{"id":"orb_5MWFBGVE6DQ36KF906F8PGMDYQ","kind":"orbital","bakedName":"OrbLintSigilContextOrbital","curName":"OrbLintSigilContextOrbital","renames":[],"owner":"workspace"},"pag_Z419EHC0JM09A6CD97MJEX9JNR":{"id":"pag_Z419EHC0JM09A6CD97MJEX9JNR","kind":"page","bakedName":"OrbLintSigilContextOrbitalStart","curName":"OrbLintSigilContextOrbitalStart","renames":[],"owner":"workspace"},"trt_0DKEWN8ERW7CEFT9PH809V2S0K":{"id":"trt_0DKEWN8ERW7CEFT9PH809V2S0K","kind":"trait","bakedName":"OrbLintSigilContext","curName":"OrbLintSigilContext","renames":[],"owner":"workspace"},"trt_1P6DXGFSSDWWPJ15EENKC3J4MC":{"id":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC","kind":"trait","bakedName":"OrbLintSigilContextCli","curName":"OrbLintSigilContextCli","renames":[],"owner":"workspace"},"trt_7N8X0VCN0EAG72S9Y5R0DFGXW8":{"id":"trt_7N8X0VCN0EAG72S9Y5R0DFGXW8","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_G9XY5746VW3DY857TVMHD6E2Y5":{"id":"trt_G9XY5746VW3DY857TVMHD6E2Y5","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_WYNFYM64A6253C70WRVD5SZP17":{"id":"trt_WYNFYM64A6253C70WRVD5SZP17","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"}}}}
1	+ {"typeContractVersion":1,"types":{"GtCallHit":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"GtVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}]}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintSigilContextCodes":[{"nullable":false,"name":"bindingPayloadInTick","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":"bindingUnknownRoot","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":"lintOperatorShapesUnread","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":"lintLanguageFactsUnread","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"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"]}],"SgAtHit":[{"nullable":false,"name":"ip","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"SgAtIdx":[{"nullable":false,"name":"","type":"Map<string,[SgAtNode]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"SgAtNode","projectedFrom":{"type":"SgAtNode"}}}}],"SgAtNode":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"SgCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SgShape","required":true,"properties":[],"projectedFrom":{"type":"SgShape"}}],"SgEntity":[{"nullable":false,"name":"invariants","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"SgHit":[{"nullable":false,"name":"ip","type":"string"},{"nullable":false,"name":"rel","type":"string"},{"nullable":false,"name":"r","type":"string"}],"SgIdx":[{"nullable":false,"name":"","type":"Map<string,[SgCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SgShape","required":true,"properties":[],"projectedFrom":{"type":"SgShape"}}],"items":{"nullable":false,"name":"","type":"SgCall","projectedFrom":{"type":"SgCall"}}}}],"SgMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"SgOpShape":[{"nullable":false,"name":"category","type":"string"},{"nullable":false,"name":"minArity","type":"number"}],"SgOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"items":{"nullable":false,"name":"","type":"SgTrait","projectedFrom":{"type":"SgTrait"}}},{"nullable":true,"name":"entity","type":"SgEntity","projectedFrom":{"type":"SgEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[SgEntity]","items":{"nullable":false,"name":"","type":"SgEntity","projectedFrom":{"type":"SgEntity"}}}],"SgPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SgProgType":[{"nullable":false,"name":"type","type":"string"}],"SgProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"items":{"nullable":false,"name":"","type":"SgTrait","projectedFrom":{"type":"SgTrait"}}},{"nullable":true,"name":"entity","type":"SgEntity","projectedFrom":{"type":"SgEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[SgEntity]","items":{"nullable":false,"name":"","type":"SgEntity","projectedFrom":{"type":"SgEntity"}}}],"items":{"nullable":false,"name":"","type":"SgOrbital","projectedFrom":{"type":"SgOrbital"}}}],"SgRoot":[{"nullable":true,"name":"x","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"SgScope":[{"nullable":false,"name":"ip","type":"string","required":true},{"nullable":false,"name":"q","type":"string","required":true},{"nullable":false,"name":"qb","type":"string","required":true},{"nullable":false,"name":"ql","type":"number","required":true},{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"names","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"pairs","type":"[object]","required":true,"properties":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"SgPair","projectedFrom":{"type":"SgPair"}}}],"SgShape":[{"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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}]}],"SgState":[{"nullable":true,"name":"holds","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}}],"SgTick":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"SgTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"SgTransition":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}]},"name":"std-orb-lint-sigil-context","version":"1.0.0","description":"std-orb-lint-sigil-context - the `orb lint sigil-context <file>` command, the port of ORB_BINDING_UNKNOWN_ROOT and ORB_BINDING_PAYLOAD_IN_TICK (traits/sigil_context.rs). It lowers the file with program/read and walks the guard and effects of every inline trait transition (guard and effect context) the `@ensures` of every transition (guard sigils plus the `ensuresSigils` knob), the `@holds` of every state and the invariants of every entity and auxiliary entity (guard sigils), and the effects of every tick (tick context): every `@root` binding string must name a sigil the installed @almadar/core binding rules allow in that context (read from LINT_LANGUAGE_FACTS), unless it is bound by an enclosing `(fn (x) ...)` parameter, a sequential `let` name, or, inside a collection callback (a collection or std-array operator of two or more arguments in the installed operator table, read from LINT_OPERATOR_SHAPES), `item` / `index`. `@item` / `@index` outside a callback get the out-of-scope diagnostic; `@payload` in a tick is ORB_BINDING_PAYLOAD_IN_TICK; PascalCase roots (entity bindings) are skipped. Findings carry the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint sigil-context: 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":"OrbLintSigilContextOrbital","id":"orb_5MWFBGVE6DQ36KF906F8PGMDYQ","uses":[{"from":"almadar-std/lint-sigil-context","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintSigilContextRun","id":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS","persistence":"runtime","fields":[{"nullable":false,"name":"iRoots","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"string"}}},{"nullable":false,"name":"indexHeard","type":"boolean","default":false},{"nullable":false,"name":"indexScope","type":"string","default":""},{"nullable":false,"name":"sGuardRoots","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"string"}}},{"nullable":false,"name":"sitesGuardHeard","type":"boolean","default":false},{"nullable":false,"name":"sitesGuardScope","type":"string","default":""},{"nullable":false,"name":"uItem","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"string"}}},{"nullable":false,"name":"uGuardItem","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"string"}}},{"nullable":false,"name":"unitsHeard","type":"boolean","default":false},{"nullable":false,"name":"unitsScope","type":"string","default":""},{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"findings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}},{"nullable":false,"name":"collOps","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"guardAllowed","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"effectAllowed","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"tickAllowed","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"shapesUnread","type":"boolean","default":false},{"nullable":false,"name":"factsUnread","type":"boolean","default":false}]},"traits":[{"name":"OrbLintSigilContext","id":"trt_0DKEWN8ERW7CEFT9PH809V2S0K","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.collOps"},{"kind":"set","resource":"@entity.effectAllowed"},{"kind":"set","resource":"@entity.factsUnread"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.guardAllowed"},{"kind":"set","resource":"@entity.iRoots"},{"kind":"set","resource":"@entity.indexHeard"},{"kind":"set","resource":"@entity.indexScope"},{"kind":"set","resource":"@entity.sGuardRoots"},{"kind":"set","resource":"@entity.scope"},{"kind":"set","resource":"@entity.shapesUnread"},{"kind":"set","resource":"@entity.sitesGuardHeard"},{"kind":"set","resource":"@entity.sitesGuardScope"},{"kind":"set","resource":"@entity.tickAllowed"},{"kind":"set","resource":"@entity.uGuardItem"},{"kind":"set","resource":"@entity.uItem"},{"kind":"set","resource":"@entity.unitsHeard"},{"kind":"set","resource":"@entity.unitsScope"}],"linkedEntity":"OrbLintSigilContextRun","linkedEntityId":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS","entityRefIds":{"OrbLintSigilContextRun":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS"},"emits":[{"event":"LINT_FOUND","eventId":"evt_R4PTQEQVBBXNNVQHGGCVY1CGCT","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_CYSV9ZVAP8NB4187XZPT3TEXV3","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_TB476Q83BY1NZABMHN86AT0N5D","triggers":"LINT_INPUT","triggersId":"evt_TB476Q83BY1NZABMHN86AT0N5D","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_INDEX","triggers":"INDEX_HEARD","triggersId":"evt_VZRP7Y2ADZ56ZNXTWDPESFZ733","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_SITES","triggers":"SITES_HEARD","triggersId":"evt_8NW7T4XC17P0KGNX6WXDVR46RF","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_UNITS","triggers":"UNITS_HEARD","triggersId":"evt_XYQTXH1K41SJ0XVDCWW6NNZ0G8","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_OPERATOR_SHAPES","triggers":"SHAPES_HEARD","triggersId":"evt_WR05DF5Q3PVHVC0G2622V1KPYG","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_OPERATOR_SHAPES_UNREAD","triggers":"SHAPES_UNREAD","triggersId":"evt_5XGDDJWGJ3891KYYYM0EQRNRTW","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_LANGUAGE_FACTS","triggers":"FACTS_HEARD","triggersId":"evt_FJN5WCPN68AK42D1QRPCAX1Z7M","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}},{"event":"LINT_LANGUAGE_FACTS_UNREAD","triggers":"FACTS_UNREAD","triggersId":"evt_7VWDDXG7373HKXTP07ZET82W16","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_G27B64MEC9764HHMZGVVGPQ0XJ","name":"Initialize"},{"key":"SHAPES_HEARD","id":"evt_WR05DF5Q3PVHVC0G2622V1KPYG","name":"Shapes Heard","description":"std-orb-lint-input's LINT_OPERATOR_SHAPES: every installed operator with its category and arity; a collection or std-array operator of two or more arguments introduces @item and @index into its callback arguments.","payloadSchema":[{"nullable":false,"name":"operators","type":"Map<string,SgOpShape>","required":true,"items":{"nullable":false,"name":"","type":"SgOpShape","projectedFrom":{"type":"SgOpShape"}}}],"listened":true},{"key":"SHAPES_UNREAD","id":"evt_5XGDDJWGJ3891KYYYM0EQRNRTW","name":"Shapes Unread","description":"std-orb-lint-input's LINT_OPERATOR_SHAPES_UNREAD: the operator table does not match the shape type.","payloadSchema":[{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"FACTS_HEARD","id":"evt_FJN5WCPN68AK42D1QRPCAX1Z7M","name":"Facts Heard","description":"std-orb-lint-input's LINT_LANGUAGE_FACTS: the sigils the installed binding rules allow in a guard, an effect and a tick.","payloadSchema":[{"nullable":false,"name":"programTypes","type":"Map<string,SgProgType>","required":true,"items":{"nullable":false,"name":"","type":"SgProgType","projectedFrom":{"type":"SgProgType"}}},{"nullable":false,"name":"guardSigils","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"effectSigils","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"tickSigils","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"fieldTypes","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"listened":true},{"key":"FACTS_UNREAD","id":"evt_7VWDDXG7373HKXTP07ZET82W16","name":"Facts Unread","description":"std-orb-lint-input's LINT_LANGUAGE_FACTS_UNREAD: the installed language facts could not be read.","payloadSchema":[{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"INDEX_HEARD","id":"evt_VZRP7Y2ADZ56ZNXTWDPESFZ733","name":"Index Heard","description":"std-orb-lint-input's LINT_INDEX: the binding roots of every trait and transition effect list.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"heads","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"roots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}}],"listened":true},{"key":"SITES_HEARD","id":"evt_8NW7T4XC17P0KGNX6WXDVR46RF","name":"Sites Heard","description":"std-orb-lint-input's LINT_SITES: guard heads and roots, the call hits by head and the @trait. and @entity. leaves.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"guardHeads","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"guardRoots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"calls","type":"Map<string,[GtCallHit]>","required":true,"items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}}},{"nullable":false,"name":"trait","type":"[object]","required":true,"properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}},{"nullable":false,"name":"entity","type":"[object]","required":true,"properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"items":{"nullable":false,"name":"","type":"GtCallHit","projectedFrom":{"type":"GtCallHit"}}}],"listened":true},{"key":"UNITS_HEARD","id":"evt_XYQTXH1K41SJ0XVDCWW6NNZ0G8","name":"Units Heard","description":"std-orb-lint-input's LINT_UNITS: the object keys, string emits and @item/@index roots of every transition, tick and config unit.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"keys","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"guardKeys","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"emitStr","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"guardEmitStr","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"itemRoots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"guardItemRoots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}}],"listened":true},{"key":"LINT_INPUT","id":"evt_TB476Q83BY1NZABMHN86AT0N5D","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"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"items":{"nullable":false,"name":"","type":"SgTrait","projectedFrom":{"type":"SgTrait"}}},{"nullable":true,"name":"entity","type":"SgEntity","projectedFrom":{"type":"SgEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[SgEntity]","items":{"nullable":false,"name":"","type":"SgEntity","projectedFrom":{"type":"SgEntity"}}}],"items":{"nullable":false,"name":"","type":"SgOrbital","projectedFrom":{"type":"SgOrbital"}}}],"projectedFrom":{"type":"SgProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_CYSV9ZVAP8NB4187XZPT3TEXV3","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_R4PTQEQVBBXNNVQHGGCVY1CGCT","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_G27B64MEC9764HHMZGVVGPQ0XJ"},{"from":"ready","to":"ready","event":"SHAPES_HEARD","eventId":"evt_WR05DF5Q3PVHVC0G2622V1KPYG","effects":[["set","@entity.shapesUnread",false],["set","@entity.collOps",["array/filter",["object/keys","@payload.operators"],["fn","k",["and",["or",["=",["object/get",["object/get","@payload.operators","@k"],"category",""],"collection"],["=",["object/get",["object/get","@payload.operators","@k"],"category",""],"std-array"]],[">=",["object/get",["object/get","@payload.operators","@k"],"minArity",0],2]]]]]]},{"from":"ready","to":"ready","event":"SHAPES_UNREAD","eventId":"evt_5XGDDJWGJ3891KYYYM0EQRNRTW","effects":[["set","@entity.shapesUnread",true]]},{"from":"ready","to":"ready","event":"FACTS_HEARD","eventId":"evt_FJN5WCPN68AK42D1QRPCAX1Z7M","effects":[["set","@entity.factsUnread",false],["set","@entity.guardAllowed","@payload.guardSigils"],["set","@entity.effectAllowed","@payload.effectSigils"],["set","@entity.tickAllowed","@payload.tickSigils"]]},{"from":"ready","to":"ready","event":"FACTS_UNREAD","eventId":"evt_7VWDDXG7373HKXTP07ZET82W16","effects":[["set","@entity.factsUnread",true]]},{"from":"ready","to":"ready","event":"INDEX_HEARD","eventId":"evt_VZRP7Y2ADZ56ZNXTWDPESFZ733","effects":[["set","@entity.iRoots","@payload.roots"],["set","@entity.indexHeard",true],["set","@entity.indexScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"SITES_HEARD","eventId":"evt_8NW7T4XC17P0KGNX6WXDVR46RF","effects":[["set","@entity.sGuardRoots","@payload.guardRoots"],["set","@entity.sitesGuardHeard",true],["set","@entity.sitesGuardScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"UNITS_HEARD","eventId":"evt_XYQTXH1K41SJ0XVDCWW6NNZ0G8","effects":[["set","@entity.uItem","@payload.itemRoots"],["set","@entity.uGuardItem","@payload.guardItemRoots"],["set","@entity.unitsHeard",true],["set","@entity.unitsScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_TB476Q83BY1NZABMHN86AT0N5D","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if",["and","@entity.indexHeard",["=","@entity.indexScope","@payload.scope"],"@entity.sitesGuardHeard",["=","@entity.sitesGuardScope","@payload.scope"],"@entity.unitsHeard",["=","@entity.unitsScope","@payload.scope"]],["let",[["nohits",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgHit\"}},\"named\":{\"SgHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"ip\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]}]}}}"],["noroots",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgRoot\"}},\"named\":{\"SgRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["nostr",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["nohits0",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgAtHit\"}},\"named\":{\"SgAtHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"ip\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"],["nof",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"],["collSet",["default",["object/fromEntries",["array/map","@entity.collOps",["fn","c",["@c",true]]]],{}],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"boolean\"}}}"],["orbitals",["object/get","@payload.program","orbitals",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgOrbital\"}},\"named\":{\"SgEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTransition\"}},\"required\":false,\"constraints\":[]},{\"name\":\"states\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgState\"}}},\"required\":false,\"constraints\":[]}]},\"SgOrbital\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"traits\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTrait\"}},\"required\":false,\"constraints\":[]},{\"name\":\"entity\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgEntity\"}},\"required\":false,\"constraints\":[]},{\"name\":\"auxiliaryEntities\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgEntity\"}}},\"required\":false,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]},\"SgState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SgMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTick\"}},\"required\":false,\"constraints\":[]}]},\"SgTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":false,\"constraints\":[]}]}}}"],["eAt",["array/map","@entity.effectAllowed",["fn","a",["str/concat",["quote","\"\\u0040\""],"@a"]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["gAt",["array/map","@entity.guardAllowed",["fn","a",["str/concat",["quote","\"\\u0040\""],"@a"]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["if",["or","@entity.shapesUnread","@entity.factsUnread"],["array/concat",["if","@entity.shapesUnread",[{"code":"@config.codes.lintOperatorShapesUnread.code","path":"operators","message":"the installed @almadar/std operator table does not match the operator shape type, so the collection callback operators are unknown","suggestion":"Reinstall @almadar/std so its operator table declares the params of every operator","severity":"error"}],"@nof"],["if","@entity.factsUnread",[{"code":"@config.codes.lintLanguageFactsUnread.code","path":"bindingRules","message":"the installed @almadar/core language facts could not be read, so the sigils allowed in a guard, an effect and a tick are unknown","suggestion":"Reinstall @almadar/core so its orbLanguage declares bindingRules","severity":"error"}],"@nof"]],["let",[["roots",["array/flatten",["array/map","@orbitals",["fn","o",["let",[["oi","@index"]],["let",[["trts",["object/get","@o","traits",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTrait\"}},\"named\":{\"SgMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTransition\"}},\"required\":false,\"constraints\":[]},{\"name\":\"states\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgState\"}}},\"required\":false,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]},\"SgState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SgMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTick\"}},\"required\":false,\"constraints\":[]}]},\"SgTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":false,\"constraints\":[]}]}}}"]],["array/concat",["array/flatten",["array/map","@trts",["fn","t",["let",[["ti","@index"]],["if",["not",["object/has","@t","stateMachine"]],"@noroots",["let",[["tp",["str/concat","orbitals[","@oi"," (",["object/get","@o","name",""],")].traits[","@ti"," (",["object/get","@t","name",""],")]"]],["trs",["object/get","@t","stateMachine.transitions",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTransition\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]},\"SgTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":false,\"constraints\":[]}]}}}"],["tks",["object/get","@t","ticks",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgTick\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]},\"SgTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/concat",["array/flatten",["array/map","@trs",["fn","tr",["let",[["xp",["str/concat","@tp",".stateMachine.transitions[","@index","]"]],["uni",["str/concat","@oi","-","@ti","-","@index"]]],["let",[["effs",["object/get","@tr","effects",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["g",["object/get","@tr","guard",null]]],["array/concat",["array/concat",["if",["and",["!=","@g",null],["or",["!=",["object/get","@entity.uGuardItem","@uni",null],null],["array/some",["object/get","@entity.sGuardRoots","@uni","@nostr"],["fn","r",["not",["array/includes","@gAt","@r"]]]]]],[{"x":"@g","w":["str/concat","@xp",".guard"],"c":"guard"}],"@noroots"],["if",["or",["!=",["object/get","@entity.uItem","@uni",null],null],["array/some",["object/get","@entity.iRoots","@uni","@nostr"],["fn","r",["not",["array/includes","@eAt","@r"]]]]],["array/map","@effs",["fn","e",{"x":"@e","w":["str/concat","@xp",".effects[","@index","]"],"c":"effect"}]],"@noroots"]],["let",[["ens",["object/get","@tr","ensures",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/map","@ens",["fn","e",{"x":"@e","w":["str/concat","@xp",".ensures[","@index","]"],"c":"ensures"}]]]]]]]]],["array/concat",["let",[["sts",["object/get","@t","stateMachine.states",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgState\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]},\"SgState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@sts",["fn","st",["let",[["h",["object/get","@st","holds",null]]],["if",["!=","@h",null],[{"x":"@h","w":["str/concat","@tp",".stateMachine.states[","@index","].holds"],"c":"holds"}],"@noroots"]]]]]],["array/flatten",["array/map","@tks",["fn","tk",["let",[["ki","@index"],["teffs",["object/get","@tk","effects",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/map","@teffs",["fn","e",{"x":"@e","w":["str/concat","@tp",".ticks[","@ki","].effects[","@index","]"],"c":"tick"}]]]]]]]]]]]]]],["array/concat",["let",[["ent",["object/get","@o","entity",null]]],["if",["validate/object","@ent"],["let",[["invs",["object/get","@ent","invariants",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["r",["array/map","@invs",["fn","iv",{"x":"@iv","w":["str/concat","orbitals[","@oi","].entity.invariants[","@index","]"],"c":"invariant"}]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgRoot\"}},\"named\":{\"SgRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],"@r"]],"@noroots"]],["let",[["auxs",["object/get","@o","auxiliaryEntities",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgEntity\"}},\"named\":{\"SgEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@auxs",["fn","a",["let",[["ai","@index"],["invs",["object/get","@a","invariants",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"named\":{\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["r",["array/map","@invs",["fn","iv",{"x":"@iv","w":["str/concat","orbitals[","@oi","].auxiliaryEntities[","@ai","].invariants[","@index","]"],"c":"invariant"}]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgRoot\"}},\"named\":{\"SgRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],"@r"]]]]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgRoot\"}},\"named\":{\"SgRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SgShape\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["collHeads",["array/concat",["list","fn","let"],"@entity.collOps"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["aMap",{"guard":"@entity.guardAllowed","effect":"@entity.effectAllowed","tick":"@entity.tickAllowed","ensures":["array/concat","@entity.guardAllowed","@config.ensuresSigils"],"holds":"@entity.guardAllowed","invariant":"@entity.guardAllowed"},"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}}"],["cs",["array/map","@roots",["fn","r",["object/get","@r","c",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["ws",["array/map","@roots",["fn","r",["object/get","@r","w",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["let",[["raw",["tree/index","@roots","@collHeads",{"prefixes":[["quote","\"\\u0040\""]]}]]],["let",[["byNode",["array/groupBy",["array/flatten",["object/values",["default",["as",["object/omit","@raw","@collHeads"],"SgAtIdx"],{}]]],"node"],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgAtNode\"}}},\"named\":{\"SgAtNode\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["ats",["array/sort",["array/flatten",["array/map",["object/entries","@byNode"],["fn","en",["let",[["nd",["array/nth","@en",0],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["rt",["str/replace-pattern",["str/replaceAll",["str/slice","@nd",1],"[","."],"\\..$",""]],["hits",["array/nth","@en",1],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgAtNode\"}},\"named\":{\"SgAtNode\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"]],["if",["or",["<",["str/len","@nd"],2],["=","@rt",""],["validate/pattern","@rt","^[A-Z]"]],"@nohits0",["array/map",["if",["or",["=","@rt","item"],["=","@rt","index"]],"@hits",["array/filter","@hits",["fn","a",["not",["array/includes",["object/get","@aMap",["default",["array/nth","@cs",["default",["str/to-int",["str/slice",["default",["array/first",["str/split",["object/get","@a","path",""],"]"]],""],1]],0]],""],"@nostr"],"@rt"]]]]],["fn","a",{"ip":["str/slice",["default",["array/first",["str/split",["object/get","@a","path",""],"]"]],""],1],"path":["object/get","@a","path",""],"r":"@rt","at":["object/get","@a","at",0]}]]]]]]],"at"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgAtHit\"}},\"named\":{\"SgAtHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"ip\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"]],["if",["=",["array/len","@ats"],0],"@nof",["let",[["cset",["default",["object/fromEntries",["array/map","@ats",["fn","h",[["object/get","@h","ip",""],true]]]],{}],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"boolean\"}}}"],["ix",["default",["as",["object/omit","@raw",[["quote","\"\\u0040\""]]],"SgIdx"],{}]]],["let",[["ssBy",["array/groupBy",["array/flatten",["array/map",["array/filter",["array/flatten",["object/values","@ix"]],["fn","c",["object/has","@cset",["str/slice",["default",["array/first",["str/split",["object/get","@c","path",""],"]"]],""],1]]]],["fn","c",["let",[["cn",["object/get","@c","node",null]],["q",["object/get","@c","path",""]]],["if",["not",["and",["validate/array","@cn"],[">=",["array/len","@cn"],3]]],[],["let",[["p1",["array/nth","@cn",1]],["op",["array/nth","@cn",0]],["ip",["str/slice",["default",["array/first",["str/split","@q","]"]],""],1]]],["if",["and",["=",["array/len","@cn"],3],["=","@op","fn"]],[{"ip":"@ip","q":"@q","qb":["str/concat","@q","["],"ql":["str/len","@q"],"kind":"fn","names":["if",["validate/array","@p1"],["array/flatten",["array/map","@p1",["fn","x",["if",["validate/string","@x"],["@x"],"@nostr"]]]],["if",["validate/string","@p1"],["@p1"],"@nostr"]],"pairs":[]}],["if",["and",["=",["array/len","@cn"],3],["=","@op","let"]],["if",["validate/array","@p1"],["let",[["nms",["array/map","@p1",["fn","pr",["if",["and",["validate/array","@pr"],[">",["array/len","@pr"],0]],["let",[["nm0",["array/nth","@pr",0]]],["if",["validate/string","@nm0"],["@nm0"],"@nostr"]],"@nostr"]]]]],[{"ip":"@ip","q":"@q","qb":["str/concat","@q","["],"ql":["str/len","@q"],"kind":"la","names":["array/flatten","@nms"],"pairs":["array/map",["array/range",0,["array/len","@p1"]],["fn","bi",{"pfx":["str/concat","[1][","@bi","][1]"],"before":["array/flatten",["array/slice","@nms",0,"@bi"]]}]]}]],["if",["validate/object","@p1"],[{"ip":"@ip","q":"@q","qb":["str/concat","@q","["],"ql":["str/len","@q"],"kind":"lo","names":["object/keys","@p1"],"pairs":[]}],[{"ip":"@ip","q":"@q","qb":["str/concat","@q","["],"ql":["str/len","@q"],"kind":"l0","names":"@nostr","pairs":[]}]]],["if",["and",["validate/string","@op"],["object/has","@collSet","@op"]],[{"ip":"@ip","q":"@q","qb":["str/concat","@q","["],"ql":["str/len","@q"],"kind":"co","names":["item","index"],"pairs":[]}],[]]]]]]]]]],"ip"],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgScope\"}}},\"named\":{\"SgPair\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"pfx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"before\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]},\"SgScope\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"ip\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"q\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"qb\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ql\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"kind\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"names\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"pairs\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgPair\"}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["hs",["array/filter","@ats",["fn","hit",["let",[["hp",["object/get","@hit","path",""]],["rt",["object/get","@hit","r",""]]],["not",["array/some",["object/get","@ssBy",["object/get","@hit","ip",""],[]],["fn","s",["and",["str/startsWith","@hp",["object/get","@s","qb"]],["let",[["sfx",["str/slice","@hp",["object/get","@s","ql"]]],["kind",["object/get","@s","kind"]],["names",["object/get","@s","names"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["if",["=","@kind","co"],["or",["str/startsWith","@sfx","[0]"],["and",["not",["str/startsWith","@sfx","[1]"]],["array/includes","@names","@rt"]]],["if",["str/startsWith","@sfx","[2]"],["array/includes","@names","@rt"],["if",["=","@kind","lo"],["or",["not",["str/startsWith","@sfx","[1]"]],["array/includes","@names","@rt"]],["if",["=","@kind","la"],["let",[["pf",["array/find",["object/get","@s","pairs"],["fn","pq",["str/startsWith","@sfx",["object/get","@pq","pfx"]]]]]],["or",["=","@pf",null],["array/includes",["object/get","@pf","before"],"@rt"]]],true]]]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SgAtHit\"}},\"named\":{\"SgAtHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"ip\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]}}}"]],["array/map","@hs",["fn","h",["let",[["root",["object/get","@h","r",""]],["rel",["str/slice",["object/get","@h","path",""],["+",["str/len",["object/get","@h","ip",""]],4]]],["c",["default",["array/nth","@cs",["default",["str/to-int",["object/get","@h","ip",""]],0]],""]]],["let",[["allowed",["object/get","@aMap","@c","@nostr"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["w",["default",["array/nth","@ws",["default",["str/to-int",["object/get","@h","ip",""]],0]],""]]],{"code":["if",["and",["=","@c","tick"],["=","@root","payload"]],"@config.codes.bindingPayloadInTick.code","@config.codes.bindingUnknownRoot.code"],"path":["str/concat","@w","@rel"],"message":["if",["or",["=","@root","item"],["=","@root","index"]],["str/concat","Binding @","@root"," is not in scope here — @item / @index are bound only inside a collection callback (array/map, array/filter, …)."],["str/concat","Binding @","@root"," is not allowed in ","@c"," context. Allowed sigils: ",["str/join","@allowed",", "]]],"suggestion":["if",["or",["=","@root","item"],["=","@root","index"]],"Under `children:` the collection callback must use the EXPLICIT lambda form — `(array/map <collection> (fn (item) <node>))`. The implicit shorthand `(array/map <collection> { … })` is not recognised there, so its body is not treated as a lambda and @item never comes into scope. Both a raw `type:` object and a JSX element are valid as <node>.",["str/concat","Use one of: ",["str/join",["array/map","@allowed",["fn","a",["str/concat",["quote","\"\\u0040\""],"@a"]]],", "]]],"severity":"error"}]]]]]]]]]]]]]]],[{"code":"@config.codes.lintIndexMissing.code","path":"","message":"the lint input arrived without LINT_INDEX and LINT_SITES and LINT_UNITS, so this rule cannot check the program","suggestion":"std-orb-lint-input sends LINT_INDEX and LINT_SITES and LINT_UNITS before LINT_INPUT; this rule did not hear them","severity":"error"}]]],["set","@entity.indexHeard",false],["set","@entity.sitesGuardHeard",false],["set","@entity.unitsHeard",false],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_CYSV9ZVAP8NB4187XZPT3TEXV3","effects":[["emit","LINT_FOUND",{"rule":"sigil-context","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"ensuresSigils":{"nullable":false,"type":"[string]","default":["fromEntity"],"label":"Ensures-only sigils","description":"The sigils an @ensures reads beyond the guard rule's: the entity row before the transition's effects.","items":{"nullable":false,"type":"string"}},"codes":{"nullable":false,"type":"LintSigilContextCodes","default":{"lintIndexMissing":{"code":"ORB_LINT_INDEX_MISSING","category":"lint","description":"The lint input arrived without a shared program fact the rule reads (the structural index, sites, units, embeds or entities), so the rule cannot check the program"},"bindingPayloadInTick":{"code":"ORB_BINDING_PAYLOAD_IN_TICK","category":"binding","description":"A binding reads @payload inside a tick, where a firing has no delivery"},"bindingUnknownRoot":{"code":"ORB_BINDING_UNKNOWN_ROOT","category":"binding","description":"A binding names a root the context does not provide"},"lintOperatorShapesUnread":{"code":"ORB_LINT_OPERATOR_SHAPES_UNREAD","category":"lint","description":"The installed operator table could not be read or does not match the operator shape type, so a lint cannot run"},"lintLanguageFactsUnread":{"code":"ORB_LINT_LANGUAGE_FACTS_UNREAD","category":"lint","description":"The installed language facts could not be read, so the lint rule could not check what it needs"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"bindingPayloadInTick":{"nullable":false,"name":"bindingPayloadInTick","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"}},"bindingUnknownRoot":{"nullable":false,"name":"bindingUnknownRoot","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"}},"lintOperatorShapesUnread":{"nullable":false,"name":"lintOperatorShapesUnread","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"}},"lintLanguageFactsUnread":{"nullable":false,"name":"lintLanguageFactsUnread","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"lintIndexMissing":{"nullable":false,"name":"lintIndexMissing","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}}},"projectedFrom":{"type":"LintSigilContextCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_0DKEWN8ERW7CEFT9PH809V2S0K","fingerprint":"2d3112f642d1069a36f1c04586412a4b514ac651659b5d10fab1d6a2ea3477a0"}},{"name":"OrbLintSigilContextCli","id":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintSigilContextRun","linkedEntityId":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS","entityRefIds":{"OrbLintSigilContextRun":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_QYH59D2NZAAZN2JJ59M4E4C7MR","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_7TTVVVRD9Z6MZP78G6YWVEH50F","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_ZWRGGQA1510JGK0N9TBBR9N4A9","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_KH1EH8ZJVASDNBC8Q9KET9DM0C","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_R4PTQEQVBBXNNVQHGGCVY1CGCT","triggers":"LINT_FOUND","triggersId":"evt_ZWRGGQA1510JGK0N9TBBR9N4A9","source":{"kind":"trait","trait":"OrbLintSigilContext","traitId":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_KH1EH8ZJVASDNBC8Q9KET9DM0C","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_KH1EH8ZJVASDNBC8Q9KET9DM0C","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_J400Q1ES5SCJWT44D0V0TDMGR1","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_FKQW64KR2EW170ZZE95H3ETS7E","name":"Lint Called","description":"Run `orb lint sigil-context` with its arguments and working directory.","synonyms":"orb lint sigil-context","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-sigil-context","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_ZWRGGQA1510JGK0N9TBBR9N4A9","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_KH1EH8ZJVASDNBC8Q9KET9DM0C","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_QYH59D2NZAAZN2JJ59M4E4C7MR","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_7TTVVVRD9Z6MZP78G6YWVEH50F","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_J400Q1ES5SCJWT44D0V0TDMGR1"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_FKQW64KR2EW170ZZE95H3ETS7E","guard":["or",["=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["!=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint sigil-context <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_FKQW64KR2EW170ZZE95H3ETS7E","guard":["and",["!=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["let",[["argFile",["array/first",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]]]],["if",["=","@argFile",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint sigil-context <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_J400Q1ES5SCJWT44D0V0TDMGR1"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_ZWRGGQA1510JGK0N9TBBR9N4A9","guard":["and",["=","@payload.rule","sigil-context"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint sigil-context: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_ZWRGGQA1510JGK0N9TBBR9N4A9","guard":["and",["=","@payload.rule","sigil-context"],[">",["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_KH1EH8ZJVASDNBC8Q9KET9DM0C","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint sigil-context: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC","fingerprint":"9ffc7aa007e5fc35568cea3d786b5fd84c50156485d32895c9d04e7997178452"}},{"ref":"Input.traits.Versions","id":"trt_WYNFYM64A6253C70WRVD5SZP17","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_7N8X0VCN0EAG72S9Y5R0DFGXW8","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_G9XY5746VW3DY857TVMHD6E2Y5","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintSigilContextCli"}},{"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":"OrbLintSigilContextOrbitalStart","id":"pag_Z419EHC0JM09A6CD97MJEX9JNR","path":"","protocol":"boot","traits":[{"ref":"OrbLintSigilContext","refId":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},{"ref":"OrbLintSigilContextCli","refId":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},{"ref":"OrbLintInput","refId":"trt_G9XY5746VW3DY857TVMHD6E2Y5"},{"ref":"Packs","refId":"trt_7N8X0VCN0EAG72S9Y5R0DFGXW8"},{"ref":"Versions","refId":"trt_WYNFYM64A6253C70WRVD5SZP17"}]}],"types":{"GtCallHit":[{"nullable":false,"name":"path","type":"string"},{"nullable":true,"name":"node","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}],"projectedFrom":{"type":"GtVal"}},{"nullable":false,"name":"at","type":"number"}],"GtVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GtVal]","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}},{"nullable":false,"name":"object","type":"Map<string,GtVal>","items":{"nullable":true,"name":"","type":"GtVal","projectedFrom":{"type":"GtVal"}}}]}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintSigilContextCodes":[{"nullable":false,"name":"bindingPayloadInTick","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":"bindingUnknownRoot","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":"lintOperatorShapesUnread","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":"lintLanguageFactsUnread","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"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"]}],"SgAtHit":[{"nullable":false,"name":"ip","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"SgAtIdx":[{"nullable":false,"name":"","type":"Map<string,[SgAtNode]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"SgAtNode","projectedFrom":{"type":"SgAtNode"}}}}],"SgAtNode":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true},{"nullable":false,"name":"at","type":"number","required":true}],"SgCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SgShape","required":true,"properties":[],"projectedFrom":{"type":"SgShape"}}],"SgEntity":[{"nullable":false,"name":"invariants","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"SgHit":[{"nullable":false,"name":"ip","type":"string"},{"nullable":false,"name":"rel","type":"string"},{"nullable":false,"name":"r","type":"string"}],"SgIdx":[{"nullable":false,"name":"","type":"Map<string,[SgCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SgShape","required":true,"properties":[],"projectedFrom":{"type":"SgShape"}}],"items":{"nullable":false,"name":"","type":"SgCall","projectedFrom":{"type":"SgCall"}}}}],"SgMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"SgOpShape":[{"nullable":false,"name":"category","type":"string"},{"nullable":false,"name":"minArity","type":"number"}],"SgOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"items":{"nullable":false,"name":"","type":"SgTrait","projectedFrom":{"type":"SgTrait"}}},{"nullable":true,"name":"entity","type":"SgEntity","projectedFrom":{"type":"SgEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[SgEntity]","items":{"nullable":false,"name":"","type":"SgEntity","projectedFrom":{"type":"SgEntity"}}}],"SgPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SgProgType":[{"nullable":false,"name":"type","type":"string"}],"SgProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"items":{"nullable":false,"name":"","type":"SgTrait","projectedFrom":{"type":"SgTrait"}}},{"nullable":true,"name":"entity","type":"SgEntity","projectedFrom":{"type":"SgEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[SgEntity]","items":{"nullable":false,"name":"","type":"SgEntity","projectedFrom":{"type":"SgEntity"}}}],"items":{"nullable":false,"name":"","type":"SgOrbital","projectedFrom":{"type":"SgOrbital"}}}],"SgRoot":[{"nullable":true,"name":"x","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"SgScope":[{"nullable":false,"name":"ip","type":"string","required":true},{"nullable":false,"name":"q","type":"string","required":true},{"nullable":false,"name":"qb","type":"string","required":true},{"nullable":false,"name":"ql","type":"number","required":true},{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"names","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"pairs","type":"[object]","required":true,"properties":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"SgPair","projectedFrom":{"type":"SgPair"}}}],"SgShape":[{"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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}]}],"SgState":[{"nullable":true,"name":"holds","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}}],"SgTick":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"SgTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTransition","projectedFrom":{"type":"SgTransition"}}},{"nullable":true,"name":"states","type":"[SgState]","items":{"nullable":false,"name":"","type":"SgState","projectedFrom":{"type":"SgState"}}}],"projectedFrom":{"type":"SgMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"items":{"nullable":false,"name":"","type":"SgTick","projectedFrom":{"type":"SgTick"}}}],"SgTransition":[{"nullable":true,"name":"guard","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":"[SgShape]","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":false,"name":"object","type":"Map<string,SgShape>","items":{"nullable":true,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}],"projectedFrom":{"type":"SgShape"}},{"nullable":false,"name":"effects","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}},{"nullable":true,"name":"ensures","type":"[SgShape]","items":{"nullable":false,"name":"","type":"SgShape","projectedFrom":{"type":"SgShape"}}}]}}],"inbound":["cli-lint-sigil-context"],"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_7JKGQFG4WE2E7FYMQVF6YVJVZS":{"id":"ent_7JKGQFG4WE2E7FYMQVF6YVJVZS","kind":"entity","bakedName":"OrbLintSigilContextRun","curName":"OrbLintSigilContextRun","renames":[],"owner":"workspace"},"evt_5XGDDJWGJ3891KYYYM0EQRNRTW":{"id":"evt_5XGDDJWGJ3891KYYYM0EQRNRTW","kind":"event","bakedName":"SHAPES_UNREAD","curName":"SHAPES_UNREAD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_7TTVVVRD9Z6MZP78G6YWVEH50F":{"id":"evt_7TTVVVRD9Z6MZP78G6YWVEH50F","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"evt_7VWDDXG7373HKXTP07ZET82W16":{"id":"evt_7VWDDXG7373HKXTP07ZET82W16","kind":"event","bakedName":"FACTS_UNREAD","curName":"FACTS_UNREAD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_8NW7T4XC17P0KGNX6WXDVR46RF":{"id":"evt_8NW7T4XC17P0KGNX6WXDVR46RF","kind":"event","bakedName":"SITES_HEARD","curName":"SITES_HEARD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_CYSV9ZVAP8NB4187XZPT3TEXV3":{"id":"evt_CYSV9ZVAP8NB4187XZPT3TEXV3","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_FJN5WCPN68AK42D1QRPCAX1Z7M":{"id":"evt_FJN5WCPN68AK42D1QRPCAX1Z7M","kind":"event","bakedName":"FACTS_HEARD","curName":"FACTS_HEARD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_FKQW64KR2EW170ZZE95H3ETS7E":{"id":"evt_FKQW64KR2EW170ZZE95H3ETS7E","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"evt_G27B64MEC9764HHMZGVVGPQ0XJ":{"id":"evt_G27B64MEC9764HHMZGVVGPQ0XJ","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_J400Q1ES5SCJWT44D0V0TDMGR1":{"id":"evt_J400Q1ES5SCJWT44D0V0TDMGR1","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"evt_KH1EH8ZJVASDNBC8Q9KET9DM0C":{"id":"evt_KH1EH8ZJVASDNBC8Q9KET9DM0C","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"evt_QYH59D2NZAAZN2JJ59M4E4C7MR":{"id":"evt_QYH59D2NZAAZN2JJ59M4E4C7MR","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"evt_R4PTQEQVBBXNNVQHGGCVY1CGCT":{"id":"evt_R4PTQEQVBBXNNVQHGGCVY1CGCT","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_TB476Q83BY1NZABMHN86AT0N5D":{"id":"evt_TB476Q83BY1NZABMHN86AT0N5D","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_VZRP7Y2ADZ56ZNXTWDPESFZ733":{"id":"evt_VZRP7Y2ADZ56ZNXTWDPESFZ733","kind":"event","bakedName":"INDEX_HEARD","curName":"INDEX_HEARD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_WR05DF5Q3PVHVC0G2622V1KPYG":{"id":"evt_WR05DF5Q3PVHVC0G2622V1KPYG","kind":"event","bakedName":"SHAPES_HEARD","curName":"SHAPES_HEARD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_XYQTXH1K41SJ0XVDCWW6NNZ0G8":{"id":"evt_XYQTXH1K41SJ0XVDCWW6NNZ0G8","kind":"event","bakedName":"UNITS_HEARD","curName":"UNITS_HEARD","renames":[],"owner":"workspace","parent":"trt_0DKEWN8ERW7CEFT9PH809V2S0K"},"evt_ZWRGGQA1510JGK0N9TBBR9N4A9":{"id":"evt_ZWRGGQA1510JGK0N9TBBR9N4A9","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC"},"orb_5MWFBGVE6DQ36KF906F8PGMDYQ":{"id":"orb_5MWFBGVE6DQ36KF906F8PGMDYQ","kind":"orbital","bakedName":"OrbLintSigilContextOrbital","curName":"OrbLintSigilContextOrbital","renames":[],"owner":"workspace"},"pag_Z419EHC0JM09A6CD97MJEX9JNR":{"id":"pag_Z419EHC0JM09A6CD97MJEX9JNR","kind":"page","bakedName":"OrbLintSigilContextOrbitalStart","curName":"OrbLintSigilContextOrbitalStart","renames":[],"owner":"workspace"},"trt_0DKEWN8ERW7CEFT9PH809V2S0K":{"id":"trt_0DKEWN8ERW7CEFT9PH809V2S0K","kind":"trait","bakedName":"OrbLintSigilContext","curName":"OrbLintSigilContext","renames":[],"owner":"workspace"},"trt_1P6DXGFSSDWWPJ15EENKC3J4MC":{"id":"trt_1P6DXGFSSDWWPJ15EENKC3J4MC","kind":"trait","bakedName":"OrbLintSigilContextCli","curName":"OrbLintSigilContextCli","renames":[],"owner":"workspace"},"trt_7N8X0VCN0EAG72S9Y5R0DFGXW8":{"id":"trt_7N8X0VCN0EAG72S9Y5R0DFGXW8","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_G9XY5746VW3DY857TVMHD6E2Y5":{"id":"trt_G9XY5746VW3DY857TVMHD6E2Y5","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_WYNFYM64A6253C70WRVD5SZP17":{"id":"trt_WYNFYM64A6253C70WRVD5SZP17","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"}}}}