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

@almadar/std 17.0.0 → 17.0.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (323) hide show

package/behaviors/registry/cli/atoms/std-orb-lint-sexpr-binding.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"typeContractVersion":1,"types":{"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>","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"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}],"LintSexprBindingCodes":[{"nullable":false,"name":"sexprInvalidBinding","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":"sexprUnknownEntity","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":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"SbAt":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"SbAtIdx":[{"nullable":false,"name":"","type":"Map<string,[SbAt]>","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":"SbAt","projectedFrom":{"type":"SbAt"}}}}],"SbCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SbShape","required":true,"properties":[],"projectedFrom":{"type":"SbShape"}}],"SbDepth":[{"nullable":false,"name":"d","type":"number","required":true}],"SbEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"SbExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"SbField":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"SbFront":[{"nullable":false,"name":"f","type":"object","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"w","type":"string"}],"SbHit":[{"nullable":false,"name":"rel","type":"string"},{"nullable":false,"name":"s","type":"string"},{"nullable":false,"name":"b","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"SbHitOut":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"b","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SbIdx":[{"nullable":false,"name":"","type":"Map<string,[SbCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SbShape","required":true,"properties":[],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbCall","projectedFrom":{"type":"SbCall"}}}}],"SbLevel":[{"nullable":false,"name":"front","type":"[object]","properties":[{"nullable":false,"name":"f","type":"object","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"w","type":"string"}],"items":{"nullable":false,"name":"","type":"SbFront","projectedFrom":{"type":"SbFront"}}},{"nullable":false,"name":"acc","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"w","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"SbRoot","projectedFrom":{"type":"SbRoot"}}}],"SbMachine":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"SbOrbital":[{"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":"SbExpect","projectedFrom":{"type":"SbExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbEntity","projectedFrom":{"type":"SbEntity"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"items":{"nullable":false,"name":"","type":"SbTrait","projectedFrom":{"type":"SbTrait"}}}],"SbPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SbProgram":[{"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":"SbExpect","projectedFrom":{"type":"SbExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbEntity","projectedFrom":{"type":"SbEntity"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"items":{"nullable":false,"name":"","type":"SbTrait","projectedFrom":{"type":"SbTrait"}}}],"items":{"nullable":false,"name":"","type":"SbOrbital","projectedFrom":{"type":"SbOrbital"}}}],"SbRoot":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"w","type":"string","required":true}],"SbScope":[{"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":"SbPair","projectedFrom":{"type":"SbPair"}}}],"SbShape":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}]}],"SbState":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"SbTick":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"SbTrait":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"SbTransition":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}]},"name":"std-orb-lint-sexpr-binding","version":"1.0.0","description":"std-orb-lint-sexpr-binding — the `orb lint sexpr-binding <file>` command, the port of the binding checks of sexpr/binding.rs validate_binding (reached from validate_trait_sexprs): SEXPR_INVALID_BINDING (an `@` with no root), SEXPR_UNKNOWN_ENTITY (a capitalized root that is no entity of the program, no `expects entity` name and no enclosing `fn` parameter or sequential `let` name; silent when the program declares no entity) and ORB_BINDING_STATE_NO_PATH (a path after @state or @now, with this pass's own message, distinct from std-orb-lint-binding-roots'). It lowers the file with program/read and walks every `@` string of the guard, effects, ensures, state holds and tick effects of every inline trait and of the `default` of every primary entity field (and its items and properties), reading `fn` and `let` scopes as the compiler does. Findings carry the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint sexpr-binding: 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":"OrbLintSexprBindingOrbital","id":"orb_QVXY1R6X2GEH85GZ43WW2V33C1","uses":[{"from":"almadar-std/lint-sexpr-binding","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintSexprBindingRun","id":"ent_VPJYSX465H32RHAHAARE3MD60Y","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":true,"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"}}}]},"traits":[{"name":"OrbLintSexprBinding","id":"trt_JQ817AZPJBV95S90RNCJCXP9MY","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"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"}],"linkedEntity":"OrbLintSexprBindingRun","linkedEntityId":"ent_VPJYSX465H32RHAHAARE3MD60Y","entityRefIds":{"OrbLintSexprBindingRun":"ent_VPJYSX465H32RHAHAARE3MD60Y"},"emits":[{"event":"LINT_FOUND","eventId":"evt_DSZBD3FD0KPG9ZK17K8EG5B2A7","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_SHM316930XHGEYVW1NHJXH11S0","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_A7KAGHC8F847MA66MW8CKKFRYK","triggers":"LINT_INPUT","triggersId":"evt_A7KAGHC8F847MA66MW8CKKFRYK","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ"}},{"event":"LINT_ENTITIES","triggers":"ENTITIES_HEARD","triggersId":"evt_01GQ9QXENYQAZ27GFD7P94PQQX","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_Z3BZY6W2XF1EQTS1V9Y34W9D2Y","name":"Initialize"},{"key":"ENTITIES_HEARD","id":"evt_01GQ9QXENYQAZ27GFD7P94PQQX","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_A7KAGHC8F847MA66MW8CKKFRYK","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":"SbExpect","projectedFrom":{"type":"SbExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbEntity","projectedFrom":{"type":"SbEntity"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"items":{"nullable":false,"name":"","type":"SbTrait","projectedFrom":{"type":"SbTrait"}}}],"items":{"nullable":false,"name":"","type":"SbOrbital","projectedFrom":{"type":"SbOrbital"}}}],"projectedFrom":{"type":"SbProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_SHM316930XHGEYVW1NHJXH11S0","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_DSZBD3FD0KPG9ZK17K8EG5B2A7","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_Z3BZY6W2XF1EQTS1V9Y34W9D2Y"},{"from":"ready","to":"ready","event":"ENTITIES_HEARD","eventId":"evt_01GQ9QXENYQAZ27GFD7P94PQQX","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_A7KAGHC8F847MA66MW8CKKFRYK","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\":\"SbHit\"}},\"named\":{\"SbHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"b\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":false,\"constraints\":[]}]}}}"],["noroots",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbRoot\"}},\"named\":{\"SbRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"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\":[]}]}}}"],["nofr",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbFront\"}},\"named\":{\"SbField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"default\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"items\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}}},\"required\":false,\"constraints\":[]}]},\"SbFront\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"f\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SbField\"},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["orbitals",["object/get","@payload.program","orbitals",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbOrbital\"}},\"named\":{\"SbEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"fields\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}},\"required\":false,\"constraints\":[]}]},\"SbExpect\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"kind\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]}]},\"SbField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"default\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"items\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}}},\"required\":false,\"constraints\":[]}]},\"SbMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTransition\"}},\"required\":false,\"constraints\":[]}]},\"SbOrbital\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"expects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbExpect\"}},\"required\":false,\"constraints\":[]},{\"name\":\"entity\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SbEntity\"},\"required\":false,\"constraints\":[]},{\"name\":\"auxiliaryEntities\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbEntity\"}},\"required\":false,\"constraints\":[]},{\"name\":\"traits\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTrait\"}},\"required\":false,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]},\"SbState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]},\"SbTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]},\"SbTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SbMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTick\"}},\"required\":false,\"constraints\":[]}]},\"SbTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["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\"}}}"],["knownIdx",["default",["object/fromEntries",["array/map","@known",["fn","z",["@z",true]]]],{}]],["tRoots",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["o",["default",["array/nth","@orbitals","@oi"],{}]]],["let",[["trts",["object/get","@o","traits",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTrait\"}},\"named\":{\"SbMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTransition\"}},\"required\":false,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]},\"SbState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]},\"SbTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]},\"SbTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SbMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTick\"}},\"required\":false,\"constraints\":[]}]},\"SbTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@trts"]],["fn","ti",["let",[["t",["default",["array/nth","@trts","@ti"],{}]]],["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",["object/get","@t","stateMachine",{"transitions":[]}],"transitions",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTransition\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]},\"SbTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["sts",["object/get",["object/get","@t","stateMachine",{"states":[]}],"states",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbState\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]},\"SbState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["tks",["object/get","@t","ticks",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTick\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]},\"SbTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@trs"]],["fn","xi",["let",[["tr",["default",["array/nth","@trs","@xi"],{}]],["xp",["str/concat","@tp",".stateMachine.transitions[","@xi","]"]]],["let",[["effs",["object/get","@tr","effects",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["ens",["object/get","@tr","ensures",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["g",["object/get","@tr","guard",null]]],["array/concat",["if",["!=","@g",null],[{"x":"@g","w":["str/concat","@xp",".guard"]}],"@noroots"],["array/concat",["array/map",["array/range",0,["array/len","@effs"]],["fn","ei",{"x":["array/nth","@effs","@ei"],"w":["str/concat","@xp",".effects[","@ei","]"]}]],["array/map",["array/range",0,["array/len","@ens"]],["fn","ki",{"x":["array/nth","@ens","@ki"],"w":["str/concat","@xp",".ensures[","@ki","]"]}]]]]]]]]],["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@sts"]],["fn","si",["let",[["h",["object/get",["default",["array/nth","@sts","@si"],{}],"holds",null]]],["if",["!=","@h",null],[{"x":"@h","w":["str/concat","@tp",".stateMachine.states[","@si","].holds"]}],"@noroots"]]]]],["array/flatten",["array/map",["array/range",0,["array/len","@tks"]],["fn","ki",["let",[["teffs",["object/get",["default",["array/nth","@tks","@ki"],{}],"effects",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/map",["array/range",0,["array/len","@teffs"]],["fn","ei",{"x":["array/nth","@teffs","@ei"],"w":["str/concat","@tp",".ticks[","@ki","].effects[","@ei","]"]}]]]]]]]]]]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbRoot\"}},\"named\":{\"SbRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["fieldRoots",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["ent",["object/get",["default",["array/nth","@orbitals","@oi"],{}],"entity",null]]],["if",["not",["validate/object","@ent"]],"@noroots",["let",[["fl",["object/get","@ent","fields",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}},\"named\":{\"SbField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"default\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"items\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}}},\"required\":false,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["bound",["+",2,["object/get",["tree/fold",["object/get","@ent","fields",[]],["fn",["n","k"],{"d":["+",1,["array/reduce",["if",["validate/array","@n"],["array/map","@k",["fn","r",["let",[["rd",["as","@r","SbDepth"]]],["if",["=","@rd",null],1,["object/get","@rd","d"]]]]],["if",["validate/object","@n"],["array/map",["object/keys","@k"],["fn","q",["let",[["qd",["as",["object/get","@k","@q"],"SbDepth"]]],["if",["=","@qd",null],1,["object/get","@qd","d"]]]]],[0]]],0,["fn",["m","v"],["if",[">","@v","@m"],"@v","@m"]]]]}],"SbShape","{\"name\":\"SbShape\",\"nullable\":false,\"projectedFrom\":{\"type\":\"SbShape\"},\"properties\":{\"array\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SbShape\"},\"type\":\"union\",\"values\":[\"SbShape\"]},\"name\":\"array\",\"nullable\":false,\"type\":\"array\"},\"boolean\":{\"name\":\"boolean\",\"nullable\":false,\"type\":\"boolean\"},\"map\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SbShape\"},\"type\":\"union\",\"values\":[\"SbShape\"]},\"name\":\"map\",\"nullable\":false,\"type\":\"object\"},\"number\":{\"name\":\"number\",\"nullable\":false,\"type\":\"number\"},\"string\":{\"name\":\"string\",\"nullable\":false,\"type\":\"string\"}},\"type\":\"union\",\"values\":[\"string\",\"number\",\"boolean\",\"array\",\"map\"]}"],"d",0]]]],["object/get",["array/reduce",["array/range",0,"@bound"],{"front":["array/map",["array/range",0,["array/len","@fl"]],["fn","fi",{"f":["array/nth","@fl","@fi"],"w":["str/concat","orbitals[","@oi","].entity.fields[","@fi","]"]}]],"acc":"@noroots"},["fn",["st","_i"],{"front":["array/flatten",["array/map",["object/get","@st","front"],["fn","fr",["array/concat",["let",[["it",["object/get",["object/get","@fr","f"],"items",null]]],["if",["validate/object","@it"],[{"f":"@it","w":["str/concat",["object/get","@fr","w"],".items"]}],"@nofr"]],["let",[["pr",["object/get",["object/get","@fr","f"],"properties",null]]],["if",["validate/object","@pr"],["array/map",["object/keys","@pr"],["fn","pk",{"f":["object/get","@pr","@pk"],"w":["str/concat",["object/get","@fr","w"],".properties.","@pk"]}]],"@nofr"]]]]]],"acc":["array/concat",["object/get","@st","acc"],["array/flatten",["array/map",["object/get","@st","front"],["fn","fr",["let",[["df",["object/get",["object/get","@fr","f"],"default",null]]],["if",["!=","@df",null],[{"x":"@df","w":["str/concat",["object/get","@fr","w"],".default"]}],"@noroots"]]]]]]}]],"acc"]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbRoot\"}},\"named\":{\"SbRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/pmap",["array/concat","@tRoots","@fieldRoots"],["fn","x",["let",[["hs",["let",[["raw",["tree/index",["object/get","@x","x",null],["list","fn","let"],{"prefixes":[["quote","\"\\u0040\""]]}]],["ats",["array/flatten",["object/values",["default",["as",["object/omit","@raw",["list","fn","let"]],"SbAtIdx"],{}]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbAt\"}},\"named\":{\"SbAt\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"],["ix",["if",["=",["array/len",["array/filter","@ats",["fn","hit",["let",[["hs0",["object/get","@hit","node",""]]],["let",[["parts",["str/split",["str/slice","@hs0",1],"."]]],["let",[["root",["array/first","@parts"]]],["if",["or",["=","@root",null],["=","@root",""]],true,["or",["let",[["c0",["str/slice","@root",0,1]]],["and",["!=",["str/lower","@c0"],"@c0"],[">",["array/len","@known"],0],["not",["object/has","@knownIdx","@root"]]]],["and",["or",["=","@root","state"],["=","@root","now"]],[">",["array/len","@parts"],1]]]]]]]]]],0],["default",["as",{},"SbIdx"],{}],["default",["as",["object/omit","@raw",[["quote","\"\\u0040\""]]],"SbIdx"],{}]]]],["let",[["ss",["array/flatten",["array/map",["array/concat",["object/get","@ix","fn",[]],["object/get","@ix","let",[]]],["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]]],["if",["=",["array/nth","@cn",0],"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",["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":[]}]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbScope\"}},\"named\":{\"SbPair\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"pfx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"before\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]},\"SbScope\":{\"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\":\"SbPair\"}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@ats",["fn","hit",["let",[["hp",["object/get","@hit","path",""]],["hn",["object/get","@hit","node",""]]],["if",["and",["str/endsWith","@hp","[0]"],["str/includes","@hn","/"]],[],["let",[["res",["array/reduce",["array/filter","@ss",["fn","s",["str/startsWith","@hp",["str/concat",["object/get","@s","q"],"["]]]],{"ok":true,"b":"@nostr"},["fn",["acc","s"],["let",[["sfx",["str/slice","@hp",["str/len",["object/get","@s","q"]]]],["kind",["object/get","@s","kind"]]],["let",[["add",["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"]],["=","@add",null]],{"ok":false,"b":"@nostr"},{"ok":true,"b":["array/concat",["object/get","@acc","b"],"@add"]}]]]]]]],["if",["object/get","@res","ok"],[{"rel":["if",["or",["=","@hp",""],["str/startsWith","@hp","["]],"@hp",["str/concat",".","@hp"]],"s":"@hn","b":["object/get","@res","b"]}],[]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbHitOut\"}},\"named\":{\"SbHitOut\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"b\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@hs",["fn","h",["let",[["s",["object/get","@h","s"]],["p",["str/concat",["object/get","@x","w"],["object/get","@h","rel"]]],["bnd",["object/get","@h","b",[]]]],["let",[["parts",["str/split",["str/slice","@s",1],"."]]],["let",[["root",["array/first","@parts"]]],["if",["or",["=","@root",null],["=","@root",""]],[{"code":"@config.codes.sexprInvalidBinding.code","path":"@p","message":["str/concat","Invalid binding: '","@s","'"],"suggestion":"Bindings should be @root.field format","severity":"error"}],["array/concat",["let",[["c0",["str/slice","@root",0,1]]],["if",["and",["!=",["str/lower","@c0"],"@c0"],[">",["array/len","@known"],0],["not",["object/has","@knownIdx","@root"]],["not",["array/includes","@bnd","@root"]]],[{"code":"@config.codes.sexprUnknownEntity.code","path":"@p","message":["str/concat","Entity '","@root","' in binding may not exist"],"suggestion":"Ensure the entity is defined in the schema","severity":"error"}],"@nof"]],["if",["and",["or",["=","@root","state"],["=","@root","now"]],[">",["array/len","@parts"],1]],[{"code":"@config.codes.bindingStateNoPath.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"@root"," should not have a path"],"suggestion":["str/concat","Use ",["quote","\"\\u0040\""],"@root"," without path"],"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_SHM316930XHGEYVW1NHJXH11S0","effects":[["emit","LINT_FOUND",{"rule":"sexpr-binding","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintSexprBindingCodes","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"},"sexprInvalidBinding":{"code":"SEXPR_INVALID_BINDING","category":"sexpr","description":"An s-expression contains an invalid binding"},"sexprUnknownEntity":{"code":"SEXPR_UNKNOWN_ENTITY","category":"sexpr","description":"An entity named in a binding may not exist in the program"},"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"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"sexprInvalidBinding":{"nullable":false,"name":"sexprInvalidBinding","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"}},"sexprUnknownEntity":{"nullable":false,"name":"sexprUnknownEntity","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"}},"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":"LintSexprBindingCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_JQ817AZPJBV95S90RNCJCXP9MY","fingerprint":"250ca300f5283d6e693e31bc3e276b5101b3afcdd6d2bcdbe701b6f7b3d41194"}},{"name":"OrbLintSexprBindingCli","id":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintSexprBindingRun","linkedEntityId":"ent_VPJYSX465H32RHAHAARE3MD60Y","entityRefIds":{"OrbLintSexprBindingRun":"ent_VPJYSX465H32RHAHAARE3MD60Y"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_5PKNSJBZRHZW8TA63VY8GC0XQ1","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_6370B44M0SA0CRPY5HGPM901YC","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_REH9FNNYB9Z5MN7TF7WFNZ07WP","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_ET2V5NY8JJ4992RZMA75N81756","description":"The lint input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_DSZBD3FD0KPG9ZK17K8EG5B2A7","triggers":"LINT_FOUND","triggersId":"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP","source":{"kind":"trait","trait":"OrbLintSexprBinding","traitId":"trt_JQ817AZPJBV95S90RNCJCXP9MY"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_ET2V5NY8JJ4992RZMA75N81756","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_ET2V5NY8JJ4992RZMA75N81756","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_0YDNAVPNZSAZWPQ6JPWQZSF2HH","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_0PEH8KJTFQD7VREQFTJKC8FGPR","name":"Lint Called","description":"Run `orb lint sexpr-binding` with its arguments and working directory.","synonyms":"orb lint sexpr-binding","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-sexpr-binding","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP","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_ET2V5NY8JJ4992RZMA75N81756","name":"Lint Input Unread","description":"The lint input could not read or lower the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_5PKNSJBZRHZW8TA63VY8GC0XQ1","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_6370B44M0SA0CRPY5HGPM901YC","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_0YDNAVPNZSAZWPQ6JPWQZSF2HH"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_0PEH8KJTFQD7VREQFTJKC8FGPR","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["or",["=","@a",null],["!=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint sexpr-binding <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_0PEH8KJTFQD7VREQFTJKC8FGPR","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["and",["!=","@a",null],["=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["if",["=","@a",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint sexpr-binding <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint sexpr-binding <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_0YDNAVPNZSAZWPQ6JPWQZSF2HH"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP","guard":["and",["=","@payload.rule","sexpr-binding"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint sexpr-binding: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP","guard":["and",["=","@payload.rule","sexpr-binding"],[">",["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_ET2V5NY8JJ4992RZMA75N81756","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint sexpr-binding: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK","fingerprint":"eb413c4336f9d9d841a5483817dea95920972f4262616e6718f5164aae5210a4"}},{"ref":"Input.traits.Versions","id":"trt_Q95FFR9YQMZBT9NS8KP2VQ7CY0","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_QF5XJ9JTF3D7HR7HF71R7BET5D","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintSexprBindingCli"}},{"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":"OrbLintSexprBindingOrbitalStart","id":"pag_744JYFMPSNBCTR36R07GC1E7VK","path":"","protocol":"boot","traits":[{"ref":"OrbLintSexprBinding","refId":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},{"ref":"OrbLintSexprBindingCli","refId":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},{"ref":"OrbLintInput","refId":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ"},{"ref":"Packs","refId":"trt_QF5XJ9JTF3D7HR7HF71R7BET5D"},{"ref":"Versions","refId":"trt_Q95FFR9YQMZBT9NS8KP2VQ7CY0"}]}],"types":{"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>","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"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}],"LintSexprBindingCodes":[{"nullable":false,"name":"sexprInvalidBinding","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":"sexprUnknownEntity","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":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"SbAt":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"SbAtIdx":[{"nullable":false,"name":"","type":"Map<string,[SbAt]>","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":"SbAt","projectedFrom":{"type":"SbAt"}}}}],"SbCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SbShape","required":true,"properties":[],"projectedFrom":{"type":"SbShape"}}],"SbDepth":[{"nullable":false,"name":"d","type":"number","required":true}],"SbEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"SbExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"SbField":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"SbFront":[{"nullable":false,"name":"f","type":"object","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"w","type":"string"}],"SbHit":[{"nullable":false,"name":"rel","type":"string"},{"nullable":false,"name":"s","type":"string"},{"nullable":false,"name":"b","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"SbHitOut":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"b","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SbIdx":[{"nullable":false,"name":"","type":"Map<string,[SbCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SbShape","required":true,"properties":[],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbCall","projectedFrom":{"type":"SbCall"}}}}],"SbLevel":[{"nullable":false,"name":"front","type":"[object]","properties":[{"nullable":false,"name":"f","type":"object","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"w","type":"string"}],"items":{"nullable":false,"name":"","type":"SbFront","projectedFrom":{"type":"SbFront"}}},{"nullable":false,"name":"acc","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"w","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"SbRoot","projectedFrom":{"type":"SbRoot"}}}],"SbMachine":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"SbOrbital":[{"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":"SbExpect","projectedFrom":{"type":"SbExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbEntity","projectedFrom":{"type":"SbEntity"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"items":{"nullable":false,"name":"","type":"SbTrait","projectedFrom":{"type":"SbTrait"}}}],"SbPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SbProgram":[{"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":"SbExpect","projectedFrom":{"type":"SbExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbEntity","projectedFrom":{"type":"SbEntity"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"items":{"nullable":false,"name":"","type":"SbTrait","projectedFrom":{"type":"SbTrait"}}}],"items":{"nullable":false,"name":"","type":"SbOrbital","projectedFrom":{"type":"SbOrbital"}}}],"SbRoot":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"w","type":"string","required":true}],"SbScope":[{"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":"SbPair","projectedFrom":{"type":"SbPair"}}}],"SbShape":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}]}],"SbState":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"SbTick":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"SbTrait":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"SbTransition":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}]}}],"inbound":["cli-lint-sexpr-binding"],"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_VPJYSX465H32RHAHAARE3MD60Y":{"id":"ent_VPJYSX465H32RHAHAARE3MD60Y","kind":"entity","bakedName":"OrbLintSexprBindingRun","curName":"OrbLintSexprBindingRun","renames":[],"owner":"workspace"},"evt_01GQ9QXENYQAZ27GFD7P94PQQX":{"id":"evt_01GQ9QXENYQAZ27GFD7P94PQQX","kind":"event","bakedName":"ENTITIES_HEARD","curName":"ENTITIES_HEARD","renames":[],"owner":"workspace","parent":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},"evt_0PEH8KJTFQD7VREQFTJKC8FGPR":{"id":"evt_0PEH8KJTFQD7VREQFTJKC8FGPR","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_0YDNAVPNZSAZWPQ6JPWQZSF2HH":{"id":"evt_0YDNAVPNZSAZWPQ6JPWQZSF2HH","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_5PKNSJBZRHZW8TA63VY8GC0XQ1":{"id":"evt_5PKNSJBZRHZW8TA63VY8GC0XQ1","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_6370B44M0SA0CRPY5HGPM901YC":{"id":"evt_6370B44M0SA0CRPY5HGPM901YC","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_A7KAGHC8F847MA66MW8CKKFRYK":{"id":"evt_A7KAGHC8F847MA66MW8CKKFRYK","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},"evt_DSZBD3FD0KPG9ZK17K8EG5B2A7":{"id":"evt_DSZBD3FD0KPG9ZK17K8EG5B2A7","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},"evt_ET2V5NY8JJ4992RZMA75N81756":{"id":"evt_ET2V5NY8JJ4992RZMA75N81756","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP":{"id":"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_SHM316930XHGEYVW1NHJXH11S0":{"id":"evt_SHM316930XHGEYVW1NHJXH11S0","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},"evt_Z3BZY6W2XF1EQTS1V9Y34W9D2Y":{"id":"evt_Z3BZY6W2XF1EQTS1V9Y34W9D2Y","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},"orb_QVXY1R6X2GEH85GZ43WW2V33C1":{"id":"orb_QVXY1R6X2GEH85GZ43WW2V33C1","kind":"orbital","bakedName":"OrbLintSexprBindingOrbital","curName":"OrbLintSexprBindingOrbital","renames":[],"owner":"workspace"},"pag_744JYFMPSNBCTR36R07GC1E7VK":{"id":"pag_744JYFMPSNBCTR36R07GC1E7VK","kind":"page","bakedName":"OrbLintSexprBindingOrbitalStart","curName":"OrbLintSexprBindingOrbitalStart","renames":[],"owner":"workspace"},"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ":{"id":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_JQ817AZPJBV95S90RNCJCXP9MY":{"id":"trt_JQ817AZPJBV95S90RNCJCXP9MY","kind":"trait","bakedName":"OrbLintSexprBinding","curName":"OrbLintSexprBinding","renames":[],"owner":"workspace"},"trt_Q95FFR9YQMZBT9NS8KP2VQ7CY0":{"id":"trt_Q95FFR9YQMZBT9NS8KP2VQ7CY0","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_QF5XJ9JTF3D7HR7HF71R7BET5D":{"id":"trt_QF5XJ9JTF3D7HR7HF71R7BET5D","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_Y4SZVPMDAD6N6MS5NQS218WBFK":{"id":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK","kind":"trait","bakedName":"OrbLintSexprBindingCli","curName":"OrbLintSexprBindingCli","renames":[],"owner":"workspace"}}}}
1	+ {"typeContractVersion":1,"types":{"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>","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"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}],"LintSexprBindingCodes":[{"nullable":false,"name":"sexprInvalidBinding","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":"sexprUnknownEntity","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":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"SbAt":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"SbAtIdx":[{"nullable":false,"name":"","type":"Map<string,[SbAt]>","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":"SbAt","projectedFrom":{"type":"SbAt"}}}}],"SbCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SbShape","required":true,"properties":[],"projectedFrom":{"type":"SbShape"}}],"SbDepth":[{"nullable":false,"name":"d","type":"number","required":true}],"SbEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"SbExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"SbField":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"SbFront":[{"nullable":false,"name":"f","type":"object","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"w","type":"string"}],"SbHit":[{"nullable":false,"name":"rel","type":"string"},{"nullable":false,"name":"s","type":"string"},{"nullable":false,"name":"b","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"SbHitOut":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"b","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SbIdx":[{"nullable":false,"name":"","type":"Map<string,[SbCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SbShape","required":true,"properties":[],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbCall","projectedFrom":{"type":"SbCall"}}}}],"SbLevel":[{"nullable":false,"name":"front","type":"[object]","properties":[{"nullable":false,"name":"f","type":"object","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"w","type":"string"}],"items":{"nullable":false,"name":"","type":"SbFront","projectedFrom":{"type":"SbFront"}}},{"nullable":false,"name":"acc","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"w","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"SbRoot","projectedFrom":{"type":"SbRoot"}}}],"SbMachine":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"SbOrbital":[{"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":"SbExpect","projectedFrom":{"type":"SbExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbEntity","projectedFrom":{"type":"SbEntity"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"items":{"nullable":false,"name":"","type":"SbTrait","projectedFrom":{"type":"SbTrait"}}}],"SbPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SbProgram":[{"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":"SbExpect","projectedFrom":{"type":"SbExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbEntity","projectedFrom":{"type":"SbEntity"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"items":{"nullable":false,"name":"","type":"SbTrait","projectedFrom":{"type":"SbTrait"}}}],"items":{"nullable":false,"name":"","type":"SbOrbital","projectedFrom":{"type":"SbOrbital"}}}],"SbRoot":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"w","type":"string","required":true}],"SbScope":[{"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":"SbPair","projectedFrom":{"type":"SbPair"}}}],"SbShape":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}]}],"SbState":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"SbTick":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"SbTrait":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"SbTransition":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}]},"name":"std-orb-lint-sexpr-binding","version":"1.0.0","description":"std-orb-lint-sexpr-binding — the `orb lint sexpr-binding <file>` command, the port of the binding checks of sexpr/binding.rs validate_binding (reached from validate_trait_sexprs): SEXPR_INVALID_BINDING (an `@` with no root), SEXPR_UNKNOWN_ENTITY (a capitalized root that is no entity of the program, no `expects entity` name and no enclosing `fn` parameter or sequential `let` name; silent when the program declares no entity) and ORB_BINDING_STATE_NO_PATH (a path after @state or @now, with this pass's own message, distinct from std-orb-lint-binding-roots'). It lowers the file with program/read and walks every `@` string of the guard, effects, ensures, state holds and tick effects of every inline trait and of the `default` of every primary entity field (and its items and properties), reading `fn` and `let` scopes as the compiler does. Findings carry the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint sexpr-binding: 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":"OrbLintSexprBindingOrbital","id":"orb_QVXY1R6X2GEH85GZ43WW2V33C1","uses":[{"from":"almadar-std/lint-sexpr-binding","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintSexprBindingRun","id":"ent_VPJYSX465H32RHAHAARE3MD60Y","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":true,"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"}}}]},"traits":[{"name":"OrbLintSexprBinding","id":"trt_JQ817AZPJBV95S90RNCJCXP9MY","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"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"}],"linkedEntity":"OrbLintSexprBindingRun","linkedEntityId":"ent_VPJYSX465H32RHAHAARE3MD60Y","entityRefIds":{"OrbLintSexprBindingRun":"ent_VPJYSX465H32RHAHAARE3MD60Y"},"emits":[{"event":"LINT_FOUND","eventId":"evt_DSZBD3FD0KPG9ZK17K8EG5B2A7","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_SHM316930XHGEYVW1NHJXH11S0","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_A7KAGHC8F847MA66MW8CKKFRYK","triggers":"LINT_INPUT","triggersId":"evt_A7KAGHC8F847MA66MW8CKKFRYK","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ"}},{"event":"LINT_ENTITIES","triggers":"ENTITIES_HEARD","triggersId":"evt_01GQ9QXENYQAZ27GFD7P94PQQX","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_Z3BZY6W2XF1EQTS1V9Y34W9D2Y","name":"Initialize"},{"key":"ENTITIES_HEARD","id":"evt_01GQ9QXENYQAZ27GFD7P94PQQX","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_A7KAGHC8F847MA66MW8CKKFRYK","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":"SbExpect","projectedFrom":{"type":"SbExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbEntity","projectedFrom":{"type":"SbEntity"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"items":{"nullable":false,"name":"","type":"SbTrait","projectedFrom":{"type":"SbTrait"}}}],"items":{"nullable":false,"name":"","type":"SbOrbital","projectedFrom":{"type":"SbOrbital"}}}],"projectedFrom":{"type":"SbProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_SHM316930XHGEYVW1NHJXH11S0","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_DSZBD3FD0KPG9ZK17K8EG5B2A7","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_Z3BZY6W2XF1EQTS1V9Y34W9D2Y"},{"from":"ready","to":"ready","event":"ENTITIES_HEARD","eventId":"evt_01GQ9QXENYQAZ27GFD7P94PQQX","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_A7KAGHC8F847MA66MW8CKKFRYK","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\":\"SbHit\"}},\"named\":{\"SbHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"b\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":false,\"constraints\":[]}]}}}"],["noroots",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbRoot\"}},\"named\":{\"SbRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"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\":[]}]}}}"],["nofr",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbFront\"}},\"named\":{\"SbField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"default\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"items\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}}},\"required\":false,\"constraints\":[]}]},\"SbFront\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"f\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SbField\"},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["orbitals",["object/get","@payload.program","orbitals",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbOrbital\"}},\"named\":{\"SbEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"fields\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}},\"required\":false,\"constraints\":[]}]},\"SbExpect\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"kind\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]}]},\"SbField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"default\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"items\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}}},\"required\":false,\"constraints\":[]}]},\"SbMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTransition\"}},\"required\":false,\"constraints\":[]}]},\"SbOrbital\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"expects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbExpect\"}},\"required\":false,\"constraints\":[]},{\"name\":\"entity\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SbEntity\"},\"required\":false,\"constraints\":[]},{\"name\":\"auxiliaryEntities\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbEntity\"}},\"required\":false,\"constraints\":[]},{\"name\":\"traits\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTrait\"}},\"required\":false,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]},\"SbState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]},\"SbTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]},\"SbTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SbMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTick\"}},\"required\":false,\"constraints\":[]}]},\"SbTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["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\"}}}"],["knownIdx",["default",["object/fromEntries",["array/map","@known",["fn","z",["@z",true]]]],{}]],["tRoots",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["o",["default",["array/nth","@orbitals","@oi"],{}]]],["let",[["trts",["object/get","@o","traits",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTrait\"}},\"named\":{\"SbMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTransition\"}},\"required\":false,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]},\"SbState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]},\"SbTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]},\"SbTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"SbMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTick\"}},\"required\":false,\"constraints\":[]}]},\"SbTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@trts"]],["fn","ti",["let",[["t",["default",["array/nth","@trts","@ti"],{}]]],["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",["object/get","@t","stateMachine",{"transitions":[]}],"transitions",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTransition\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]},\"SbTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["sts",["object/get",["object/get","@t","stateMachine",{"states":[]}],"states",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbState\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]},\"SbState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["tks",["object/get","@t","ticks",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbTick\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]},\"SbTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@trs"]],["fn","xi",["let",[["tr",["default",["array/nth","@trs","@xi"],{}]],["xp",["str/concat","@tp",".stateMachine.transitions[","@xi","]"]]],["let",[["effs",["object/get","@tr","effects",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["ens",["object/get","@tr","ensures",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["g",["object/get","@tr","guard",null]]],["array/concat",["if",["!=","@g",null],[{"x":"@g","w":["str/concat","@xp",".guard"]}],"@noroots"],["array/concat",["array/map",["array/range",0,["array/len","@effs"]],["fn","ei",{"x":["array/nth","@effs","@ei"],"w":["str/concat","@xp",".effects[","@ei","]"]}]],["array/map",["array/range",0,["array/len","@ens"]],["fn","ki",{"x":["array/nth","@ens","@ki"],"w":["str/concat","@xp",".ensures[","@ki","]"]}]]]]]]]]],["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@sts"]],["fn","si",["let",[["h",["object/get",["default",["array/nth","@sts","@si"],{}],"holds",null]]],["if",["!=","@h",null],[{"x":"@h","w":["str/concat","@tp",".stateMachine.states[","@si","].holds"]}],"@noroots"]]]]],["array/flatten",["array/map",["array/range",0,["array/len","@tks"]],["fn","ki",["let",[["teffs",["object/get",["default",["array/nth","@tks","@ki"],{}],"effects",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"named\":{\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/map",["array/range",0,["array/len","@teffs"]],["fn","ei",{"x":["array/nth","@teffs","@ei"],"w":["str/concat","@tp",".ticks[","@ki","].effects[","@ei","]"]}]]]]]]]]]]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbRoot\"}},\"named\":{\"SbRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["fieldRoots",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["ent",["object/get",["default",["array/nth","@orbitals","@oi"],{}],"entity",null]]],["if",["not",["validate/object","@ent"]],"@noroots",["let",[["fl",["object/get","@ent","fields",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}},\"named\":{\"SbField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"default\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"items\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbField\"}}},\"required\":false,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["bound",["+",2,["object/get",["tree/fold",["object/get","@ent","fields",[]],["fn",["n","k"],{"d":["+",1,["array/reduce",["if",["validate/array","@n"],["array/map","@k",["fn","r",["let",[["rd",["as","@r","SbDepth"]]],["if",["=","@rd",null],1,["object/get","@rd","d"]]]]],["if",["validate/object","@n"],["array/map",["object/keys","@k"],["fn","q",["let",[["qd",["as",["object/get","@k","@q"],"SbDepth"]]],["if",["=","@qd",null],1,["object/get","@qd","d"]]]]],[0]]],0,["fn",["m","v"],["if",[">","@v","@m"],"@v","@m"]]]]}],"SbShape","{\"name\":\"SbShape\",\"nullable\":false,\"projectedFrom\":{\"type\":\"SbShape\"},\"properties\":{\"array\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SbShape\"},\"type\":\"union\",\"values\":[\"SbShape\"]},\"name\":\"array\",\"nullable\":false,\"type\":\"array\"},\"boolean\":{\"name\":\"boolean\",\"nullable\":false,\"type\":\"boolean\"},\"map\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SbShape\"},\"type\":\"union\",\"values\":[\"SbShape\"]},\"name\":\"map\",\"nullable\":false,\"type\":\"object\"},\"number\":{\"name\":\"number\",\"nullable\":false,\"type\":\"number\"},\"string\":{\"name\":\"string\",\"nullable\":false,\"type\":\"string\"}},\"type\":\"union\",\"values\":[\"string\",\"number\",\"boolean\",\"array\",\"map\"]}"],"d",0]]]],["object/get",["array/reduce",["array/range",0,"@bound"],{"front":["array/map",["array/range",0,["array/len","@fl"]],["fn","fi",{"f":["array/nth","@fl","@fi"],"w":["str/concat","orbitals[","@oi","].entity.fields[","@fi","]"]}]],"acc":"@noroots"},["fn",["st","_i"],{"front":["array/flatten",["array/map",["object/get","@st","front"],["fn","fr",["array/concat",["let",[["it",["object/get",["object/get","@fr","f"],"items",null]]],["if",["validate/object","@it"],[{"f":"@it","w":["str/concat",["object/get","@fr","w"],".items"]}],"@nofr"]],["let",[["pr",["object/get",["object/get","@fr","f"],"properties",null]]],["if",["validate/object","@pr"],["array/map",["object/keys","@pr"],["fn","pk",{"f":["object/get","@pr","@pk"],"w":["str/concat",["object/get","@fr","w"],".properties.","@pk"]}]],"@nofr"]]]]]],"acc":["array/concat",["object/get","@st","acc"],["array/flatten",["array/map",["object/get","@st","front"],["fn","fr",["let",[["df",["object/get",["object/get","@fr","f"],"default",null]]],["if",["!=","@df",null],[{"x":"@df","w":["str/concat",["object/get","@fr","w"],".default"]}],"@noroots"]]]]]]}]],"acc"]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbRoot\"}},\"named\":{\"SbRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"SbShape\":{\"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\":\"SbShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/pmap",["array/concat","@tRoots","@fieldRoots"],["fn","x",["let",[["hs",["let",[["raw",["tree/index",["object/get","@x","x",null],["list","fn","let"],{"prefixes":[["quote","\"\\u0040\""]]}]],["ats",["array/flatten",["object/values",["default",["as",["object/omit","@raw",["list","fn","let"]],"SbAtIdx"],{}]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbAt\"}},\"named\":{\"SbAt\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"],["ix",["if",["=",["array/len",["array/filter","@ats",["fn","hit",["let",[["hs0",["object/get","@hit","node",""]]],["let",[["parts",["str/split",["str/slice","@hs0",1],"."]]],["let",[["root",["array/first","@parts"]]],["if",["or",["=","@root",null],["=","@root",""]],true,["or",["let",[["c0",["str/slice","@root",0,1]]],["and",["!=",["str/lower","@c0"],"@c0"],[">",["array/len","@known"],0],["not",["object/has","@knownIdx","@root"]]]],["and",["or",["=","@root","state"],["=","@root","now"]],[">",["array/len","@parts"],1]]]]]]]]]],0],["default",["as",{},"SbIdx"],{}],["default",["as",["object/omit","@raw",[["quote","\"\\u0040\""]]],"SbIdx"],{}]]]],["let",[["ss",["array/flatten",["array/map",["array/concat",["object/get","@ix","fn",[]],["object/get","@ix","let",[]]],["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]]],["if",["=",["array/nth","@cn",0],"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",["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":[]}]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbScope\"}},\"named\":{\"SbPair\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"pfx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"before\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]},\"SbScope\":{\"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\":\"SbPair\"}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@ats",["fn","hit",["let",[["hp",["object/get","@hit","path",""]],["hn",["object/get","@hit","node",""]]],["if",["and",["str/endsWith","@hp","[0]"],["str/includes","@hn","/"]],[],["let",[["res",["array/reduce",["array/filter","@ss",["fn","s",["str/startsWith","@hp",["str/concat",["object/get","@s","q"],"["]]]],{"ok":true,"b":"@nostr"},["fn",["acc","s"],["let",[["sfx",["str/slice","@hp",["str/len",["object/get","@s","q"]]]],["kind",["object/get","@s","kind"]]],["let",[["add",["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"]],["=","@add",null]],{"ok":false,"b":"@nostr"},{"ok":true,"b":["array/concat",["object/get","@acc","b"],"@add"]}]]]]]]],["if",["object/get","@res","ok"],[{"rel":["if",["or",["=","@hp",""],["str/startsWith","@hp","["]],"@hp",["str/concat",".","@hp"]],"s":"@hn","b":["object/get","@res","b"]}],[]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"SbHitOut\"}},\"named\":{\"SbHitOut\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"b\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@hs",["fn","h",["let",[["s",["object/get","@h","s"]],["p",["str/concat",["object/get","@x","w"],["object/get","@h","rel"]]],["bnd",["object/get","@h","b",[]]]],["let",[["parts",["str/split",["str/slice","@s",1],"."]]],["let",[["root",["array/first","@parts"]]],["if",["or",["=","@root",null],["=","@root",""]],[{"code":"@config.codes.sexprInvalidBinding.code","path":"@p","message":["str/concat","Invalid binding: '","@s","'"],"suggestion":"Bindings should be @root.field format","severity":"error"}],["array/concat",["let",[["c0",["str/slice","@root",0,1]]],["if",["and",["!=",["str/lower","@c0"],"@c0"],[">",["array/len","@known"],0],["not",["object/has","@knownIdx","@root"]],["not",["array/includes","@bnd","@root"]]],[{"code":"@config.codes.sexprUnknownEntity.code","path":"@p","message":["str/concat","Entity '","@root","' in binding may not exist"],"suggestion":"Ensure the entity is defined in the schema","severity":"error"}],"@nof"]],["if",["and",["or",["=","@root","state"],["=","@root","now"]],[">",["array/len","@parts"],1]],[{"code":"@config.codes.bindingStateNoPath.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"@root"," should not have a path"],"suggestion":["str/concat","Use ",["quote","\"\\u0040\""],"@root"," without path"],"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_SHM316930XHGEYVW1NHJXH11S0","effects":[["emit","LINT_FOUND",{"rule":"sexpr-binding","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintSexprBindingCodes","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"},"sexprInvalidBinding":{"code":"SEXPR_INVALID_BINDING","category":"sexpr","description":"An s-expression contains an invalid binding"},"sexprUnknownEntity":{"code":"SEXPR_UNKNOWN_ENTITY","category":"sexpr","description":"An entity named in a binding may not exist in the program"},"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"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"sexprInvalidBinding":{"nullable":false,"name":"sexprInvalidBinding","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"}},"sexprUnknownEntity":{"nullable":false,"name":"sexprUnknownEntity","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"}},"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":"LintSexprBindingCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_JQ817AZPJBV95S90RNCJCXP9MY","fingerprint":"250ca300f5283d6e693e31bc3e276b5101b3afcdd6d2bcdbe701b6f7b3d41194"}},{"name":"OrbLintSexprBindingCli","id":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintSexprBindingRun","linkedEntityId":"ent_VPJYSX465H32RHAHAARE3MD60Y","entityRefIds":{"OrbLintSexprBindingRun":"ent_VPJYSX465H32RHAHAARE3MD60Y"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_5PKNSJBZRHZW8TA63VY8GC0XQ1","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_6370B44M0SA0CRPY5HGPM901YC","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_REH9FNNYB9Z5MN7TF7WFNZ07WP","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_ET2V5NY8JJ4992RZMA75N81756","description":"The lint input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_DSZBD3FD0KPG9ZK17K8EG5B2A7","triggers":"LINT_FOUND","triggersId":"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP","source":{"kind":"trait","trait":"OrbLintSexprBinding","traitId":"trt_JQ817AZPJBV95S90RNCJCXP9MY"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_ET2V5NY8JJ4992RZMA75N81756","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_ET2V5NY8JJ4992RZMA75N81756","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_0YDNAVPNZSAZWPQ6JPWQZSF2HH","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_0PEH8KJTFQD7VREQFTJKC8FGPR","name":"Lint Called","description":"Run `orb lint sexpr-binding` with its arguments and working directory.","synonyms":"orb lint sexpr-binding","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-sexpr-binding","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP","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_ET2V5NY8JJ4992RZMA75N81756","name":"Lint Input Unread","description":"The lint input could not read or lower the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_5PKNSJBZRHZW8TA63VY8GC0XQ1","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_6370B44M0SA0CRPY5HGPM901YC","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_0YDNAVPNZSAZWPQ6JPWQZSF2HH"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_0PEH8KJTFQD7VREQFTJKC8FGPR","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["or",["=","@a",null],["!=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint sexpr-binding <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_0PEH8KJTFQD7VREQFTJKC8FGPR","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["and",["!=","@a",null],["=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["if",["=","@a",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint sexpr-binding <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint sexpr-binding <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_0YDNAVPNZSAZWPQ6JPWQZSF2HH"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP","guard":["and",["=","@payload.rule","sexpr-binding"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint sexpr-binding: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP","guard":["and",["=","@payload.rule","sexpr-binding"],[">",["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_ET2V5NY8JJ4992RZMA75N81756","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint sexpr-binding: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK","fingerprint":"eb413c4336f9d9d841a5483817dea95920972f4262616e6718f5164aae5210a4"}},{"ref":"Input.traits.Versions","id":"trt_Q95FFR9YQMZBT9NS8KP2VQ7CY0","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_QF5XJ9JTF3D7HR7HF71R7BET5D","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintSexprBindingCli"}},{"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":"OrbLintSexprBindingOrbitalStart","id":"pag_744JYFMPSNBCTR36R07GC1E7VK","path":"","protocol":"boot","traits":[{"ref":"OrbLintSexprBinding","refId":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},{"ref":"OrbLintSexprBindingCli","refId":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},{"ref":"OrbLintInput","refId":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ"},{"ref":"Packs","refId":"trt_QF5XJ9JTF3D7HR7HF71R7BET5D"},{"ref":"Versions","refId":"trt_Q95FFR9YQMZBT9NS8KP2VQ7CY0"}]}],"types":{"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>","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"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}],"LintSexprBindingCodes":[{"nullable":false,"name":"sexprInvalidBinding","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":"sexprUnknownEntity","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":"lintIndexMissing","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}],"SbAt":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"string","required":true}],"SbAtIdx":[{"nullable":false,"name":"","type":"Map<string,[SbAt]>","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":"SbAt","projectedFrom":{"type":"SbAt"}}}}],"SbCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SbShape","required":true,"properties":[],"projectedFrom":{"type":"SbShape"}}],"SbDepth":[{"nullable":false,"name":"d","type":"number","required":true}],"SbEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"SbExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"SbField":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"SbFront":[{"nullable":false,"name":"f","type":"object","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"w","type":"string"}],"SbHit":[{"nullable":false,"name":"rel","type":"string"},{"nullable":false,"name":"s","type":"string"},{"nullable":false,"name":"b","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"SbHitOut":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true},{"nullable":false,"name":"b","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SbIdx":[{"nullable":false,"name":"","type":"Map<string,[SbCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"SbShape","required":true,"properties":[],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbCall","projectedFrom":{"type":"SbCall"}}}}],"SbLevel":[{"nullable":false,"name":"front","type":"[object]","properties":[{"nullable":false,"name":"f","type":"object","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"w","type":"string"}],"items":{"nullable":false,"name":"","type":"SbFront","projectedFrom":{"type":"SbFront"}}},{"nullable":false,"name":"acc","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"w","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"SbRoot","projectedFrom":{"type":"SbRoot"}}}],"SbMachine":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"SbOrbital":[{"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":"SbExpect","projectedFrom":{"type":"SbExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbEntity","projectedFrom":{"type":"SbEntity"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"items":{"nullable":false,"name":"","type":"SbTrait","projectedFrom":{"type":"SbTrait"}}}],"SbPair":[{"nullable":false,"name":"pfx","type":"string","required":true},{"nullable":false,"name":"before","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"SbProgram":[{"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":"SbExpect","projectedFrom":{"type":"SbExpect"}}},{"nullable":false,"name":"entity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"projectedFrom":{"type":"SbEntity"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[object]","properties":[{"nullable":true,"name":"default","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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":true,"name":"items","type":"SbField","projectedFrom":{"type":"SbField"}},{"nullable":false,"name":"properties","type":"Map<string,SbField>","items":{"nullable":true,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbField","projectedFrom":{"type":"SbField"}}}],"items":{"nullable":false,"name":"","type":"SbEntity","projectedFrom":{"type":"SbEntity"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"items":{"nullable":false,"name":"","type":"SbTrait","projectedFrom":{"type":"SbTrait"}}}],"items":{"nullable":false,"name":"","type":"SbOrbital","projectedFrom":{"type":"SbOrbital"}}}],"SbRoot":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"w","type":"string","required":true}],"SbScope":[{"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":"SbPair","projectedFrom":{"type":"SbPair"}}}],"SbShape":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}]}],"SbState":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"SbTick":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"SbTrait":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}}],"items":{"nullable":false,"name":"","type":"SbState","projectedFrom":{"type":"SbState"}}},{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTransition","projectedFrom":{"type":"SbTransition"}}}],"projectedFrom":{"type":"SbMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"items":{"nullable":false,"name":"","type":"SbTick","projectedFrom":{"type":"SbTick"}}}],"SbTransition":[{"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":"[SbShape]","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"object","type":"Map<string,SbShape>","items":{"nullable":true,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}],"projectedFrom":{"type":"SbShape"}},{"nullable":false,"name":"effects","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}},{"nullable":false,"name":"ensures","type":"[SbShape]","items":{"nullable":false,"name":"","type":"SbShape","projectedFrom":{"type":"SbShape"}}}]}}],"inbound":["cli-lint-sexpr-binding"],"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_VPJYSX465H32RHAHAARE3MD60Y":{"id":"ent_VPJYSX465H32RHAHAARE3MD60Y","kind":"entity","bakedName":"OrbLintSexprBindingRun","curName":"OrbLintSexprBindingRun","renames":[],"owner":"workspace"},"evt_01GQ9QXENYQAZ27GFD7P94PQQX":{"id":"evt_01GQ9QXENYQAZ27GFD7P94PQQX","kind":"event","bakedName":"ENTITIES_HEARD","curName":"ENTITIES_HEARD","renames":[],"owner":"workspace","parent":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},"evt_0PEH8KJTFQD7VREQFTJKC8FGPR":{"id":"evt_0PEH8KJTFQD7VREQFTJKC8FGPR","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_0YDNAVPNZSAZWPQ6JPWQZSF2HH":{"id":"evt_0YDNAVPNZSAZWPQ6JPWQZSF2HH","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_5PKNSJBZRHZW8TA63VY8GC0XQ1":{"id":"evt_5PKNSJBZRHZW8TA63VY8GC0XQ1","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_6370B44M0SA0CRPY5HGPM901YC":{"id":"evt_6370B44M0SA0CRPY5HGPM901YC","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_A7KAGHC8F847MA66MW8CKKFRYK":{"id":"evt_A7KAGHC8F847MA66MW8CKKFRYK","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},"evt_DSZBD3FD0KPG9ZK17K8EG5B2A7":{"id":"evt_DSZBD3FD0KPG9ZK17K8EG5B2A7","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},"evt_ET2V5NY8JJ4992RZMA75N81756":{"id":"evt_ET2V5NY8JJ4992RZMA75N81756","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP":{"id":"evt_REH9FNNYB9Z5MN7TF7WFNZ07WP","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK"},"evt_SHM316930XHGEYVW1NHJXH11S0":{"id":"evt_SHM316930XHGEYVW1NHJXH11S0","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},"evt_Z3BZY6W2XF1EQTS1V9Y34W9D2Y":{"id":"evt_Z3BZY6W2XF1EQTS1V9Y34W9D2Y","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_JQ817AZPJBV95S90RNCJCXP9MY"},"orb_QVXY1R6X2GEH85GZ43WW2V33C1":{"id":"orb_QVXY1R6X2GEH85GZ43WW2V33C1","kind":"orbital","bakedName":"OrbLintSexprBindingOrbital","curName":"OrbLintSexprBindingOrbital","renames":[],"owner":"workspace"},"pag_744JYFMPSNBCTR36R07GC1E7VK":{"id":"pag_744JYFMPSNBCTR36R07GC1E7VK","kind":"page","bakedName":"OrbLintSexprBindingOrbitalStart","curName":"OrbLintSexprBindingOrbitalStart","renames":[],"owner":"workspace"},"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ":{"id":"trt_34XHE9TQ1BBGNT03KA2V1NWJKJ","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_JQ817AZPJBV95S90RNCJCXP9MY":{"id":"trt_JQ817AZPJBV95S90RNCJCXP9MY","kind":"trait","bakedName":"OrbLintSexprBinding","curName":"OrbLintSexprBinding","renames":[],"owner":"workspace"},"trt_Q95FFR9YQMZBT9NS8KP2VQ7CY0":{"id":"trt_Q95FFR9YQMZBT9NS8KP2VQ7CY0","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_QF5XJ9JTF3D7HR7HF71R7BET5D":{"id":"trt_QF5XJ9JTF3D7HR7HF71R7BET5D","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_Y4SZVPMDAD6N6MS5NQS218WBFK":{"id":"trt_Y4SZVPMDAD6N6MS5NQS218WBFK","kind":"trait","bakedName":"OrbLintSexprBindingCli","curName":"OrbLintSexprBindingCli","renames":[],"owner":"workspace"}}}}