@almadar/std 17.0.1 → 17.0.3

package/behaviors/registry/cli/atoms/std-orb-lint-navigate.orb

@@ -1 +1 @@
-{"typeContractVersion":1,"types":{"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}],"LintNavigateCodes":[{"nullable":false,"name":"effUnknownType","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":"pInvalidPath","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":"effNavigateTargetUnreachable","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":"effNavigateMissingPayload","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"}}],"NavEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"NavExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"NavExprItem":[{"nullable":false,"name":"eff","type":"boolean","required":true}],"NavField":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"NavLazy":[{"nullable":false,"name":"path","type":"string"}],"NavLeaf":[{"nullable":false,"name":"p","type":"string","required":true},{"nullable":false,"name":"n","type":"[object]","required":true,"properties":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"ks","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"hd","type":"string","required":true},{"nullable":false,"name":"nms","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rt","type":"string","required":true},{"nullable":false,"name":"nm","type":"string","required":true},{"nullable":false,"name":"pa","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"bd","type":"number","required":true},{"nullable":false,"name":"wh","type":"string","required":true},{"nullable":false,"name":"tx","type":"string","required":true},{"nullable":false,"name":"pv","type":"boolean","required":true},{"nullable":false,"name":"hs","type":"boolean","required":true},{"nullable":false,"name":"sl","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"lb","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":true,"name":"lv","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"NavNode","projectedFrom":{"type":"NavNode"}}},{"nullable":false,"name":"oi","type":"number","required":true},{"nullable":false,"name":"ti","type":"number","required":true}],"NavMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"NavNode":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"ks","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"hd","type":"string","required":true},{"nullable":false,"name":"nms","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rt","type":"string","required":true},{"nullable":false,"name":"nm","type":"string","required":true},{"nullable":false,"name":"pa","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"bd","type":"number","required":true},{"nullable":false,"name":"wh","type":"string","required":true},{"nullable":false,"name":"tx","type":"string","required":true},{"nullable":false,"name":"pv","type":"boolean","required":true},{"nullable":false,"name":"hs","type":"boolean","required":true},{"nullable":false,"name":"sl","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"lb","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":true,"name":"lv","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"NavOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"NavPage":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"NavPageTrait":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"NavProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"items":{"nullable":false,"name":"","type":"NavOrbital","projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"lazyPages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"}],"items":{"nullable":false,"name":"","type":"NavLazy","projectedFrom":{"type":"NavLazy"}}}],"NavTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"NavTransition":[{"nullable":false,"name":"event","type":"string"}],"NavWalkProj":[{"nullable":false,"name":"sourceArg","type":"number","required":true},{"nullable":false,"name":"keyArg","type":"number","required":true},{"nullable":false,"name":"defaultArg","type":"number"}],"NavWalkSlot":[{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"args","type":"[number]","items":{"nullable":false,"name":"","type":"number"}}],"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-navigate","version":"1.0.0","description":"std-orb-lint-navigate — the `orb lint navigate <file>` command, the port of validate_navigate and validate_send_server (effect/navigate.rs). It lowers the file with program/read, builds the declared page set (every inline page with the required payload fields of its traits' INIT events, every `expects page` route and every `uses lazy` page, a declaration keeping its own payload) and walks the effects of every inline trait transition and tick, descending through do, if, when and let. A `navigate` with no path is ORB_EFF_UNKNOWN_TYPE; a literal target that is neither an http(s) URL nor starts with / or @ is ORB_P_INVALID_PATH; a target that resolves to no declared page (the host sign-in route /login and external URLs aside, and a target that is wholly a binding) is ORB_EFF_NAVIGATE_TARGET_UNREACHABLE; a target page whose INIT requires payload fields the navigate does not pass is ORB_EFF_NAVIGATE_MISSING_PAYLOAD per field. A `send-server` with no event name is ORB_EFF_UNKNOWN_TYPE. Each finding carries the Rust path, message and suggestion (status 500, exit 1). The rule asks std-orb-effect-leaves for the navigate and send-server effects (heads: navigate, send-server) and reads the path, its str/concat prefix and the payload object's keys from their flat typed nodes. Clean answers `lint navigate: 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":"OrbLintNavigateOrbital","id":"orb_RW5YASBS4MWJAB8KNVB71AJN3Y","uses":[{"from":"almadar-std/lint-navigate","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"},{"from":"std/behaviors/std-orb-effect-leaves","as":"LeavesUse"}],"entity":{"name":"OrbLintNavigateRun","id":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"findings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}},{"nullable":false,"name":"orbitals","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"traits":{"nullable":false,"name":"traits","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"stateMachine":{"nullable":false,"name":"stateMachine","type":"object","required":false,"properties":{"transitions":{"nullable":false,"name":"transitions","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"event":{"nullable":false,"name":"event","type":"string","required":false}},"projectedFrom":{"type":"NavTransition"}}},"events":{"nullable":false,"name":"events","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"key":{"nullable":false,"name":"key","type":"string","required":false},"payloadSchema":{"nullable":false,"name":"payloadSchema","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"required":{"nullable":false,"name":"required","type":"boolean","required":false}},"projectedFrom":{"type":"NavField"}}}},"projectedFrom":{"type":"NavEvent"}}}},"projectedFrom":{"type":"NavMachine"}}},"projectedFrom":{"type":"NavTrait"}}},"pages":{"nullable":false,"name":"pages","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"path":{"nullable":false,"name":"path","type":"string","required":false},"traits":{"nullable":false,"name":"traits","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"ref":{"nullable":false,"name":"ref","type":"string","required":false},"name":{"nullable":false,"name":"name","type":"string","required":false},"stateMachine":{"nullable":false,"name":"stateMachine","type":"object","required":false,"properties":{"transitions":{"nullable":false,"name":"transitions","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"event":{"nullable":false,"name":"event","type":"string","required":false}},"projectedFrom":{"type":"NavTransition"}}},"events":{"nullable":false,"name":"events","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"key":{"nullable":false,"name":"key","type":"string","required":false},"payloadSchema":{"nullable":false,"name":"payloadSchema","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"required":{"nullable":false,"name":"required","type":"boolean","required":false}},"projectedFrom":{"type":"NavField"}}}},"projectedFrom":{"type":"NavEvent"}}}},"projectedFrom":{"type":"NavMachine"}}},"projectedFrom":{"type":"NavPageTrait"}}}},"projectedFrom":{"type":"NavPage"}}},"expects":{"nullable":false,"name":"expects","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"kind":{"nullable":false,"name":"kind","type":"string","required":false},"path":{"nullable":false,"name":"path","type":"string","required":false},"protocol":{"nullable":false,"name":"protocol","type":"string","required":false}},"projectedFrom":{"type":"NavExpect"}}}},"projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"lazyPages","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"path":{"nullable":false,"name":"path","type":"string","required":false}},"projectedFrom":{"type":"NavLazy"}}}]},"traits":[{"name":"OrbLintNavigate","id":"trt_33BFGBPX06EG30GA6A1WEKQ58G","effectRow":[{"kind":"emit","resource":"EFFECT_LEAVES_EXPAND"},{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.lazyPages"},{"kind":"set","resource":"@entity.orbitals"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintNavigateRun","linkedEntityId":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM","entityRefIds":{"OrbLintNavigateRun":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM"},"emits":[{"event":"EFFECT_LEAVES_EXPAND","eventId":"evt_R2MT0CW6PS3BCQ9PA3K83T3DWM","description":"Ask std-orb-effect-leaves to flatten the effects of every inline trait.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"requestId","type":"string","required":true},{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"items":{"nullable":false,"name":"","type":"NavOrbital","projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"heads","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}]},{"event":"LINT_FOUND","eventId":"evt_0N4EDS279R3MW46F50RY2KHPWQ","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_6TSJF788ZB4FNXQM06HDS1FF7Y","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"EFFECT_LEAVES_EXPANDED","triggers":"EFFECT_LEAVES_HEARD","triggersId":"evt_8337PJ6SHSCRWRS4KSXCBZJ75R","source":{"kind":"trait","trait":"OrbEffectLeaves","traitId":"trt_T6909WCSTTCXDFTBDER3HH2K4Z"}},{"event":"LINT_INPUT","eventId":"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q","triggers":"LINT_INPUT","triggersId":"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_BJMT1QYWPNEBAK27YF1ZMQX8P1","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q","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":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"items":{"nullable":false,"name":"","type":"NavOrbital","projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"lazyPages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"}],"items":{"nullable":false,"name":"","type":"NavLazy","projectedFrom":{"type":"NavLazy"}}}],"projectedFrom":{"type":"NavProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"EFFECT_LEAVES_HEARD","id":"evt_8337PJ6SHSCRWRS4KSXCBZJ75R","name":"Effect Leaves Heard","description":"std-orb-effect-leaves's answer: the effects to check, flattened.","payloadSchema":[{"nullable":false,"name":"requestId","type":"string","required":true},{"nullable":false,"name":"leaves","type":"[object]","required":true,"properties":[{"nullable":false,"name":"p","type":"string","required":true},{"nullable":false,"name":"n","type":"[object]","required":true,"properties":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"ks","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"hd","type":"string","required":true},{"nullable":false,"name":"nms","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rt","type":"string","required":true},{"nullable":false,"name":"nm","type":"string","required":true},{"nullable":false,"name":"pa","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"bd","type":"number","required":true},{"nullable":false,"name":"wh","type":"string","required":true},{"nullable":false,"name":"tx","type":"string","required":true},{"nullable":false,"name":"pv","type":"boolean","required":true},{"nullable":false,"name":"hs","type":"boolean","required":true},{"nullable":false,"name":"sl","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"lb","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":true,"name":"lv","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"NavNode","projectedFrom":{"type":"NavNode"}}},{"nullable":false,"name":"oi","type":"number","required":true},{"nullable":false,"name":"ti","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"NavLeaf","projectedFrom":{"type":"NavLeaf"}}}],"listened":true},{"key":"LINT_FINISH","id":"evt_6TSJF788ZB4FNXQM06HDS1FF7Y","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"EFFECT_LEAVES_EXPAND","id":"evt_R2MT0CW6PS3BCQ9PA3K83T3DWM","name":"Effect Leaves Expand","description":"Ask std-orb-effect-leaves to flatten the effects of every inline trait.","tier":"internal","payloadSchema":[{"nullable":false,"name":"requestId","type":"string","required":true},{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"items":{"nullable":false,"name":"","type":"NavOrbital","projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"heads","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}]},{"key":"LINT_FOUND","id":"evt_0N4EDS279R3MW46F50RY2KHPWQ","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_BJMT1QYWPNEBAK27YF1ZMQX8P1"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.orbitals",["object/get","@payload.program","orbitals",[]]],["set","@entity.lazyPages",["object/get","@payload.program","lazyPages",[]]],["emit","EFFECT_LEAVES_EXPAND",{"requestId":["str/concat","navigate","@payload.scope"],"orbitals":["object/get","@payload.program","orbitals",[]],"heads":["list","navigate","send-server"]}]]},{"from":"ready","to":"ready","event":"EFFECT_LEAVES_HEARD","eventId":"evt_8337PJ6SHSCRWRS4KSXCBZJ75R","guard":["=","@payload.requestId",["str/concat","navigate","@entity.scope"]],"effects":[["set","@entity.findings",["let",[["orbitals","@entity.orbitals"],["nn",{"k":"nil","ks":[],"hd":"","nms":[],"rt":"","nm":"","pa":[],"bd":-1,"wh":"","tx":"","pv":false,"hs":false,"sl":[],"lb":[],"lv":null},"{\"version\":1,\"name\":\"NavNode\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}"]],["let",[["entries",["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["o",["array/nth","@orbitals","@oi"]]],["let",[["visible",["array/flatten",["array/map",["array/slice","@orbitals",0,["+","@oi",1]],["fn","vo",["array/filter",["object/get","@vo","traits",[]],["fn","vt",["object/has","@vt","stateMachine"]]]]]]]],["array/concat",["array/flatten",["array/map",["object/get","@o","pages",[]],["fn","pg",["let",[["pth",["object/get","@pg","path"]]],["if",["=","@pth",null],[],[{"path":"@pth","set":true,"req":["array/unique",["array/flatten",["array/map",["object/get","@pg","traits",[]],["fn","r",["let",[["td",["if",["object/has","@r","stateMachine"],"@r",["array/last",["array/filter","@visible",["fn","vt",["=",["object/get","@vt","name",""],["if",["object/has","@r","ref"],["object/get","@r","ref"],["object/get","@r","name",""]]]]]]]]],["if",["=","@td",null],["array/filter",[""],["fn","q",false]],["array/flatten",["array/map",["array/filter",["object/get",["object/get","@td","stateMachine",{}],"events",[]],["fn","ev",["=",["object/get","@ev","key",""],"INIT"]]],["fn","ev",["array/map",["array/filter",["object/get","@ev","payloadSchema",[]],["fn","fd",["object/get","@fd","required",false]]],["fn","fd",["object/get","@fd","name",""]]]]]]]]]]]]}]]]]]],["array/map",["array/filter",["object/get","@o","expects",[]],["fn","ex",["and",["=",["object/get","@ex","kind",""],"page"],["not",["object/has","@ex","protocol"]]]]],["fn","ex",{"path":["object/get","@ex","path",""],"set":false,"req":["array/filter",[""],["fn","q",false]]}]]]]]]]],["array/map","@entity.lazyPages",["fn","lz",{"path":["object/get","@lz","path",""],"set":false,"req":["array/filter",[""],["fn","q",false]]}]]]]],["let",[["reg",["array/reduce","@entries",["array/filter","@entries",["fn","q",false]],["fn",["acc","en"],["let",[["idx",["array/findIndex","@acc",["fn","x",["=",["object/get","@x","path"],["object/get","@en","path"]]]]]],["if",["<","@idx",0],["array/append","@acc",{"path":["object/get","@en","path"],"set":["object/get","@en","set"],"req":["object/get","@en","req"]}],["if",["object/get","@en","set"],["array/map",["array/range",0,["array/len","@acc"]],["fn","j",["if",["=","@j","@idx"],{"path":["object/get","@en","path"],"set":true,"req":["object/get","@en","req"]},["array/nth","@acc","@j"]]]],"@acc"]]]]]]],["let",[["ls","@payload.leaves"]],["array/flatten",["array/map","@ls",["fn","l",["let",[["n",["object/get","@l","n",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"NavNode\"}},\"named\":{\"NavNode\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}}"],["p",["object/get","@l","p"]]],["let",[["rti",["-",["array/len","@n"],1]],["rt",["default",["array/nth","@n","@rti"],"@nn"],"{\"version\":1,\"name\":\"NavNode\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}"]],["let",[["rtks",["object/get","@rt","ks"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}}}"]],["let",[["rtcr",["array/map",["array/range",0,["array/len","@rtks"]],["fn","j",["-",["+",["-","@rti",["array/sum","@rtks"]],["array/sum",["array/take","@rtks",["+","@j",1]]]],1]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}}}"]],["if",["not",["and",["array/includes",["call","arr","proj","rui"],["object/get","@rt","k"]],[">",["array/len","@rtks"],0],["or",["=",["default",["array/first",["default",["object/get",["default",["array/nth","@n",["default",["array/nth","@rtcr",0],0]],"@nn"],"lv"],[]]],""],"navigate"],["=",["default",["array/first",["default",["object/get",["default",["array/nth","@n",["default",["array/nth","@rtcr",0],0]],"@nn"],"lv"],[]]],""],"send-server"]]]],[],["let",[["nk",["array/len","@rtks"]],["h",["default",["array/first",["default",["object/get",["default",["array/nth","@n",["default",["array/nth","@rtcr",0],0]],"@nn"],"lv"],[]]],""]]],["if",["=","@h","send-server"],["if",["<","@nk",2],[{"code":"@config.codes.effUnknownType.code","path":"@p","message":"send-server requires an event name","suggestion":"Use: [\"send-server\", \"EVENT_NAME\"] or [\"send-server\", \"EVENT_NAME\", { payload }]","severity":"error"}],[]],["if",["<","@nk",2],[{"code":"@config.codes.effUnknownType.code","path":"@p","message":"navigate requires a path","suggestion":"Use: [\"navigate\", \"/path\"]","severity":"error"}],["let",[["ti",["default",["array/nth","@rtcr",1],0]],["t",["default",["array/nth","@n","@ti"],"@nn"],"{\"version\":1,\"name\":\"NavNode\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}"]],["let",[["tks",["object/get","@t","ks"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}}}"]],["let",[["tcr",["array/map",["array/range",0,["array/len","@tks"]],["fn","j",["-",["+",["-","@ti",["array/sum","@tks"]],["array/sum",["array/take","@tks",["+","@j",1]]]],1]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}}}"]],["let",[["t1i",["default",["array/nth","@tcr",1],0]],["t1",["default",["array/nth","@n","@t1i"],"@nn"],"{\"version\":1,\"name\":\"NavNode\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}"]],["let",[["oi",["default",["array/nth","@rtcr",2],0]],["o",["default",["array/nth","@n","@oi"],"@nn"],"{\"version\":1,\"name\":\"NavNode\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}"]],["let",[["hasnp",["or",["or",["and",["=",["object/get","@t","k"],"nil"],["!=",["object/get","@t","lv"],null]],["and",["=",["object/get","@t","k"],"bind"],["=",["object/get","@t","wh"],"w"]],["=",["object/get","@t","k"],"cat"]],["and",["array/includes",["call","arr","proj","rui"],["object/get","@t","k"]],[">",["array/len","@tks"],1],["=",["default",["array/first",["default",["object/get",["default",["array/nth","@n",["default",["array/nth","@tcr",0],0]],"@nn"],"lv"],[]]],""],"str/concat"],["or",["and",["=",["object/get","@t1","k"],"nil"],["!=",["object/get","@t1","lv"],null]],["and",["=",["object/get","@t1","k"],"bind"],["=",["object/get","@t1","wh"],"w"]],["=",["object/get","@t1","k"],"cat"]]]]],["np",["if",["or",["and",["=",["object/get","@t","k"],"nil"],["!=",["object/get","@t","lv"],null]],["and",["=",["object/get","@t","k"],"bind"],["=",["object/get","@t","wh"],"w"]],["=",["object/get","@t","k"],"cat"]],["if",["=",["object/get","@t","k"],"nil"],["default",["array/first",["default",["object/get","@t","lv"],[]]],""],["if",["=",["object/get","@t","k"],"bind"],["object/get","@t","tx"],["object/get",["default",["array/nth","@n",["-","@ti",1]],"@nn"],"tx"]]],["if",["and",["array/includes",["call","arr","proj","rui"],["object/get","@t","k"]],[">",["array/len","@tks"],1],["=",["default",["array/first",["default",["object/get",["default",["array/nth","@n",["default",["array/nth","@tcr",0],0]],"@nn"],"lv"],[]]],""],"str/concat"],["or",["and",["=",["object/get","@t1","k"],"nil"],["!=",["object/get","@t1","lv"],null]],["and",["=",["object/get","@t1","k"],"bind"],["=",["object/get","@t1","wh"],"w"]],["=",["object/get","@t1","k"],"cat"]]],["if",["=",["object/get","@t1","k"],"nil"],["default",["array/first",["default",["object/get","@t1","lv"],[]]],""],["if",["=",["object/get","@t1","k"],"bind"],["object/get","@t1","tx"],["object/get",["default",["array/nth","@n",["-","@t1i",1]],"@nn"],"tx"]]],""]],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["okeys",["if",["and",[">","@nk",2],["=",["object/get","@o","k"],"obj"]],["object/get","@o","nms"],[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["if",["not","@hasnp"],[],["let",[["ext",["or",["str/startsWith","@np","http://"],["str/startsWith","@np","https://"]]],["dyn",["array/includes",["call","arr","proj","rui","let","lam"],["object/get","@t","k"]]],["q",["str/includes","@np","?"]],["route",["array/first",["str/split","@np","?"]]]],["if",["=","@route",null],[],["array/concat",["if",["or","@ext",["str/startsWith","@np","/"],["str/startsWith","@np",["quote","\"\\u0040\""]]],[],[{"code":"@config.codes.pInvalidPath.code","path":"@p","message":["str/concat","Navigate path should start with '/': '","@np","'"],"suggestion":"Use absolute paths starting with /","severity":"error"}]],["if",["or","@ext",["=",["str/replace-pattern","@route","/+$",""],"/login"]],[],["let",[["m",["if","@q",["let",[["ex",["array/find","@reg",["fn","r",["=",["object/get","@r","path"],"@route"]]]]],["if",["!=","@ex",null],"@ex",["let",[["pm",["array/find","@reg",["fn","r",["let",[["pp",["array/filter",["str/split","@route","/"],["fn","s",["!=","@s",""]]]],["qq",["array/filter",["str/split",["object/get","@r","path"],"/"],["fn","s",["!=","@s",""]]]]],["and",["=",["array/len","@pp"],["array/len","@qq"]],["array/every",["array/zip","@qq","@pp"],["fn","z",["or",["str/startsWith",["array/nth","@z",0],":"],["=",["array/nth","@z",0],["array/nth","@z",1]]]]]]]]]]],["if",["!=","@pm",null],"@pm",["array/find","@reg",["fn","r",["str/startsWith",["object/get","@r","path"],["str/replace-pattern","@route","/+$",""]]]]]]]],["if","@dyn",["let",[["first",["array/first",["array/sort",["array/map",["array/filter","@reg",["fn","r",["str/startsWith",["object/get","@r","path"],"@np"]]],["fn","r",["object/get","@r","path"]]]]]]],["if",["=","@first",null],null,["array/find","@reg",["fn","r",["=",["object/get","@r","path"],"@first"]]]]],["let",[["ex",["array/find","@reg",["fn","r",["=",["object/get","@r","path"],"@np"]]]]],["if",["!=","@ex",null],"@ex",["let",[["pm",["array/find","@reg",["fn","r",["let",[["pp",["array/filter",["str/split","@np","/"],["fn","s",["!=","@s",""]]]],["qq",["array/filter",["str/split",["object/get","@r","path"],"/"],["fn","s",["!=","@s",""]]]]],["and",["=",["array/len","@pp"],["array/len","@qq"]],["array/every",["array/zip","@qq","@pp"],["fn","z",["or",["str/startsWith",["array/nth","@z",0],":"],["=",["array/nth","@z",0],["array/nth","@z",1]]]]]]]]]]],["if",["!=","@pm",null],"@pm",["array/find","@reg",["fn","r",["str/startsWith",["object/get","@r","path"],["str/replace-pattern","@np","/+$",""]]]]]]]]]]]],["array/concat",["if",["and",["=","@m",null],[">",["array/len","@reg"],0],["not",["str/startsWith","@np",["quote","\"\\u0040\""]]]],[{"code":"@config.codes.effNavigateTargetUnreachable.code","path":"@p","message":["str/concat","Navigate target '","@np","' doesn't resolve to any declared page"],"suggestion":["str/concat","Declare a matching `pages[].path` (e.g. `page \"","@np","\" -> ...`) or correct the navigate path"],"severity":"error"}],[]],["if",["=","@m",null],[],["array/flatten",["array/map",["object/get","@m","req"],["fn","rf",["if",["array/includes","@okeys","@rf"],[],[{"code":"@config.codes.effNavigateMissingPayload.code","path":"@p","message":["str/concat","Navigation to '",["object/get","@m","path"],"' requires payload field '","@rf","' for INIT event"],"suggestion":["str/concat","Add payload to navigate effect: [\"navigate\", \"","@np","\", { \"","@rf","\": \"@entity.","@rf","\" }]"],"severity":"error"}]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_6TSJF788ZB4FNXQM06HDS1FF7Y","effects":[["emit","LINT_FOUND",{"rule":"navigate","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintNavigateCodes","default":{"effUnknownType":{"code":"ORB_EFF_UNKNOWN_TYPE","category":"effect","description":"An effect has an unknown type or is malformed"},"pInvalidPath":{"code":"ORB_P_INVALID_PATH","category":"page","description":"A page or navigate path does not start with a slash"},"effNavigateTargetUnreachable":{"code":"ORB_EFF_NAVIGATE_TARGET_UNREACHABLE","category":"effect","description":"A navigate target path does not resolve to any declared page"},"effNavigateMissingPayload":{"code":"ORB_EFF_NAVIGATE_MISSING_PAYLOAD","category":"effect","description":"A navigate effect omits a payload field the target page requires for its INIT event"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"effUnknownType":{"nullable":false,"name":"effUnknownType","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"}},"pInvalidPath":{"nullable":false,"name":"pInvalidPath","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"}},"effNavigateTargetUnreachable":{"nullable":false,"name":"effNavigateTargetUnreachable","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"}},"effNavigateMissingPayload":{"nullable":false,"name":"effNavigateMissingPayload","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":"LintNavigateCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_33BFGBPX06EG30GA6A1WEKQ58G","fingerprint":"7233e02ca98739303ada3ef6d6f54bc0520f919ac36081f185992cb5da0153f5"}},{"name":"OrbLintNavigateCli","id":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintNavigateRun","linkedEntityId":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM","entityRefIds":{"OrbLintNavigateRun":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_CET7J3W4XN2ETZBWYKSNKHM7G3","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_FF8N9B5H1VRGXY0WMAFBVB38YP","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_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","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_WAW7W57697K4KPT4E9A9WCAQJY","description":"The lint input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_0N4EDS279R3MW46F50RY2KHPWQ","triggers":"LINT_FOUND","triggersId":"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","source":{"kind":"trait","trait":"OrbLintNavigate","traitId":"trt_33BFGBPX06EG30GA6A1WEKQ58G"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_WAW7W57697K4KPT4E9A9WCAQJY","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_WAW7W57697K4KPT4E9A9WCAQJY","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_SW1Q2DBDZ4PZJ7TSP2N3T0BWZN","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_10EBC1JSHPCRVBQ61JQ9NYZ98P","name":"Lint Called","description":"Run `orb lint navigate` with its arguments and working directory.","synonyms":"orb lint navigate","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-navigate","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","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_WAW7W57697K4KPT4E9A9WCAQJY","name":"Lint Input Unread","description":"The lint input could not read or lower the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_CET7J3W4XN2ETZBWYKSNKHM7G3","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_FF8N9B5H1VRGXY0WMAFBVB38YP","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_SW1Q2DBDZ4PZJ7TSP2N3T0BWZN"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_10EBC1JSHPCRVBQ61JQ9NYZ98P","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["or",["=","@a",null],["!=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint navigate <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_10EBC1JSHPCRVBQ61JQ9NYZ98P","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["and",["!=","@a",null],["=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["if",["=","@a",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint navigate <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint navigate <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_SW1Q2DBDZ4PZJ7TSP2N3T0BWZN"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","guard":["and",["=","@payload.rule","navigate"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint navigate: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","guard":["and",["=","@payload.rule","navigate"],[">",["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_WAW7W57697K4KPT4E9A9WCAQJY","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint navigate: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK","fingerprint":"9d8434d8a85f68d24e8e8ade07ebec37eb2fd60e2feaf05adea0201ad6ad978f"}},{"ref":"LeavesUse.traits.OrbEffectLeaves","id":"trt_T6909WCSTTCXDFTBDER3HH2K4Z","name":"OrbEffectLeaves","listens":[{"event":"EFFECT_LEAVES_EXPAND","triggers":"EFFECT_LEAVES_EXPAND","source":{"kind":"trait","trait":"OrbLintNavigate"}},{"event":"LINT_EXPR_NODES","triggers":"LINT_EXPR_NODES","source":{"kind":"trait","trait":"OrbLintExprNodes"}}]},{"ref":"Input.traits.OrbLintExprNodes","id":"trt_A6ZNZPEM6BA35WGJSKRNDXR3RY","name":"OrbLintExprNodes","listens":[{"event":"LINT_OPERATOR_NAMES","triggers":"LINT_OPERATOR_NAMES","source":{"kind":"trait","trait":"OrbLintInput"}},{"event":"LINT_OPERATOR_SEMANTICS","triggers":"LINT_OPERATOR_SEMANTICS","source":{"kind":"trait","trait":"OrbLintInput"}},{"event":"LINT_OPERATOR_WALK","triggers":"LINT_OPERATOR_WALK","source":{"kind":"trait","trait":"OrbLintInput"}},{"event":"LINT_EXPR_ASK","triggers":"LINT_EXPR_ASK","source":{"kind":"trait","trait":"OrbEffectLeaves"}}]},{"ref":"Input.traits.Versions","id":"trt_PW2T1M4WXYEEZDGZP4WTM3Y97D","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_FV13D1RZSYFWZD2PTZ2X5KZ0EB","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintNavigateCli"}},{"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":"OrbLintNavigateOrbitalStart","id":"pag_TDBCGH8W2YE1F2CWPQAAS6BBH0","path":"","protocol":"boot","traits":[{"ref":"OrbLintNavigate","refId":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},{"ref":"OrbLintNavigateCli","refId":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},{"ref":"OrbLintInput","refId":"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R"},{"ref":"Packs","refId":"trt_FV13D1RZSYFWZD2PTZ2X5KZ0EB"},{"ref":"OrbEffectLeaves","refId":"trt_T6909WCSTTCXDFTBDER3HH2K4Z"},{"ref":"OrbLintExprNodes","refId":"trt_A6ZNZPEM6BA35WGJSKRNDXR3RY"},{"ref":"Versions","refId":"trt_PW2T1M4WXYEEZDGZP4WTM3Y97D"}]}],"types":{"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}],"LintNavigateCodes":[{"nullable":false,"name":"effUnknownType","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":"pInvalidPath","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":"effNavigateTargetUnreachable","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":"effNavigateMissingPayload","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"}}],"NavEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"NavExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"NavExprItem":[{"nullable":false,"name":"eff","type":"boolean","required":true}],"NavField":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"NavLazy":[{"nullable":false,"name":"path","type":"string"}],"NavLeaf":[{"nullable":false,"name":"p","type":"string","required":true},{"nullable":false,"name":"n","type":"[object]","required":true,"properties":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"ks","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"hd","type":"string","required":true},{"nullable":false,"name":"nms","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rt","type":"string","required":true},{"nullable":false,"name":"nm","type":"string","required":true},{"nullable":false,"name":"pa","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"bd","type":"number","required":true},{"nullable":false,"name":"wh","type":"string","required":true},{"nullable":false,"name":"tx","type":"string","required":true},{"nullable":false,"name":"pv","type":"boolean","required":true},{"nullable":false,"name":"hs","type":"boolean","required":true},{"nullable":false,"name":"sl","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"lb","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":true,"name":"lv","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"NavNode","projectedFrom":{"type":"NavNode"}}},{"nullable":false,"name":"oi","type":"number","required":true},{"nullable":false,"name":"ti","type":"number","required":true}],"NavMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"NavNode":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"ks","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"hd","type":"string","required":true},{"nullable":false,"name":"nms","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rt","type":"string","required":true},{"nullable":false,"name":"nm","type":"string","required":true},{"nullable":false,"name":"pa","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"bd","type":"number","required":true},{"nullable":false,"name":"wh","type":"string","required":true},{"nullable":false,"name":"tx","type":"string","required":true},{"nullable":false,"name":"pv","type":"boolean","required":true},{"nullable":false,"name":"hs","type":"boolean","required":true},{"nullable":false,"name":"sl","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"lb","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":true,"name":"lv","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"NavOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"NavPage":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"NavPageTrait":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"NavProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"items":{"nullable":false,"name":"","type":"NavOrbital","projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"lazyPages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"}],"items":{"nullable":false,"name":"","type":"NavLazy","projectedFrom":{"type":"NavLazy"}}}],"NavTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"NavTransition":[{"nullable":false,"name":"event","type":"string"}],"NavWalkProj":[{"nullable":false,"name":"sourceArg","type":"number","required":true},{"nullable":false,"name":"keyArg","type":"number","required":true},{"nullable":false,"name":"defaultArg","type":"number"}],"NavWalkSlot":[{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"args","type":"[number]","items":{"nullable":false,"name":"","type":"number"}}],"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-navigate"],"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_PJ44AR6AMY5AF8KNHK7FHRN7PM":{"id":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM","kind":"entity","bakedName":"OrbLintNavigateRun","curName":"OrbLintNavigateRun","renames":[],"owner":"workspace"},"evt_0N4EDS279R3MW46F50RY2KHPWQ":{"id":"evt_0N4EDS279R3MW46F50RY2KHPWQ","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_10EBC1JSHPCRVBQ61JQ9NYZ98P":{"id":"evt_10EBC1JSHPCRVBQ61JQ9NYZ98P","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"evt_6TSJF788ZB4FNXQM06HDS1FF7Y":{"id":"evt_6TSJF788ZB4FNXQM06HDS1FF7Y","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_8337PJ6SHSCRWRS4KSXCBZJ75R":{"id":"evt_8337PJ6SHSCRWRS4KSXCBZJ75R","kind":"event","bakedName":"EFFECT_LEAVES_HEARD","curName":"EFFECT_LEAVES_HEARD","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_BJMT1QYWPNEBAK27YF1ZMQX8P1":{"id":"evt_BJMT1QYWPNEBAK27YF1ZMQX8P1","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_CET7J3W4XN2ETZBWYKSNKHM7G3":{"id":"evt_CET7J3W4XN2ETZBWYKSNKHM7G3","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q":{"id":"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_FF8N9B5H1VRGXY0WMAFBVB38YP":{"id":"evt_FF8N9B5H1VRGXY0WMAFBVB38YP","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"evt_R2MT0CW6PS3BCQ9PA3K83T3DWM":{"id":"evt_R2MT0CW6PS3BCQ9PA3K83T3DWM","kind":"event","bakedName":"EFFECT_LEAVES_EXPAND","curName":"EFFECT_LEAVES_EXPAND","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_SW1Q2DBDZ4PZJ7TSP2N3T0BWZN":{"id":"evt_SW1Q2DBDZ4PZJ7TSP2N3T0BWZN","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"evt_WAW7W57697K4KPT4E9A9WCAQJY":{"id":"evt_WAW7W57697K4KPT4E9A9WCAQJY","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V":{"id":"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"orb_RW5YASBS4MWJAB8KNVB71AJN3Y":{"id":"orb_RW5YASBS4MWJAB8KNVB71AJN3Y","kind":"orbital","bakedName":"OrbLintNavigateOrbital","curName":"OrbLintNavigateOrbital","renames":[],"owner":"workspace"},"pag_TDBCGH8W2YE1F2CWPQAAS6BBH0":{"id":"pag_TDBCGH8W2YE1F2CWPQAAS6BBH0","kind":"page","bakedName":"OrbLintNavigateOrbitalStart","curName":"OrbLintNavigateOrbitalStart","renames":[],"owner":"workspace"},"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R":{"id":"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_33BFGBPX06EG30GA6A1WEKQ58G":{"id":"trt_33BFGBPX06EG30GA6A1WEKQ58G","kind":"trait","bakedName":"OrbLintNavigate","curName":"OrbLintNavigate","renames":[],"owner":"workspace"},"trt_A6ZNZPEM6BA35WGJSKRNDXR3RY":{"id":"trt_A6ZNZPEM6BA35WGJSKRNDXR3RY","kind":"trait","bakedName":"OrbLintExprNodes","curName":"OrbLintExprNodes","renames":[],"owner":"workspace"},"trt_FV13D1RZSYFWZD2PTZ2X5KZ0EB":{"id":"trt_FV13D1RZSYFWZD2PTZ2X5KZ0EB","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_PW2T1M4WXYEEZDGZP4WTM3Y97D":{"id":"trt_PW2T1M4WXYEEZDGZP4WTM3Y97D","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_T6909WCSTTCXDFTBDER3HH2K4Z":{"id":"trt_T6909WCSTTCXDFTBDER3HH2K4Z","kind":"trait","bakedName":"OrbEffectLeaves","curName":"OrbEffectLeaves","renames":[],"owner":"workspace"},"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK":{"id":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK","kind":"trait","bakedName":"OrbLintNavigateCli","curName":"OrbLintNavigateCli","renames":[],"owner":"workspace"}}}}
+{"typeContractVersion":1,"types":{"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}],"LintNavigateCodes":[{"nullable":false,"name":"effUnknownType","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":"pInvalidPath","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":"effNavigateTargetUnreachable","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":"effNavigateMissingPayload","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"}}],"NavEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"NavExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"NavExprItem":[{"nullable":false,"name":"eff","type":"boolean","required":true}],"NavField":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"NavLazy":[{"nullable":false,"name":"path","type":"string"}],"NavLeaf":[{"nullable":false,"name":"p","type":"string","required":true},{"nullable":false,"name":"n","type":"[object]","required":true,"properties":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"ks","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"hd","type":"string","required":true},{"nullable":false,"name":"nms","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rt","type":"string","required":true},{"nullable":false,"name":"nm","type":"string","required":true},{"nullable":false,"name":"pa","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"bd","type":"number","required":true},{"nullable":false,"name":"wh","type":"string","required":true},{"nullable":false,"name":"tx","type":"string","required":true},{"nullable":false,"name":"pv","type":"boolean","required":true},{"nullable":false,"name":"hs","type":"boolean","required":true},{"nullable":false,"name":"sl","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"lb","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":true,"name":"lv","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"NavNode","projectedFrom":{"type":"NavNode"}}},{"nullable":false,"name":"oi","type":"number","required":true},{"nullable":false,"name":"ti","type":"number","required":true}],"NavMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"NavNode":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"ks","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"hd","type":"string","required":true},{"nullable":false,"name":"nms","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rt","type":"string","required":true},{"nullable":false,"name":"nm","type":"string","required":true},{"nullable":false,"name":"pa","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"bd","type":"number","required":true},{"nullable":false,"name":"wh","type":"string","required":true},{"nullable":false,"name":"tx","type":"string","required":true},{"nullable":false,"name":"pv","type":"boolean","required":true},{"nullable":false,"name":"hs","type":"boolean","required":true},{"nullable":false,"name":"sl","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"lb","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":true,"name":"lv","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"NavOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"NavPage":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"NavPageTrait":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"NavProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"items":{"nullable":false,"name":"","type":"NavOrbital","projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"lazyPages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"}],"items":{"nullable":false,"name":"","type":"NavLazy","projectedFrom":{"type":"NavLazy"}}}],"NavTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"NavTransition":[{"nullable":false,"name":"event","type":"string"}],"NavWalkProj":[{"nullable":false,"name":"sourceArg","type":"number","required":true},{"nullable":false,"name":"keyArg","type":"number","required":true},{"nullable":false,"name":"defaultArg","type":"number"}],"NavWalkSlot":[{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"args","type":"[number]","items":{"nullable":false,"name":"","type":"number"}}],"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-navigate","version":"1.0.0","description":"std-orb-lint-navigate — the `orb lint navigate <file>` command, the port of validate_navigate and validate_send_server (effect/navigate.rs). It lowers the file with program/read, builds the declared page set (every inline page with the required payload fields of its traits' INIT events, every `expects page` route and every `uses lazy` page, a declaration keeping its own payload) and walks the effects of every inline trait transition and tick, descending through do, if, when and let. A `navigate` with no path is ORB_EFF_UNKNOWN_TYPE; a literal target that is neither an http(s) URL nor starts with / or @ is ORB_P_INVALID_PATH; a target that resolves to no declared page (the host sign-in route /login and external URLs aside, and a target that is wholly a binding) is ORB_EFF_NAVIGATE_TARGET_UNREACHABLE; a target page whose INIT requires payload fields the navigate does not pass is ORB_EFF_NAVIGATE_MISSING_PAYLOAD per field. A `send-server` with no event name is ORB_EFF_UNKNOWN_TYPE. Each finding carries the Rust path, message and suggestion (status 500, exit 1). The rule asks std-orb-effect-leaves for the navigate and send-server effects (heads: navigate, send-server) and reads the path, its str/concat prefix and the payload object's keys from their flat typed nodes. Clean answers `lint navigate: 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":"OrbLintNavigateOrbital","id":"orb_RW5YASBS4MWJAB8KNVB71AJN3Y","uses":[{"from":"almadar-std/lint-navigate","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"},{"from":"std/behaviors/std-orb-effect-leaves","as":"LeavesUse"}],"entity":{"name":"OrbLintNavigateRun","id":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"scope","type":"string","default":""},{"nullable":false,"name":"findings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}},{"nullable":false,"name":"orbitals","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"traits":{"nullable":false,"name":"traits","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"stateMachine":{"nullable":false,"name":"stateMachine","type":"object","required":false,"properties":{"transitions":{"nullable":false,"name":"transitions","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"event":{"nullable":false,"name":"event","type":"string","required":false}},"projectedFrom":{"type":"NavTransition"}}},"events":{"nullable":false,"name":"events","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"key":{"nullable":false,"name":"key","type":"string","required":false},"payloadSchema":{"nullable":false,"name":"payloadSchema","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"required":{"nullable":false,"name":"required","type":"boolean","required":false}},"projectedFrom":{"type":"NavField"}}}},"projectedFrom":{"type":"NavEvent"}}}},"projectedFrom":{"type":"NavMachine"}}},"projectedFrom":{"type":"NavTrait"}}},"pages":{"nullable":false,"name":"pages","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"path":{"nullable":false,"name":"path","type":"string","required":false},"traits":{"nullable":false,"name":"traits","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"ref":{"nullable":false,"name":"ref","type":"string","required":false},"name":{"nullable":false,"name":"name","type":"string","required":false},"stateMachine":{"nullable":false,"name":"stateMachine","type":"object","required":false,"properties":{"transitions":{"nullable":false,"name":"transitions","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"event":{"nullable":false,"name":"event","type":"string","required":false}},"projectedFrom":{"type":"NavTransition"}}},"events":{"nullable":false,"name":"events","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"key":{"nullable":false,"name":"key","type":"string","required":false},"payloadSchema":{"nullable":false,"name":"payloadSchema","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"name":{"nullable":false,"name":"name","type":"string","required":false},"required":{"nullable":false,"name":"required","type":"boolean","required":false}},"projectedFrom":{"type":"NavField"}}}},"projectedFrom":{"type":"NavEvent"}}}},"projectedFrom":{"type":"NavMachine"}}},"projectedFrom":{"type":"NavPageTrait"}}}},"projectedFrom":{"type":"NavPage"}}},"expects":{"nullable":false,"name":"expects","type":"array","required":false,"items":{"nullable":false,"type":"object","properties":{"kind":{"nullable":false,"name":"kind","type":"string","required":false},"path":{"nullable":false,"name":"path","type":"string","required":false},"protocol":{"nullable":false,"name":"protocol","type":"string","required":false}},"projectedFrom":{"type":"NavExpect"}}}},"projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"lazyPages","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"path":{"nullable":false,"name":"path","type":"string","required":false}},"projectedFrom":{"type":"NavLazy"}}}]},"traits":[{"name":"OrbLintNavigate","id":"trt_33BFGBPX06EG30GA6A1WEKQ58G","effectRow":[{"kind":"emit","resource":"EFFECT_LEAVES_EXPAND"},{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.lazyPages"},{"kind":"set","resource":"@entity.orbitals"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintNavigateRun","linkedEntityId":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM","entityRefIds":{"OrbLintNavigateRun":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM"},"emits":[{"event":"EFFECT_LEAVES_EXPAND","eventId":"evt_R2MT0CW6PS3BCQ9PA3K83T3DWM","description":"Ask std-orb-effect-leaves to flatten the effects of every inline trait.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"requestId","type":"string","required":true},{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"items":{"nullable":false,"name":"","type":"NavOrbital","projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"heads","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}]},{"event":"LINT_FOUND","eventId":"evt_0N4EDS279R3MW46F50RY2KHPWQ","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_6TSJF788ZB4FNXQM06HDS1FF7Y","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"EFFECT_LEAVES_EXPANDED","triggers":"EFFECT_LEAVES_HEARD","triggersId":"evt_8337PJ6SHSCRWRS4KSXCBZJ75R","source":{"kind":"trait","trait":"OrbEffectLeaves","traitId":"trt_T6909WCSTTCXDFTBDER3HH2K4Z"}},{"event":"LINT_INPUT","eventId":"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q","triggers":"LINT_INPUT","triggersId":"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_BJMT1QYWPNEBAK27YF1ZMQX8P1","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q","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":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"items":{"nullable":false,"name":"","type":"NavOrbital","projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"lazyPages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"}],"items":{"nullable":false,"name":"","type":"NavLazy","projectedFrom":{"type":"NavLazy"}}}],"projectedFrom":{"type":"NavProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"EFFECT_LEAVES_HEARD","id":"evt_8337PJ6SHSCRWRS4KSXCBZJ75R","name":"Effect Leaves Heard","description":"std-orb-effect-leaves's answer: the effects to check, flattened.","payloadSchema":[{"nullable":false,"name":"requestId","type":"string","required":true},{"nullable":false,"name":"leaves","type":"[object]","required":true,"properties":[{"nullable":false,"name":"p","type":"string","required":true},{"nullable":false,"name":"n","type":"[object]","required":true,"properties":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"ks","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"hd","type":"string","required":true},{"nullable":false,"name":"nms","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rt","type":"string","required":true},{"nullable":false,"name":"nm","type":"string","required":true},{"nullable":false,"name":"pa","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"bd","type":"number","required":true},{"nullable":false,"name":"wh","type":"string","required":true},{"nullable":false,"name":"tx","type":"string","required":true},{"nullable":false,"name":"pv","type":"boolean","required":true},{"nullable":false,"name":"hs","type":"boolean","required":true},{"nullable":false,"name":"sl","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"lb","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":true,"name":"lv","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"NavNode","projectedFrom":{"type":"NavNode"}}},{"nullable":false,"name":"oi","type":"number","required":true},{"nullable":false,"name":"ti","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"NavLeaf","projectedFrom":{"type":"NavLeaf"}}}],"listened":true},{"key":"LINT_FINISH","id":"evt_6TSJF788ZB4FNXQM06HDS1FF7Y","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"EFFECT_LEAVES_EXPAND","id":"evt_R2MT0CW6PS3BCQ9PA3K83T3DWM","name":"Effect Leaves Expand","description":"Ask std-orb-effect-leaves to flatten the effects of every inline trait.","tier":"internal","payloadSchema":[{"nullable":false,"name":"requestId","type":"string","required":true},{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"items":{"nullable":false,"name":"","type":"NavOrbital","projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"heads","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}]},{"key":"LINT_FOUND","id":"evt_0N4EDS279R3MW46F50RY2KHPWQ","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_BJMT1QYWPNEBAK27YF1ZMQX8P1"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.orbitals",["object/get","@payload.program","orbitals",[]]],["set","@entity.lazyPages",["object/get","@payload.program","lazyPages",[]]],["emit","EFFECT_LEAVES_EXPAND",{"requestId":["str/concat","navigate","@payload.scope"],"orbitals":["object/get","@payload.program","orbitals",[]],"heads":["list","navigate","send-server"]}]]},{"from":"ready","to":"ready","event":"EFFECT_LEAVES_HEARD","eventId":"evt_8337PJ6SHSCRWRS4KSXCBZJ75R","guard":["=","@payload.requestId",["str/concat","navigate","@entity.scope"]],"effects":[["set","@entity.findings",["let",[["orbitals","@entity.orbitals"],["nn",{"k":"nil","ks":[],"hd":"","nms":[],"rt":"","nm":"","pa":[],"bd":-1,"wh":"","tx":"","pv":false,"hs":false,"sl":[],"lb":[],"lv":null},"{\"version\":1,\"name\":\"NavNode\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}"]],["let",[["entries",["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["o",["array/nth","@orbitals","@oi"]]],["let",[["visible",["array/flatten",["array/map",["array/slice","@orbitals",0,["+","@oi",1]],["fn","vo",["array/filter",["object/get","@vo","traits",[]],["fn","vt",["object/has","@vt","stateMachine"]]]]]]]],["array/concat",["array/flatten",["array/map",["object/get","@o","pages",[]],["fn","pg",["let",[["pth",["object/get","@pg","path"]]],["if",["=","@pth",null],[],[{"path":"@pth","set":true,"req":["array/unique",["array/flatten",["array/map",["object/get","@pg","traits",[]],["fn","r",["let",[["td",["if",["object/has","@r","stateMachine"],"@r",["array/last",["array/filter","@visible",["fn","vt",["=",["object/get","@vt","name",""],["if",["object/has","@r","ref"],["object/get","@r","ref"],["object/get","@r","name",""]]]]]]]]],["if",["=","@td",null],["array/filter",[""],["fn","q",false]],["array/flatten",["array/map",["array/filter",["object/get",["object/get","@td","stateMachine",{}],"events",[]],["fn","ev",["=",["object/get","@ev","key",""],"INIT"]]],["fn","ev",["array/map",["array/filter",["object/get","@ev","payloadSchema",[]],["fn","fd",["object/get","@fd","required",false]]],["fn","fd",["object/get","@fd","name",""]]]]]]]]]]]]}]]]]]],["array/map",["array/filter",["object/get","@o","expects",[]],["fn","ex",["and",["=",["object/get","@ex","kind",""],"page"],["not",["object/has","@ex","protocol"]]]]],["fn","ex",{"path":["object/get","@ex","path",""],"set":false,"req":["array/filter",[""],["fn","q",false]]}]]]]]]]],["array/map","@entity.lazyPages",["fn","lz",{"path":["object/get","@lz","path",""],"set":false,"req":["array/filter",[""],["fn","q",false]]}]]]]],["let",[["reg",["array/reduce","@entries",["array/filter","@entries",["fn","q",false]],["fn",["acc","en"],["let",[["idx",["array/findIndex","@acc",["fn","x",["=",["object/get","@x","path"],["object/get","@en","path"]]]]]],["if",["<","@idx",0],["array/append","@acc",{"path":["object/get","@en","path"],"set":["object/get","@en","set"],"req":["object/get","@en","req"]}],["if",["object/get","@en","set"],["array/map",["array/range",0,["array/len","@acc"]],["fn","j",["if",["=","@j","@idx"],{"path":["object/get","@en","path"],"set":true,"req":["object/get","@en","req"]},["array/nth","@acc","@j"]]]],"@acc"]]]]]]],["let",[["ls","@payload.leaves"]],["array/flatten",["array/map","@ls",["fn","l",["let",[["n",["object/get","@l","n",[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"NavNode\"}},\"named\":{\"NavNode\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}}"],["p",["object/get","@l","p"]]],["let",[["rti",["-",["array/len","@n"],1]],["rt",["default",["array/nth","@n","@rti"],"@nn"],"{\"version\":1,\"name\":\"NavNode\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}"]],["let",[["rtks",["object/get","@rt","ks"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}}}"]],["let",[["rtcr",["array/map",["array/range",0,["array/len","@rtks"]],["fn","j",["-",["+",["-","@rti",["array/sum","@rtks"]],["array/sum",["array/take","@rtks",["+","@j",1]]]],1]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}}}"]],["if",["not",["and",["array/includes",["call","arr","proj","rui"],["object/get","@rt","k"]],[">",["array/len","@rtks"],0],["or",["=",["default",["array/first",["default",["object/get",["default",["array/nth","@n",["default",["array/nth","@rtcr",0],0]],"@nn"],"lv"],[]]],""],"navigate"],["=",["default",["array/first",["default",["object/get",["default",["array/nth","@n",["default",["array/nth","@rtcr",0],0]],"@nn"],"lv"],[]]],""],"send-server"]]]],[],["let",[["nk",["array/len","@rtks"]],["h",["default",["array/first",["default",["object/get",["default",["array/nth","@n",["default",["array/nth","@rtcr",0],0]],"@nn"],"lv"],[]]],""]]],["if",["=","@h","send-server"],["if",["<","@nk",2],[{"code":"@config.codes.effUnknownType.code","path":"@p","message":"send-server requires an event name","suggestion":"Use: [\"send-server\", \"EVENT_NAME\"] or [\"send-server\", \"EVENT_NAME\", { payload }]","severity":"error"}],[]],["if",["<","@nk",2],[{"code":"@config.codes.effUnknownType.code","path":"@p","message":"navigate requires a path","suggestion":"Use: [\"navigate\", \"/path\"]","severity":"error"}],["let",[["ti",["default",["array/nth","@rtcr",1],0]],["t",["default",["array/nth","@n","@ti"],"@nn"],"{\"version\":1,\"name\":\"NavNode\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}"]],["let",[["tks",["object/get","@t","ks"],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}}}"]],["let",[["tcr",["array/map",["array/range",0,["array/len","@tks"]],["fn","j",["-",["+",["-","@ti",["array/sum","@tks"]],["array/sum",["array/take","@tks",["+","@j",1]]]],1]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}}}"]],["let",[["t1i",["default",["array/nth","@tcr",1],0]],["t1",["default",["array/nth","@n","@t1i"],"@nn"],"{\"version\":1,\"name\":\"NavNode\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}"]],["let",[["oi",["default",["array/nth","@rtcr",2],0]],["o",["default",["array/nth","@n","@oi"],"@nn"],"{\"version\":1,\"name\":\"NavNode\",\"type\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"k\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"ks\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"hd\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nms\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"rt\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"nm\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pa\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}},\"required\":true,\"constraints\":[]},{\"name\":\"bd\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"wh\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"tx\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"pv\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"hs\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"sl\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lb\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"number\"}},\"required\":true,\"constraints\":[]},{\"name\":\"lv\",\"fieldType\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}},\"required\":false,\"constraints\":[]}]}}"]],["let",[["hasnp",["or",["or",["and",["=",["object/get","@t","k"],"nil"],["!=",["object/get","@t","lv"],null]],["and",["=",["object/get","@t","k"],"bind"],["=",["object/get","@t","wh"],"w"]],["=",["object/get","@t","k"],"cat"]],["and",["array/includes",["call","arr","proj","rui"],["object/get","@t","k"]],[">",["array/len","@tks"],1],["=",["default",["array/first",["default",["object/get",["default",["array/nth","@n",["default",["array/nth","@tcr",0],0]],"@nn"],"lv"],[]]],""],"str/concat"],["or",["and",["=",["object/get","@t1","k"],"nil"],["!=",["object/get","@t1","lv"],null]],["and",["=",["object/get","@t1","k"],"bind"],["=",["object/get","@t1","wh"],"w"]],["=",["object/get","@t1","k"],"cat"]]]]],["np",["if",["or",["and",["=",["object/get","@t","k"],"nil"],["!=",["object/get","@t","lv"],null]],["and",["=",["object/get","@t","k"],"bind"],["=",["object/get","@t","wh"],"w"]],["=",["object/get","@t","k"],"cat"]],["if",["=",["object/get","@t","k"],"nil"],["default",["array/first",["default",["object/get","@t","lv"],[]]],""],["if",["=",["object/get","@t","k"],"bind"],["object/get","@t","tx"],["object/get",["default",["array/nth","@n",["-","@ti",1]],"@nn"],"tx"]]],["if",["and",["array/includes",["call","arr","proj","rui"],["object/get","@t","k"]],[">",["array/len","@tks"],1],["=",["default",["array/first",["default",["object/get",["default",["array/nth","@n",["default",["array/nth","@tcr",0],0]],"@nn"],"lv"],[]]],""],"str/concat"],["or",["and",["=",["object/get","@t1","k"],"nil"],["!=",["object/get","@t1","lv"],null]],["and",["=",["object/get","@t1","k"],"bind"],["=",["object/get","@t1","wh"],"w"]],["=",["object/get","@t1","k"],"cat"]]],["if",["=",["object/get","@t1","k"],"nil"],["default",["array/first",["default",["object/get","@t1","lv"],[]]],""],["if",["=",["object/get","@t1","k"],"bind"],["object/get","@t1","tx"],["object/get",["default",["array/nth","@n",["-","@t1i",1]],"@nn"],"tx"]]],""]],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"],["okeys",["if",["and",[">","@nk",2],["=",["object/get","@o","k"],"obj"]],["object/get","@o","nms"],[]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["if",["not","@hasnp"],[],["let",[["ext",["or",["str/startsWith","@np","http://"],["str/startsWith","@np","https://"]]],["dyn",["array/includes",["call","arr","proj","rui","let","lam"],["object/get","@t","k"]]],["q",["str/includes","@np","?"]],["route",["array/first",["str/split","@np","?"]]]],["if",["=","@route",null],[],["array/concat",["if",["or","@ext",["str/startsWith","@np","/"],["str/startsWith","@np",["quote","\"\\u0040\""]]],[],[{"code":"@config.codes.pInvalidPath.code","path":"@p","message":["str/concat","Navigate path should start with '/': '","@np","'"],"suggestion":"Use absolute paths starting with /","severity":"error"}]],["if",["or","@ext",["=",["str/replace-pattern","@route","/+$",""],"/login"]],[],["let",[["m",["if","@q",["let",[["ex",["array/find","@reg",["fn","r",["=",["object/get","@r","path"],"@route"]]]]],["if",["!=","@ex",null],"@ex",["let",[["pm",["array/find","@reg",["fn","r",["let",[["pp",["array/filter",["str/split","@route","/"],["fn","s",["!=","@s",""]]]],["qq",["array/filter",["str/split",["object/get","@r","path"],"/"],["fn","s",["!=","@s",""]]]]],["and",["=",["array/len","@pp"],["array/len","@qq"]],["array/every",["array/zip","@qq","@pp"],["fn","z",["or",["str/startsWith",["array/nth","@z",0],":"],["=",["array/nth","@z",0],["array/nth","@z",1]]]]]]]]]]],["if",["!=","@pm",null],"@pm",["array/find","@reg",["fn","r",["str/startsWith",["object/get","@r","path"],["str/replace-pattern","@route","/+$",""]]]]]]]],["if","@dyn",["let",[["first",["array/first",["array/sort",["array/map",["array/filter","@reg",["fn","r",["str/startsWith",["object/get","@r","path"],"@np"]]],["fn","r",["object/get","@r","path"]]]]]]],["if",["=","@first",null],null,["array/find","@reg",["fn","r",["=",["object/get","@r","path"],"@first"]]]]],["let",[["ex",["array/find","@reg",["fn","r",["=",["object/get","@r","path"],"@np"]]]]],["if",["!=","@ex",null],"@ex",["let",[["pm",["array/find","@reg",["fn","r",["let",[["pp",["array/filter",["str/split","@np","/"],["fn","s",["!=","@s",""]]]],["qq",["array/filter",["str/split",["object/get","@r","path"],"/"],["fn","s",["!=","@s",""]]]]],["and",["=",["array/len","@pp"],["array/len","@qq"]],["array/every",["array/zip","@qq","@pp"],["fn","z",["or",["str/startsWith",["array/nth","@z",0],":"],["=",["array/nth","@z",0],["array/nth","@z",1]]]]]]]]]]],["if",["!=","@pm",null],"@pm",["array/find","@reg",["fn","r",["str/startsWith",["object/get","@r","path"],["str/replace-pattern","@np","/+$",""]]]]]]]]]]]],["array/concat",["if",["and",["=","@m",null],[">",["array/len","@reg"],0],["not",["str/startsWith","@np",["quote","\"\\u0040\""]]]],[{"code":"@config.codes.effNavigateTargetUnreachable.code","path":"@p","message":["str/concat","Navigate target '","@np","' doesn't resolve to any declared page"],"suggestion":["str/concat","Declare a matching `pages[].path` (e.g. `page \"","@np","\" -> ...`) or correct the navigate path"],"severity":"error"}],[]],["if",["=","@m",null],[],["array/flatten",["array/map",["object/get","@m","req"],["fn","rf",["if",["array/includes","@okeys","@rf"],[],[{"code":"@config.codes.effNavigateMissingPayload.code","path":"@p","message":["str/concat","Navigation to '",["object/get","@m","path"],"' requires payload field '","@rf","' for INIT event"],"suggestion":["str/concat","Add payload to navigate effect: [\"navigate\", \"","@np","\", { \"","@rf","\": \"@entity.","@rf","\" }]"],"severity":"error"}]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_6TSJF788ZB4FNXQM06HDS1FF7Y","effects":[["emit","LINT_FOUND",{"rule":"navigate","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintNavigateCodes","default":{"effUnknownType":{"code":"ORB_EFF_UNKNOWN_TYPE","category":"effect","description":"An effect has an unknown type or is malformed"},"pInvalidPath":{"code":"ORB_P_INVALID_PATH","category":"page","description":"A page or navigate path does not start with a slash"},"effNavigateTargetUnreachable":{"code":"ORB_EFF_NAVIGATE_TARGET_UNREACHABLE","category":"effect","description":"A navigate target path does not resolve to any declared page"},"effNavigateMissingPayload":{"code":"ORB_EFF_NAVIGATE_MISSING_PAYLOAD","category":"effect","description":"A navigate effect omits a payload field the target page requires for its INIT event"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"effUnknownType":{"nullable":false,"name":"effUnknownType","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"}},"pInvalidPath":{"nullable":false,"name":"pInvalidPath","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"}},"effNavigateTargetUnreachable":{"nullable":false,"name":"effNavigateTargetUnreachable","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"}},"effNavigateMissingPayload":{"nullable":false,"name":"effNavigateMissingPayload","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":"LintNavigateCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_33BFGBPX06EG30GA6A1WEKQ58G","fingerprint":"7233e02ca98739303ada3ef6d6f54bc0520f919ac36081f185992cb5da0153f5"}},{"name":"OrbLintNavigateCli","id":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintNavigateRun","linkedEntityId":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM","entityRefIds":{"OrbLintNavigateRun":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_CET7J3W4XN2ETZBWYKSNKHM7G3","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_FF8N9B5H1VRGXY0WMAFBVB38YP","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_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","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_WAW7W57697K4KPT4E9A9WCAQJY","description":"The lint input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_0N4EDS279R3MW46F50RY2KHPWQ","triggers":"LINT_FOUND","triggersId":"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","source":{"kind":"trait","trait":"OrbLintNavigate","traitId":"trt_33BFGBPX06EG30GA6A1WEKQ58G"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_WAW7W57697K4KPT4E9A9WCAQJY","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_WAW7W57697K4KPT4E9A9WCAQJY","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_SW1Q2DBDZ4PZJ7TSP2N3T0BWZN","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_10EBC1JSHPCRVBQ61JQ9NYZ98P","name":"Lint Called","description":"Run `orb lint navigate` with its arguments and working directory.","synonyms":"orb lint navigate","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-navigate","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","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_WAW7W57697K4KPT4E9A9WCAQJY","name":"Lint Input Unread","description":"The lint input could not read or lower the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_CET7J3W4XN2ETZBWYKSNKHM7G3","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_FF8N9B5H1VRGXY0WMAFBVB38YP","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_SW1Q2DBDZ4PZJ7TSP2N3T0BWZN"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_10EBC1JSHPCRVBQ61JQ9NYZ98P","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["or",["=","@a",null],["!=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint navigate <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_10EBC1JSHPCRVBQ61JQ9NYZ98P","guard":["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["and",["!=","@a",null],["=",["array/len",["object/get","@a","argv"]],1]]],"effects":[["let",[["a",["json/parse","@payload.rawBody","OrbCommandArgs"]]],["if",["=","@a",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint navigate <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint navigate <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_SW1Q2DBDZ4PZJ7TSP2N3T0BWZN"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","guard":["and",["=","@payload.rule","navigate"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint navigate: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","guard":["and",["=","@payload.rule","navigate"],[">",["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_WAW7W57697K4KPT4E9A9WCAQJY","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint navigate: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK","fingerprint":"9d8434d8a85f68d24e8e8ade07ebec37eb2fd60e2feaf05adea0201ad6ad978f"}},{"ref":"LeavesUse.traits.OrbEffectLeaves","id":"trt_T6909WCSTTCXDFTBDER3HH2K4Z","name":"OrbEffectLeaves","listens":[{"event":"EFFECT_LEAVES_EXPAND","triggers":"EFFECT_LEAVES_EXPAND","source":{"kind":"trait","trait":"OrbLintNavigate"}},{"event":"LINT_EXPR_NODES","triggers":"LINT_EXPR_NODES","source":{"kind":"trait","trait":"OrbLintExprNodes"}}]},{"ref":"Input.traits.OrbLintExprNodes","id":"trt_A6ZNZPEM6BA35WGJSKRNDXR3RY","name":"OrbLintExprNodes","listens":[{"event":"LINT_OPERATOR_NAMES","triggers":"LINT_OPERATOR_NAMES","source":{"kind":"trait","trait":"OrbLintInput"}},{"event":"LINT_OPERATOR_SEMANTICS","triggers":"LINT_OPERATOR_SEMANTICS","source":{"kind":"trait","trait":"OrbLintInput"}},{"event":"LINT_OPERATOR_WALK","triggers":"LINT_OPERATOR_WALK","source":{"kind":"trait","trait":"OrbLintInput"}},{"event":"LINT_EXPR_ASK","triggers":"LINT_EXPR_ASK","source":{"kind":"trait","trait":"OrbEffectLeaves"}}]},{"ref":"Input.traits.Versions","id":"trt_PW2T1M4WXYEEZDGZP4WTM3Y97D","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_FV13D1RZSYFWZD2PTZ2X5KZ0EB","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintNavigateCli"}},{"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":"OrbLintNavigateOrbitalStart","id":"pag_TDBCGH8W2YE1F2CWPQAAS6BBH0","path":"","protocol":"boot","traits":[{"ref":"OrbLintNavigate","refId":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},{"ref":"OrbLintNavigateCli","refId":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},{"ref":"OrbLintInput","refId":"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R"},{"ref":"Packs","refId":"trt_FV13D1RZSYFWZD2PTZ2X5KZ0EB"},{"ref":"OrbEffectLeaves","refId":"trt_T6909WCSTTCXDFTBDER3HH2K4Z"},{"ref":"OrbLintExprNodes","refId":"trt_A6ZNZPEM6BA35WGJSKRNDXR3RY"},{"ref":"Versions","refId":"trt_PW2T1M4WXYEEZDGZP4WTM3Y97D"}]}],"types":{"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}],"LintNavigateCodes":[{"nullable":false,"name":"effUnknownType","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":"pInvalidPath","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":"effNavigateTargetUnreachable","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":"effNavigateMissingPayload","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"}}],"NavEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"NavExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"NavExprItem":[{"nullable":false,"name":"eff","type":"boolean","required":true}],"NavField":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"NavLazy":[{"nullable":false,"name":"path","type":"string"}],"NavLeaf":[{"nullable":false,"name":"p","type":"string","required":true},{"nullable":false,"name":"n","type":"[object]","required":true,"properties":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"ks","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"hd","type":"string","required":true},{"nullable":false,"name":"nms","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rt","type":"string","required":true},{"nullable":false,"name":"nm","type":"string","required":true},{"nullable":false,"name":"pa","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"bd","type":"number","required":true},{"nullable":false,"name":"wh","type":"string","required":true},{"nullable":false,"name":"tx","type":"string","required":true},{"nullable":false,"name":"pv","type":"boolean","required":true},{"nullable":false,"name":"hs","type":"boolean","required":true},{"nullable":false,"name":"sl","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"lb","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":true,"name":"lv","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"NavNode","projectedFrom":{"type":"NavNode"}}},{"nullable":false,"name":"oi","type":"number","required":true},{"nullable":false,"name":"ti","type":"number","required":true}],"NavMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"NavNode":[{"nullable":false,"name":"k","type":"string","required":true},{"nullable":false,"name":"ks","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"hd","type":"string","required":true},{"nullable":false,"name":"nms","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"rt","type":"string","required":true},{"nullable":false,"name":"nm","type":"string","required":true},{"nullable":false,"name":"pa","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"bd","type":"number","required":true},{"nullable":false,"name":"wh","type":"string","required":true},{"nullable":false,"name":"tx","type":"string","required":true},{"nullable":false,"name":"pv","type":"boolean","required":true},{"nullable":false,"name":"hs","type":"boolean","required":true},{"nullable":false,"name":"sl","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"lb","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":true,"name":"lv","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"NavOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"NavPage":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"NavPageTrait":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"NavProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavTrait","projectedFrom":{"type":"NavTrait"}}},{"nullable":false,"name":"pages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"items":{"nullable":false,"name":"","type":"NavPageTrait","projectedFrom":{"type":"NavPageTrait"}}}],"items":{"nullable":false,"name":"","type":"NavPage","projectedFrom":{"type":"NavPage"}}},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"path","type":"string"},{"nullable":false,"name":"protocol","type":"string"}],"items":{"nullable":false,"name":"","type":"NavExpect","projectedFrom":{"type":"NavExpect"}}}],"items":{"nullable":false,"name":"","type":"NavOrbital","projectedFrom":{"type":"NavOrbital"}}},{"nullable":false,"name":"lazyPages","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string"}],"items":{"nullable":false,"name":"","type":"NavLazy","projectedFrom":{"type":"NavLazy"}}}],"NavTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"}],"items":{"nullable":false,"name":"","type":"NavTransition","projectedFrom":{"type":"NavTransition"}}},{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"required","type":"boolean"}],"items":{"nullable":false,"name":"","type":"NavField","projectedFrom":{"type":"NavField"}}}],"items":{"nullable":false,"name":"","type":"NavEvent","projectedFrom":{"type":"NavEvent"}}}],"projectedFrom":{"type":"NavMachine"}}],"NavTransition":[{"nullable":false,"name":"event","type":"string"}],"NavWalkProj":[{"nullable":false,"name":"sourceArg","type":"number","required":true},{"nullable":false,"name":"keyArg","type":"number","required":true},{"nullable":false,"name":"defaultArg","type":"number"}],"NavWalkSlot":[{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"args","type":"[number]","items":{"nullable":false,"name":"","type":"number"}}],"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-navigate"],"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_PJ44AR6AMY5AF8KNHK7FHRN7PM":{"id":"ent_PJ44AR6AMY5AF8KNHK7FHRN7PM","kind":"entity","bakedName":"OrbLintNavigateRun","curName":"OrbLintNavigateRun","renames":[],"owner":"workspace"},"evt_0N4EDS279R3MW46F50RY2KHPWQ":{"id":"evt_0N4EDS279R3MW46F50RY2KHPWQ","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_10EBC1JSHPCRVBQ61JQ9NYZ98P":{"id":"evt_10EBC1JSHPCRVBQ61JQ9NYZ98P","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"evt_6TSJF788ZB4FNXQM06HDS1FF7Y":{"id":"evt_6TSJF788ZB4FNXQM06HDS1FF7Y","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_8337PJ6SHSCRWRS4KSXCBZJ75R":{"id":"evt_8337PJ6SHSCRWRS4KSXCBZJ75R","kind":"event","bakedName":"EFFECT_LEAVES_HEARD","curName":"EFFECT_LEAVES_HEARD","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_BJMT1QYWPNEBAK27YF1ZMQX8P1":{"id":"evt_BJMT1QYWPNEBAK27YF1ZMQX8P1","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_CET7J3W4XN2ETZBWYKSNKHM7G3":{"id":"evt_CET7J3W4XN2ETZBWYKSNKHM7G3","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q":{"id":"evt_D9Z39F1PA5V52YV1PQ7S4A7E2Q","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_FF8N9B5H1VRGXY0WMAFBVB38YP":{"id":"evt_FF8N9B5H1VRGXY0WMAFBVB38YP","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"evt_R2MT0CW6PS3BCQ9PA3K83T3DWM":{"id":"evt_R2MT0CW6PS3BCQ9PA3K83T3DWM","kind":"event","bakedName":"EFFECT_LEAVES_EXPAND","curName":"EFFECT_LEAVES_EXPAND","renames":[],"owner":"workspace","parent":"trt_33BFGBPX06EG30GA6A1WEKQ58G"},"evt_SW1Q2DBDZ4PZJ7TSP2N3T0BWZN":{"id":"evt_SW1Q2DBDZ4PZJ7TSP2N3T0BWZN","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"evt_WAW7W57697K4KPT4E9A9WCAQJY":{"id":"evt_WAW7W57697K4KPT4E9A9WCAQJY","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V":{"id":"evt_WDSQ1XB9FEMQQ4WSPQQZ6F5B4V","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK"},"orb_RW5YASBS4MWJAB8KNVB71AJN3Y":{"id":"orb_RW5YASBS4MWJAB8KNVB71AJN3Y","kind":"orbital","bakedName":"OrbLintNavigateOrbital","curName":"OrbLintNavigateOrbital","renames":[],"owner":"workspace"},"pag_TDBCGH8W2YE1F2CWPQAAS6BBH0":{"id":"pag_TDBCGH8W2YE1F2CWPQAAS6BBH0","kind":"page","bakedName":"OrbLintNavigateOrbitalStart","curName":"OrbLintNavigateOrbitalStart","renames":[],"owner":"workspace"},"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R":{"id":"trt_0S9ZVGX6VCKDPCB9TAJSM14N7R","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_33BFGBPX06EG30GA6A1WEKQ58G":{"id":"trt_33BFGBPX06EG30GA6A1WEKQ58G","kind":"trait","bakedName":"OrbLintNavigate","curName":"OrbLintNavigate","renames":[],"owner":"workspace"},"trt_A6ZNZPEM6BA35WGJSKRNDXR3RY":{"id":"trt_A6ZNZPEM6BA35WGJSKRNDXR3RY","kind":"trait","bakedName":"OrbLintExprNodes","curName":"OrbLintExprNodes","renames":[],"owner":"workspace"},"trt_FV13D1RZSYFWZD2PTZ2X5KZ0EB":{"id":"trt_FV13D1RZSYFWZD2PTZ2X5KZ0EB","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_PW2T1M4WXYEEZDGZP4WTM3Y97D":{"id":"trt_PW2T1M4WXYEEZDGZP4WTM3Y97D","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_T6909WCSTTCXDFTBDER3HH2K4Z":{"id":"trt_T6909WCSTTCXDFTBDER3HH2K4Z","kind":"trait","bakedName":"OrbEffectLeaves","curName":"OrbEffectLeaves","renames":[],"owner":"workspace"},"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK":{"id":"trt_WXFATMFQTKVX9HPQ9Y4QVJRVEK","kind":"trait","bakedName":"OrbLintNavigateCli","curName":"OrbLintNavigateCli","renames":[],"owner":"workspace"}}}}