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-binding-roots.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"typeContractVersion":1,"types":{"BrAt":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"BrAtIdx":[{"nullable":false,"name":"","type":"Map<string,[BrAt]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"BrAt","projectedFrom":{"type":"BrAt"}}}}],"BrCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BrShape","required":true,"properties":[],"projectedFrom":{"type":"BrShape"}}],"BrEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"BrExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"BrHit":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"BrIdx":[{"nullable":false,"name":"","type":"Map<string,[BrCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BrShape","required":true,"properties":[],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrCall","projectedFrom":{"type":"BrCall"}}}}],"BrMachineBR":[{"nullable":false,"name":"states","type":"[object]","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"BrOpShape":[{"nullable":false,"name":"category","type":"string"},{"nullable":false,"name":"minArity","type":"number"}],"BrOrbitalBR":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"BrExpect","projectedFrom":{"type":"BrExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrEntity","projectedFrom":{"type":"BrEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"items":{"nullable":false,"name":"","type":"BrTraitBR","projectedFrom":{"type":"BrTraitBR"}}}],"BrPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"BrProgramBR":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"BrExpect","projectedFrom":{"type":"BrExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrEntity","projectedFrom":{"type":"BrEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"items":{"nullable":false,"name":"","type":"BrTraitBR","projectedFrom":{"type":"BrTraitBR"}}}],"items":{"nullable":false,"name":"","type":"BrOrbitalBR","projectedFrom":{"type":"BrOrbitalBR"}}}],"BrRH":[{"nullable":false,"name":"x","type":"object","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"projectedFrom":{"type":"BrRoot"}},{"nullable":false,"name":"hs","type":"[object]","properties":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"BrHit","projectedFrom":{"type":"BrHit"}}}],"BrRoot":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"BrScope":[{"nullable":false,"name":"q","type":"string","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":"BrPair","projectedFrom":{"type":"BrPair"}}}],"BrShape":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}]}],"BrState":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"BrTick":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"BrTraitBR":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"BrTransitionBR":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"GtEntityFacts":[{"nullable":false,"name":"orbital","type":"string","required":true},{"nullable":false,"name":"auxiliary","type":"boolean","required":true},{"nullable":false,"name":"fields","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"types","type":"Map<string,string>","items":{"nullable":false,"name":"","type":"string"}}],"LintBindingRootsCodes":[{"nullable":false,"name":"lintUiVocabUnread","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":"bindingInvalidFormat","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":"bindingFromEntityOutsideEnsures","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":"bindingDispatchRootInTick","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":"bindingRootNoPath","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":"bindingEventInvalidPath","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":"bindingStateNoPath","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":"bindingNowNoPath","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":"bindingUnknownEntity","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"}}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]},"name":"std-orb-lint-binding-roots","version":"1.0.0","description":"std-orb-lint-binding-roots - the `orb lint binding-roots <file>` command, the port of the root rules of binding.rs validate_binding: ORB_BINDING_INVALID_FORMAT, ORB_BINDING_FROM_ENTITY_OUTSIDE_ENSURES, ORB_BINDING_DISPATCH_ROOT_IN_TICK, ORB_BINDING_ROOT_NO_PATH, ORB_BINDING_EVENT_INVALID_PATH, ORB_BINDING_STATE_NO_PATH, ORB_BINDING_NOW_NO_PATH and ORB_BINDING_UNKNOWN_ENTITY. It lowers the file with program/read and walks the guard (guard context), the effects (effect context), the ensures (ensures context), the state holds and the entity invariants (guard context) of every inline trait, and the tick effects (tick context). Every `@root` binding string is checked unless 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` binds its root. The delivery roots (event, prevEvents, prevStates, fromState, toState) and the `@event.source` keys are the language's delivery record. Findings carry the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint binding-roots: 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":"OrbLintBindingRootsOrbital","id":"orb_T68HZMNAA0N506WXJDGZR028YS","uses":[{"from":"almadar-std/lint-binding-roots","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintBindingRootsRun","id":"ent_BHC36TRB855M2QAQZFEB4A5YR9","persistence":"runtime","fields":[{"nullable":false,"name":"ents","type":"object","default":{},"items":{"nullable":false,"type":"object","properties":{"orbital":{"nullable":false,"name":"orbital","type":"string","required":true},"auxiliary":{"nullable":false,"name":"auxiliary","type":"boolean","required":true},"fields":{"nullable":false,"name":"fields","type":"array","required":true,"items":{"nullable":false,"type":"string"}},"types":{"nullable":false,"name":"types","type":"object","required":false,"items":{"nullable":false,"type":"string"}}},"projectedFrom":{"type":"GtEntityFacts"}}},{"nullable":false,"name":"dups","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"entitiesHeard","type":"boolean","default":false},{"nullable":false,"name":"entitiesScope","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":"shapesUnread","type":"boolean","default":false},{"nullable":false,"name":"deliveryRoots","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"sourceKeys","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"vocabUnread","type":"boolean","default":false}]},"traits":[{"name":"OrbLintBindingRoots","id":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.collOps"},{"kind":"set","resource":"@entity.deliveryRoots"},{"kind":"set","resource":"@entity.dups"},{"kind":"set","resource":"@entity.entitiesHeard"},{"kind":"set","resource":"@entity.entitiesScope"},{"kind":"set","resource":"@entity.ents"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"},{"kind":"set","resource":"@entity.shapesUnread"},{"kind":"set","resource":"@entity.sourceKeys"},{"kind":"set","resource":"@entity.vocabUnread"}],"linkedEntity":"OrbLintBindingRootsRun","linkedEntityId":"ent_BHC36TRB855M2QAQZFEB4A5YR9","entityRefIds":{"OrbLintBindingRootsRun":"ent_BHC36TRB855M2QAQZFEB4A5YR9"},"emits":[{"event":"LINT_FOUND","eventId":"evt_BSATNZM1590JMYTF0HQKHYSB3K","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_RPDA09CKQD9VPXKN2R4AEC5PNF","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","triggers":"LINT_INPUT","triggersId":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}},{"event":"LINT_ENTITIES","triggers":"ENTITIES_HEARD","triggersId":"evt_TR22M7CCE46721F0GQZAKZJJQW","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}},{"event":"LINT_OPERATOR_SHAPES","triggers":"SHAPES_HEARD","triggersId":"evt_0ECHXSJW0HE08G90G0C3EV0N1G","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}},{"event":"LINT_OPERATOR_SHAPES_UNREAD","triggers":"SHAPES_UNREAD","triggersId":"evt_HM0KDR4TR0DC03GKG1VY7ENY0K","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}},{"event":"LINT_UI_VOCAB","triggers":"UI_VOCAB_HEARD","triggersId":"evt_FKX2BXE77J3KS3BKS3HN51653S","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}},{"event":"LINT_UI_VOCAB_UNREAD","triggers":"UI_VOCAB_UNREAD","triggersId":"evt_BS62NMEDZJ6ZS3F2FXND566MKT","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_YPJDVY2PF0B7G13TC8E7WHXGBH","name":"Initialize"},{"key":"SHAPES_HEARD","id":"evt_0ECHXSJW0HE08G90G0C3EV0N1G","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,BrOpShape>","required":true,"items":{"nullable":false,"name":"","type":"BrOpShape","projectedFrom":{"type":"BrOpShape"}}}],"listened":true},{"key":"SHAPES_UNREAD","id":"evt_HM0KDR4TR0DC03GKG1VY7ENY0K","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":"UI_VOCAB_HEARD","id":"evt_FKX2BXE77J3KS3BKS3HN51653S","name":"Ui Vocab Heard","description":"std-orb-lint-input's LINT_UI_VOCAB: the installed UI vocabulary; its deliveryRoots and eventSourceKeys are the delivery record.","payloadSchema":[{"nullable":false,"name":"slots","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"itemActionBaseProps","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"lucideIcons","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"themeKeys","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"deliveryRoots","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"eventSourceKeys","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"listened":true},{"key":"UI_VOCAB_UNREAD","id":"evt_BS62NMEDZJ6ZS3F2FXND566MKT","name":"Ui Vocab Unread","description":"std-orb-lint-input's LINT_UI_VOCAB_UNREAD: the UI vocabulary could not be read.","payloadSchema":[{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"ENTITIES_HEARD","id":"evt_TR22M7CCE46721F0GQZAKZJJQW","name":"Entities Heard","description":"std-orb-lint-input's LINT_ENTITIES: every entity by name with its orbital, fields and field types.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"entities","type":"Map<string,GtEntityFacts>","required":true,"items":{"nullable":false,"name":"","type":"GtEntityFacts","projectedFrom":{"type":"GtEntityFacts"}}},{"nullable":false,"name":"duplicates","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"listened":true},{"key":"LINT_INPUT","id":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","name":"Lint Input","description":"The lint input: the file read, its language decided and the program lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"raw","type":"string","required":true},{"nullable":false,"name":"latin","type":"boolean","required":true},{"nullable":false,"name":"program","type":"object","required":true,"properties":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"BrExpect","projectedFrom":{"type":"BrExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrEntity","projectedFrom":{"type":"BrEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"items":{"nullable":false,"name":"","type":"BrTraitBR","projectedFrom":{"type":"BrTraitBR"}}}],"items":{"nullable":false,"name":"","type":"BrOrbitalBR","projectedFrom":{"type":"BrOrbitalBR"}}}],"projectedFrom":{"type":"BrProgramBR"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_RPDA09CKQD9VPXKN2R4AEC5PNF","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_BSATNZM1590JMYTF0HQKHYSB3K","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_YPJDVY2PF0B7G13TC8E7WHXGBH"},{"from":"ready","to":"ready","event":"SHAPES_HEARD","eventId":"evt_0ECHXSJW0HE08G90G0C3EV0N1G","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_HM0KDR4TR0DC03GKG1VY7ENY0K","effects":[["set","@entity.shapesUnread",true]]},{"from":"ready","to":"ready","event":"UI_VOCAB_HEARD","eventId":"evt_FKX2BXE77J3KS3BKS3HN51653S","effects":[["set","@entity.vocabUnread",false],["set","@entity.deliveryRoots","@payload.deliveryRoots"],["set","@entity.sourceKeys","@payload.eventSourceKeys"]]},{"from":"ready","to":"ready","event":"UI_VOCAB_UNREAD","eventId":"evt_BS62NMEDZJ6ZS3F2FXND566MKT","effects":[["set","@entity.vocabUnread",true]]},{"from":"ready","to":"ready","event":"ENTITIES_HEARD","eventId":"evt_TR22M7CCE46721F0GQZAKZJJQW","effects":[["set","@entity.ents","@payload.entities"],["set","@entity.dups","@payload.duplicates"],["set","@entity.entitiesHeard",true],["set","@entity.entitiesScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","guard":"@entity.vocabUnread","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",[{"code":"@config.codes.lintUiVocabUnread.code","path":"uiVocabulary","message":"the installed @almadar/core declares no readable UI vocabulary, so the delivery roots and @event.source keys are unknown","suggestion":"Reinstall @almadar/core so its language data declares orbLanguage.uiVocabulary","severity":"error"}]],["set","@entity.entitiesHeard",false],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","guard":["not","@entity.vocabUnread"],"effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if",["and","@entity.entitiesHeard",["=","@entity.entitiesScope","@payload.scope"]],["let",[["nohits",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrHit\"}},\"named\":{\"BrHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"],["noroots",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrRoot\"}},\"named\":{\"BrRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["nostr",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["nof",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"],["dRoots","@entity.deliveryRoots","{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["sKeys","@entity.sourceKeys","{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["collOps","@entity.collOps","{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["collIdx",["default",["object/fromEntries",["array/map","@entity.collOps",["fn","c",["@c",true]]]],{}]],["orbitals",["object/get","@payload.program","orbitals",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrOrbitalBR\"}},\"named\":{\"BrEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrExpect\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"kind\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]}]},\"BrMachineBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTransitionBR\"}},\"required\":false,\"constraints\":[]}]},\"BrOrbitalBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"expects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrExpect\"}},\"required\":false,\"constraints\":[]},{\"name\":\"entity\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BrEntity\"},\"required\":false,\"constraints\":[]},{\"name\":\"auxiliaryEntities\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrEntity\"}},\"required\":false,\"constraints\":[]},{\"name\":\"traits\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTraitBR\"}},\"required\":false,\"constraints\":[]}]},\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]},\"BrState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrTraitBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BrMachineBR\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTick\"}},\"required\":false,\"constraints\":[]}]},\"BrTransitionBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["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"}],["let",[["known",["array/concat",["object/keys","@entity.ents"],["array/flatten",["array/map","@orbitals",["fn","o",["array/flatten",["array/map",["object/get","@o","expects",[]],["fn","ex",["if",["and",["or",["=",["object/get","@ex","kind",""],"entity"],["=",["object/get","@ex","kind",""],"identity"]],["object/has","@ex","name"]],[["object/get","@ex","name",""]],"@nostr"]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["roots",["array/concat",["array/flatten",["array/map","@orbitals",["fn","o",["let",[["oi","@index"],["trts",["object/get","@o","traits",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTraitBR\"}},\"named\":{\"BrMachineBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTransitionBR\"}},\"required\":false,\"constraints\":[]}]},\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]},\"BrState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrTraitBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BrMachineBR\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTick\"}},\"required\":false,\"constraints\":[]}]},\"BrTransitionBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["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\":\"BrTransitionBR\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]},\"BrTransitionBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["sts",["object/get","@t","stateMachine.states",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrState\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]},\"BrState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["tks",["object/get","@t","ticks",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTick\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]},\"BrTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/concat",["array/flatten",["array/map","@trs",["fn","tr",["let",[["xp",["str/concat","@tp",".stateMachine.transitions[","@index","]"]],["effs",["object/get","@tr","effects",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["ens",["object/get","@tr","ensures",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["g",["object/get","@tr","guard",null]]],["array/concat",["if",["!=","@g",null],[{"x":"@g","w":["str/concat","@xp",".guard"],"c":"guard"}],"@noroots"],["array/concat",["array/map","@effs",["fn","e",{"x":"@e","w":["str/concat","@xp",".effects[","@index","]"],"c":"effect"}]],["array/map","@ens",["fn","e",{"x":"@e","w":["str/concat","@xp",".ensures[","@index","]"],"c":"ensures"}]]]]]]]],["array/concat",["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":"guard"}],"@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\":\"BrShape\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/map","@teffs",["fn","e",{"x":"@e","w":["str/concat","@tp",".ticks[","@ki","].effects[","@index","]"],"c":"tick"}]]]]]]]]]]]]]]]]]],["array/concat",["array/flatten",["array/map","@orbitals",["fn","o",["let",[["oi","@index"],["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\":\"BrShape\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/map","@invs",["fn","iv",{"x":"@iv","w":["str/concat","orbitals[","@oi","].entity.invariants[","@index","]"],"c":"guard"}]]],"@noroots"]]]]],["array/flatten",["array/map","@orbitals",["fn","o",["let",[["oi","@index"],["auxs",["object/get","@o","auxiliaryEntities",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrEntity\"}},\"named\":{\"BrEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"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\":\"BrShape\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["if",["validate/object","@a"],["array/map","@invs",["fn","iv",{"x":"@iv","w":["str/concat","orbitals[","@oi","].auxiliaryEntities[","@ai","].invariants[","@index","]"],"c":"guard"}]],"@noroots"]]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrRoot\"}},\"named\":{\"BrRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["knownIdx",["default",["object/fromEntries",["array/map","@known",["fn","z",["@z",true]]]],{}]],["rh",["let",[["nroot",{"x":null,"w":"","c":""},"{\"version\":1,\"name\":\"BrRoot\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["ux",["array/unique",["array/map","@roots",["fn","kx",["object/get","@kx","x",null]]]]]],["let",[["hsU",["array/pmap","@ux",["fn","xv",["let",[["raw",["tree/index","@xv",["array/concat",["list","fn","let"],"@collOps"],{"prefixes":[["quote","\"\\u0040\""]]}]]],["let",[["ix",["default",["as",["object/omit","@raw",[["quote","\"\\u0040\""]]],"BrIdx"],{}]],["ats",["array/flatten",["object/values",["default",["as",["object/omit","@raw",["array/concat",["list","fn","let"],"@collOps"]],"BrAtIdx"],{}]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrAt\"}},\"named\":{\"BrAt\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["ss",["array/flatten",["array/map",["array/flatten",["object/values","@ix"]],["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]]],["if",["and",["=",["array/len","@cn"],3],["=","@op","fn"]],[{"q":"@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"]]]]],[{"q":"@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"],[{"q":"@q","kind":"lo","names":["object/keys","@p1"],"pairs":[]}],[{"q":"@q","kind":"l0","names":"@nostr","pairs":[]}]]],["if",["and",["validate/string","@op"],["object/has","@collIdx","@op"]],[{"q":"@q","kind":"co","names":["item","index"],"pairs":[]}],[]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrScope\"}},\"named\":{\"BrPair\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"pfx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"before\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]},\"BrScope\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"q\",\"fieldType\":{\"kind\":\"string\"},\"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\":\"BrPair\"}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["out",["array/flatten",["array/map","@ats",["fn","hit",["let",[["hp",["object/get","@hit","path",""]],["hn",["object/get","@hit","node",""]]],["let",[["rt",["str/replace-pattern",["str/slice","@hn",1],"[.\\[].$",""]],["res",["array/reduce",["array/filter","@ss",["fn","s",["str/startsWith","@hp",["str/concat",["object/get","@s","q"],"["]]]],{"ok":true,"drop":"@nostr"},["fn",["acc","s"],["let",[["sfx",["str/slice","@hp",["str/len",["object/get","@s","q"]]]],["kind",["object/get","@s","kind"]]],["let",[["flt",["if",["=","@kind","co"],["if",["str/startsWith","@sfx","[1]"],"@nostr",["if",["str/startsWith","@sfx","[0]"],null,["object/get","@s","names"]]],["if",["str/startsWith","@sfx","[2]"],["object/get","@s","names"],["if",["=","@kind","lo"],["if",["str/startsWith","@sfx","[1]"],["object/get","@s","names"],null],["if",["=","@kind","la"],["let",[["pf",["array/find",["object/get","@s","pairs"],["fn","pq",["str/startsWith","@sfx",["object/get","@pq","pfx"]]]]]],["if",["=","@pf",null],null,["object/get","@pf","before"]]],null]]]]]],["if",["or",["not",["object/get","@acc","ok"]],["=","@flt",null]],{"ok":false,"drop":"@nostr"},{"ok":true,"drop":["array/concat",["object/get","@acc","drop"],"@flt"]}]]]]]]],["if",["and",["object/get","@res","ok"],["not",["array/includes",["object/get","@res","drop"],"@rt"]]],[{"rel":["if",["or",["=","@hp",""],["str/startsWith","@hp","["]],"@hp",["str/concat",".","@hp"]],"r":"@rt","s":"@hn"}],"@nohits"]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrHit\"}},\"named\":{\"BrHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],"@out"]]]]]]]],["array/map","@roots",["fn","kx",["let",[["xv",["object/get","@kx","x",null]]],{"x":["default","@kx","@nroot"],"hs":["default",["array/nth","@hsU",["array/indexOf","@ux","@xv"]],"@nohits"]}]]]]]],["allS",["array/map",["array/flatten",["array/map","@rh",["fn","p",["object/get","@p","hs",[]]]]],["fn","h",["object/get","@h","s",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["joined",["str/join","@allS","\n"]],["fmtAll",["and",[">",["array/len","@allS"],0],["=",["array/len",["str/split","@joined","\n"]],["array/len","@allS"]],["validate/pattern","@joined","^@[\\p{L}_][\\p{L}0-9_](?:\\.[\\p{L}0-9_]+\|\\[\\d+\\])(?:\\n@[\\p{L}_][\\p{L}0-9_](?:\\.[\\p{L}0-9_]+\|\\[\\d+\\]))$"]]]],["array/flatten",["array/map","@rh",["fn","p",["let",[["x",["object/get","@p","x",null]],["hs",["object/get","@p","hs",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrHit\"}},\"named\":{\"BrHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@hs",["fn","h",["let",[["s",["object/get","@h","s"]],["r",["object/get","@h","r"]],["c",["object/get","@x","c"]],["p",["str/concat",["object/get","@x","w"],["object/get","@h","rel"]]]],["let",[["parts",["str/split",["str/slice","@s",1],"."]]],["let",[["rest",["array/slice","@parts",1,["array/len","@parts"]]]],["if",["and",["not","@fmtAll"],["not",["validate/pattern","@s","^@[\\p{L}_][\\p{L}0-9_](\\.[\\p{L}0-9_]+\|\\[\\d+\\])$"]]],[{"code":"@config.codes.bindingInvalidFormat.code","path":"@p","message":["str/concat","Invalid binding format: '","@s","'"],"suggestion":"Use @root.field.nested format","severity":"error"}],["if",["=","@r","fromEntity"],["if",["!=","@c","ensures"],[{"code":"@config.codes.bindingFromEntityOutsideEnsures.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"fromEntity is the row before a transition and exists only inside its `@ensures`"],"suggestion":"Read the current row with @entity; state a before/after relation in an `@ensures` under the transition","severity":"error"}],"@nof"],["if",["array/includes","@dRoots","@r"],["if",["=","@c","tick"],[{"code":"@config.codes.bindingDispatchRootInTick.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"@r"," is not available in a tick: a tick firing has no delivery"],"suggestion":"Read the trait's own state and entity in a tick","severity":"error"}],["if",["!=","@r","event"],["if",[">",["array/len","@rest"],0],[{"code":"@config.codes.bindingRootNoPath.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"@r"," takes no path"],"suggestion":["str/concat","Use ",["quote","\"\\u0040\""],"@r"," and read it with an operator"],"severity":"error"}],"@nof"],["if",["or",["=",["array/len","@rest"],0],["=","@rest",["event"]],["=",["array/first","@rest"],"payload"],["=","@rest",["source"]],["and",["=",["array/first","@rest"],"source"],["=",["array/len","@rest"],2],["array/includes","@sKeys",["array/nth","@rest",1]]]],"@nof",[{"code":"@config.codes.bindingEventInvalidPath.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"event.",["str/join","@rest","."]," does not follow the delivery record"],"suggestion":["str/concat",["quote","\"\\u0040\""],"event has `event`, `payload.<field>` and `source.<field>`"],"severity":"error"}]]]],["if",["and",["=","@r","state"],[">",["array/len","@parts"],1]],[{"code":"@config.codes.bindingStateNoPath.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"state should not have a path - it returns the state name directly"],"suggestion":"Use @state without a path","severity":"error"}],["if",["and",["=","@r","now"],[">",["array/len","@parts"],1]],[{"code":"@config.codes.bindingNowNoPath.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"now should not have a path - it returns the current timestamp directly"],"suggestion":"Use @now without a path","severity":"error"}],["if",["and",["validate/pattern","@r","^[A-Z][a-zA-Z0-9]$"],[">",["array/len","@known"],0],["not",["object/has","@knownIdx","@r"]]],[{"code":"@config.codes.bindingUnknownEntity.code","path":"@p","message":["str/concat","Entity '","@r","' in binding may not exist"],"suggestion":"Ensure the entity is defined in the schema","severity":"error"}],"@nof"]]]]]]]]]]]]]]]]]]],[{"code":"@config.codes.lintIndexMissing.code","path":"","message":"the lint input arrived without LINT_ENTITIES, so this rule cannot check the program","suggestion":"std-orb-lint-input sends LINT_ENTITIES before LINT_INPUT; this rule did not hear it","severity":"error"}]]],["set","@entity.entitiesHeard",false],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_RPDA09CKQD9VPXKN2R4AEC5PNF","effects":[["emit","LINT_FOUND",{"rule":"binding-roots","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintBindingRootsCodes","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"},"lintUiVocabUnread":{"code":"ORB_LINT_UI_VOCAB_UNREAD","category":"lint","description":"The installed @almadar/core declares no readable UI vocabulary, so a UI lint check cannot run"},"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"},"bindingInvalidFormat":{"code":"ORB_BINDING_INVALID_FORMAT","category":"binding","description":"A binding string is not in a valid binding format"},"bindingFromEntityOutsideEnsures":{"code":"ORB_BINDING_FROM_ENTITY_OUTSIDE_ENSURES","category":"binding","description":"@fromEntity is the row before a transition and may only be used inside an @ensures"},"bindingDispatchRootInTick":{"code":"ORB_BINDING_DISPATCH_ROOT_IN_TICK","category":"binding","description":"A dispatch-only binding root is read inside a tick, where a firing has no delivery"},"bindingRootNoPath":{"code":"ORB_BINDING_ROOT_NO_PATH","category":"binding","description":"A binding root that takes no path is written with a path"},"bindingEventInvalidPath":{"code":"ORB_BINDING_EVENT_INVALID_PATH","category":"binding","description":"An @event binding path does not follow the shape of the delivery record"},"bindingStateNoPath":{"code":"ORB_BINDING_STATE_NO_PATH","category":"binding","description":"A binding root that returns a bare value, such as @state, is given a path"},"bindingNowNoPath":{"code":"ORB_BINDING_NOW_NO_PATH","category":"binding","description":"The @now binding is given a path, but it returns the current timestamp directly"},"bindingUnknownEntity":{"code":"ORB_BINDING_UNKNOWN_ENTITY","category":"binding","description":"A binding refers to an entity that is not declared in the program"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"lintUiVocabUnread":{"nullable":false,"name":"lintUiVocabUnread","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"}},"bindingInvalidFormat":{"nullable":false,"name":"bindingInvalidFormat","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"}},"bindingFromEntityOutsideEnsures":{"nullable":false,"name":"bindingFromEntityOutsideEnsures","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"}},"bindingDispatchRootInTick":{"nullable":false,"name":"bindingDispatchRootInTick","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"}},"bindingRootNoPath":{"nullable":false,"name":"bindingRootNoPath","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"}},"bindingEventInvalidPath":{"nullable":false,"name":"bindingEventInvalidPath","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"}},"bindingStateNoPath":{"nullable":false,"name":"bindingStateNoPath","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"}},"bindingNowNoPath":{"nullable":false,"name":"bindingNowNoPath","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"}},"bindingUnknownEntity":{"nullable":false,"name":"bindingUnknownEntity","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":"LintBindingRootsCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD","fingerprint":"2b7a3e53bfe162070495313ffa6fe7d97d923a03840571ac6981064ab1964c7b"}},{"name":"OrbLintBindingRootsCli","id":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintBindingRootsRun","linkedEntityId":"ent_BHC36TRB855M2QAQZFEB4A5YR9","entityRefIds":{"OrbLintBindingRootsRun":"ent_BHC36TRB855M2QAQZFEB4A5YR9"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_VXVPDZ7KMCST676B287FSN0VMA","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_JSY7N76E0T70D24TPD7A0W3ZWQ","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_3VNTX4XH1YRGZFM7D01BEBJP4Y","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_NVBKRT66F437JAVZXRE4B6CZJ8","description":"The lint input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"error","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_BSATNZM1590JMYTF0HQKHYSB3K","triggers":"LINT_FOUND","triggersId":"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y","source":{"kind":"trait","trait":"OrbLintBindingRoots","traitId":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_NVBKRT66F437JAVZXRE4B6CZJ8","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_NVBKRT66F437JAVZXRE4B6CZJ8","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_4XWT2553TGHX84NDC4QA1D98HB","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_88NWQN40NZ0AZXB2KPQ3947VKN","name":"Lint Called","description":"Run `orb lint binding-roots` with its arguments and working directory.","synonyms":"orb lint binding-roots","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-binding-roots","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y","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_NVBKRT66F437JAVZXRE4B6CZJ8","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},{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_VXVPDZ7KMCST676B287FSN0VMA","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_JSY7N76E0T70D24TPD7A0W3ZWQ","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_4XWT2553TGHX84NDC4QA1D98HB"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_88NWQN40NZ0AZXB2KPQ3947VKN","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 binding-roots <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_88NWQN40NZ0AZXB2KPQ3947VKN","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 binding-roots <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_4XWT2553TGHX84NDC4QA1D98HB"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y","guard":["and",["=","@payload.rule","binding-roots"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint binding-roots: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y","guard":["and",["=","@payload.rule","binding-roots"],[">",["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_NVBKRT66F437JAVZXRE4B6CZJ8","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint binding-roots: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV","fingerprint":"614a16a006f4087ebce8631c55488ccea2e7d8adb87544c96a77df2d0d9c5169"}},{"ref":"Input.traits.Versions","id":"trt_ETJ0RGDKWKSY9PBK13GTZ2S2B2","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_PMTTSB9VK9XSMYDK3JEBP08AKG","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_VBXS5AVR38W1MFE7WJPXSCNX99","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintBindingRootsCli"}},{"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":"OrbLintBindingRootsOrbitalStart","id":"pag_68Y6QRARMRCAC70EQJ40TCAGAT","path":"","protocol":"boot","traits":[{"ref":"OrbLintBindingRoots","refId":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},{"ref":"OrbLintBindingRootsCli","refId":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},{"ref":"OrbLintInput","refId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"},{"ref":"Packs","refId":"trt_PMTTSB9VK9XSMYDK3JEBP08AKG"},{"ref":"Versions","refId":"trt_ETJ0RGDKWKSY9PBK13GTZ2S2B2"}]}],"types":{"BrAt":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"BrAtIdx":[{"nullable":false,"name":"","type":"Map<string,[BrAt]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"BrAt","projectedFrom":{"type":"BrAt"}}}}],"BrCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BrShape","required":true,"properties":[],"projectedFrom":{"type":"BrShape"}}],"BrEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"BrExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"BrHit":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"BrIdx":[{"nullable":false,"name":"","type":"Map<string,[BrCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BrShape","required":true,"properties":[],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrCall","projectedFrom":{"type":"BrCall"}}}}],"BrMachineBR":[{"nullable":false,"name":"states","type":"[object]","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"BrOpShape":[{"nullable":false,"name":"category","type":"string"},{"nullable":false,"name":"minArity","type":"number"}],"BrOrbitalBR":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"BrExpect","projectedFrom":{"type":"BrExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrEntity","projectedFrom":{"type":"BrEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"items":{"nullable":false,"name":"","type":"BrTraitBR","projectedFrom":{"type":"BrTraitBR"}}}],"BrPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"BrProgramBR":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"BrExpect","projectedFrom":{"type":"BrExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrEntity","projectedFrom":{"type":"BrEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"items":{"nullable":false,"name":"","type":"BrTraitBR","projectedFrom":{"type":"BrTraitBR"}}}],"items":{"nullable":false,"name":"","type":"BrOrbitalBR","projectedFrom":{"type":"BrOrbitalBR"}}}],"BrRH":[{"nullable":false,"name":"x","type":"object","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"projectedFrom":{"type":"BrRoot"}},{"nullable":false,"name":"hs","type":"[object]","properties":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"BrHit","projectedFrom":{"type":"BrHit"}}}],"BrRoot":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"BrScope":[{"nullable":false,"name":"q","type":"string","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":"BrPair","projectedFrom":{"type":"BrPair"}}}],"BrShape":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}]}],"BrState":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"BrTick":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"BrTraitBR":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"BrTransitionBR":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"GtEntityFacts":[{"nullable":false,"name":"orbital","type":"string","required":true},{"nullable":false,"name":"auxiliary","type":"boolean","required":true},{"nullable":false,"name":"fields","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"types","type":"Map<string,string>","items":{"nullable":false,"name":"","type":"string"}}],"LintBindingRootsCodes":[{"nullable":false,"name":"lintUiVocabUnread","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":"bindingInvalidFormat","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":"bindingFromEntityOutsideEnsures","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":"bindingDispatchRootInTick","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":"bindingRootNoPath","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":"bindingEventInvalidPath","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":"bindingStateNoPath","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":"bindingNowNoPath","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":"bindingUnknownEntity","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"}}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]}}],"inbound":["cli-lint-binding-roots"],"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_BHC36TRB855M2QAQZFEB4A5YR9":{"id":"ent_BHC36TRB855M2QAQZFEB4A5YR9","kind":"entity","bakedName":"OrbLintBindingRootsRun","curName":"OrbLintBindingRootsRun","renames":[],"owner":"workspace"},"evt_0ECHXSJW0HE08G90G0C3EV0N1G":{"id":"evt_0ECHXSJW0HE08G90G0C3EV0N1G","kind":"event","bakedName":"SHAPES_HEARD","curName":"SHAPES_HEARD","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y":{"id":"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_4XWT2553TGHX84NDC4QA1D98HB":{"id":"evt_4XWT2553TGHX84NDC4QA1D98HB","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_88NWQN40NZ0AZXB2KPQ3947VKN":{"id":"evt_88NWQN40NZ0AZXB2KPQ3947VKN","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_BS62NMEDZJ6ZS3F2FXND566MKT":{"id":"evt_BS62NMEDZJ6ZS3F2FXND566MKT","kind":"event","bakedName":"UI_VOCAB_UNREAD","curName":"UI_VOCAB_UNREAD","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_BSATNZM1590JMYTF0HQKHYSB3K":{"id":"evt_BSATNZM1590JMYTF0HQKHYSB3K","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_FKX2BXE77J3KS3BKS3HN51653S":{"id":"evt_FKX2BXE77J3KS3BKS3HN51653S","kind":"event","bakedName":"UI_VOCAB_HEARD","curName":"UI_VOCAB_HEARD","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_HM0KDR4TR0DC03GKG1VY7ENY0K":{"id":"evt_HM0KDR4TR0DC03GKG1VY7ENY0K","kind":"event","bakedName":"SHAPES_UNREAD","curName":"SHAPES_UNREAD","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_JSY7N76E0T70D24TPD7A0W3ZWQ":{"id":"evt_JSY7N76E0T70D24TPD7A0W3ZWQ","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_NVBKRT66F437JAVZXRE4B6CZJ8":{"id":"evt_NVBKRT66F437JAVZXRE4B6CZJ8","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_RPDA09CKQD9VPXKN2R4AEC5PNF":{"id":"evt_RPDA09CKQD9VPXKN2R4AEC5PNF","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_TR22M7CCE46721F0GQZAKZJJQW":{"id":"evt_TR22M7CCE46721F0GQZAKZJJQW","kind":"event","bakedName":"ENTITIES_HEARD","curName":"ENTITIES_HEARD","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_VXVPDZ7KMCST676B287FSN0VMA":{"id":"evt_VXVPDZ7KMCST676B287FSN0VMA","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM":{"id":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_YPJDVY2PF0B7G13TC8E7WHXGBH":{"id":"evt_YPJDVY2PF0B7G13TC8E7WHXGBH","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"orb_T68HZMNAA0N506WXJDGZR028YS":{"id":"orb_T68HZMNAA0N506WXJDGZR028YS","kind":"orbital","bakedName":"OrbLintBindingRootsOrbital","curName":"OrbLintBindingRootsOrbital","renames":[],"owner":"workspace"},"pag_68Y6QRARMRCAC70EQJ40TCAGAT":{"id":"pag_68Y6QRARMRCAC70EQJ40TCAGAT","kind":"page","bakedName":"OrbLintBindingRootsOrbitalStart","curName":"OrbLintBindingRootsOrbitalStart","renames":[],"owner":"workspace"},"trt_6YSB04K9DTMPX1TJV3K3XGTAWD":{"id":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD","kind":"trait","bakedName":"OrbLintBindingRoots","curName":"OrbLintBindingRoots","renames":[],"owner":"workspace"},"trt_ETJ0RGDKWKSY9PBK13GTZ2S2B2":{"id":"trt_ETJ0RGDKWKSY9PBK13GTZ2S2B2","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_PMTTSB9VK9XSMYDK3JEBP08AKG":{"id":"trt_PMTTSB9VK9XSMYDK3JEBP08AKG","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_VBXS5AVR38W1MFE7WJPXSCNX99":{"id":"trt_VBXS5AVR38W1MFE7WJPXSCNX99","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_XANVHJDKC2SP1AQVQKW7FFWTKV":{"id":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV","kind":"trait","bakedName":"OrbLintBindingRootsCli","curName":"OrbLintBindingRootsCli","renames":[],"owner":"workspace"}}}}
1	+ {"typeContractVersion":1,"types":{"BrAt":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"BrAtIdx":[{"nullable":false,"name":"","type":"Map<string,[BrAt]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"BrAt","projectedFrom":{"type":"BrAt"}}}}],"BrCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BrShape","required":true,"properties":[],"projectedFrom":{"type":"BrShape"}}],"BrEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"BrExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"BrHit":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"BrIdx":[{"nullable":false,"name":"","type":"Map<string,[BrCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BrShape","required":true,"properties":[],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrCall","projectedFrom":{"type":"BrCall"}}}}],"BrMachineBR":[{"nullable":false,"name":"states","type":"[object]","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"BrOpShape":[{"nullable":false,"name":"category","type":"string"},{"nullable":false,"name":"minArity","type":"number"}],"BrOrbitalBR":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"BrExpect","projectedFrom":{"type":"BrExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrEntity","projectedFrom":{"type":"BrEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"items":{"nullable":false,"name":"","type":"BrTraitBR","projectedFrom":{"type":"BrTraitBR"}}}],"BrPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"BrProgramBR":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"BrExpect","projectedFrom":{"type":"BrExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrEntity","projectedFrom":{"type":"BrEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"items":{"nullable":false,"name":"","type":"BrTraitBR","projectedFrom":{"type":"BrTraitBR"}}}],"items":{"nullable":false,"name":"","type":"BrOrbitalBR","projectedFrom":{"type":"BrOrbitalBR"}}}],"BrRH":[{"nullable":false,"name":"x","type":"object","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"projectedFrom":{"type":"BrRoot"}},{"nullable":false,"name":"hs","type":"[object]","properties":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"BrHit","projectedFrom":{"type":"BrHit"}}}],"BrRoot":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"BrScope":[{"nullable":false,"name":"q","type":"string","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":"BrPair","projectedFrom":{"type":"BrPair"}}}],"BrShape":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}]}],"BrState":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"BrTick":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"BrTraitBR":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"BrTransitionBR":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"GtEntityFacts":[{"nullable":false,"name":"orbital","type":"string","required":true},{"nullable":false,"name":"auxiliary","type":"boolean","required":true},{"nullable":false,"name":"fields","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"types","type":"Map<string,string>","items":{"nullable":false,"name":"","type":"string"}}],"LintBindingRootsCodes":[{"nullable":false,"name":"lintUiVocabUnread","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":"bindingInvalidFormat","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":"bindingFromEntityOutsideEnsures","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":"bindingDispatchRootInTick","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":"bindingRootNoPath","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":"bindingEventInvalidPath","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":"bindingStateNoPath","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":"bindingNowNoPath","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":"bindingUnknownEntity","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"}}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]},"name":"std-orb-lint-binding-roots","version":"1.0.0","description":"std-orb-lint-binding-roots - the `orb lint binding-roots <file>` command, the port of the root rules of binding.rs validate_binding: ORB_BINDING_INVALID_FORMAT, ORB_BINDING_FROM_ENTITY_OUTSIDE_ENSURES, ORB_BINDING_DISPATCH_ROOT_IN_TICK, ORB_BINDING_ROOT_NO_PATH, ORB_BINDING_EVENT_INVALID_PATH, ORB_BINDING_STATE_NO_PATH, ORB_BINDING_NOW_NO_PATH and ORB_BINDING_UNKNOWN_ENTITY. It lowers the file with program/read and walks the guard (guard context), the effects (effect context), the ensures (ensures context), the state holds and the entity invariants (guard context) of every inline trait, and the tick effects (tick context). Every `@root` binding string is checked unless 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` binds its root. The delivery roots (event, prevEvents, prevStates, fromState, toState) and the `@event.source` keys are the language's delivery record. Findings carry the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint binding-roots: 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":"OrbLintBindingRootsOrbital","id":"orb_T68HZMNAA0N506WXJDGZR028YS","uses":[{"from":"almadar-std/lint-binding-roots","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintBindingRootsRun","id":"ent_BHC36TRB855M2QAQZFEB4A5YR9","persistence":"runtime","fields":[{"nullable":false,"name":"ents","type":"object","default":{},"items":{"nullable":false,"type":"object","properties":{"orbital":{"nullable":false,"name":"orbital","type":"string","required":true},"auxiliary":{"nullable":false,"name":"auxiliary","type":"boolean","required":true},"fields":{"nullable":false,"name":"fields","type":"array","required":true,"items":{"nullable":false,"type":"string"}},"types":{"nullable":false,"name":"types","type":"object","required":false,"items":{"nullable":false,"type":"string"}}},"projectedFrom":{"type":"GtEntityFacts"}}},{"nullable":false,"name":"dups","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"entitiesHeard","type":"boolean","default":false},{"nullable":false,"name":"entitiesScope","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":"shapesUnread","type":"boolean","default":false},{"nullable":false,"name":"deliveryRoots","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"sourceKeys","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"vocabUnread","type":"boolean","default":false}]},"traits":[{"name":"OrbLintBindingRoots","id":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.collOps"},{"kind":"set","resource":"@entity.deliveryRoots"},{"kind":"set","resource":"@entity.dups"},{"kind":"set","resource":"@entity.entitiesHeard"},{"kind":"set","resource":"@entity.entitiesScope"},{"kind":"set","resource":"@entity.ents"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"},{"kind":"set","resource":"@entity.shapesUnread"},{"kind":"set","resource":"@entity.sourceKeys"},{"kind":"set","resource":"@entity.vocabUnread"}],"linkedEntity":"OrbLintBindingRootsRun","linkedEntityId":"ent_BHC36TRB855M2QAQZFEB4A5YR9","entityRefIds":{"OrbLintBindingRootsRun":"ent_BHC36TRB855M2QAQZFEB4A5YR9"},"emits":[{"event":"LINT_FOUND","eventId":"evt_BSATNZM1590JMYTF0HQKHYSB3K","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_RPDA09CKQD9VPXKN2R4AEC5PNF","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","triggers":"LINT_INPUT","triggersId":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}},{"event":"LINT_ENTITIES","triggers":"ENTITIES_HEARD","triggersId":"evt_TR22M7CCE46721F0GQZAKZJJQW","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}},{"event":"LINT_OPERATOR_SHAPES","triggers":"SHAPES_HEARD","triggersId":"evt_0ECHXSJW0HE08G90G0C3EV0N1G","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}},{"event":"LINT_OPERATOR_SHAPES_UNREAD","triggers":"SHAPES_UNREAD","triggersId":"evt_HM0KDR4TR0DC03GKG1VY7ENY0K","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}},{"event":"LINT_UI_VOCAB","triggers":"UI_VOCAB_HEARD","triggersId":"evt_FKX2BXE77J3KS3BKS3HN51653S","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}},{"event":"LINT_UI_VOCAB_UNREAD","triggers":"UI_VOCAB_UNREAD","triggersId":"evt_BS62NMEDZJ6ZS3F2FXND566MKT","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_YPJDVY2PF0B7G13TC8E7WHXGBH","name":"Initialize"},{"key":"SHAPES_HEARD","id":"evt_0ECHXSJW0HE08G90G0C3EV0N1G","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,BrOpShape>","required":true,"items":{"nullable":false,"name":"","type":"BrOpShape","projectedFrom":{"type":"BrOpShape"}}}],"listened":true},{"key":"SHAPES_UNREAD","id":"evt_HM0KDR4TR0DC03GKG1VY7ENY0K","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":"UI_VOCAB_HEARD","id":"evt_FKX2BXE77J3KS3BKS3HN51653S","name":"Ui Vocab Heard","description":"std-orb-lint-input's LINT_UI_VOCAB: the installed UI vocabulary; its deliveryRoots and eventSourceKeys are the delivery record.","payloadSchema":[{"nullable":false,"name":"slots","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"itemActionBaseProps","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"lucideIcons","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"themeKeys","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"deliveryRoots","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"eventSourceKeys","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"listened":true},{"key":"UI_VOCAB_UNREAD","id":"evt_BS62NMEDZJ6ZS3F2FXND566MKT","name":"Ui Vocab Unread","description":"std-orb-lint-input's LINT_UI_VOCAB_UNREAD: the UI vocabulary could not be read.","payloadSchema":[{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"ENTITIES_HEARD","id":"evt_TR22M7CCE46721F0GQZAKZJJQW","name":"Entities Heard","description":"std-orb-lint-input's LINT_ENTITIES: every entity by name with its orbital, fields and field types.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"entities","type":"Map<string,GtEntityFacts>","required":true,"items":{"nullable":false,"name":"","type":"GtEntityFacts","projectedFrom":{"type":"GtEntityFacts"}}},{"nullable":false,"name":"duplicates","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"listened":true},{"key":"LINT_INPUT","id":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","name":"Lint Input","description":"The lint input: the file read, its language decided and the program lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"raw","type":"string","required":true},{"nullable":false,"name":"latin","type":"boolean","required":true},{"nullable":false,"name":"program","type":"object","required":true,"properties":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"BrExpect","projectedFrom":{"type":"BrExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrEntity","projectedFrom":{"type":"BrEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"items":{"nullable":false,"name":"","type":"BrTraitBR","projectedFrom":{"type":"BrTraitBR"}}}],"items":{"nullable":false,"name":"","type":"BrOrbitalBR","projectedFrom":{"type":"BrOrbitalBR"}}}],"projectedFrom":{"type":"BrProgramBR"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_RPDA09CKQD9VPXKN2R4AEC5PNF","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_BSATNZM1590JMYTF0HQKHYSB3K","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_YPJDVY2PF0B7G13TC8E7WHXGBH"},{"from":"ready","to":"ready","event":"SHAPES_HEARD","eventId":"evt_0ECHXSJW0HE08G90G0C3EV0N1G","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_HM0KDR4TR0DC03GKG1VY7ENY0K","effects":[["set","@entity.shapesUnread",true]]},{"from":"ready","to":"ready","event":"UI_VOCAB_HEARD","eventId":"evt_FKX2BXE77J3KS3BKS3HN51653S","effects":[["set","@entity.vocabUnread",false],["set","@entity.deliveryRoots","@payload.deliveryRoots"],["set","@entity.sourceKeys","@payload.eventSourceKeys"]]},{"from":"ready","to":"ready","event":"UI_VOCAB_UNREAD","eventId":"evt_BS62NMEDZJ6ZS3F2FXND566MKT","effects":[["set","@entity.vocabUnread",true]]},{"from":"ready","to":"ready","event":"ENTITIES_HEARD","eventId":"evt_TR22M7CCE46721F0GQZAKZJJQW","effects":[["set","@entity.ents","@payload.entities"],["set","@entity.dups","@payload.duplicates"],["set","@entity.entitiesHeard",true],["set","@entity.entitiesScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","guard":"@entity.vocabUnread","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",[{"code":"@config.codes.lintUiVocabUnread.code","path":"uiVocabulary","message":"the installed @almadar/core declares no readable UI vocabulary, so the delivery roots and @event.source keys are unknown","suggestion":"Reinstall @almadar/core so its language data declares orbLanguage.uiVocabulary","severity":"error"}]],["set","@entity.entitiesHeard",false],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","guard":["not","@entity.vocabUnread"],"effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if",["and","@entity.entitiesHeard",["=","@entity.entitiesScope","@payload.scope"]],["let",[["nohits",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrHit\"}},\"named\":{\"BrHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"],["noroots",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrRoot\"}},\"named\":{\"BrRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["nostr",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["nof",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"],["dRoots","@entity.deliveryRoots","{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["sKeys","@entity.sourceKeys","{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["collOps","@entity.collOps","{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["collIdx",["default",["object/fromEntries",["array/map","@entity.collOps",["fn","c",["@c",true]]]],{}]],["orbitals",["object/get","@payload.program","orbitals",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrOrbitalBR\"}},\"named\":{\"BrEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrExpect\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"kind\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]}]},\"BrMachineBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTransitionBR\"}},\"required\":false,\"constraints\":[]}]},\"BrOrbitalBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"expects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrExpect\"}},\"required\":false,\"constraints\":[]},{\"name\":\"entity\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BrEntity\"},\"required\":false,\"constraints\":[]},{\"name\":\"auxiliaryEntities\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrEntity\"}},\"required\":false,\"constraints\":[]},{\"name\":\"traits\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTraitBR\"}},\"required\":false,\"constraints\":[]}]},\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]},\"BrState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrTraitBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BrMachineBR\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTick\"}},\"required\":false,\"constraints\":[]}]},\"BrTransitionBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["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"}],["let",[["known",["array/concat",["object/keys","@entity.ents"],["array/flatten",["array/map","@orbitals",["fn","o",["array/flatten",["array/map",["object/get","@o","expects",[]],["fn","ex",["if",["and",["or",["=",["object/get","@ex","kind",""],"entity"],["=",["object/get","@ex","kind",""],"identity"]],["object/has","@ex","name"]],[["object/get","@ex","name",""]],"@nostr"]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["roots",["array/concat",["array/flatten",["array/map","@orbitals",["fn","o",["let",[["oi","@index"],["trts",["object/get","@o","traits",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTraitBR\"}},\"named\":{\"BrMachineBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTransitionBR\"}},\"required\":false,\"constraints\":[]}]},\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]},\"BrState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrTraitBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BrMachineBR\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTick\"}},\"required\":false,\"constraints\":[]}]},\"BrTransitionBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["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\":\"BrTransitionBR\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]},\"BrTransitionBR\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["sts",["object/get","@t","stateMachine.states",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrState\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]},\"BrState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["tks",["object/get","@t","ticks",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrTick\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]},\"BrTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/concat",["array/flatten",["array/map","@trs",["fn","tr",["let",[["xp",["str/concat","@tp",".stateMachine.transitions[","@index","]"]],["effs",["object/get","@tr","effects",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["ens",["object/get","@tr","ensures",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["g",["object/get","@tr","guard",null]]],["array/concat",["if",["!=","@g",null],[{"x":"@g","w":["str/concat","@xp",".guard"],"c":"guard"}],"@noroots"],["array/concat",["array/map","@effs",["fn","e",{"x":"@e","w":["str/concat","@xp",".effects[","@index","]"],"c":"effect"}]],["array/map","@ens",["fn","e",{"x":"@e","w":["str/concat","@xp",".ensures[","@index","]"],"c":"ensures"}]]]]]]]],["array/concat",["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":"guard"}],"@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\":\"BrShape\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/map","@teffs",["fn","e",{"x":"@e","w":["str/concat","@tp",".ticks[","@ki","].effects[","@index","]"],"c":"tick"}]]]]]]]]]]]]]]]]]],["array/concat",["array/flatten",["array/map","@orbitals",["fn","o",["let",[["oi","@index"],["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\":\"BrShape\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/map","@invs",["fn","iv",{"x":"@iv","w":["str/concat","orbitals[","@oi","].entity.invariants[","@index","]"],"c":"guard"}]]],"@noroots"]]]]],["array/flatten",["array/map","@orbitals",["fn","o",["let",[["oi","@index"],["auxs",["object/get","@o","auxiliaryEntities",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrEntity\"}},\"named\":{\"BrEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]}]},\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"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\":\"BrShape\"}},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["if",["validate/object","@a"],["array/map","@invs",["fn","iv",{"x":"@iv","w":["str/concat","orbitals[","@oi","].auxiliaryEntities[","@ai","].invariants[","@index","]"],"c":"guard"}]],"@noroots"]]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrRoot\"}},\"named\":{\"BrRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["knownIdx",["default",["object/fromEntries",["array/map","@known",["fn","z",["@z",true]]]],{}]],["rh",["let",[["nroot",{"x":null,"w":"","c":""},"{\"version\":1,\"name\":\"BrRoot\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"named\":{\"BrShape\":{\"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\":\"BrShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["ux",["array/unique",["array/map","@roots",["fn","kx",["object/get","@kx","x",null]]]]]],["let",[["hsU",["array/pmap","@ux",["fn","xv",["let",[["raw",["tree/index","@xv",["array/concat",["list","fn","let"],"@collOps"],{"prefixes":[["quote","\"\\u0040\""]]}]]],["let",[["ix",["default",["as",["object/omit","@raw",[["quote","\"\\u0040\""]]],"BrIdx"],{}]],["ats",["array/flatten",["object/values",["default",["as",["object/omit","@raw",["array/concat",["list","fn","let"],"@collOps"]],"BrAtIdx"],{}]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrAt\"}},\"named\":{\"BrAt\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["ss",["array/flatten",["array/map",["array/flatten",["object/values","@ix"]],["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]]],["if",["and",["=",["array/len","@cn"],3],["=","@op","fn"]],[{"q":"@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"]]]]],[{"q":"@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"],[{"q":"@q","kind":"lo","names":["object/keys","@p1"],"pairs":[]}],[{"q":"@q","kind":"l0","names":"@nostr","pairs":[]}]]],["if",["and",["validate/string","@op"],["object/has","@collIdx","@op"]],[{"q":"@q","kind":"co","names":["item","index"],"pairs":[]}],[]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrScope\"}},\"named\":{\"BrPair\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"pfx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"before\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]},\"BrScope\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"q\",\"fieldType\":{\"kind\":\"string\"},\"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\":\"BrPair\"}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["out",["array/flatten",["array/map","@ats",["fn","hit",["let",[["hp",["object/get","@hit","path",""]],["hn",["object/get","@hit","node",""]]],["let",[["rt",["str/replace-pattern",["str/slice","@hn",1],"[.\\[].$",""]],["res",["array/reduce",["array/filter","@ss",["fn","s",["str/startsWith","@hp",["str/concat",["object/get","@s","q"],"["]]]],{"ok":true,"drop":"@nostr"},["fn",["acc","s"],["let",[["sfx",["str/slice","@hp",["str/len",["object/get","@s","q"]]]],["kind",["object/get","@s","kind"]]],["let",[["flt",["if",["=","@kind","co"],["if",["str/startsWith","@sfx","[1]"],"@nostr",["if",["str/startsWith","@sfx","[0]"],null,["object/get","@s","names"]]],["if",["str/startsWith","@sfx","[2]"],["object/get","@s","names"],["if",["=","@kind","lo"],["if",["str/startsWith","@sfx","[1]"],["object/get","@s","names"],null],["if",["=","@kind","la"],["let",[["pf",["array/find",["object/get","@s","pairs"],["fn","pq",["str/startsWith","@sfx",["object/get","@pq","pfx"]]]]]],["if",["=","@pf",null],null,["object/get","@pf","before"]]],null]]]]]],["if",["or",["not",["object/get","@acc","ok"]],["=","@flt",null]],{"ok":false,"drop":"@nostr"},{"ok":true,"drop":["array/concat",["object/get","@acc","drop"],"@flt"]}]]]]]]],["if",["and",["object/get","@res","ok"],["not",["array/includes",["object/get","@res","drop"],"@rt"]]],[{"rel":["if",["or",["=","@hp",""],["str/startsWith","@hp","["]],"@hp",["str/concat",".","@hp"]],"r":"@rt","s":"@hn"}],"@nohits"]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrHit\"}},\"named\":{\"BrHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],"@out"]]]]]]]],["array/map","@roots",["fn","kx",["let",[["xv",["object/get","@kx","x",null]]],{"x":["default","@kx","@nroot"],"hs":["default",["array/nth","@hsU",["array/indexOf","@ux","@xv"]],"@nohits"]}]]]]]],["allS",["array/map",["array/flatten",["array/map","@rh",["fn","p",["object/get","@p","hs",[]]]]],["fn","h",["object/get","@h","s",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["joined",["str/join","@allS","\n"]],["fmtAll",["and",[">",["array/len","@allS"],0],["=",["array/len",["str/split","@joined","\n"]],["array/len","@allS"]],["validate/pattern","@joined","^@[\\p{L}_][\\p{L}0-9_](?:\\.[\\p{L}0-9_]+\|\\[\\d+\\])(?:\\n@[\\p{L}_][\\p{L}0-9_](?:\\.[\\p{L}0-9_]+\|\\[\\d+\\]))$"]]]],["array/flatten",["array/map","@rh",["fn","p",["let",[["x",["object/get","@p","x",null]],["hs",["object/get","@p","hs",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BrHit\"}},\"named\":{\"BrHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"r\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@hs",["fn","h",["let",[["s",["object/get","@h","s"]],["r",["object/get","@h","r"]],["c",["object/get","@x","c"]],["p",["str/concat",["object/get","@x","w"],["object/get","@h","rel"]]]],["let",[["parts",["str/split",["str/slice","@s",1],"."]]],["let",[["rest",["array/slice","@parts",1,["array/len","@parts"]]]],["if",["and",["not","@fmtAll"],["not",["validate/pattern","@s","^@[\\p{L}_][\\p{L}0-9_](\\.[\\p{L}0-9_]+\|\\[\\d+\\])$"]]],[{"code":"@config.codes.bindingInvalidFormat.code","path":"@p","message":["str/concat","Invalid binding format: '","@s","'"],"suggestion":"Use @root.field.nested format","severity":"error"}],["if",["=","@r","fromEntity"],["if",["!=","@c","ensures"],[{"code":"@config.codes.bindingFromEntityOutsideEnsures.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"fromEntity is the row before a transition and exists only inside its `@ensures`"],"suggestion":"Read the current row with @entity; state a before/after relation in an `@ensures` under the transition","severity":"error"}],"@nof"],["if",["array/includes","@dRoots","@r"],["if",["=","@c","tick"],[{"code":"@config.codes.bindingDispatchRootInTick.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"@r"," is not available in a tick: a tick firing has no delivery"],"suggestion":"Read the trait's own state and entity in a tick","severity":"error"}],["if",["!=","@r","event"],["if",[">",["array/len","@rest"],0],[{"code":"@config.codes.bindingRootNoPath.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"@r"," takes no path"],"suggestion":["str/concat","Use ",["quote","\"\\u0040\""],"@r"," and read it with an operator"],"severity":"error"}],"@nof"],["if",["or",["=",["array/len","@rest"],0],["=","@rest",["event"]],["=",["array/first","@rest"],"payload"],["=","@rest",["source"]],["and",["=",["array/first","@rest"],"source"],["=",["array/len","@rest"],2],["array/includes","@sKeys",["array/nth","@rest",1]]]],"@nof",[{"code":"@config.codes.bindingEventInvalidPath.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"event.",["str/join","@rest","."]," does not follow the delivery record"],"suggestion":["str/concat",["quote","\"\\u0040\""],"event has `event`, `payload.<field>` and `source.<field>`"],"severity":"error"}]]]],["if",["and",["=","@r","state"],[">",["array/len","@parts"],1]],[{"code":"@config.codes.bindingStateNoPath.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"state should not have a path - it returns the state name directly"],"suggestion":"Use @state without a path","severity":"error"}],["if",["and",["=","@r","now"],[">",["array/len","@parts"],1]],[{"code":"@config.codes.bindingNowNoPath.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"now should not have a path - it returns the current timestamp directly"],"suggestion":"Use @now without a path","severity":"error"}],["if",["and",["validate/pattern","@r","^[A-Z][a-zA-Z0-9]$"],[">",["array/len","@known"],0],["not",["object/has","@knownIdx","@r"]]],[{"code":"@config.codes.bindingUnknownEntity.code","path":"@p","message":["str/concat","Entity '","@r","' in binding may not exist"],"suggestion":"Ensure the entity is defined in the schema","severity":"error"}],"@nof"]]]]]]]]]]]]]]]]]]],[{"code":"@config.codes.lintIndexMissing.code","path":"","message":"the lint input arrived without LINT_ENTITIES, so this rule cannot check the program","suggestion":"std-orb-lint-input sends LINT_ENTITIES before LINT_INPUT; this rule did not hear it","severity":"error"}]]],["set","@entity.entitiesHeard",false],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_RPDA09CKQD9VPXKN2R4AEC5PNF","effects":[["emit","LINT_FOUND",{"rule":"binding-roots","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintBindingRootsCodes","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"},"lintUiVocabUnread":{"code":"ORB_LINT_UI_VOCAB_UNREAD","category":"lint","description":"The installed @almadar/core declares no readable UI vocabulary, so a UI lint check cannot run"},"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"},"bindingInvalidFormat":{"code":"ORB_BINDING_INVALID_FORMAT","category":"binding","description":"A binding string is not in a valid binding format"},"bindingFromEntityOutsideEnsures":{"code":"ORB_BINDING_FROM_ENTITY_OUTSIDE_ENSURES","category":"binding","description":"@fromEntity is the row before a transition and may only be used inside an @ensures"},"bindingDispatchRootInTick":{"code":"ORB_BINDING_DISPATCH_ROOT_IN_TICK","category":"binding","description":"A dispatch-only binding root is read inside a tick, where a firing has no delivery"},"bindingRootNoPath":{"code":"ORB_BINDING_ROOT_NO_PATH","category":"binding","description":"A binding root that takes no path is written with a path"},"bindingEventInvalidPath":{"code":"ORB_BINDING_EVENT_INVALID_PATH","category":"binding","description":"An @event binding path does not follow the shape of the delivery record"},"bindingStateNoPath":{"code":"ORB_BINDING_STATE_NO_PATH","category":"binding","description":"A binding root that returns a bare value, such as @state, is given a path"},"bindingNowNoPath":{"code":"ORB_BINDING_NOW_NO_PATH","category":"binding","description":"The @now binding is given a path, but it returns the current timestamp directly"},"bindingUnknownEntity":{"code":"ORB_BINDING_UNKNOWN_ENTITY","category":"binding","description":"A binding refers to an entity that is not declared in the program"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"lintUiVocabUnread":{"nullable":false,"name":"lintUiVocabUnread","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"}},"bindingInvalidFormat":{"nullable":false,"name":"bindingInvalidFormat","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"}},"bindingFromEntityOutsideEnsures":{"nullable":false,"name":"bindingFromEntityOutsideEnsures","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"}},"bindingDispatchRootInTick":{"nullable":false,"name":"bindingDispatchRootInTick","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"}},"bindingRootNoPath":{"nullable":false,"name":"bindingRootNoPath","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"}},"bindingEventInvalidPath":{"nullable":false,"name":"bindingEventInvalidPath","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"}},"bindingStateNoPath":{"nullable":false,"name":"bindingStateNoPath","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"}},"bindingNowNoPath":{"nullable":false,"name":"bindingNowNoPath","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"}},"bindingUnknownEntity":{"nullable":false,"name":"bindingUnknownEntity","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":"LintBindingRootsCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD","fingerprint":"2b7a3e53bfe162070495313ffa6fe7d97d923a03840571ac6981064ab1964c7b"}},{"name":"OrbLintBindingRootsCli","id":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintBindingRootsRun","linkedEntityId":"ent_BHC36TRB855M2QAQZFEB4A5YR9","entityRefIds":{"OrbLintBindingRootsRun":"ent_BHC36TRB855M2QAQZFEB4A5YR9"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_VXVPDZ7KMCST676B287FSN0VMA","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_JSY7N76E0T70D24TPD7A0W3ZWQ","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_3VNTX4XH1YRGZFM7D01BEBJP4Y","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_NVBKRT66F437JAVZXRE4B6CZJ8","description":"The lint input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"error","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_BSATNZM1590JMYTF0HQKHYSB3K","triggers":"LINT_FOUND","triggersId":"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y","source":{"kind":"trait","trait":"OrbLintBindingRoots","traitId":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_NVBKRT66F437JAVZXRE4B6CZJ8","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_NVBKRT66F437JAVZXRE4B6CZJ8","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_4XWT2553TGHX84NDC4QA1D98HB","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_88NWQN40NZ0AZXB2KPQ3947VKN","name":"Lint Called","description":"Run `orb lint binding-roots` with its arguments and working directory.","synonyms":"orb lint binding-roots","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-binding-roots","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y","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_NVBKRT66F437JAVZXRE4B6CZJ8","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},{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_VXVPDZ7KMCST676B287FSN0VMA","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_JSY7N76E0T70D24TPD7A0W3ZWQ","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_4XWT2553TGHX84NDC4QA1D98HB"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_88NWQN40NZ0AZXB2KPQ3947VKN","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 binding-roots <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_88NWQN40NZ0AZXB2KPQ3947VKN","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 binding-roots <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_4XWT2553TGHX84NDC4QA1D98HB"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y","guard":["and",["=","@payload.rule","binding-roots"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint binding-roots: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y","guard":["and",["=","@payload.rule","binding-roots"],[">",["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_NVBKRT66F437JAVZXRE4B6CZJ8","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint binding-roots: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV","fingerprint":"614a16a006f4087ebce8631c55488ccea2e7d8adb87544c96a77df2d0d9c5169"}},{"ref":"Input.traits.Versions","id":"trt_ETJ0RGDKWKSY9PBK13GTZ2S2B2","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_PMTTSB9VK9XSMYDK3JEBP08AKG","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_VBXS5AVR38W1MFE7WJPXSCNX99","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintBindingRootsCli"}},{"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":"OrbLintBindingRootsOrbitalStart","id":"pag_68Y6QRARMRCAC70EQJ40TCAGAT","path":"","protocol":"boot","traits":[{"ref":"OrbLintBindingRoots","refId":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},{"ref":"OrbLintBindingRootsCli","refId":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},{"ref":"OrbLintInput","refId":"trt_VBXS5AVR38W1MFE7WJPXSCNX99"},{"ref":"Packs","refId":"trt_PMTTSB9VK9XSMYDK3JEBP08AKG"},{"ref":"Versions","refId":"trt_ETJ0RGDKWKSY9PBK13GTZ2S2B2"}]}],"types":{"BrAt":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"BrAtIdx":[{"nullable":false,"name":"","type":"Map<string,[BrAt]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"BrAt","projectedFrom":{"type":"BrAt"}}}}],"BrCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BrShape","required":true,"properties":[],"projectedFrom":{"type":"BrShape"}}],"BrEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"BrExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"BrHit":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"BrIdx":[{"nullable":false,"name":"","type":"Map<string,[BrCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BrShape","required":true,"properties":[],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrCall","projectedFrom":{"type":"BrCall"}}}}],"BrMachineBR":[{"nullable":false,"name":"states","type":"[object]","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"BrOpShape":[{"nullable":false,"name":"category","type":"string"},{"nullable":false,"name":"minArity","type":"number"}],"BrOrbitalBR":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"BrExpect","projectedFrom":{"type":"BrExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrEntity","projectedFrom":{"type":"BrEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"items":{"nullable":false,"name":"","type":"BrTraitBR","projectedFrom":{"type":"BrTraitBR"}}}],"BrPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"BrProgramBR":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"BrExpect","projectedFrom":{"type":"BrExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"invariants","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrEntity","projectedFrom":{"type":"BrEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"nullable":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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"items":{"nullable":false,"name":"","type":"BrTraitBR","projectedFrom":{"type":"BrTraitBR"}}}],"items":{"nullable":false,"name":"","type":"BrOrbitalBR","projectedFrom":{"type":"BrOrbitalBR"}}}],"BrRH":[{"nullable":false,"name":"x","type":"object","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"projectedFrom":{"type":"BrRoot"}},{"nullable":false,"name":"hs","type":"[object]","properties":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"r","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"BrHit","projectedFrom":{"type":"BrHit"}}}],"BrRoot":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true}],"BrScope":[{"nullable":false,"name":"q","type":"string","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":"BrPair","projectedFrom":{"type":"BrPair"}}}],"BrShape":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}]}],"BrState":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"BrTick":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"BrTraitBR":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"states","type":"[object]","properties":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}}],"items":{"nullable":false,"name":"","type":"BrState","projectedFrom":{"type":"BrState"}}},{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTransitionBR","projectedFrom":{"type":"BrTransitionBR"}}}],"projectedFrom":{"type":"BrMachineBR"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"items":{"nullable":false,"name":"","type":"BrTick","projectedFrom":{"type":"BrTick"}}}],"BrTransitionBR":[{"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":"[BrShape]","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"object","type":"Map<string,BrShape>","items":{"nullable":true,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"projectedFrom":{"type":"BrShape"}},{"nullable":false,"name":"effects","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}},{"nullable":false,"name":"ensures","type":"[BrShape]","items":{"nullable":false,"name":"","type":"BrShape","projectedFrom":{"type":"BrShape"}}}],"GtEntityFacts":[{"nullable":false,"name":"orbital","type":"string","required":true},{"nullable":false,"name":"auxiliary","type":"boolean","required":true},{"nullable":false,"name":"fields","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"types","type":"Map<string,string>","items":{"nullable":false,"name":"","type":"string"}}],"LintBindingRootsCodes":[{"nullable":false,"name":"lintUiVocabUnread","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":"bindingInvalidFormat","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":"bindingFromEntityOutsideEnsures","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":"bindingDispatchRootInTick","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":"bindingRootNoPath","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":"bindingEventInvalidPath","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":"bindingStateNoPath","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":"bindingNowNoPath","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":"bindingUnknownEntity","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"}}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]}}],"inbound":["cli-lint-binding-roots"],"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_BHC36TRB855M2QAQZFEB4A5YR9":{"id":"ent_BHC36TRB855M2QAQZFEB4A5YR9","kind":"entity","bakedName":"OrbLintBindingRootsRun","curName":"OrbLintBindingRootsRun","renames":[],"owner":"workspace"},"evt_0ECHXSJW0HE08G90G0C3EV0N1G":{"id":"evt_0ECHXSJW0HE08G90G0C3EV0N1G","kind":"event","bakedName":"SHAPES_HEARD","curName":"SHAPES_HEARD","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y":{"id":"evt_3VNTX4XH1YRGZFM7D01BEBJP4Y","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_4XWT2553TGHX84NDC4QA1D98HB":{"id":"evt_4XWT2553TGHX84NDC4QA1D98HB","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_88NWQN40NZ0AZXB2KPQ3947VKN":{"id":"evt_88NWQN40NZ0AZXB2KPQ3947VKN","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_BS62NMEDZJ6ZS3F2FXND566MKT":{"id":"evt_BS62NMEDZJ6ZS3F2FXND566MKT","kind":"event","bakedName":"UI_VOCAB_UNREAD","curName":"UI_VOCAB_UNREAD","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_BSATNZM1590JMYTF0HQKHYSB3K":{"id":"evt_BSATNZM1590JMYTF0HQKHYSB3K","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_FKX2BXE77J3KS3BKS3HN51653S":{"id":"evt_FKX2BXE77J3KS3BKS3HN51653S","kind":"event","bakedName":"UI_VOCAB_HEARD","curName":"UI_VOCAB_HEARD","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_HM0KDR4TR0DC03GKG1VY7ENY0K":{"id":"evt_HM0KDR4TR0DC03GKG1VY7ENY0K","kind":"event","bakedName":"SHAPES_UNREAD","curName":"SHAPES_UNREAD","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_JSY7N76E0T70D24TPD7A0W3ZWQ":{"id":"evt_JSY7N76E0T70D24TPD7A0W3ZWQ","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_NVBKRT66F437JAVZXRE4B6CZJ8":{"id":"evt_NVBKRT66F437JAVZXRE4B6CZJ8","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_RPDA09CKQD9VPXKN2R4AEC5PNF":{"id":"evt_RPDA09CKQD9VPXKN2R4AEC5PNF","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_TR22M7CCE46721F0GQZAKZJJQW":{"id":"evt_TR22M7CCE46721F0GQZAKZJJQW","kind":"event","bakedName":"ENTITIES_HEARD","curName":"ENTITIES_HEARD","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_VXVPDZ7KMCST676B287FSN0VMA":{"id":"evt_VXVPDZ7KMCST676B287FSN0VMA","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV"},"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM":{"id":"evt_Y4JPTZ3018G0M4TCDXQZ4HDPCM","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"evt_YPJDVY2PF0B7G13TC8E7WHXGBH":{"id":"evt_YPJDVY2PF0B7G13TC8E7WHXGBH","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD"},"orb_T68HZMNAA0N506WXJDGZR028YS":{"id":"orb_T68HZMNAA0N506WXJDGZR028YS","kind":"orbital","bakedName":"OrbLintBindingRootsOrbital","curName":"OrbLintBindingRootsOrbital","renames":[],"owner":"workspace"},"pag_68Y6QRARMRCAC70EQJ40TCAGAT":{"id":"pag_68Y6QRARMRCAC70EQJ40TCAGAT","kind":"page","bakedName":"OrbLintBindingRootsOrbitalStart","curName":"OrbLintBindingRootsOrbitalStart","renames":[],"owner":"workspace"},"trt_6YSB04K9DTMPX1TJV3K3XGTAWD":{"id":"trt_6YSB04K9DTMPX1TJV3K3XGTAWD","kind":"trait","bakedName":"OrbLintBindingRoots","curName":"OrbLintBindingRoots","renames":[],"owner":"workspace"},"trt_ETJ0RGDKWKSY9PBK13GTZ2S2B2":{"id":"trt_ETJ0RGDKWKSY9PBK13GTZ2S2B2","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_PMTTSB9VK9XSMYDK3JEBP08AKG":{"id":"trt_PMTTSB9VK9XSMYDK3JEBP08AKG","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_VBXS5AVR38W1MFE7WJPXSCNX99":{"id":"trt_VBXS5AVR38W1MFE7WJPXSCNX99","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_XANVHJDKC2SP1AQVQKW7FFWTKV":{"id":"trt_XANVHJDKC2SP1AQVQKW7FFWTKV","kind":"trait","bakedName":"OrbLintBindingRootsCli","curName":"OrbLintBindingRootsCli","renames":[],"owner":"workspace"}}}}