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

@almadar/std 17.0.1 → 17.0.3

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

Files changed (325) hide show

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

	@@ -1 +1 @@
1	- {"typeContractVersion":1,"types":{"BfAcc":[{"nullable":false,"name":"lv","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"properties","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}},{"nullable":false,"name":"miss","type":"string"},{"nullable":false,"name":"stop","type":"boolean"}],"BfCH":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BfShape","required":true,"properties":[],"projectedFrom":{"type":"BfShape"}}],"BfDef":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"fields","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"BfEntity":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"BfEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"BfField":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"properties","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"BfHit":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"BfHits":[{"nullable":false,"name":"","type":"Map<string,[BfCH]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BfShape","required":true,"properties":[],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfCH","projectedFrom":{"type":"BfCH"}}}}],"BfMachine":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"BfName":[{"nullable":false,"name":"name","type":"string","required":true}],"BfOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"entity","type":"object","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[BfEntity]","items":{"nullable":false,"name":"","type":"BfEntity","projectedFrom":{"type":"BfEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"items":{"nullable":false,"name":"","type":"BfTrait","projectedFrom":{"type":"BfTrait"}}}],"BfProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"entity","type":"object","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[BfEntity]","items":{"nullable":false,"name":"","type":"BfEntity","projectedFrom":{"type":"BfEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"items":{"nullable":false,"name":"","type":"BfTrait","projectedFrom":{"type":"BfTrait"}}}],"items":{"nullable":false,"name":"","type":"BfOrbital","projectedFrom":{"type":"BfOrbital"}}}],"BfRoot":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"pk","type":"string","required":true},{"nullable":false,"name":"lk","type":"string","required":true}],"BfS":[{"nullable":false,"name":"","type":"string"}],"BfShape":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}]}],"BfState":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"BfTick":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"BfTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"BfTransition":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"LintBindingFieldsCodes":[{"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"}},{"nullable":false,"name":"bindingPayloadFieldUndeclared","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":"bindingEntityFieldNotFound","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]},"name":"std-orb-lint-binding-fields","version":"1.0.0","description":"std-orb-lint-binding-fields - the `orb lint binding-fields <file>` command, the port of ORB_BINDING_PAYLOAD_FIELD_UNDECLARED (direct @payload.<path> reads) and ORB_BINDING_ENTITY_FIELD_NOT_FOUND of binding.rs (validate_payload_field_references, validate_entity_field_references). It lowers the file with program/read and walks, in every inline trait, the guard, the effects and the ensures of each transition (payload and entity-field reads), the state holds and the tick effects (entity-field reads), and the entity invariants. A @payload.<path> read must resolve through the payload schema the transition's event declares, descending into each matched field's properties; an event without a schema gets the lifecycle or the declare-in-emits suggestion. An @entity.<field> read must name a field of the trait's linked entity (id, createdAt and updatedAt are runtime-managed), an @EntityName.<field> read a field of that entity; an @fromEntity.<field> read in an ensures is checked as @entity.<field>. Findings carry the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint binding-fields: 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":"OrbLintBindingFieldsOrbital","id":"orb_5HCWCRW62S31CGS3WKYXZB60JP","uses":[{"from":"almadar-std/lint-binding-fields","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintBindingFieldsRun","id":"ent_MAFX2CJNRMAWA23W875734Y2ME","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"roots","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"string"}}},{"nullable":false,"name":"indexed","type":"boolean","default":false},{"nullable":false,"name":"indexScope","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":"OrbLintBindingFields","id":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.indexScope"},{"kind":"set","resource":"@entity.indexed"},{"kind":"set","resource":"@entity.roots"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintBindingFieldsRun","linkedEntityId":"ent_MAFX2CJNRMAWA23W875734Y2ME","entityRefIds":{"OrbLintBindingFieldsRun":"ent_MAFX2CJNRMAWA23W875734Y2ME"},"emits":[{"event":"LINT_FOUND","eventId":"evt_3SMJCD572KKH9R6NM4DYRZY4BQ","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_VW6WPJW0AE0570TQV0N9K21X3H","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_RSRV53V9SKMWSSQP73FQMVCDMH","triggers":"LINT_INPUT","triggersId":"evt_RSRV53V9SKMWSSQP73FQMVCDMH","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A"}},{"event":"LINT_INDEX","triggers":"INDEX_HEARD","triggersId":"evt_HFEQ20XMTJTD90RF1XD59Q5V1H","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_9NH5GJK9DNMPTSFFEH9ZX59FPA","name":"Initialize"},{"key":"INDEX_HEARD","id":"evt_HFEQ20XMTJTD90RF1XD59Q5V1H","name":"Index Heard","description":"std-orb-lint-input's LINT_INDEX: the binding roots each inline trait uses; a trait's roots are searched for bindings only when it uses some.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"heads","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"roots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}}],"listened":true},{"key":"LINT_INPUT","id":"evt_RSRV53V9SKMWSSQP73FQMVCDMH","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":"entity","type":"object","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[BfEntity]","items":{"nullable":false,"name":"","type":"BfEntity","projectedFrom":{"type":"BfEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"items":{"nullable":false,"name":"","type":"BfTrait","projectedFrom":{"type":"BfTrait"}}}],"items":{"nullable":false,"name":"","type":"BfOrbital","projectedFrom":{"type":"BfOrbital"}}}],"projectedFrom":{"type":"BfProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_VW6WPJW0AE0570TQV0N9K21X3H","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_3SMJCD572KKH9R6NM4DYRZY4BQ","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_9NH5GJK9DNMPTSFFEH9ZX59FPA"},{"from":"ready","to":"ready","event":"INDEX_HEARD","eventId":"evt_HFEQ20XMTJTD90RF1XD59Q5V1H","effects":[["set","@entity.roots","@payload.roots"],["set","@entity.indexed",true],["set","@entity.indexScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_RSRV53V9SKMWSSQP73FQMVCDMH","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if",["and","@entity.indexed",["=","@entity.indexScope","@payload.scope"]],["let",[["nohits",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfHit\"}},\"named\":{\"BfHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"],["noroots",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfRoot\"}},\"named\":{\"BfRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ev\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"lk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["nof",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"],["pP",["str/concat",["quote","\"\\u0040\""],"payload."],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["fP",["str/concat",["quote","\"\\u0040\""],"fromEntity."],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["eP",["str/concat",["quote","\"\\u0040\""],"entity."],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["orbitals",["object/get","@payload.program","orbitals",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfOrbital\"}},\"named\":{\"BfEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"fields\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfName\"}}},\"required\":false,\"constraints\":[]},{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfEvent\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"key\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"payloadSchema\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"events\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfEvent\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTransition\"}},\"required\":false,\"constraints\":[]}]},\"BfName\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BfOrbital\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"entity\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BfEntity\"},\"required\":true,\"constraints\":[]},{\"name\":\"auxiliaryEntities\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfEntity\"}}},\"required\":false,\"constraints\":[]},{\"name\":\"traits\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTrait\"}},\"required\":false,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"linkedEntity\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BfMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTick\"}},\"required\":false,\"constraints\":[]}]},\"BfTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["let",[["defIdx",["default",["object/fromEntries",["array/flatten",["array/map","@orbitals",["fn","o",["array/map",["array/concat",[["object/get","@o","entity"]],["object/get","@o","auxiliaryEntities",[]]],["fn","e",[["object/get","@e","name"],{"name":["object/get","@e","name"],"fields":["array/map",["object/get","@e","fields",[]],["fn","f",["object/get","@f","name"]]]}]]]]]]],{}],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"typeref\",\"name\":\"BfDef\"}},\"named\":{\"BfDef\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"fields\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":false,\"constraints\":[]}]}}}"],["rootIdx",["default",["object/fromEntries",["array/map",["array/filter",["object/keys","@defIdx"],["fn","k",["validate/pattern","@k","^[A-Z][a-zA-Z0-9]$"]]],["fn","k",["@k",["object/get","@defIdx","@k"]]]]],{}],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"typeref\",\"name\":\"BfDef\"}},\"named\":{\"BfDef\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"fields\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":false,\"constraints\":[]}]}}}"],["plIdx",["default",["object/fromEntries",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["trts",["object/get",["default",["array/nth","@orbitals","@oi"],{}],"traits",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTrait\"}},\"named\":{\"BfEvent\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"key\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"payloadSchema\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"events\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfEvent\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTransition\"}},\"required\":false,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"linkedEntity\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BfMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTick\"}},\"required\":false,\"constraints\":[]}]},\"BfTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@trts"]],["fn","ti",["array/flatten",["array/map",["object/get",["default",["array/nth","@trts","@ti"],{}],"stateMachine.events",[]],["fn","e",["if",["object/has","@e","payloadSchema"],[[["str/concat","@oi","/","@ti","/",["object/get","@e","key",""]],["object/get","@e","payloadSchema"]]],[]]]]]]]]]]]]],{}],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"named\":{\"BfField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]}}}"],["roots",["array/concat",["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\":\"BfTrait\"}},\"named\":{\"BfEvent\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"key\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"payloadSchema\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"events\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfEvent\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTransition\"}},\"required\":false,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"linkedEntity\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BfMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTick\"}},\"required\":false,\"constraints\":[]}]},\"BfTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@trts"]],["fn","ti",["let",[["t",["default",["array/nth","@trts","@ti"],{}]]],["if",["or",["not",["object/has","@t","stateMachine"]],["=",["array/len",["object/get","@entity.roots",["str/concat","@oi","-","@ti"],[]]],0]],"@noroots",["let",[["tp",["str/concat","orbitals[","@oi"," (",["object/get","@o","name",""],")].traits[","@ti"," (",["object/get","@t","name",""],")]"]],["lk",["object/get","@t","linkedEntity",""]],["trs",["object/get",["object/get","@t","stateMachine",{"transitions":[]}],"transitions",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTransition\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["sts",["object/get",["object/get","@t","stateMachine",{"states":[]}],"states",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfState\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["tks",["object/get","@t","ticks",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTick\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"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\":\"BfShape\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["ens",["object/get","@tr","ensures",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["g",["object/get","@tr","guard",null]],["ev",["object/get","@tr","event",""]],["pk",["str/concat","@oi","/","@ti","/",["object/get","@tr","event",""]]]],["array/concat",["if",["!=","@g",null],[{"x":"@g","w":["str/concat","@xp",".guard"],"c":"g","ev":"@ev","pk":"@pk","lk":"@lk"}],"@noroots"],["array/concat",["array/map",["array/range",0,["array/len","@effs"]],["fn","ei",{"x":["array/nth","@effs","@ei"],"w":["str/concat","@xp",".effects[","@ei","]"],"c":"e","ev":"@ev","pk":"@pk","lk":"@lk"}]],["array/map",["array/range",0,["array/len","@ens"]],["fn","ki",{"x":["array/nth","@ens","@ki"],"w":["str/concat","@xp",".ensures[","@ki","]"],"c":"k","ev":"@ev","pk":"@pk","lk":"@lk"}]]]]]]]]],["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"],"c":"h","ev":"","pk":"","lk":"@lk"}],"@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\":\"BfShape\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"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","]"],"c":"t","ev":"","pk":"","lk":"@lk"}]]]]]]]]]]]]]]]]]]],["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["ent",["object/get",["default",["array/nth","@orbitals","@oi"],{}],"entity",null]]],["if",["validate/object","@ent"],["let",[["invs",["object/get","@ent","invariants",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["en",["object/get","@ent","name",""]]],["array/map",["array/range",0,["array/len","@invs"]],["fn","ni",{"x":["array/nth","@invs","@ni"],"w":["str/concat","orbitals[","@oi","].entity.invariants[","@ni","]"],"c":"i","ev":"","pk":"","lk":"@en"}]]],"@noroots"]]]]],["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["auxs",["object/get",["default",["array/nth","@orbitals","@oi"],{}],"auxiliaryEntities",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfEntity\"}},\"named\":{\"BfEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"fields\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfName\"}}},\"required\":false,\"constraints\":[]},{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfName\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@auxs"]],["fn","ai",["let",[["invs",["object/get",["default",["array/nth","@auxs","@ai"],{}],"invariants",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["en",["object/get",["default",["array/nth","@auxs","@ai"],{}],"name",""]]],["if",["validate/object",["array/nth","@auxs","@ai"]],["array/map",["array/range",0,["array/len","@invs"]],["fn","ni",{"x":["array/nth","@invs","@ni"],"w":["str/concat","orbitals[","@oi","].auxiliaryEntities[","@ai","].invariants[","@ni","]"],"c":"i","ev":"","pk":"","lk":"@en"}]],"@noroots"]]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfRoot\"}},\"named\":{\"BfRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ev\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"lk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["nroot",{"x":null,"w":"","c":"","ev":"","pk":"","lk":""},"{\"version\":1,\"name\":\"BfRoot\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ev\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"lk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@roots"]],["fn","xi",["let",[["x",["default",["array/nth","@roots","@xi"],"@nroot"]],["hs",["array/map",["array/flatten",["object/values",["default",["as",["tree/index",["object/get","@x","x",null],[],{"prefixes":[["quote","\"\\u0040\""]]}],"BfHits"],{}]]],["fn","c",{"rel":["let",[["p",["object/get","@c","path",""]]],["if",["=","@p",""],"",["if",["str/startsWith","@p","["],"@p",["str/concat",".","@p"]]]],"s":["default",["as",["object/get","@c","node",null],"BfS"],""]}]]]],["array/flatten",["array/map","@hs",["fn","h",["let",[["s",["object/get","@h","s"]],["c",["object/get","@x","c"]],["p",["str/concat",["object/get","@x","w"],["object/get","@h","rel"]]]],["array/concat",["if",["and",["array/includes",["g","e","k"],"@c"],["str/startsWith","@s","@pP"]],["let",[["segs",["array/filter",["array/map",["str/split",["str/slice","@s",9],"."],["fn","q",["default",["array/first",["str/split","@q","["]],""]]],["fn","q",["!=","@q",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["let",[["f0",["array/first","@segs"]]],["if",["=","@f0",null],"@nof",["let",[["schema",["object/get","@plIdx",["object/get","@x","pk"],null],"{\"version\":1,\"type\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"named\":{\"BfField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]}}}"],["ev",["object/get","@x","ev"]]],["let",[["hybrid",["and",[">=",["array/len","@segs"],2],["=","@f0","payload"],["or",["=","@schema",null],["=",["array/len",["array/filter","@schema",["fn","q",["=",["object/get","@q","name"],"payload"]]]],0]]]],["restPath",["str/join",["array/slice","@segs",1,["array/len","@segs"]],"."]]],["if",["!=","@schema",null],["let",[["res",["array/reduce","@segs",{"lv":"@schema","miss":"","stop":false},["fn",["acc","sg"],["if",["or",["object/get","@acc","stop"],["!=",["object/get","@acc","miss"],""]],"@acc",["let",[["fm",["array/find",["object/get","@acc","lv"],["fn","q",["=",["object/get","@q","name"],"@sg"]]]]],["if",["=","@fm",null],{"lv":["object/get","@acc","lv"],"miss":"@sg","stop":false},["let",[["props",["object/get","@fm","properties",null]]],["if",["=","@props",null],{"lv":["object/get","@acc","lv"],"miss":"","stop":true},{"lv":"@props","miss":"","stop":false}]]]]]]]]],["if",["=",["object/get","@res","miss"],""],"@nof",[{"code":"@config.codes.bindingPayloadFieldUndeclared.code","path":"@p","message":["str/concat","Payload field '",["object/get","@res","miss"],"' is not declared in event '","@ev","' payload schema"],"suggestion":["if","@hybrid",["str/concat","the `?` sigil already denotes the event payload — `?payload.","@restPath","` lowers to `@payload.payload.","@restPath","`; write `?","@restPath","` or `@payload.","@restPath","` instead"],["str/concat","Add { \"name\": \"",["object/get","@res","miss"],"\", \"type\": \"...\" } to the event's payload array"]],"severity":"error"}]]],[{"code":"@config.codes.bindingPayloadFieldUndeclared.code","path":"@p","message":["str/concat","Event '","@ev","' uses @payload.","@f0"," (.lolo spelling: `?","@f0","` or `@payload.","@f0","`) but has no payload schema defined"],"suggestion":["if",["array/includes",["INIT","LOAD","$MOUNT"],"@ev"],["str/concat","'","@ev","' is a lifecycle event and carries NO payload — @payload.","@f0"," (written `?","@f0","` in .lolo) can never resolve here. Read entity/config state instead, or move this logic to the transition for the event that actually delivers '","@f0","'."],["if","@hybrid",["str/concat","the `?` sigil already denotes the event payload — `?payload.","@restPath","` lowers to `@payload.payload.","@restPath","`; write `?","@restPath","` or `@payload.","@restPath","` instead"],["str/concat","declare the field in the event's `emits` payload block: `","@ev"," -> external { ","@f0"," : <type> }` — an event read via @payload.","@f0"," must declare that field"]]],"severity":"error"}]]]]]]],"@nof"],["let",[["s2",["if",["and",["=","@c","k"],["str/startsWith","@s","@fP"]],["str/concat","@eP",["str/slice","@s",12]],"@s"]]],["if",["str/startsWith","@s2","@eP"],["let",[["fld",["default",["array/first",["str/split",["default",["array/first",["str/split",["str/slice","@s2",8],"."]],""],"["]],""]],["lent",["object/get","@defIdx",["object/get","@x","lk"],null]]],["if",["or",["=","@fld",""],["array/includes",["id","createdAt","updatedAt"],"@fld"],["=","@lent",null],["array/includes",["object/get","@lent","fields",[]],"@fld"]],"@nof",[{"code":"@config.codes.bindingEntityFieldNotFound.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"entity.","@fld"," — field '","@fld","' not found on entity '",["object/get","@lent","name"],"'"],"suggestion":["str/concat","Add field '","@fld","' to entity '",["object/get","@lent","name"],"' or fix the binding path"],"severity":"error"}]]],["let",[["parts",["str/split",["str/slice","@s2",1],"."]]],["let",[["p0",["array/nth","@parts",0]],["p1",["array/nth","@parts",1]]],["if",["or",["=","@p0",null],["=","@p1",null]],"@nof",["let",[["root",["default",["array/first",["str/split","@p0","["]],""]],["fld",["default",["array/first",["str/split","@p1","["]],""]]],["let",[["pent",["object/get","@rootIdx","@root",null]]],["if",["or",["=","@pent",null],["array/includes",["id","createdAt","updatedAt"],"@fld"],["array/includes",["object/get","@pent","fields",[]],"@fld"]],"@nof",[{"code":"@config.codes.bindingEntityFieldNotFound.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"@root",".","@fld"," — field '","@fld","' not found on entity '","@root","'"],"suggestion":["str/concat","Add field '","@fld","' to entity '","@root","' or fix the binding path"],"severity":"error"}]]]]]]]]]]]]]]]]]]]]],[{"code":"@config.codes.lintIndexMissing.code","path":"","message":"the lint input arrived without the structural index (LINT_INDEX), so this rule cannot check the program","suggestion":"std-orb-lint-input sends LINT_INDEX before LINT_INPUT; this rule did not hear it","severity":"error"}]]],["set","@entity.indexed",false],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_VW6WPJW0AE0570TQV0N9K21X3H","effects":[["emit","LINT_FOUND",{"rule":"binding-fields","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintBindingFieldsCodes","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"},"bindingPayloadFieldUndeclared":{"code":"ORB_BINDING_PAYLOAD_FIELD_UNDECLARED","category":"binding","description":"A @payload binding reads a field that the triggering event does not declare in its payload"},"bindingEntityFieldNotFound":{"code":"ORB_BINDING_ENTITY_FIELD_NOT_FOUND","category":"binding","description":"An @entity binding names a field that the linked entity does not declare"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"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"}},"bindingPayloadFieldUndeclared":{"nullable":false,"name":"bindingPayloadFieldUndeclared","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"}},"bindingEntityFieldNotFound":{"nullable":false,"name":"bindingEntityFieldNotFound","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":"LintBindingFieldsCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW","fingerprint":"1a8925828ebfcb226d26c060ce3bbb456e9a6ec78083a34ffacc7aedd9a24de6"}},{"name":"OrbLintBindingFieldsCli","id":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintBindingFieldsRun","linkedEntityId":"ent_MAFX2CJNRMAWA23W875734Y2ME","entityRefIds":{"OrbLintBindingFieldsRun":"ent_MAFX2CJNRMAWA23W875734Y2ME"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_5YR2ZA6VG1DR0W74EG8A536XW8","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_K3FH6E9SH6WRK3A64ECSMS4KKD","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_W7DN6X229S14WYJZSA189373XS","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_0B24JRAYGAF85D4ANTBM904BKS","description":"The lint input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"error","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_3SMJCD572KKH9R6NM4DYRZY4BQ","triggers":"LINT_FOUND","triggersId":"evt_W7DN6X229S14WYJZSA189373XS","source":{"kind":"trait","trait":"OrbLintBindingFields","traitId":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_0B24JRAYGAF85D4ANTBM904BKS","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_0B24JRAYGAF85D4ANTBM904BKS","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_YW3ZK2ZAZWNFY6X21C0ZBN1D8X","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_1K6XQ72DBA6NNDECJRFF5X20EZ","name":"Lint Called","description":"Run `orb lint binding-fields` with its arguments and working directory.","synonyms":"orb lint binding-fields","payloadSchema":[{"nullable":false,"name":"headers","type":"Map<string,string>","items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rawBody","type":"string","required":true}],"listened":true,"inbound":{"name":"cli-lint-binding-fields","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_W7DN6X229S14WYJZSA189373XS","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_0B24JRAYGAF85D4ANTBM904BKS","name":"Lint Input Unread","description":"The lint input could not read or lower the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_5YR2ZA6VG1DR0W74EG8A536XW8","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_K3FH6E9SH6WRK3A64ECSMS4KKD","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_YW3ZK2ZAZWNFY6X21C0ZBN1D8X"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_1K6XQ72DBA6NNDECJRFF5X20EZ","guard":["or",["=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["!=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint binding-fields <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_1K6XQ72DBA6NNDECJRFF5X20EZ","guard":["and",["!=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["let",[["argFile",["array/first",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]]]],["if",["=","@argFile",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint binding-fields <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_YW3ZK2ZAZWNFY6X21C0ZBN1D8X"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_W7DN6X229S14WYJZSA189373XS","guard":["and",["=","@payload.rule","binding-fields"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint binding-fields: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_W7DN6X229S14WYJZSA189373XS","guard":["and",["=","@payload.rule","binding-fields"],[">",["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_0B24JRAYGAF85D4ANTBM904BKS","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint binding-fields: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ","fingerprint":"b0fbe27f32f0b828c37b969bd08367e71d183adaba44ae6d07b392082c4ae9b1"}},{"ref":"Input.traits.Versions","id":"trt_B2YWKGTXS3EWHRTK46S88Y978R","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_NTWHYVM5ZE2ZQ14SHAP58JNGFF","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintBindingFieldsCli"}},{"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":"OrbLintBindingFieldsOrbitalStart","id":"pag_CW1KZ51KF9SQMP2TDAAKWMHPVG","path":"","protocol":"boot","traits":[{"ref":"OrbLintBindingFields","refId":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},{"ref":"OrbLintBindingFieldsCli","refId":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},{"ref":"OrbLintInput","refId":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A"},{"ref":"Packs","refId":"trt_NTWHYVM5ZE2ZQ14SHAP58JNGFF"},{"ref":"Versions","refId":"trt_B2YWKGTXS3EWHRTK46S88Y978R"}]}],"types":{"BfAcc":[{"nullable":false,"name":"lv","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"properties","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}},{"nullable":false,"name":"miss","type":"string"},{"nullable":false,"name":"stop","type":"boolean"}],"BfCH":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BfShape","required":true,"properties":[],"projectedFrom":{"type":"BfShape"}}],"BfDef":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"fields","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"BfEntity":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"BfEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"BfField":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"properties","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"BfHit":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"BfHits":[{"nullable":false,"name":"","type":"Map<string,[BfCH]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BfShape","required":true,"properties":[],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfCH","projectedFrom":{"type":"BfCH"}}}}],"BfMachine":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"BfName":[{"nullable":false,"name":"name","type":"string","required":true}],"BfOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"entity","type":"object","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[BfEntity]","items":{"nullable":false,"name":"","type":"BfEntity","projectedFrom":{"type":"BfEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"items":{"nullable":false,"name":"","type":"BfTrait","projectedFrom":{"type":"BfTrait"}}}],"BfProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"entity","type":"object","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[BfEntity]","items":{"nullable":false,"name":"","type":"BfEntity","projectedFrom":{"type":"BfEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"items":{"nullable":false,"name":"","type":"BfTrait","projectedFrom":{"type":"BfTrait"}}}],"items":{"nullable":false,"name":"","type":"BfOrbital","projectedFrom":{"type":"BfOrbital"}}}],"BfRoot":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"pk","type":"string","required":true},{"nullable":false,"name":"lk","type":"string","required":true}],"BfS":[{"nullable":false,"name":"","type":"string"}],"BfShape":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}]}],"BfState":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"BfTick":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"BfTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"BfTransition":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"LintBindingFieldsCodes":[{"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"}},{"nullable":false,"name":"bindingPayloadFieldUndeclared","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":"bindingEntityFieldNotFound","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]}}],"inbound":["cli-lint-binding-fields"],"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_MAFX2CJNRMAWA23W875734Y2ME":{"id":"ent_MAFX2CJNRMAWA23W875734Y2ME","kind":"entity","bakedName":"OrbLintBindingFieldsRun","curName":"OrbLintBindingFieldsRun","renames":[],"owner":"workspace"},"evt_0B24JRAYGAF85D4ANTBM904BKS":{"id":"evt_0B24JRAYGAF85D4ANTBM904BKS","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"evt_1K6XQ72DBA6NNDECJRFF5X20EZ":{"id":"evt_1K6XQ72DBA6NNDECJRFF5X20EZ","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"evt_3SMJCD572KKH9R6NM4DYRZY4BQ":{"id":"evt_3SMJCD572KKH9R6NM4DYRZY4BQ","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},"evt_5YR2ZA6VG1DR0W74EG8A536XW8":{"id":"evt_5YR2ZA6VG1DR0W74EG8A536XW8","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"evt_9NH5GJK9DNMPTSFFEH9ZX59FPA":{"id":"evt_9NH5GJK9DNMPTSFFEH9ZX59FPA","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},"evt_HFEQ20XMTJTD90RF1XD59Q5V1H":{"id":"evt_HFEQ20XMTJTD90RF1XD59Q5V1H","kind":"event","bakedName":"INDEX_HEARD","curName":"INDEX_HEARD","renames":[],"owner":"workspace","parent":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},"evt_K3FH6E9SH6WRK3A64ECSMS4KKD":{"id":"evt_K3FH6E9SH6WRK3A64ECSMS4KKD","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"evt_RSRV53V9SKMWSSQP73FQMVCDMH":{"id":"evt_RSRV53V9SKMWSSQP73FQMVCDMH","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},"evt_VW6WPJW0AE0570TQV0N9K21X3H":{"id":"evt_VW6WPJW0AE0570TQV0N9K21X3H","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},"evt_W7DN6X229S14WYJZSA189373XS":{"id":"evt_W7DN6X229S14WYJZSA189373XS","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"evt_YW3ZK2ZAZWNFY6X21C0ZBN1D8X":{"id":"evt_YW3ZK2ZAZWNFY6X21C0ZBN1D8X","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"orb_5HCWCRW62S31CGS3WKYXZB60JP":{"id":"orb_5HCWCRW62S31CGS3WKYXZB60JP","kind":"orbital","bakedName":"OrbLintBindingFieldsOrbital","curName":"OrbLintBindingFieldsOrbital","renames":[],"owner":"workspace"},"pag_CW1KZ51KF9SQMP2TDAAKWMHPVG":{"id":"pag_CW1KZ51KF9SQMP2TDAAKWMHPVG","kind":"page","bakedName":"OrbLintBindingFieldsOrbitalStart","curName":"OrbLintBindingFieldsOrbitalStart","renames":[],"owner":"workspace"},"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW":{"id":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW","kind":"trait","bakedName":"OrbLintBindingFields","curName":"OrbLintBindingFields","renames":[],"owner":"workspace"},"trt_B2YWKGTXS3EWHRTK46S88Y978R":{"id":"trt_B2YWKGTXS3EWHRTK46S88Y978R","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_HJQRAR8FRA7W5BVRW34QNH6S4A":{"id":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ":{"id":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ","kind":"trait","bakedName":"OrbLintBindingFieldsCli","curName":"OrbLintBindingFieldsCli","renames":[],"owner":"workspace"},"trt_NTWHYVM5ZE2ZQ14SHAP58JNGFF":{"id":"trt_NTWHYVM5ZE2ZQ14SHAP58JNGFF","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"}}}}
1	+ {"typeContractVersion":1,"types":{"BfAcc":[{"nullable":false,"name":"lv","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"properties","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}},{"nullable":false,"name":"miss","type":"string"},{"nullable":false,"name":"stop","type":"boolean"}],"BfCH":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BfShape","required":true,"properties":[],"projectedFrom":{"type":"BfShape"}}],"BfDef":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"fields","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"BfEntity":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"BfEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"BfField":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"properties","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"BfHit":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"BfHits":[{"nullable":false,"name":"","type":"Map<string,[BfCH]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BfShape","required":true,"properties":[],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfCH","projectedFrom":{"type":"BfCH"}}}}],"BfMachine":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"BfName":[{"nullable":false,"name":"name","type":"string","required":true}],"BfOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"entity","type":"object","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[BfEntity]","items":{"nullable":false,"name":"","type":"BfEntity","projectedFrom":{"type":"BfEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"items":{"nullable":false,"name":"","type":"BfTrait","projectedFrom":{"type":"BfTrait"}}}],"BfProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"entity","type":"object","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[BfEntity]","items":{"nullable":false,"name":"","type":"BfEntity","projectedFrom":{"type":"BfEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"items":{"nullable":false,"name":"","type":"BfTrait","projectedFrom":{"type":"BfTrait"}}}],"items":{"nullable":false,"name":"","type":"BfOrbital","projectedFrom":{"type":"BfOrbital"}}}],"BfRoot":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"pk","type":"string","required":true},{"nullable":false,"name":"lk","type":"string","required":true}],"BfS":[{"nullable":false,"name":"","type":"string"}],"BfShape":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}]}],"BfState":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"BfTick":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"BfTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"BfTransition":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"LintBindingFieldsCodes":[{"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"}},{"nullable":false,"name":"bindingPayloadFieldUndeclared","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":"bindingEntityFieldNotFound","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]},"name":"std-orb-lint-binding-fields","version":"1.0.0","description":"std-orb-lint-binding-fields - the `orb lint binding-fields <file>` command, the port of ORB_BINDING_PAYLOAD_FIELD_UNDECLARED (direct @payload.<path> reads) and ORB_BINDING_ENTITY_FIELD_NOT_FOUND of binding.rs (validate_payload_field_references, validate_entity_field_references). It lowers the file with program/read and walks, in every inline trait, the guard, the effects and the ensures of each transition (payload and entity-field reads), the state holds and the tick effects (entity-field reads), and the entity invariants. A @payload.<path> read must resolve through the payload schema the transition's event declares, descending into each matched field's properties; an event without a schema gets the lifecycle or the declare-in-emits suggestion. An @entity.<field> read must name a field of the trait's linked entity (id, createdAt and updatedAt are runtime-managed), an @EntityName.<field> read a field of that entity; an @fromEntity.<field> read in an ensures is checked as @entity.<field>. Findings carry the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint binding-fields: 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":"OrbLintBindingFieldsOrbital","id":"orb_5HCWCRW62S31CGS3WKYXZB60JP","uses":[{"from":"almadar-std/lint-binding-fields","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintBindingFieldsRun","id":"ent_MAFX2CJNRMAWA23W875734Y2ME","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"roots","type":"object","default":{},"items":{"nullable":false,"type":"array","items":{"nullable":false,"type":"string"}}},{"nullable":false,"name":"indexed","type":"boolean","default":false},{"nullable":false,"name":"indexScope","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":"OrbLintBindingFields","id":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.indexScope"},{"kind":"set","resource":"@entity.indexed"},{"kind":"set","resource":"@entity.roots"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintBindingFieldsRun","linkedEntityId":"ent_MAFX2CJNRMAWA23W875734Y2ME","entityRefIds":{"OrbLintBindingFieldsRun":"ent_MAFX2CJNRMAWA23W875734Y2ME"},"emits":[{"event":"LINT_FOUND","eventId":"evt_3SMJCD572KKH9R6NM4DYRZY4BQ","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_VW6WPJW0AE0570TQV0N9K21X3H","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_RSRV53V9SKMWSSQP73FQMVCDMH","triggers":"LINT_INPUT","triggersId":"evt_RSRV53V9SKMWSSQP73FQMVCDMH","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A"}},{"event":"LINT_INDEX","triggers":"INDEX_HEARD","triggersId":"evt_HFEQ20XMTJTD90RF1XD59Q5V1H","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_9NH5GJK9DNMPTSFFEH9ZX59FPA","name":"Initialize"},{"key":"INDEX_HEARD","id":"evt_HFEQ20XMTJTD90RF1XD59Q5V1H","name":"Index Heard","description":"std-orb-lint-input's LINT_INDEX: the binding roots each inline trait uses; a trait's roots are searched for bindings only when it uses some.","payloadSchema":[{"nullable":false,"name":"scope","type":"string","required":true},{"nullable":false,"name":"heads","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}},{"nullable":false,"name":"roots","type":"Map<string,[string]>","required":true,"items":{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}}],"listened":true},{"key":"LINT_INPUT","id":"evt_RSRV53V9SKMWSSQP73FQMVCDMH","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":"entity","type":"object","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[BfEntity]","items":{"nullable":false,"name":"","type":"BfEntity","projectedFrom":{"type":"BfEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"items":{"nullable":false,"name":"","type":"BfTrait","projectedFrom":{"type":"BfTrait"}}}],"items":{"nullable":false,"name":"","type":"BfOrbital","projectedFrom":{"type":"BfOrbital"}}}],"projectedFrom":{"type":"BfProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_VW6WPJW0AE0570TQV0N9K21X3H","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_3SMJCD572KKH9R6NM4DYRZY4BQ","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_9NH5GJK9DNMPTSFFEH9ZX59FPA"},{"from":"ready","to":"ready","event":"INDEX_HEARD","eventId":"evt_HFEQ20XMTJTD90RF1XD59Q5V1H","effects":[["set","@entity.roots","@payload.roots"],["set","@entity.indexed",true],["set","@entity.indexScope","@payload.scope"]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_RSRV53V9SKMWSSQP73FQMVCDMH","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if",["and","@entity.indexed",["=","@entity.indexScope","@payload.scope"]],["let",[["nohits",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfHit\"}},\"named\":{\"BfHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"rel\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"s\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]}}}"],["noroots",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfRoot\"}},\"named\":{\"BfRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ev\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"lk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["nof",[],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"OrbFinding\"}},\"named\":{\"OrbFinding\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"code\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"message\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"suggestion\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"severity\",\"fieldType\":{\"kind\":\"enum\",\"name\":\"\\\"warning\\\" \| \\\"error\\\"\"},\"required\":false,\"constraints\":[]}]}}}"],["pP",["str/concat",["quote","\"\\u0040\""],"payload."],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["fP",["str/concat",["quote","\"\\u0040\""],"fromEntity."],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["eP",["str/concat",["quote","\"\\u0040\""],"entity."],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["orbitals",["object/get","@payload.program","orbitals",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfOrbital\"}},\"named\":{\"BfEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"fields\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfName\"}}},\"required\":false,\"constraints\":[]},{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfEvent\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"key\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"payloadSchema\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"events\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfEvent\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTransition\"}},\"required\":false,\"constraints\":[]}]},\"BfName\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BfOrbital\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"entity\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BfEntity\"},\"required\":true,\"constraints\":[]},{\"name\":\"auxiliaryEntities\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfEntity\"}}},\"required\":false,\"constraints\":[]},{\"name\":\"traits\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTrait\"}},\"required\":false,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"linkedEntity\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BfMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTick\"}},\"required\":false,\"constraints\":[]}]},\"BfTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["let",[["defIdx",["default",["object/fromEntries",["array/flatten",["array/map","@orbitals",["fn","o",["array/map",["array/concat",[["object/get","@o","entity"]],["object/get","@o","auxiliaryEntities",[]]],["fn","e",[["object/get","@e","name"],{"name":["object/get","@e","name"],"fields":["array/map",["object/get","@e","fields",[]],["fn","f",["object/get","@f","name"]]]}]]]]]]],{}],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"typeref\",\"name\":\"BfDef\"}},\"named\":{\"BfDef\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"fields\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":false,\"constraints\":[]}]}}}"],["rootIdx",["default",["object/fromEntries",["array/map",["array/filter",["object/keys","@defIdx"],["fn","k",["validate/pattern","@k","^[A-Z][a-zA-Z0-9]$"]]],["fn","k",["@k",["object/get","@defIdx","@k"]]]]],{}],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"typeref\",\"name\":\"BfDef\"}},\"named\":{\"BfDef\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"fields\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":false,\"constraints\":[]}]}}}"],["plIdx",["default",["object/fromEntries",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["trts",["object/get",["default",["array/nth","@orbitals","@oi"],{}],"traits",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTrait\"}},\"named\":{\"BfEvent\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"key\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"payloadSchema\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"events\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfEvent\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTransition\"}},\"required\":false,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"linkedEntity\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BfMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTick\"}},\"required\":false,\"constraints\":[]}]},\"BfTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@trts"]],["fn","ti",["array/flatten",["array/map",["object/get",["default",["array/nth","@trts","@ti"],{}],"stateMachine.events",[]],["fn","e",["if",["object/has","@e","payloadSchema"],[[["str/concat","@oi","/","@ti","/",["object/get","@e","key",""]],["object/get","@e","payloadSchema"]]],[]]]]]]]]]]]]],{}],"{\"version\":1,\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"named\":{\"BfField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]}}}"],["roots",["array/concat",["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\":\"BfTrait\"}},\"named\":{\"BfEvent\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"key\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"payloadSchema\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]},\"BfMachine\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"states\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfState\"}},\"required\":false,\"constraints\":[]},{\"name\":\"events\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfEvent\"}},\"required\":false,\"constraints\":[]},{\"name\":\"transitions\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTransition\"}},\"required\":false,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfTrait\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"linkedEntity\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"stateMachine\",\"fieldType\":{\"kind\":\"typeref\",\"name\":\"BfMachine\"},\"required\":false,\"constraints\":[]},{\"name\":\"ticks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTick\"}},\"required\":false,\"constraints\":[]}]},\"BfTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@trts"]],["fn","ti",["let",[["t",["default",["array/nth","@trts","@ti"],{}]]],["if",["or",["not",["object/has","@t","stateMachine"]],["=",["array/len",["object/get","@entity.roots",["str/concat","@oi","-","@ti"],[]]],0]],"@noroots",["let",[["tp",["str/concat","orbitals[","@oi"," (",["object/get","@o","name",""],")].traits[","@ti"," (",["object/get","@t","name",""],")]"]],["lk",["object/get","@t","linkedEntity",""]],["trs",["object/get",["object/get","@t","stateMachine",{"transitions":[]}],"transitions",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTransition\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfTransition\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"event\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"guard\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"ensures\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["sts",["object/get",["object/get","@t","stateMachine",{"states":[]}],"states",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfState\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfState\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"holds\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]}}}"],["tks",["object/get","@t","ticks",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfTick\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]},\"BfTick\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"effects\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"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\":\"BfShape\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["ens",["object/get","@tr","ensures",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["g",["object/get","@tr","guard",null]],["ev",["object/get","@tr","event",""]],["pk",["str/concat","@oi","/","@ti","/",["object/get","@tr","event",""]]]],["array/concat",["if",["!=","@g",null],[{"x":"@g","w":["str/concat","@xp",".guard"],"c":"g","ev":"@ev","pk":"@pk","lk":"@lk"}],"@noroots"],["array/concat",["array/map",["array/range",0,["array/len","@effs"]],["fn","ei",{"x":["array/nth","@effs","@ei"],"w":["str/concat","@xp",".effects[","@ei","]"],"c":"e","ev":"@ev","pk":"@pk","lk":"@lk"}]],["array/map",["array/range",0,["array/len","@ens"]],["fn","ki",{"x":["array/nth","@ens","@ki"],"w":["str/concat","@xp",".ensures[","@ki","]"],"c":"k","ev":"@ev","pk":"@pk","lk":"@lk"}]]]]]]]]],["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"],"c":"h","ev":"","pk":"","lk":"@lk"}],"@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\":\"BfShape\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"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","]"],"c":"t","ev":"","pk":"","lk":"@lk"}]]]]]]]]]]]]]]]]]]],["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["ent",["object/get",["default",["array/nth","@orbitals","@oi"],{}],"entity",null]]],["if",["validate/object","@ent"],["let",[["invs",["object/get","@ent","invariants",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["en",["object/get","@ent","name",""]]],["array/map",["array/range",0,["array/len","@invs"]],["fn","ni",{"x":["array/nth","@invs","@ni"],"w":["str/concat","orbitals[","@oi","].entity.invariants[","@ni","]"],"c":"i","ev":"","pk":"","lk":"@en"}]]],"@noroots"]]]]],["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["auxs",["object/get",["default",["array/nth","@orbitals","@oi"],{}],"auxiliaryEntities",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfEntity\"}},\"named\":{\"BfEntity\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"fields\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfName\"}}},\"required\":false,\"constraints\":[]},{\"name\":\"invariants\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]}]},\"BfName\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@auxs"]],["fn","ai",["let",[["invs",["object/get",["default",["array/nth","@auxs","@ai"],{}],"invariants",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"],["en",["object/get",["default",["array/nth","@auxs","@ai"],{}],"name",""]]],["if",["validate/object",["array/nth","@auxs","@ai"]],["array/map",["array/range",0,["array/len","@invs"]],["fn","ni",{"x":["array/nth","@invs","@ni"],"w":["str/concat","orbitals[","@oi","].auxiliaryEntities[","@ai","].invariants[","@ni","]"],"c":"i","ev":"","pk":"","lk":"@en"}]],"@noroots"]]]]]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfRoot\"}},\"named\":{\"BfRoot\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ev\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"lk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["let",[["nroot",{"x":null,"w":"","c":"","ev":"","pk":"","lk":""},"{\"version\":1,\"name\":\"BfRoot\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"x\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}},\"required\":false,\"constraints\":[]},{\"name\":\"w\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"c\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ev\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"lk\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]}]},\"named\":{\"BfShape\":{\"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\":\"BfShape\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfShape\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map",["array/range",0,["array/len","@roots"]],["fn","xi",["let",[["x",["default",["array/nth","@roots","@xi"],"@nroot"]],["hs",["array/map",["array/flatten",["object/values",["default",["as",["tree/index",["object/get","@x","x",null],[],{"prefixes":[["quote","\"\\u0040\""]]}],"BfHits"],{}]]],["fn","c",{"rel":["let",[["p",["object/get","@c","path",""]]],["if",["=","@p",""],"",["if",["str/startsWith","@p","["],"@p",["str/concat",".","@p"]]]],"s":["default",["as",["object/get","@c","node",null],"BfS"],""]}]]]],["array/flatten",["array/map","@hs",["fn","h",["let",[["s",["object/get","@h","s"]],["c",["object/get","@x","c"]],["p",["str/concat",["object/get","@x","w"],["object/get","@h","rel"]]]],["array/concat",["if",["and",["array/includes",["g","e","k"],"@c"],["str/startsWith","@s","@pP"]],["let",[["segs",["array/filter",["array/map",["str/split",["str/slice","@s",9],"."],["fn","q",["default",["array/first",["str/split","@q","["]],""]]],["fn","q",["!=","@q",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["let",[["f0",["array/first","@segs"]]],["if",["=","@f0",null],"@nof",["let",[["schema",["object/get","@plIdx",["object/get","@x","pk"],null],"{\"version\":1,\"type\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"named\":{\"BfField\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"name\",\"fieldType\":{\"kind\":\"string\"},\"required\":false,\"constraints\":[]},{\"name\":\"properties\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"BfField\"}}},\"required\":false,\"constraints\":[]}]}}}"],["ev",["object/get","@x","ev"]]],["let",[["hybrid",["and",[">=",["array/len","@segs"],2],["=","@f0","payload"],["or",["=","@schema",null],["=",["array/len",["array/filter","@schema",["fn","q",["=",["object/get","@q","name"],"payload"]]]],0]]]],["restPath",["str/join",["array/slice","@segs",1,["array/len","@segs"]],"."]]],["if",["!=","@schema",null],["let",[["res",["array/reduce","@segs",{"lv":"@schema","miss":"","stop":false},["fn",["acc","sg"],["if",["or",["object/get","@acc","stop"],["!=",["object/get","@acc","miss"],""]],"@acc",["let",[["fm",["array/find",["object/get","@acc","lv"],["fn","q",["=",["object/get","@q","name"],"@sg"]]]]],["if",["=","@fm",null],{"lv":["object/get","@acc","lv"],"miss":"@sg","stop":false},["let",[["props",["object/get","@fm","properties",null]]],["if",["=","@props",null],{"lv":["object/get","@acc","lv"],"miss":"","stop":true},{"lv":"@props","miss":"","stop":false}]]]]]]]]],["if",["=",["object/get","@res","miss"],""],"@nof",[{"code":"@config.codes.bindingPayloadFieldUndeclared.code","path":"@p","message":["str/concat","Payload field '",["object/get","@res","miss"],"' is not declared in event '","@ev","' payload schema"],"suggestion":["if","@hybrid",["str/concat","the `?` sigil already denotes the event payload — `?payload.","@restPath","` lowers to `@payload.payload.","@restPath","`; write `?","@restPath","` or `@payload.","@restPath","` instead"],["str/concat","Add { \"name\": \"",["object/get","@res","miss"],"\", \"type\": \"...\" } to the event's payload array"]],"severity":"error"}]]],[{"code":"@config.codes.bindingPayloadFieldUndeclared.code","path":"@p","message":["str/concat","Event '","@ev","' uses @payload.","@f0"," (.lolo spelling: `?","@f0","` or `@payload.","@f0","`) but has no payload schema defined"],"suggestion":["if",["array/includes",["INIT","LOAD","$MOUNT"],"@ev"],["str/concat","'","@ev","' is a lifecycle event and carries NO payload — @payload.","@f0"," (written `?","@f0","` in .lolo) can never resolve here. Read entity/config state instead, or move this logic to the transition for the event that actually delivers '","@f0","'."],["if","@hybrid",["str/concat","the `?` sigil already denotes the event payload — `?payload.","@restPath","` lowers to `@payload.payload.","@restPath","`; write `?","@restPath","` or `@payload.","@restPath","` instead"],["str/concat","declare the field in the event's `emits` payload block: `","@ev"," -> external { ","@f0"," : <type> }` — an event read via @payload.","@f0"," must declare that field"]]],"severity":"error"}]]]]]]],"@nof"],["let",[["s2",["if",["and",["=","@c","k"],["str/startsWith","@s","@fP"]],["str/concat","@eP",["str/slice","@s",12]],"@s"]]],["if",["str/startsWith","@s2","@eP"],["let",[["fld",["default",["array/first",["str/split",["default",["array/first",["str/split",["str/slice","@s2",8],"."]],""],"["]],""]],["lent",["object/get","@defIdx",["object/get","@x","lk"],null]]],["if",["or",["=","@fld",""],["array/includes",["id","createdAt","updatedAt"],"@fld"],["=","@lent",null],["array/includes",["object/get","@lent","fields",[]],"@fld"]],"@nof",[{"code":"@config.codes.bindingEntityFieldNotFound.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"entity.","@fld"," — field '","@fld","' not found on entity '",["object/get","@lent","name"],"'"],"suggestion":["str/concat","Add field '","@fld","' to entity '",["object/get","@lent","name"],"' or fix the binding path"],"severity":"error"}]]],["let",[["parts",["str/split",["str/slice","@s2",1],"."]]],["let",[["p0",["array/nth","@parts",0]],["p1",["array/nth","@parts",1]]],["if",["or",["=","@p0",null],["=","@p1",null]],"@nof",["let",[["root",["default",["array/first",["str/split","@p0","["]],""]],["fld",["default",["array/first",["str/split","@p1","["]],""]]],["let",[["pent",["object/get","@rootIdx","@root",null]]],["if",["or",["=","@pent",null],["array/includes",["id","createdAt","updatedAt"],"@fld"],["array/includes",["object/get","@pent","fields",[]],"@fld"]],"@nof",[{"code":"@config.codes.bindingEntityFieldNotFound.code","path":"@p","message":["str/concat",["quote","\"\\u0040\""],"@root",".","@fld"," — field '","@fld","' not found on entity '","@root","'"],"suggestion":["str/concat","Add field '","@fld","' to entity '","@root","' or fix the binding path"],"severity":"error"}]]]]]]]]]]]]]]]]]]]]],[{"code":"@config.codes.lintIndexMissing.code","path":"","message":"the lint input arrived without the structural index (LINT_INDEX), so this rule cannot check the program","suggestion":"std-orb-lint-input sends LINT_INDEX before LINT_INPUT; this rule did not hear it","severity":"error"}]]],["set","@entity.indexed",false],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_VW6WPJW0AE0570TQV0N9K21X3H","effects":[["emit","LINT_FOUND",{"rule":"binding-fields","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintBindingFieldsCodes","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"},"bindingPayloadFieldUndeclared":{"code":"ORB_BINDING_PAYLOAD_FIELD_UNDECLARED","category":"binding","description":"A @payload binding reads a field that the triggering event does not declare in its payload"},"bindingEntityFieldNotFound":{"code":"ORB_BINDING_ENTITY_FIELD_NOT_FOUND","category":"binding","description":"An @entity binding names a field that the linked entity does not declare"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"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"}},"bindingPayloadFieldUndeclared":{"nullable":false,"name":"bindingPayloadFieldUndeclared","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"}},"bindingEntityFieldNotFound":{"nullable":false,"name":"bindingEntityFieldNotFound","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":"LintBindingFieldsCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW","fingerprint":"1a8925828ebfcb226d26c060ce3bbb456e9a6ec78083a34ffacc7aedd9a24de6"}},{"name":"OrbLintBindingFieldsCli","id":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintBindingFieldsRun","linkedEntityId":"ent_MAFX2CJNRMAWA23W875734Y2ME","entityRefIds":{"OrbLintBindingFieldsRun":"ent_MAFX2CJNRMAWA23W875734Y2ME"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_5YR2ZA6VG1DR0W74EG8A536XW8","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_K3FH6E9SH6WRK3A64ECSMS4KKD","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_W7DN6X229S14WYJZSA189373XS","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_0B24JRAYGAF85D4ANTBM904BKS","description":"The lint input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"error","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_3SMJCD572KKH9R6NM4DYRZY4BQ","triggers":"LINT_FOUND","triggersId":"evt_W7DN6X229S14WYJZSA189373XS","source":{"kind":"trait","trait":"OrbLintBindingFields","traitId":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_0B24JRAYGAF85D4ANTBM904BKS","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_0B24JRAYGAF85D4ANTBM904BKS","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_YW3ZK2ZAZWNFY6X21C0ZBN1D8X","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_1K6XQ72DBA6NNDECJRFF5X20EZ","name":"Lint Called","description":"Run `orb lint binding-fields` with its arguments and working directory.","synonyms":"orb lint binding-fields","payloadSchema":[{"nullable":false,"name":"headers","type":"Map<string,string>","items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rawBody","type":"string","required":true}],"listened":true,"inbound":{"name":"cli-lint-binding-fields","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_W7DN6X229S14WYJZSA189373XS","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_0B24JRAYGAF85D4ANTBM904BKS","name":"Lint Input Unread","description":"The lint input could not read or lower the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_5YR2ZA6VG1DR0W74EG8A536XW8","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_K3FH6E9SH6WRK3A64ECSMS4KKD","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_YW3ZK2ZAZWNFY6X21C0ZBN1D8X"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_1K6XQ72DBA6NNDECJRFF5X20EZ","guard":["or",["=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["!=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint binding-fields <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_1K6XQ72DBA6NNDECJRFF5X20EZ","guard":["and",["!=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["let",[["argFile",["array/first",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]]]],["if",["=","@argFile",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint binding-fields <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_YW3ZK2ZAZWNFY6X21C0ZBN1D8X"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_W7DN6X229S14WYJZSA189373XS","guard":["and",["=","@payload.rule","binding-fields"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint binding-fields: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_W7DN6X229S14WYJZSA189373XS","guard":["and",["=","@payload.rule","binding-fields"],[">",["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_0B24JRAYGAF85D4ANTBM904BKS","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint binding-fields: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ","fingerprint":"b0fbe27f32f0b828c37b969bd08367e71d183adaba44ae6d07b392082c4ae9b1"}},{"ref":"Input.traits.Versions","id":"trt_B2YWKGTXS3EWHRTK46S88Y978R","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_NTWHYVM5ZE2ZQ14SHAP58JNGFF","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintBindingFieldsCli"}},{"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":"OrbLintBindingFieldsOrbitalStart","id":"pag_CW1KZ51KF9SQMP2TDAAKWMHPVG","path":"","protocol":"boot","traits":[{"ref":"OrbLintBindingFields","refId":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},{"ref":"OrbLintBindingFieldsCli","refId":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},{"ref":"OrbLintInput","refId":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A"},{"ref":"Packs","refId":"trt_NTWHYVM5ZE2ZQ14SHAP58JNGFF"},{"ref":"Versions","refId":"trt_B2YWKGTXS3EWHRTK46S88Y978R"}]}],"types":{"BfAcc":[{"nullable":false,"name":"lv","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"properties","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}},{"nullable":false,"name":"miss","type":"string"},{"nullable":false,"name":"stop","type":"boolean"}],"BfCH":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BfShape","required":true,"properties":[],"projectedFrom":{"type":"BfShape"}}],"BfDef":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":false,"name":"fields","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"BfEntity":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"BfEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"BfField":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"properties","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"BfHit":[{"nullable":false,"name":"rel","type":"string","required":true},{"nullable":false,"name":"s","type":"string","required":true}],"BfHits":[{"nullable":false,"name":"","type":"Map<string,[BfCH]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"BfShape","required":true,"properties":[],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfCH","projectedFrom":{"type":"BfCH"}}}}],"BfMachine":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"BfName":[{"nullable":false,"name":"name","type":"string","required":true}],"BfOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"entity","type":"object","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[BfEntity]","items":{"nullable":false,"name":"","type":"BfEntity","projectedFrom":{"type":"BfEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"items":{"nullable":false,"name":"","type":"BfTrait","projectedFrom":{"type":"BfTrait"}}}],"BfProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"entity","type":"object","required":true,"properties":[{"nullable":false,"name":"name","type":"string","required":true},{"nullable":true,"name":"fields","type":"[BfName]","items":{"nullable":false,"name":"","type":"BfName","projectedFrom":{"type":"BfName"}}},{"nullable":false,"name":"invariants","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfEntity"}},{"nullable":true,"name":"auxiliaryEntities","type":"[BfEntity]","items":{"nullable":false,"name":"","type":"BfEntity","projectedFrom":{"type":"BfEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"items":{"nullable":false,"name":"","type":"BfTrait","projectedFrom":{"type":"BfTrait"}}}],"items":{"nullable":false,"name":"","type":"BfOrbital","projectedFrom":{"type":"BfOrbital"}}}],"BfRoot":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"w","type":"string","required":true},{"nullable":false,"name":"c","type":"string","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"pk","type":"string","required":true},{"nullable":false,"name":"lk","type":"string","required":true}],"BfS":[{"nullable":false,"name":"","type":"string"}],"BfShape":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}]}],"BfState":[{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"BfTick":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"BfTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"linkedEntity","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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}}],"items":{"nullable":false,"name":"","type":"BfState","projectedFrom":{"type":"BfState"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":true,"name":"payloadSchema","type":"[BfField]","items":{"nullable":false,"name":"","type":"BfField","projectedFrom":{"type":"BfField"}}}],"items":{"nullable":false,"name":"","type":"BfEvent","projectedFrom":{"type":"BfEvent"}}},{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTransition","projectedFrom":{"type":"BfTransition"}}}],"projectedFrom":{"type":"BfMachine"}},{"nullable":false,"name":"ticks","type":"[object]","properties":[{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"items":{"nullable":false,"name":"","type":"BfTick","projectedFrom":{"type":"BfTick"}}}],"BfTransition":[{"nullable":false,"name":"event","type":"string"},{"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":"[BfShape]","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"object","type":"Map<string,BfShape>","items":{"nullable":true,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"projectedFrom":{"type":"BfShape"}},{"nullable":false,"name":"effects","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}},{"nullable":false,"name":"ensures","type":"[BfShape]","items":{"nullable":false,"name":"","type":"BfShape","projectedFrom":{"type":"BfShape"}}}],"LintBindingFieldsCodes":[{"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"}},{"nullable":false,"name":"bindingPayloadFieldUndeclared","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":"bindingEntityFieldNotFound","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]}}],"inbound":["cli-lint-binding-fields"],"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_MAFX2CJNRMAWA23W875734Y2ME":{"id":"ent_MAFX2CJNRMAWA23W875734Y2ME","kind":"entity","bakedName":"OrbLintBindingFieldsRun","curName":"OrbLintBindingFieldsRun","renames":[],"owner":"workspace"},"evt_0B24JRAYGAF85D4ANTBM904BKS":{"id":"evt_0B24JRAYGAF85D4ANTBM904BKS","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"evt_1K6XQ72DBA6NNDECJRFF5X20EZ":{"id":"evt_1K6XQ72DBA6NNDECJRFF5X20EZ","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"evt_3SMJCD572KKH9R6NM4DYRZY4BQ":{"id":"evt_3SMJCD572KKH9R6NM4DYRZY4BQ","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},"evt_5YR2ZA6VG1DR0W74EG8A536XW8":{"id":"evt_5YR2ZA6VG1DR0W74EG8A536XW8","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"evt_9NH5GJK9DNMPTSFFEH9ZX59FPA":{"id":"evt_9NH5GJK9DNMPTSFFEH9ZX59FPA","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},"evt_HFEQ20XMTJTD90RF1XD59Q5V1H":{"id":"evt_HFEQ20XMTJTD90RF1XD59Q5V1H","kind":"event","bakedName":"INDEX_HEARD","curName":"INDEX_HEARD","renames":[],"owner":"workspace","parent":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},"evt_K3FH6E9SH6WRK3A64ECSMS4KKD":{"id":"evt_K3FH6E9SH6WRK3A64ECSMS4KKD","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"evt_RSRV53V9SKMWSSQP73FQMVCDMH":{"id":"evt_RSRV53V9SKMWSSQP73FQMVCDMH","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},"evt_VW6WPJW0AE0570TQV0N9K21X3H":{"id":"evt_VW6WPJW0AE0570TQV0N9K21X3H","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW"},"evt_W7DN6X229S14WYJZSA189373XS":{"id":"evt_W7DN6X229S14WYJZSA189373XS","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"evt_YW3ZK2ZAZWNFY6X21C0ZBN1D8X":{"id":"evt_YW3ZK2ZAZWNFY6X21C0ZBN1D8X","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ"},"orb_5HCWCRW62S31CGS3WKYXZB60JP":{"id":"orb_5HCWCRW62S31CGS3WKYXZB60JP","kind":"orbital","bakedName":"OrbLintBindingFieldsOrbital","curName":"OrbLintBindingFieldsOrbital","renames":[],"owner":"workspace"},"pag_CW1KZ51KF9SQMP2TDAAKWMHPVG":{"id":"pag_CW1KZ51KF9SQMP2TDAAKWMHPVG","kind":"page","bakedName":"OrbLintBindingFieldsOrbitalStart","curName":"OrbLintBindingFieldsOrbitalStart","renames":[],"owner":"workspace"},"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW":{"id":"trt_7Q63J1XY7EZ3Q005YPDQT3MZNW","kind":"trait","bakedName":"OrbLintBindingFields","curName":"OrbLintBindingFields","renames":[],"owner":"workspace"},"trt_B2YWKGTXS3EWHRTK46S88Y978R":{"id":"trt_B2YWKGTXS3EWHRTK46S88Y978R","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_HJQRAR8FRA7W5BVRW34QNH6S4A":{"id":"trt_HJQRAR8FRA7W5BVRW34QNH6S4A","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ":{"id":"trt_M5TW3CTC7Q63VHYDSG09RCS6AZ","kind":"trait","bakedName":"OrbLintBindingFieldsCli","curName":"OrbLintBindingFieldsCli","renames":[],"owner":"workspace"},"trt_NTWHYVM5ZE2ZQ14SHAP58JNGFF":{"id":"trt_NTWHYVM5ZE2ZQ14SHAP58JNGFF","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"}}}}