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

@almadar/std 17.0.1 → 17.0.3

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

Files changed (325) hide show

package/behaviors/registry/cli/atoms/std-orb-lint-keyed-call-keys.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"typeContractVersion":1,"types":{"KkCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[KkVal]","required":true,"items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"at","type":"number","required":true}],"KkIdx":[{"nullable":false,"name":"","type":"Map<string,[KkCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[KkVal]","required":true,"items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"KkCall","projectedFrom":{"type":"KkCall"}}}}],"KkMachine":[{"nullable":true,"name":"transitions","type":"[KkTransition]","items":{"nullable":false,"name":"","type":"KkTransition","projectedFrom":{"type":"KkTransition"}}}],"KkOp":[{"nullable":false,"name":"emit","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"keyOnly","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}}],"KkOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkParam":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"type","type":"KkTypeRef","properties":[],"projectedFrom":{"type":"KkTypeRef"}}],"KkProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"items":{"nullable":false,"name":"","type":"KkOrbital","projectedFrom":{"type":"KkOrbital"}}}],"KkRec":[{"nullable":false,"name":"rtype","type":"string","required":true},{"nullable":false,"name":"head","type":"string","required":true},{"nullable":false,"name":"hasKey","type":"boolean","required":true},{"nullable":true,"name":"key","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":false,"name":"cancelled","type":"boolean","required":true},{"nullable":false,"name":"text","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"place","type":"string","required":true}],"KkRecs":[{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"rtype","type":"string","required":true},{"nullable":false,"name":"head","type":"string","required":true},{"nullable":false,"name":"hasKey","type":"boolean","required":true},{"nullable":true,"name":"key","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":false,"name":"cancelled","type":"boolean","required":true},{"nullable":false,"name":"text","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"place","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"KkRec","projectedFrom":{"type":"KkRec"}}}],"KkShape":[{"nullable":false,"name":"params","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"type","type":"KkTypeRef","properties":[],"projectedFrom":{"type":"KkTypeRef"}}],"items":{"nullable":false,"name":"","type":"KkParam","projectedFrom":{"type":"KkParam"}}}],"KkTick":[{"nullable":true,"name":"effects","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"stateMachine","type":"KkMachine","projectedFrom":{"type":"KkMachine"}},{"nullable":true,"name":"ticks","type":"[KkTick]","items":{"nullable":false,"name":"","type":"KkTick","projectedFrom":{"type":"KkTick"}}}],"KkTransition":[{"nullable":true,"name":"guard","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":true,"name":"effects","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkTypeNode":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"fields","type":"Map<string,KkTypeRef>","items":{"nullable":true,"name":"","type":"KkTypeRef","projectedFrom":{"type":"KkTypeRef"}}}],"KkTypeRef":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"KkTypeNode","type":"object","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"fields","type":"Map<string,KkTypeRef>","items":{"nullable":true,"name":"","type":"KkTypeRef","projectedFrom":{"type":"KkTypeRef"}}}],"projectedFrom":{"type":"KkTypeNode"}}]}],"KkVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}]}],"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}],"LintKeyedCallKeysCodes":[{"nullable":false,"name":"lintOperatorShapesUnread","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"callServiceKeyType","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":"callServiceCancelledWithoutKey","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":"callKeyUnused","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]},"name":"std-orb-lint-keyed-call-keys","version":"1.0.0","description":"std-orb-lint-keyed-call-keys — the `orb lint keyed-call-keys <file>` command, the port of the key rules of keyed_call.rs and check_key_and_cancelled: ORB_CALL_SERVICE_KEY_TYPE (a `key` that is null, an empty string, or a number, boolean, object or array literal), ORB_CALL_SERVICE_CANCELLED_WITHOUT_KEY (an `emit.cancelled` route on a call with no non-null `key`) and ORB_CALL_KEY_UNUSED (a literal `(as \"k\" CallKey)` in a program whose every keyed call is keyed by a literal, none of them \"k\"). The keyed operators come from LINT_OPERATOR_SHAPES: an operator is keyed when a param's object type has a `key` field; the param is the options object when it also has `emit`, a request that only names the call (browser/beacon) otherwise. It needs the RESOLVED program (program/read resolve). A key-type finding is reported at the top effect of the transition or tick, once per violation; an unused key at the guard or effect that holds the cast. Findings print as `[code] path: message` (status 500, exit 1); clean answers `lint keyed-call-keys: 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. A key whose type only inference decides (a number-typed @config knob, `(+ 1 2)`) is not decided here; it stays with the compiler.","orbitals":[{"name":"OrbLintKeyedCallKeysOrbital","id":"orb_K3QR6MRPS9BCMSR3C3QXBEV3ZD","uses":[{"from":"almadar-std/lint-keyed-call-keys","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintKeyedCallKeysRun","id":"ent_QHJWP4PGK789KRP3VTZBCJV7A9","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":"keyed","type":"object","default":{},"items":{"nullable":false,"type":"object","properties":{"emit":{"nullable":false,"name":"emit","type":"array","required":true,"items":{"nullable":false,"type":"number"}},"keyOnly":{"nullable":false,"name":"keyOnly","type":"array","required":true,"items":{"nullable":false,"type":"number"}}},"projectedFrom":{"type":"KkOp"}}},{"nullable":false,"name":"shapesUnread","type":"boolean","default":false}]},"traits":[{"name":"OrbLintKeyedCallKeys","id":"trt_8NX38W0D446J2CX41J8CBQZE8G","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.keyed"},{"kind":"set","resource":"@entity.scope"},{"kind":"set","resource":"@entity.shapesUnread"}],"linkedEntity":"OrbLintKeyedCallKeysRun","linkedEntityId":"ent_QHJWP4PGK789KRP3VTZBCJV7A9","entityRefIds":{"OrbLintKeyedCallKeysRun":"ent_QHJWP4PGK789KRP3VTZBCJV7A9"},"emits":[{"event":"LINT_FOUND","eventId":"evt_SMTRK25TF9X7MTEZDYCN0EX2DJ","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_AR8GRHJBVZ5XZYBN2BYAX1RY67","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_QJ3W9RH77JKKS2DZAGX671PC0Y","triggers":"LINT_INPUT","triggersId":"evt_QJ3W9RH77JKKS2DZAGX671PC0Y","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_37QYZGZD2YPHFA3MG8RDCXXN98"}},{"event":"LINT_OPERATOR_SHAPES","triggers":"SHAPES_HEARD","triggersId":"evt_7E51G9HBH2NRH0352NYH97HKTQ","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_37QYZGZD2YPHFA3MG8RDCXXN98"}},{"event":"LINT_OPERATOR_SHAPES_UNREAD","triggers":"SHAPES_UNREAD","triggersId":"evt_BNNF06ET6YD3F5M9SS4TAESVWQ","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_37QYZGZD2YPHFA3MG8RDCXXN98"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_2WCGY62FZ07ZGCYN2M3R9KWEM5","name":"Initialize"},{"key":"SHAPES_HEARD","id":"evt_7E51G9HBH2NRH0352NYH97HKTQ","name":"Shapes Heard","description":"std-orb-lint-input's LINT_OPERATOR_SHAPES: every installed operator's params with their types; a param whose object type has a `key` field makes the operator keyed.","payloadSchema":[{"nullable":false,"name":"operators","type":"Map<string,KkShape>","required":true,"items":{"nullable":false,"name":"","type":"KkShape","projectedFrom":{"type":"KkShape"}}}],"listened":true},{"key":"SHAPES_UNREAD","id":"evt_BNNF06ET6YD3F5M9SS4TAESVWQ","name":"Shapes Unread","description":"std-orb-lint-input's LINT_OPERATOR_SHAPES_UNREAD: the operator table does not match the shape type.","payloadSchema":[{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"LINT_INPUT","id":"evt_QJ3W9RH77JKKS2DZAGX671PC0Y","name":"Lint Input","description":"The lint input: the file read, its language decided and the program lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"raw","type":"string","required":true},{"nullable":false,"name":"latin","type":"boolean","required":true},{"nullable":false,"name":"program","type":"object","required":true,"properties":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"items":{"nullable":false,"name":"","type":"KkOrbital","projectedFrom":{"type":"KkOrbital"}}}],"projectedFrom":{"type":"KkProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_AR8GRHJBVZ5XZYBN2BYAX1RY67","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_SMTRK25TF9X7MTEZDYCN0EX2DJ","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_2WCGY62FZ07ZGCYN2M3R9KWEM5"},{"from":"ready","to":"ready","event":"SHAPES_HEARD","eventId":"evt_7E51G9HBH2NRH0352NYH97HKTQ","effects":[["set","@entity.shapesUnread",false],["set","@entity.keyed",["object/fromEntries",["array/filter",["array/map",["object/keys","@payload.operators"],["fn","k",["let",[["fs",["array/map",["object/get",["object/get","@payload.operators","@k"],"params",[]],["fn","pr",["let",[["ty",["object/get","@pr","type",null]]],["if",["validate/object","@ty"],["let",[["nd",["as","@ty","KkTypeNode"]]],["if",["=","@nd",null],{},["object/get","@nd","fields",{}]]],{}]]]]]],["@k",{"emit":["array/filter",["array/range",0,["array/len","@fs"]],["fn","i",["and",["object/has",["array/nth","@fs","@i"],"key"],["object/has",["array/nth","@fs","@i"],"emit"]]]],"keyOnly":["array/filter",["array/range",0,["array/len","@fs"]],["fn","i",["and",["object/has",["array/nth","@fs","@i"],"key"],["not",["object/has",["array/nth","@fs","@i"],"emit"]]]]]}]]]],["fn","e",["or",[">",["array/len",["object/get",["array/nth","@e",1],"emit"]],0],[">",["array/len",["object/get",["array/nth","@e",1],"keyOnly"]],0]]]]]]]},{"from":"ready","to":"ready","event":"SHAPES_UNREAD","eventId":"evt_BNNF06ET6YD3F5M9SS4TAESVWQ","effects":[["set","@entity.shapesUnread",true]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_QJ3W9RH77JKKS2DZAGX671PC0Y","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if","@entity.shapesUnread",[{"code":"@config.codes.lintOperatorShapesUnread.code","path":"operators","message":"the installed @almadar/std operator table does not match the operator shape type, so the keyed operators are unknown","suggestion":"Reinstall @almadar/std so its operator table declares the params of every operator","severity":"error"}],["let",[["keyed","@entity.keyed"],["orbitals",["object/get","@payload.program","orbitals",[]]]],["let",[["sites",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["o",["array/nth","@orbitals","@oi"]]],["let",[["trs",["object/get","@o","traits",[]]]],["array/flatten",["array/map",["array/range",0,["array/len","@trs"]],["fn","ti",["let",[["t",["as",["array/nth","@trs","@ti"],"KkTrait"]]],["if",["or",["=","@t",null],["=",["object/get","@t","stateMachine",null],null]],[],[{"site":["str/concat","orbitals[","@oi"," (",["object/get","@o","name",""],")].traits[","@ti"," (",["object/get","@t","name",""],")]"],"trait":"@t"}]]]]]]]]]]]]],["let",[["places",["array/flatten",["array/map","@sites",["fn","s",["let",[["sm",["object/get",["object/get","@s","trait"],"stateMachine"]],["ticks",["default",["object/get",["object/get","@s","trait"],"ticks",[]],[]]]],["let",[["trans",["if",["=","@sm",null],[],["default",["object/get","@sm","transitions",[]],[]]]]],["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@trans"]],["fn","i",["let",[["tr",["array/nth","@trans","@i"]]],["let",[["effs",["default",["object/get","@tr","effects",[]],[]]]],["array/concat",["if",["!=",["object/get","@tr","guard",null],null],[{"path":["str/concat",["object/get","@s","site"],".stateMachine.transitions[","@i","].guard"],"node":["object/get","@tr","guard"],"place":"g"}],[]],["array/map",["array/range",0,["array/len","@effs"]],["fn","j",{"path":["str/concat",["object/get","@s","site"],".stateMachine.transitions[","@i","].effects[","@j","]"],"node":["array/nth","@effs","@j"],"place":"e"}]]]]]]]],["array/flatten",["array/map",["array/range",0,["array/len","@ticks"]],["fn","i",["let",[["effs",["default",["object/get",["array/nth","@ticks","@i"],"effects",[]],[]]]],["array/map",["array/range",0,["array/len","@effs"]],["fn","j",{"path":["str/concat",["object/get","@s","site"],".ticks[","@i","].effects[","@j","]"],"node":["array/nth","@effs","@j"],"place":"e"}]]]]]]]]]]]]]],["let",[["recs",["let",[["idx",["default",["as",["tree/index",["array/map","@places",["fn","pl",{"n":["object/get","@pl","node"]}]],["array/append",["object/keys","@keyed"],"as"]],"KkIdx"],{}]]],["default",["as",["array/flatten",["array/map",["array/sort",["array/flatten",["object/values","@idx"]],"at"],["fn","hit",["let",[["pl",["default",["array/nth","@places",["default",["str/to-int",["default",["array/first",["str/split",["str/slice",["object/get","@hit","path",""],1],"]"]],""]],0]],{}]],["n",["object/get","@hit","node",[]]]],["let",[["h",["array/first","@n"]]],["array/concat",["if",["and",["validate/string","@h"],["object/has","@keyed","@h"]],["let",[["spec",["object/get","@keyed","@h"]],["args",["array/slice","@n",1,["array/len","@n"]]]],["let",[["koKeys",["array/flatten",["array/map",["object/get","@spec","keyOnly"],["fn","i",["let",[["a",["if",["<","@i",["array/len","@args"]],["array/nth","@args","@i"],null]]],["if",["and",["validate/object","@a"],["object/has","@a","key"]],[{"key":["object/get","@a","key",null]}],[]]]]]]]],["let",[["emitted",["array/flatten",["array/map",["object/get","@spec","emit"],["fn","i",["let",[["a",["if",["<","@i",["array/len","@args"]],["array/nth","@args","@i"],null]]],["if",["validate/object","@a"],[{"rtype":"call","head":"@h","hasKey":["or",[">",["array/len","@koKeys"],0],["object/has","@a","key"]],"key":["if",[">",["array/len","@koKeys"],0],["object/get",["array/first","@koKeys"],"key",null],["object/get","@a","key",null]],"cancelled":["let",[["em",["object/get","@a","emit",null]]],["and",["validate/object","@em"],["object/has","@em","cancelled"],["!=",["object/get","@em","cancelled",null],null]]],"text":"","path":["object/get","@pl","path"],"place":["object/get","@pl","place"]}],[]]]]]]]],["if",[">",["array/len","@emitted"],0],"@emitted",["array/map",["array/take","@koKeys",1],["fn","ko",{"rtype":"call","head":"@h","hasKey":true,"key":["object/get","@ko","key",null],"cancelled":false,"text":"","path":["object/get","@pl","path"],"place":["object/get","@pl","place"]}]]]]]],[]],["let",[["t1",["if",[">=",["array/len","@n"],3],["array/nth","@n",1],null]],["t2",["if",[">=",["array/len","@n"],3],["array/nth","@n",2],null]]],["if",["and",["validate/string","@h"],["=","@h","as"],["validate/string","@t1"],["validate/string","@t2"],["=","@t2","CallKey"],["not",["str/startsWith","@t1",["quote","\"\\u0040\""]]],["not",["str/startsWith","@t1","?"]]],[{"rtype":"cast","head":"as","hasKey":false,"key":"","cancelled":false,"text":"@t1","path":["object/get","@pl","path"],"place":["object/get","@pl","place"]}],[]]]]]]]]],"KkRecs"],[]]]]],["let",[["texts",["array/map",["array/filter","@recs",["fn","r",["and",["=",["object/get","@r","rtype"],"call"],["object/get","@r","hasKey"]]]],["fn","r",["let",[["k",["object/get","@r","key",null]]],["if",["validate/string","@k"],["if",["or",["str/startsWith","@k",["quote","\"\\u0040\""]],["str/startsWith","@k","?"]],null,"@k"],["if",["validate/array","@k"],["let",[["k1",["if",[">=",["array/len","@k"],3],["array/nth","@k",1],null]],["k2",["if",[">=",["array/len","@k"],3],["array/nth","@k",2],null]]],["if",["and",["validate/string",["array/first","@k"]],["=",["array/first","@k"],"as"],["validate/string","@k1"],["validate/string","@k2"],["=","@k2","CallKey"],["not",["str/startsWith","@k1",["quote","\"\\u0040\""]]],["not",["str/startsWith","@k1","?"]]],"@k1",null]],null]]]]]]],["array/concat",["array/flatten",["array/map",["array/filter","@recs",["fn","r",["and",["=",["object/get","@r","rtype"],"call"],["=",["object/get","@r","place"],"e"]]]],["fn","r",["let",[["k",["object/get","@r","key",null]],["h",["object/get","@r","head"]],["hk",["object/get","@r","hasKey"]],["p",["object/get","@r","path"]]],["array/concat",["if",["and","@hk",["or",["=","@k",null],["and",["validate/string","@k"],["=","@k",""]]]],[{"code":"@config.codes.callServiceKeyType.code","path":"@p","message":["str/concat","@h"," `key` must be a non-empty string"],"suggestion":"","severity":"error"}],[]],["let",[["lk",["if",["validate/string","@k"],["if",["or",["str/startsWith","@k",["quote","\"\\u0040\""]],["str/startsWith","@k","?"],["str/startsWith","@k","$"]],null,"string"],["if",["validate/number","@k"],"number",["if",["validate/boolean","@k"],"boolean",["if",["validate/object","@k"],"object",["if",["validate/array","@k"],["if",["validate/string",["array/first","@k"]],null,"array"],null]]]]]]],["if",["and","@hk",["!=","@lk",null],["!=","@lk","string"]],[{"code":"@config.codes.callServiceKeyType.code","path":"@p","message":["str/concat","@h"," `key` must be a string, got a ","@lk"," literal"],"suggestion":"Use a string literal or a string-typed expression such as @entity.batchId","severity":"error"}],[]]],["if",["and",["object/get","@r","cancelled"],["or",["not","@hk"],["=","@k",null]]],[{"code":"@config.codes.callServiceCancelledWithoutKey.code","path":"@p","message":"emit.cancelled is declared but the call has no `key` — nothing can cancel an unkeyed call","suggestion":["str/concat","Add `key: <string expression>` to the ","@h"," options, and cancel it with (cancel-call <key>)"],"severity":"error"}],[]]]]]]],["if",["array/some","@texts",["fn","x",["=","@x",null]]],[],["array/map",["array/filter",["array/filter","@recs",["fn","r",["=",["object/get","@r","rtype"],"cast"]]],["fn","c",["not",["array/includes","@texts",["object/get","@c","text"]]]]],["fn","c",{"code":"@config.codes.callKeyUnused.code","path":["object/get","@c","path"],"message":["str/concat","`(as \"",["object/get","@c","text"],"\" CallKey)` names a key, but no call in this program runs under \"",["object/get","@c","text"],"\""],"suggestion":["str/concat","Key the call it should reach with `key: (as \"",["object/get","@c","text"],"\" CallKey)`, or use the key the call declares"],"severity":"error"}]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_AR8GRHJBVZ5XZYBN2BYAX1RY67","effects":[["emit","LINT_FOUND",{"rule":"keyed-call-keys","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintKeyedCallKeysCodes","default":{"lintOperatorShapesUnread":{"code":"ORB_LINT_OPERATOR_SHAPES_UNREAD","category":"lint","description":"The installed operator table could not be read or does not match the operator shape type, so a lint cannot run"},"callServiceKeyType":{"code":"ORB_CALL_SERVICE_KEY_TYPE","category":"call_service","description":"A keyed call-service effect has a key that is not a non-empty string"},"callServiceCancelledWithoutKey":{"code":"ORB_CALL_SERVICE_CANCELLED_WITHOUT_KEY","category":"call_service","description":"A call-service declares emit.cancelled but has no key, so nothing can cancel an unkeyed call"},"callKeyUnused":{"code":"ORB_CALL_KEY_UNUSED","category":"effect","description":"A literal (as 'k' CallKey) names a key that no keyed call in the program runs under"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"lintOperatorShapesUnread":{"nullable":false,"name":"lintOperatorShapesUnread","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"callServiceKeyType":{"nullable":false,"name":"callServiceKeyType","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"}},"callServiceCancelledWithoutKey":{"nullable":false,"name":"callServiceCancelledWithoutKey","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"}},"callKeyUnused":{"nullable":false,"name":"callKeyUnused","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":"LintKeyedCallKeysCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_8NX38W0D446J2CX41J8CBQZE8G","fingerprint":"0823f559e33165e3b78c3380aca9a4c05d40e873e6f7c66d88340060db2497d5"}},{"name":"OrbLintKeyedCallKeysCli","id":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintKeyedCallKeysRun","linkedEntityId":"ent_QHJWP4PGK789KRP3VTZBCJV7A9","entityRefIds":{"OrbLintKeyedCallKeysRun":"ent_QHJWP4PGK789KRP3VTZBCJV7A9"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_F0QJJTHWHEY8Q5ARBBSX8W3CKQ","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_0K3R7E1YVAZDN585GBPNAHVH2J","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_KFSBKVNYN9ZAMMHEQRDKJVC9CT","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_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","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_SMTRK25TF9X7MTEZDYCN0EX2DJ","triggers":"LINT_FOUND","triggersId":"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT","source":{"kind":"trait","trait":"OrbLintKeyedCallKeys","traitId":"trt_8NX38W0D446J2CX41J8CBQZE8G"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_37QYZGZD2YPHFA3MG8RDCXXN98"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_YMZ0XEG6PS3BCHZB7S01ZMWN26","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_XGJEZ6VERMQCA24QR1WKV423TQ","name":"Lint Called","description":"Run `orb lint keyed-call-keys` with its arguments and working directory.","synonyms":"orb lint keyed-call-keys","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-keyed-call-keys","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT","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_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","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_F0QJJTHWHEY8Q5ARBBSX8W3CKQ","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_0K3R7E1YVAZDN585GBPNAHVH2J","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_YMZ0XEG6PS3BCHZB7S01ZMWN26"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_XGJEZ6VERMQCA24QR1WKV423TQ","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 keyed-call-keys <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_XGJEZ6VERMQCA24QR1WKV423TQ","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 keyed-call-keys <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint keyed-call-keys <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_YMZ0XEG6PS3BCHZB7S01ZMWN26"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT","guard":["and",["=","@payload.rule","keyed-call-keys"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint keyed-call-keys: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT","guard":["and",["=","@payload.rule","keyed-call-keys"],[">",["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_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint keyed-call-keys: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9","fingerprint":"e93658fc28554e4f20006902df5c298a7e9db1506a22d761d6f41bd9c2378ea2"}},{"ref":"Input.traits.Versions","id":"trt_W21766YHQP8VV7D72P6DG2ZRHS","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_F1691P5GP0RB08X94BZH6W32YX","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_37QYZGZD2YPHFA3MG8RDCXXN98","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintKeyedCallKeysCli"}},{"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":"OrbLintKeyedCallKeysOrbitalStart","id":"pag_CEZ87TQVXHXYRMXGFFW0R66337","path":"","protocol":"boot","traits":[{"ref":"OrbLintKeyedCallKeys","refId":"trt_8NX38W0D446J2CX41J8CBQZE8G"},{"ref":"OrbLintKeyedCallKeysCli","refId":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},{"ref":"OrbLintInput","refId":"trt_37QYZGZD2YPHFA3MG8RDCXXN98"},{"ref":"Packs","refId":"trt_F1691P5GP0RB08X94BZH6W32YX"},{"ref":"Versions","refId":"trt_W21766YHQP8VV7D72P6DG2ZRHS"}]}],"types":{"KkCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[KkVal]","required":true,"items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"at","type":"number","required":true}],"KkIdx":[{"nullable":false,"name":"","type":"Map<string,[KkCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[KkVal]","required":true,"items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"KkCall","projectedFrom":{"type":"KkCall"}}}}],"KkMachine":[{"nullable":true,"name":"transitions","type":"[KkTransition]","items":{"nullable":false,"name":"","type":"KkTransition","projectedFrom":{"type":"KkTransition"}}}],"KkOp":[{"nullable":false,"name":"emit","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"keyOnly","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}}],"KkOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkParam":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"type","type":"KkTypeRef","properties":[],"projectedFrom":{"type":"KkTypeRef"}}],"KkProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"items":{"nullable":false,"name":"","type":"KkOrbital","projectedFrom":{"type":"KkOrbital"}}}],"KkRec":[{"nullable":false,"name":"rtype","type":"string","required":true},{"nullable":false,"name":"head","type":"string","required":true},{"nullable":false,"name":"hasKey","type":"boolean","required":true},{"nullable":true,"name":"key","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":false,"name":"cancelled","type":"boolean","required":true},{"nullable":false,"name":"text","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"place","type":"string","required":true}],"KkRecs":[{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"rtype","type":"string","required":true},{"nullable":false,"name":"head","type":"string","required":true},{"nullable":false,"name":"hasKey","type":"boolean","required":true},{"nullable":true,"name":"key","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":false,"name":"cancelled","type":"boolean","required":true},{"nullable":false,"name":"text","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"place","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"KkRec","projectedFrom":{"type":"KkRec"}}}],"KkShape":[{"nullable":false,"name":"params","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"type","type":"KkTypeRef","properties":[],"projectedFrom":{"type":"KkTypeRef"}}],"items":{"nullable":false,"name":"","type":"KkParam","projectedFrom":{"type":"KkParam"}}}],"KkTick":[{"nullable":true,"name":"effects","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"stateMachine","type":"KkMachine","projectedFrom":{"type":"KkMachine"}},{"nullable":true,"name":"ticks","type":"[KkTick]","items":{"nullable":false,"name":"","type":"KkTick","projectedFrom":{"type":"KkTick"}}}],"KkTransition":[{"nullable":true,"name":"guard","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":true,"name":"effects","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkTypeNode":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"fields","type":"Map<string,KkTypeRef>","items":{"nullable":true,"name":"","type":"KkTypeRef","projectedFrom":{"type":"KkTypeRef"}}}],"KkTypeRef":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"KkTypeNode","type":"object","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"fields","type":"Map<string,KkTypeRef>","items":{"nullable":true,"name":"","type":"KkTypeRef","projectedFrom":{"type":"KkTypeRef"}}}],"projectedFrom":{"type":"KkTypeNode"}}]}],"KkVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}]}],"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}],"LintKeyedCallKeysCodes":[{"nullable":false,"name":"lintOperatorShapesUnread","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"callServiceKeyType","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":"callServiceCancelledWithoutKey","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":"callKeyUnused","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]}}],"inbound":["cli-lint-keyed-call-keys"],"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_QHJWP4PGK789KRP3VTZBCJV7A9":{"id":"ent_QHJWP4PGK789KRP3VTZBCJV7A9","kind":"entity","bakedName":"OrbLintKeyedCallKeysRun","curName":"OrbLintKeyedCallKeysRun","renames":[],"owner":"workspace"},"evt_0K3R7E1YVAZDN585GBPNAHVH2J":{"id":"evt_0K3R7E1YVAZDN585GBPNAHVH2J","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"evt_2WCGY62FZ07ZGCYN2M3R9KWEM5":{"id":"evt_2WCGY62FZ07ZGCYN2M3R9KWEM5","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_7E51G9HBH2NRH0352NYH97HKTQ":{"id":"evt_7E51G9HBH2NRH0352NYH97HKTQ","kind":"event","bakedName":"SHAPES_HEARD","curName":"SHAPES_HEARD","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_AR8GRHJBVZ5XZYBN2BYAX1RY67":{"id":"evt_AR8GRHJBVZ5XZYBN2BYAX1RY67","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_BNNF06ET6YD3F5M9SS4TAESVWQ":{"id":"evt_BNNF06ET6YD3F5M9SS4TAESVWQ","kind":"event","bakedName":"SHAPES_UNREAD","curName":"SHAPES_UNREAD","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_F0QJJTHWHEY8Q5ARBBSX8W3CKQ":{"id":"evt_F0QJJTHWHEY8Q5ARBBSX8W3CKQ","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT":{"id":"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"evt_QJ3W9RH77JKKS2DZAGX671PC0Y":{"id":"evt_QJ3W9RH77JKKS2DZAGX671PC0Y","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_SMTRK25TF9X7MTEZDYCN0EX2DJ":{"id":"evt_SMTRK25TF9X7MTEZDYCN0EX2DJ","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_XGJEZ6VERMQCA24QR1WKV423TQ":{"id":"evt_XGJEZ6VERMQCA24QR1WKV423TQ","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"evt_YMZ0XEG6PS3BCHZB7S01ZMWN26":{"id":"evt_YMZ0XEG6PS3BCHZB7S01ZMWN26","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"evt_ZBWXYVZ4EDJ76KKNV09QP3VQ5P":{"id":"evt_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"orb_K3QR6MRPS9BCMSR3C3QXBEV3ZD":{"id":"orb_K3QR6MRPS9BCMSR3C3QXBEV3ZD","kind":"orbital","bakedName":"OrbLintKeyedCallKeysOrbital","curName":"OrbLintKeyedCallKeysOrbital","renames":[],"owner":"workspace"},"pag_CEZ87TQVXHXYRMXGFFW0R66337":{"id":"pag_CEZ87TQVXHXYRMXGFFW0R66337","kind":"page","bakedName":"OrbLintKeyedCallKeysOrbitalStart","curName":"OrbLintKeyedCallKeysOrbitalStart","renames":[],"owner":"workspace"},"trt_37QYZGZD2YPHFA3MG8RDCXXN98":{"id":"trt_37QYZGZD2YPHFA3MG8RDCXXN98","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_8NX38W0D446J2CX41J8CBQZE8G":{"id":"trt_8NX38W0D446J2CX41J8CBQZE8G","kind":"trait","bakedName":"OrbLintKeyedCallKeys","curName":"OrbLintKeyedCallKeys","renames":[],"owner":"workspace"},"trt_F1691P5GP0RB08X94BZH6W32YX":{"id":"trt_F1691P5GP0RB08X94BZH6W32YX","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9":{"id":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9","kind":"trait","bakedName":"OrbLintKeyedCallKeysCli","curName":"OrbLintKeyedCallKeysCli","renames":[],"owner":"workspace"},"trt_W21766YHQP8VV7D72P6DG2ZRHS":{"id":"trt_W21766YHQP8VV7D72P6DG2ZRHS","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"}}}}
1	+ {"typeContractVersion":1,"types":{"KkCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[KkVal]","required":true,"items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"at","type":"number","required":true}],"KkIdx":[{"nullable":false,"name":"","type":"Map<string,[KkCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[KkVal]","required":true,"items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"KkCall","projectedFrom":{"type":"KkCall"}}}}],"KkMachine":[{"nullable":true,"name":"transitions","type":"[KkTransition]","items":{"nullable":false,"name":"","type":"KkTransition","projectedFrom":{"type":"KkTransition"}}}],"KkOp":[{"nullable":false,"name":"emit","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"keyOnly","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}}],"KkOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkParam":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"type","type":"KkTypeRef","properties":[],"projectedFrom":{"type":"KkTypeRef"}}],"KkProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"items":{"nullable":false,"name":"","type":"KkOrbital","projectedFrom":{"type":"KkOrbital"}}}],"KkRec":[{"nullable":false,"name":"rtype","type":"string","required":true},{"nullable":false,"name":"head","type":"string","required":true},{"nullable":false,"name":"hasKey","type":"boolean","required":true},{"nullable":true,"name":"key","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":false,"name":"cancelled","type":"boolean","required":true},{"nullable":false,"name":"text","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"place","type":"string","required":true}],"KkRecs":[{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"rtype","type":"string","required":true},{"nullable":false,"name":"head","type":"string","required":true},{"nullable":false,"name":"hasKey","type":"boolean","required":true},{"nullable":true,"name":"key","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":false,"name":"cancelled","type":"boolean","required":true},{"nullable":false,"name":"text","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"place","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"KkRec","projectedFrom":{"type":"KkRec"}}}],"KkShape":[{"nullable":false,"name":"params","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"type","type":"KkTypeRef","properties":[],"projectedFrom":{"type":"KkTypeRef"}}],"items":{"nullable":false,"name":"","type":"KkParam","projectedFrom":{"type":"KkParam"}}}],"KkTick":[{"nullable":true,"name":"effects","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"stateMachine","type":"KkMachine","projectedFrom":{"type":"KkMachine"}},{"nullable":true,"name":"ticks","type":"[KkTick]","items":{"nullable":false,"name":"","type":"KkTick","projectedFrom":{"type":"KkTick"}}}],"KkTransition":[{"nullable":true,"name":"guard","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":true,"name":"effects","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkTypeNode":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"fields","type":"Map<string,KkTypeRef>","items":{"nullable":true,"name":"","type":"KkTypeRef","projectedFrom":{"type":"KkTypeRef"}}}],"KkTypeRef":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"KkTypeNode","type":"object","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"fields","type":"Map<string,KkTypeRef>","items":{"nullable":true,"name":"","type":"KkTypeRef","projectedFrom":{"type":"KkTypeRef"}}}],"projectedFrom":{"type":"KkTypeNode"}}]}],"KkVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}]}],"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}],"LintKeyedCallKeysCodes":[{"nullable":false,"name":"lintOperatorShapesUnread","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"callServiceKeyType","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":"callServiceCancelledWithoutKey","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":"callKeyUnused","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]},"name":"std-orb-lint-keyed-call-keys","version":"1.0.0","description":"std-orb-lint-keyed-call-keys — the `orb lint keyed-call-keys <file>` command, the port of the key rules of keyed_call.rs and check_key_and_cancelled: ORB_CALL_SERVICE_KEY_TYPE (a `key` that is null, an empty string, or a number, boolean, object or array literal), ORB_CALL_SERVICE_CANCELLED_WITHOUT_KEY (an `emit.cancelled` route on a call with no non-null `key`) and ORB_CALL_KEY_UNUSED (a literal `(as \"k\" CallKey)` in a program whose every keyed call is keyed by a literal, none of them \"k\"). The keyed operators come from LINT_OPERATOR_SHAPES: an operator is keyed when a param's object type has a `key` field; the param is the options object when it also has `emit`, a request that only names the call (browser/beacon) otherwise. It needs the RESOLVED program (program/read resolve). A key-type finding is reported at the top effect of the transition or tick, once per violation; an unused key at the guard or effect that holds the cast. Findings print as `[code] path: message` (status 500, exit 1); clean answers `lint keyed-call-keys: 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. A key whose type only inference decides (a number-typed @config knob, `(+ 1 2)`) is not decided here; it stays with the compiler.","orbitals":[{"name":"OrbLintKeyedCallKeysOrbital","id":"orb_K3QR6MRPS9BCMSR3C3QXBEV3ZD","uses":[{"from":"almadar-std/lint-keyed-call-keys","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintKeyedCallKeysRun","id":"ent_QHJWP4PGK789KRP3VTZBCJV7A9","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":"keyed","type":"object","default":{},"items":{"nullable":false,"type":"object","properties":{"emit":{"nullable":false,"name":"emit","type":"array","required":true,"items":{"nullable":false,"type":"number"}},"keyOnly":{"nullable":false,"name":"keyOnly","type":"array","required":true,"items":{"nullable":false,"type":"number"}}},"projectedFrom":{"type":"KkOp"}}},{"nullable":false,"name":"shapesUnread","type":"boolean","default":false}]},"traits":[{"name":"OrbLintKeyedCallKeys","id":"trt_8NX38W0D446J2CX41J8CBQZE8G","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.keyed"},{"kind":"set","resource":"@entity.scope"},{"kind":"set","resource":"@entity.shapesUnread"}],"linkedEntity":"OrbLintKeyedCallKeysRun","linkedEntityId":"ent_QHJWP4PGK789KRP3VTZBCJV7A9","entityRefIds":{"OrbLintKeyedCallKeysRun":"ent_QHJWP4PGK789KRP3VTZBCJV7A9"},"emits":[{"event":"LINT_FOUND","eventId":"evt_SMTRK25TF9X7MTEZDYCN0EX2DJ","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_AR8GRHJBVZ5XZYBN2BYAX1RY67","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_QJ3W9RH77JKKS2DZAGX671PC0Y","triggers":"LINT_INPUT","triggersId":"evt_QJ3W9RH77JKKS2DZAGX671PC0Y","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_37QYZGZD2YPHFA3MG8RDCXXN98"}},{"event":"LINT_OPERATOR_SHAPES","triggers":"SHAPES_HEARD","triggersId":"evt_7E51G9HBH2NRH0352NYH97HKTQ","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_37QYZGZD2YPHFA3MG8RDCXXN98"}},{"event":"LINT_OPERATOR_SHAPES_UNREAD","triggers":"SHAPES_UNREAD","triggersId":"evt_BNNF06ET6YD3F5M9SS4TAESVWQ","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_37QYZGZD2YPHFA3MG8RDCXXN98"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_2WCGY62FZ07ZGCYN2M3R9KWEM5","name":"Initialize"},{"key":"SHAPES_HEARD","id":"evt_7E51G9HBH2NRH0352NYH97HKTQ","name":"Shapes Heard","description":"std-orb-lint-input's LINT_OPERATOR_SHAPES: every installed operator's params with their types; a param whose object type has a `key` field makes the operator keyed.","payloadSchema":[{"nullable":false,"name":"operators","type":"Map<string,KkShape>","required":true,"items":{"nullable":false,"name":"","type":"KkShape","projectedFrom":{"type":"KkShape"}}}],"listened":true},{"key":"SHAPES_UNREAD","id":"evt_BNNF06ET6YD3F5M9SS4TAESVWQ","name":"Shapes Unread","description":"std-orb-lint-input's LINT_OPERATOR_SHAPES_UNREAD: the operator table does not match the shape type.","payloadSchema":[{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"LINT_INPUT","id":"evt_QJ3W9RH77JKKS2DZAGX671PC0Y","name":"Lint Input","description":"The lint input: the file read, its language decided and the program lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"raw","type":"string","required":true},{"nullable":false,"name":"latin","type":"boolean","required":true},{"nullable":false,"name":"program","type":"object","required":true,"properties":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"items":{"nullable":false,"name":"","type":"KkOrbital","projectedFrom":{"type":"KkOrbital"}}}],"projectedFrom":{"type":"KkProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_AR8GRHJBVZ5XZYBN2BYAX1RY67","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_SMTRK25TF9X7MTEZDYCN0EX2DJ","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_2WCGY62FZ07ZGCYN2M3R9KWEM5"},{"from":"ready","to":"ready","event":"SHAPES_HEARD","eventId":"evt_7E51G9HBH2NRH0352NYH97HKTQ","effects":[["set","@entity.shapesUnread",false],["set","@entity.keyed",["object/fromEntries",["array/filter",["array/map",["object/keys","@payload.operators"],["fn","k",["let",[["fs",["array/map",["object/get",["object/get","@payload.operators","@k"],"params",[]],["fn","pr",["let",[["ty",["object/get","@pr","type",null]]],["if",["validate/object","@ty"],["let",[["nd",["as","@ty","KkTypeNode"]]],["if",["=","@nd",null],{},["object/get","@nd","fields",{}]]],{}]]]]]],["@k",{"emit":["array/filter",["array/range",0,["array/len","@fs"]],["fn","i",["and",["object/has",["array/nth","@fs","@i"],"key"],["object/has",["array/nth","@fs","@i"],"emit"]]]],"keyOnly":["array/filter",["array/range",0,["array/len","@fs"]],["fn","i",["and",["object/has",["array/nth","@fs","@i"],"key"],["not",["object/has",["array/nth","@fs","@i"],"emit"]]]]]}]]]],["fn","e",["or",[">",["array/len",["object/get",["array/nth","@e",1],"emit"]],0],[">",["array/len",["object/get",["array/nth","@e",1],"keyOnly"]],0]]]]]]]},{"from":"ready","to":"ready","event":"SHAPES_UNREAD","eventId":"evt_BNNF06ET6YD3F5M9SS4TAESVWQ","effects":[["set","@entity.shapesUnread",true]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_QJ3W9RH77JKKS2DZAGX671PC0Y","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if","@entity.shapesUnread",[{"code":"@config.codes.lintOperatorShapesUnread.code","path":"operators","message":"the installed @almadar/std operator table does not match the operator shape type, so the keyed operators are unknown","suggestion":"Reinstall @almadar/std so its operator table declares the params of every operator","severity":"error"}],["let",[["keyed","@entity.keyed"],["orbitals",["object/get","@payload.program","orbitals",[]]]],["let",[["sites",["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["o",["array/nth","@orbitals","@oi"]]],["let",[["trs",["object/get","@o","traits",[]]]],["array/flatten",["array/map",["array/range",0,["array/len","@trs"]],["fn","ti",["let",[["t",["as",["array/nth","@trs","@ti"],"KkTrait"]]],["if",["or",["=","@t",null],["=",["object/get","@t","stateMachine",null],null]],[],[{"site":["str/concat","orbitals[","@oi"," (",["object/get","@o","name",""],")].traits[","@ti"," (",["object/get","@t","name",""],")]"],"trait":"@t"}]]]]]]]]]]]]],["let",[["places",["array/flatten",["array/map","@sites",["fn","s",["let",[["sm",["object/get",["object/get","@s","trait"],"stateMachine"]],["ticks",["default",["object/get",["object/get","@s","trait"],"ticks",[]],[]]]],["let",[["trans",["if",["=","@sm",null],[],["default",["object/get","@sm","transitions",[]],[]]]]],["array/concat",["array/flatten",["array/map",["array/range",0,["array/len","@trans"]],["fn","i",["let",[["tr",["array/nth","@trans","@i"]]],["let",[["effs",["default",["object/get","@tr","effects",[]],[]]]],["array/concat",["if",["!=",["object/get","@tr","guard",null],null],[{"path":["str/concat",["object/get","@s","site"],".stateMachine.transitions[","@i","].guard"],"node":["object/get","@tr","guard"],"place":"g"}],[]],["array/map",["array/range",0,["array/len","@effs"]],["fn","j",{"path":["str/concat",["object/get","@s","site"],".stateMachine.transitions[","@i","].effects[","@j","]"],"node":["array/nth","@effs","@j"],"place":"e"}]]]]]]]],["array/flatten",["array/map",["array/range",0,["array/len","@ticks"]],["fn","i",["let",[["effs",["default",["object/get",["array/nth","@ticks","@i"],"effects",[]],[]]]],["array/map",["array/range",0,["array/len","@effs"]],["fn","j",{"path":["str/concat",["object/get","@s","site"],".ticks[","@i","].effects[","@j","]"],"node":["array/nth","@effs","@j"],"place":"e"}]]]]]]]]]]]]]],["let",[["recs",["let",[["idx",["default",["as",["tree/index",["array/map","@places",["fn","pl",{"n":["object/get","@pl","node"]}]],["array/append",["object/keys","@keyed"],"as"]],"KkIdx"],{}]]],["default",["as",["array/flatten",["array/map",["array/sort",["array/flatten",["object/values","@idx"]],"at"],["fn","hit",["let",[["pl",["default",["array/nth","@places",["default",["str/to-int",["default",["array/first",["str/split",["str/slice",["object/get","@hit","path",""],1],"]"]],""]],0]],{}]],["n",["object/get","@hit","node",[]]]],["let",[["h",["array/first","@n"]]],["array/concat",["if",["and",["validate/string","@h"],["object/has","@keyed","@h"]],["let",[["spec",["object/get","@keyed","@h"]],["args",["array/slice","@n",1,["array/len","@n"]]]],["let",[["koKeys",["array/flatten",["array/map",["object/get","@spec","keyOnly"],["fn","i",["let",[["a",["if",["<","@i",["array/len","@args"]],["array/nth","@args","@i"],null]]],["if",["and",["validate/object","@a"],["object/has","@a","key"]],[{"key":["object/get","@a","key",null]}],[]]]]]]]],["let",[["emitted",["array/flatten",["array/map",["object/get","@spec","emit"],["fn","i",["let",[["a",["if",["<","@i",["array/len","@args"]],["array/nth","@args","@i"],null]]],["if",["validate/object","@a"],[{"rtype":"call","head":"@h","hasKey":["or",[">",["array/len","@koKeys"],0],["object/has","@a","key"]],"key":["if",[">",["array/len","@koKeys"],0],["object/get",["array/first","@koKeys"],"key",null],["object/get","@a","key",null]],"cancelled":["let",[["em",["object/get","@a","emit",null]]],["and",["validate/object","@em"],["object/has","@em","cancelled"],["!=",["object/get","@em","cancelled",null],null]]],"text":"","path":["object/get","@pl","path"],"place":["object/get","@pl","place"]}],[]]]]]]]],["if",[">",["array/len","@emitted"],0],"@emitted",["array/map",["array/take","@koKeys",1],["fn","ko",{"rtype":"call","head":"@h","hasKey":true,"key":["object/get","@ko","key",null],"cancelled":false,"text":"","path":["object/get","@pl","path"],"place":["object/get","@pl","place"]}]]]]]],[]],["let",[["t1",["if",[">=",["array/len","@n"],3],["array/nth","@n",1],null]],["t2",["if",[">=",["array/len","@n"],3],["array/nth","@n",2],null]]],["if",["and",["validate/string","@h"],["=","@h","as"],["validate/string","@t1"],["validate/string","@t2"],["=","@t2","CallKey"],["not",["str/startsWith","@t1",["quote","\"\\u0040\""]]],["not",["str/startsWith","@t1","?"]]],[{"rtype":"cast","head":"as","hasKey":false,"key":"","cancelled":false,"text":"@t1","path":["object/get","@pl","path"],"place":["object/get","@pl","place"]}],[]]]]]]]]],"KkRecs"],[]]]]],["let",[["texts",["array/map",["array/filter","@recs",["fn","r",["and",["=",["object/get","@r","rtype"],"call"],["object/get","@r","hasKey"]]]],["fn","r",["let",[["k",["object/get","@r","key",null]]],["if",["validate/string","@k"],["if",["or",["str/startsWith","@k",["quote","\"\\u0040\""]],["str/startsWith","@k","?"]],null,"@k"],["if",["validate/array","@k"],["let",[["k1",["if",[">=",["array/len","@k"],3],["array/nth","@k",1],null]],["k2",["if",[">=",["array/len","@k"],3],["array/nth","@k",2],null]]],["if",["and",["validate/string",["array/first","@k"]],["=",["array/first","@k"],"as"],["validate/string","@k1"],["validate/string","@k2"],["=","@k2","CallKey"],["not",["str/startsWith","@k1",["quote","\"\\u0040\""]]],["not",["str/startsWith","@k1","?"]]],"@k1",null]],null]]]]]]],["array/concat",["array/flatten",["array/map",["array/filter","@recs",["fn","r",["and",["=",["object/get","@r","rtype"],"call"],["=",["object/get","@r","place"],"e"]]]],["fn","r",["let",[["k",["object/get","@r","key",null]],["h",["object/get","@r","head"]],["hk",["object/get","@r","hasKey"]],["p",["object/get","@r","path"]]],["array/concat",["if",["and","@hk",["or",["=","@k",null],["and",["validate/string","@k"],["=","@k",""]]]],[{"code":"@config.codes.callServiceKeyType.code","path":"@p","message":["str/concat","@h"," `key` must be a non-empty string"],"suggestion":"","severity":"error"}],[]],["let",[["lk",["if",["validate/string","@k"],["if",["or",["str/startsWith","@k",["quote","\"\\u0040\""]],["str/startsWith","@k","?"],["str/startsWith","@k","$"]],null,"string"],["if",["validate/number","@k"],"number",["if",["validate/boolean","@k"],"boolean",["if",["validate/object","@k"],"object",["if",["validate/array","@k"],["if",["validate/string",["array/first","@k"]],null,"array"],null]]]]]]],["if",["and","@hk",["!=","@lk",null],["!=","@lk","string"]],[{"code":"@config.codes.callServiceKeyType.code","path":"@p","message":["str/concat","@h"," `key` must be a string, got a ","@lk"," literal"],"suggestion":"Use a string literal or a string-typed expression such as @entity.batchId","severity":"error"}],[]]],["if",["and",["object/get","@r","cancelled"],["or",["not","@hk"],["=","@k",null]]],[{"code":"@config.codes.callServiceCancelledWithoutKey.code","path":"@p","message":"emit.cancelled is declared but the call has no `key` — nothing can cancel an unkeyed call","suggestion":["str/concat","Add `key: <string expression>` to the ","@h"," options, and cancel it with (cancel-call <key>)"],"severity":"error"}],[]]]]]]],["if",["array/some","@texts",["fn","x",["=","@x",null]]],[],["array/map",["array/filter",["array/filter","@recs",["fn","r",["=",["object/get","@r","rtype"],"cast"]]],["fn","c",["not",["array/includes","@texts",["object/get","@c","text"]]]]],["fn","c",{"code":"@config.codes.callKeyUnused.code","path":["object/get","@c","path"],"message":["str/concat","`(as \"",["object/get","@c","text"],"\" CallKey)` names a key, but no call in this program runs under \"",["object/get","@c","text"],"\""],"suggestion":["str/concat","Key the call it should reach with `key: (as \"",["object/get","@c","text"],"\" CallKey)`, or use the key the call declares"],"severity":"error"}]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_AR8GRHJBVZ5XZYBN2BYAX1RY67","effects":[["emit","LINT_FOUND",{"rule":"keyed-call-keys","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintKeyedCallKeysCodes","default":{"lintOperatorShapesUnread":{"code":"ORB_LINT_OPERATOR_SHAPES_UNREAD","category":"lint","description":"The installed operator table could not be read or does not match the operator shape type, so a lint cannot run"},"callServiceKeyType":{"code":"ORB_CALL_SERVICE_KEY_TYPE","category":"call_service","description":"A keyed call-service effect has a key that is not a non-empty string"},"callServiceCancelledWithoutKey":{"code":"ORB_CALL_SERVICE_CANCELLED_WITHOUT_KEY","category":"call_service","description":"A call-service declares emit.cancelled but has no key, so nothing can cancel an unkeyed call"},"callKeyUnused":{"code":"ORB_CALL_KEY_UNUSED","category":"effect","description":"A literal (as 'k' CallKey) names a key that no keyed call in the program runs under"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"lintOperatorShapesUnread":{"nullable":false,"name":"lintOperatorShapesUnread","type":"object","required":false,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"category":{"nullable":false,"name":"category","type":"string","required":true},"description":{"nullable":false,"name":"description","type":"string","required":true}},"projectedFrom":{"type":"LintCodeDecl"}},"callServiceKeyType":{"nullable":false,"name":"callServiceKeyType","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"}},"callServiceCancelledWithoutKey":{"nullable":false,"name":"callServiceCancelledWithoutKey","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"}},"callKeyUnused":{"nullable":false,"name":"callKeyUnused","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":"LintKeyedCallKeysCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_8NX38W0D446J2CX41J8CBQZE8G","fingerprint":"0823f559e33165e3b78c3380aca9a4c05d40e873e6f7c66d88340060db2497d5"}},{"name":"OrbLintKeyedCallKeysCli","id":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintKeyedCallKeysRun","linkedEntityId":"ent_QHJWP4PGK789KRP3VTZBCJV7A9","entityRefIds":{"OrbLintKeyedCallKeysRun":"ent_QHJWP4PGK789KRP3VTZBCJV7A9"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_F0QJJTHWHEY8Q5ARBBSX8W3CKQ","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_0K3R7E1YVAZDN585GBPNAHVH2J","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_KFSBKVNYN9ZAMMHEQRDKJVC9CT","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_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","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_SMTRK25TF9X7MTEZDYCN0EX2DJ","triggers":"LINT_FOUND","triggersId":"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT","source":{"kind":"trait","trait":"OrbLintKeyedCallKeys","traitId":"trt_8NX38W0D446J2CX41J8CBQZE8G"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_37QYZGZD2YPHFA3MG8RDCXXN98"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_YMZ0XEG6PS3BCHZB7S01ZMWN26","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_XGJEZ6VERMQCA24QR1WKV423TQ","name":"Lint Called","description":"Run `orb lint keyed-call-keys` with its arguments and working directory.","synonyms":"orb lint keyed-call-keys","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-keyed-call-keys","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT","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_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","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_F0QJJTHWHEY8Q5ARBBSX8W3CKQ","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_0K3R7E1YVAZDN585GBPNAHVH2J","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_YMZ0XEG6PS3BCHZB7S01ZMWN26"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_XGJEZ6VERMQCA24QR1WKV423TQ","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 keyed-call-keys <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_XGJEZ6VERMQCA24QR1WKV423TQ","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 keyed-call-keys <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint keyed-call-keys <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_YMZ0XEG6PS3BCHZB7S01ZMWN26"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT","guard":["and",["=","@payload.rule","keyed-call-keys"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint keyed-call-keys: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT","guard":["and",["=","@payload.rule","keyed-call-keys"],[">",["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_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint keyed-call-keys: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9","fingerprint":"e93658fc28554e4f20006902df5c298a7e9db1506a22d761d6f41bd9c2378ea2"}},{"ref":"Input.traits.Versions","id":"trt_W21766YHQP8VV7D72P6DG2ZRHS","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_F1691P5GP0RB08X94BZH6W32YX","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_37QYZGZD2YPHFA3MG8RDCXXN98","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintKeyedCallKeysCli"}},{"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":"OrbLintKeyedCallKeysOrbitalStart","id":"pag_CEZ87TQVXHXYRMXGFFW0R66337","path":"","protocol":"boot","traits":[{"ref":"OrbLintKeyedCallKeys","refId":"trt_8NX38W0D446J2CX41J8CBQZE8G"},{"ref":"OrbLintKeyedCallKeysCli","refId":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},{"ref":"OrbLintInput","refId":"trt_37QYZGZD2YPHFA3MG8RDCXXN98"},{"ref":"Packs","refId":"trt_F1691P5GP0RB08X94BZH6W32YX"},{"ref":"Versions","refId":"trt_W21766YHQP8VV7D72P6DG2ZRHS"}]}],"types":{"KkCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[KkVal]","required":true,"items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"at","type":"number","required":true}],"KkIdx":[{"nullable":false,"name":"","type":"Map<string,[KkCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[KkVal]","required":true,"items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"KkCall","projectedFrom":{"type":"KkCall"}}}}],"KkMachine":[{"nullable":true,"name":"transitions","type":"[KkTransition]","items":{"nullable":false,"name":"","type":"KkTransition","projectedFrom":{"type":"KkTransition"}}}],"KkOp":[{"nullable":false,"name":"emit","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}},{"nullable":false,"name":"keyOnly","type":"[number]","required":true,"items":{"nullable":false,"name":"","type":"number"}}],"KkOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkParam":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"type","type":"KkTypeRef","properties":[],"projectedFrom":{"type":"KkTypeRef"}}],"KkProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"items":{"nullable":false,"name":"","type":"KkOrbital","projectedFrom":{"type":"KkOrbital"}}}],"KkRec":[{"nullable":false,"name":"rtype","type":"string","required":true},{"nullable":false,"name":"head","type":"string","required":true},{"nullable":false,"name":"hasKey","type":"boolean","required":true},{"nullable":true,"name":"key","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":false,"name":"cancelled","type":"boolean","required":true},{"nullable":false,"name":"text","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"place","type":"string","required":true}],"KkRecs":[{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"rtype","type":"string","required":true},{"nullable":false,"name":"head","type":"string","required":true},{"nullable":false,"name":"hasKey","type":"boolean","required":true},{"nullable":true,"name":"key","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":false,"name":"cancelled","type":"boolean","required":true},{"nullable":false,"name":"text","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"place","type":"string","required":true}],"items":{"nullable":false,"name":"","type":"KkRec","projectedFrom":{"type":"KkRec"}}}],"KkShape":[{"nullable":false,"name":"params","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"type","type":"KkTypeRef","properties":[],"projectedFrom":{"type":"KkTypeRef"}}],"items":{"nullable":false,"name":"","type":"KkParam","projectedFrom":{"type":"KkParam"}}}],"KkTick":[{"nullable":true,"name":"effects","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":true,"name":"stateMachine","type":"KkMachine","projectedFrom":{"type":"KkMachine"}},{"nullable":true,"name":"ticks","type":"[KkTick]","items":{"nullable":false,"name":"","type":"KkTick","projectedFrom":{"type":"KkTick"}}}],"KkTransition":[{"nullable":true,"name":"guard","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"projectedFrom":{"type":"KkVal"}},{"nullable":true,"name":"effects","type":"[KkVal]","items":{"nullable":false,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}],"KkTypeNode":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"fields","type":"Map<string,KkTypeRef>","items":{"nullable":true,"name":"","type":"KkTypeRef","projectedFrom":{"type":"KkTypeRef"}}}],"KkTypeRef":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"KkTypeNode","type":"object","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"fields","type":"Map<string,KkTypeRef>","items":{"nullable":true,"name":"","type":"KkTypeRef","projectedFrom":{"type":"KkTypeRef"}}}],"projectedFrom":{"type":"KkTypeNode"}}]}],"KkVal":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[KkVal]","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}},{"nullable":false,"name":"object","type":"Map<string,KkVal>","items":{"nullable":true,"name":"","type":"KkVal","projectedFrom":{"type":"KkVal"}}}]}],"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}],"LintKeyedCallKeysCodes":[{"nullable":false,"name":"lintOperatorShapesUnread","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}},{"nullable":false,"name":"callServiceKeyType","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":"callServiceCancelledWithoutKey","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":"callKeyUnused","type":"object","properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"projectedFrom":{"type":"LintCodeDecl"}}],"OrbCommandArgs":[{"nullable":false,"name":"argv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cwd","type":"string","required":true}],"OrbFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"message","type":"string","required":true},{"nullable":false,"name":"suggestion","type":"string","required":true},{"nullable":false,"name":"severity","type":"string","values":["warning","error"]}]}}],"inbound":["cli-lint-keyed-call-keys"],"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_QHJWP4PGK789KRP3VTZBCJV7A9":{"id":"ent_QHJWP4PGK789KRP3VTZBCJV7A9","kind":"entity","bakedName":"OrbLintKeyedCallKeysRun","curName":"OrbLintKeyedCallKeysRun","renames":[],"owner":"workspace"},"evt_0K3R7E1YVAZDN585GBPNAHVH2J":{"id":"evt_0K3R7E1YVAZDN585GBPNAHVH2J","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"evt_2WCGY62FZ07ZGCYN2M3R9KWEM5":{"id":"evt_2WCGY62FZ07ZGCYN2M3R9KWEM5","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_7E51G9HBH2NRH0352NYH97HKTQ":{"id":"evt_7E51G9HBH2NRH0352NYH97HKTQ","kind":"event","bakedName":"SHAPES_HEARD","curName":"SHAPES_HEARD","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_AR8GRHJBVZ5XZYBN2BYAX1RY67":{"id":"evt_AR8GRHJBVZ5XZYBN2BYAX1RY67","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_BNNF06ET6YD3F5M9SS4TAESVWQ":{"id":"evt_BNNF06ET6YD3F5M9SS4TAESVWQ","kind":"event","bakedName":"SHAPES_UNREAD","curName":"SHAPES_UNREAD","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_F0QJJTHWHEY8Q5ARBBSX8W3CKQ":{"id":"evt_F0QJJTHWHEY8Q5ARBBSX8W3CKQ","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT":{"id":"evt_KFSBKVNYN9ZAMMHEQRDKJVC9CT","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"evt_QJ3W9RH77JKKS2DZAGX671PC0Y":{"id":"evt_QJ3W9RH77JKKS2DZAGX671PC0Y","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_SMTRK25TF9X7MTEZDYCN0EX2DJ":{"id":"evt_SMTRK25TF9X7MTEZDYCN0EX2DJ","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_8NX38W0D446J2CX41J8CBQZE8G"},"evt_XGJEZ6VERMQCA24QR1WKV423TQ":{"id":"evt_XGJEZ6VERMQCA24QR1WKV423TQ","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"evt_YMZ0XEG6PS3BCHZB7S01ZMWN26":{"id":"evt_YMZ0XEG6PS3BCHZB7S01ZMWN26","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"evt_ZBWXYVZ4EDJ76KKNV09QP3VQ5P":{"id":"evt_ZBWXYVZ4EDJ76KKNV09QP3VQ5P","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9"},"orb_K3QR6MRPS9BCMSR3C3QXBEV3ZD":{"id":"orb_K3QR6MRPS9BCMSR3C3QXBEV3ZD","kind":"orbital","bakedName":"OrbLintKeyedCallKeysOrbital","curName":"OrbLintKeyedCallKeysOrbital","renames":[],"owner":"workspace"},"pag_CEZ87TQVXHXYRMXGFFW0R66337":{"id":"pag_CEZ87TQVXHXYRMXGFFW0R66337","kind":"page","bakedName":"OrbLintKeyedCallKeysOrbitalStart","curName":"OrbLintKeyedCallKeysOrbitalStart","renames":[],"owner":"workspace"},"trt_37QYZGZD2YPHFA3MG8RDCXXN98":{"id":"trt_37QYZGZD2YPHFA3MG8RDCXXN98","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_8NX38W0D446J2CX41J8CBQZE8G":{"id":"trt_8NX38W0D446J2CX41J8CBQZE8G","kind":"trait","bakedName":"OrbLintKeyedCallKeys","curName":"OrbLintKeyedCallKeys","renames":[],"owner":"workspace"},"trt_F1691P5GP0RB08X94BZH6W32YX":{"id":"trt_F1691P5GP0RB08X94BZH6W32YX","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9":{"id":"trt_GCY15DMQ4PBJB79TPHKJ7JHGR9","kind":"trait","bakedName":"OrbLintKeyedCallKeysCli","curName":"OrbLintKeyedCallKeysCli","renames":[],"owner":"workspace"},"trt_W21766YHQP8VV7D72P6DG2ZRHS":{"id":"trt_W21766YHQP8VV7D72P6DG2ZRHS","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"}}}}