@almadar/std 17.0.1 → 17.0.2

package/behaviors/registry/cli/atoms/std-orb-lint-unsigned-guard.orb

@@ -1 +1 @@
-{"typeContractVersion":1,"types":{"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintUnsignedGuardCodes":[{"nullable":false,"name":"unsignedNotEnvGuarded","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"]}],"UgCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"UgVal","required":true,"properties":[],"projectedFrom":{"type":"UgVal"}}],"UgIndex":[{"nullable":false,"name":"","type":"Map<string,[UgCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"UgVal","required":true,"properties":[],"projectedFrom":{"type":"UgVal"}}],"items":{"nullable":false,"name":"","type":"UgCall","projectedFrom":{"type":"UgCall"}}}}],"UgListen":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"triggers","type":"string"}],"UgMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgTransition","projectedFrom":{"type":"UgTransition"}}}],"UgNames":[{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"UgOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"UgProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgOrbital","projectedFrom":{"type":"UgOrbital"}}}],"UgRow":[{"nullable":false,"name":"i","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"gs","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"lv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cmp","type":"boolean","required":true},{"nullable":false,"name":"un","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"UgRows":[{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"i","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"gs","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"lv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cmp","type":"boolean","required":true},{"nullable":false,"name":"un","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"UgRow","projectedFrom":{"type":"UgRow"}}}],"UgTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgTransition","projectedFrom":{"type":"UgTransition"}}}],"projectedFrom":{"type":"UgMachine"}},{"nullable":false,"name":"listens","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"triggers","type":"string"}],"items":{"nullable":false,"name":"","type":"UgListen","projectedFrom":{"type":"UgListen"}}}],"UgTransition":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"UgVal":[{"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":"[UgVal]","items":{"nullable":true,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}},{"nullable":false,"name":"object","type":"Map<string,UgVal>","items":{"nullable":true,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}]}]},"name":"std-orb-lint-unsigned-guard","version":"1.0.0","description":"std-orb-lint-unsigned-guard — the `orb lint unsigned-guard <file>` command: a literal `allowUnsigned: true` on a `jws/verify` call accepts an alg:none token, so the transition holding it must be env-guarded or it is an error (ORB_EFF_UNSIGNED_NOT_ENV_GUARDED). It lowers the file with program/read and reads every inline trait's transitions. A transition is env-guarded when its event is the success answer of an `os/getenv` effect of the trait and its guard compares the answered value (`=` over a `@payload.value` read, alone or as an argument of `and`), or when its event has no listens source, at least one transition of the trait names it as a literal in its effects (an `emit`, or the answer name of a fetch, persist or os/getenv) and none of those transitions is unguarded: guard is propagated from the env-guarded answer arms along those naming edges, a transition reached by no guarded arm (a cycle with no guarded entry) is not guarded, and any transition that is not guarded and has a listens-sourced event or no naming transition taints everything it names. Only inline traits are read; an event named only by a computed expression is not tracked. Clean answers `lint unsigned-guard: clean` (status 200, exit 0). Anything but one file argument is the usage (status 400, exit 2); an unreadable or unlowerable file is status 500.","orbitals":[{"name":"OrbLintUnsignedGuardOrbital","id":"orb_1WN08SC1710KGSC54YXQTGZYGW","uses":[{"from":"almadar-std/lint-unsigned-guard","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintUnsignedGuardRun","id":"ent_M5S609H7W6KY3C9AWDVKQVXG7V","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"}}}]},"traits":[{"name":"OrbLintUnsignedGuard","id":"trt_CR2EBK43X11YGPG9P4PR8JJWE2","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintUnsignedGuardRun","linkedEntityId":"ent_M5S609H7W6KY3C9AWDVKQVXG7V","entityRefIds":{"OrbLintUnsignedGuardRun":"ent_M5S609H7W6KY3C9AWDVKQVXG7V"},"emits":[{"event":"LINT_FOUND","eventId":"evt_27JRKV1AT0ND0D5M0FC7XQXT1S","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_005XTTERRACC56YSATGQJJDFGT","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_7WVZ2FEEBM75T6GXEV90KRV81P","triggers":"LINT_INPUT","triggersId":"evt_7WVZ2FEEBM75T6GXEV90KRV81P","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_1QAAHRD2B5H5JPDQM68FN6XGWV"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_FX7TA8EFSM7WTC79D7RVFHKSVT","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_7WVZ2FEEBM75T6GXEV90KRV81P","name":"Lint Input","description":"The lint input: the file read, its language decided and the program lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"raw","type":"string","required":true},{"nullable":false,"name":"latin","type":"boolean","required":true},{"nullable":false,"name":"program","type":"object","required":true,"properties":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgOrbital","projectedFrom":{"type":"UgOrbital"}}}],"projectedFrom":{"type":"UgProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_005XTTERRACC56YSATGQJJDFGT","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_27JRKV1AT0ND0D5M0FC7XQXT1S","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_FX7TA8EFSM7WTC79D7RVFHKSVT"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_7WVZ2FEEBM75T6GXEV90KRV81P","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["let",[["orbitals",["object/get","@payload.program","orbitals",[]]],["pv",["str/concat",["str/slice","a@b",1,2],"payload.value"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["if",["not",["array/some",["object/get",["default",["as",["tree/index","@payload.program",["list","jws/verify"]],"UgIndex"],{}],"jws/verify",[]],["fn","c",["let",[["n",["object/get","@c","node",null]]],["if",["validate/array","@n"],["let",[["o2",["array/nth","@n",3]]],["if",["validate/object","@o2"],["=",["object/get","@o2","allowUnsigned",false],true],false]],false]]]]],[],["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["o",["default",["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"],"UgTrait"]]],["if",["or",["=","@t",null],["=",["object/get","@t","stateMachine",null],null],["not",["array/some",["object/get",["default",["as",["tree/index",["array/nth","@trs","@ti"],["list","jws/verify"]],"UgIndex"],{}],"jws/verify",[]],["fn","c",["let",[["n",["object/get","@c","node",null]]],["if",["validate/array","@n"],["let",[["o2",["array/nth","@n",3]]],["if",["validate/object","@o2"],["=",["object/get","@o2","allowUnsigned",false],true],false]],false]]]]]],[],["let",[["trans",["object/get",["object/get","@t","stateMachine",{}],"transitions",[]]],["lst",["array/map",["object/get","@t","listens",[]],["fn","l",["let",[["tg",["object/get","@l","triggers",""]]],["if",["=","@tg",""],["object/get","@l","event",""],"@tg"]]]]]],["let",[["rows",["default",["as",["array/map",["array/range",0,["array/len","@trans"]],["fn","i",["let",[["tr",["default",["array/nth","@trans","@i"],{}]]],["let",[["effs",["object/get","@tr","effects",[]]],["g",["object/get","@tr","guard",null]]],["let",[["ix",["default",["as",["tree/index","@effs",["list","emit","os/getenv","jws/verify"]],"UgIndex"],{}]],["lx",["default",["as",["tree/index","@effs",[],{"prefixes":[""]}],"UgIndex"],{}]]],{"i":"@i","ev":["object/get","@tr","event",""],"gs":["array/filter",["array/map",["object/get","@ix","os/getenv",[]],["fn","c",["let",[["n",["object/get","@c","node",null]]],["if",["validate/array","@n"],["let",[["o2",["array/nth","@n",2]]],["if",["validate/object","@o2"],["let",[["em",["object/get","@o2","emit",null]]],["if",["validate/object","@em"],["let",[["s",["object/get","@em","success",""]]],["if",["validate/string","@s"],"@s",""]],""]],""]],""]]]],["fn","s",["!=","@s",""]]],"lv":["array/map",["object/get","@lx","",[]],["fn","c",["let",[["x",["object/get","@c","node",""]]],["if",["validate/string","@x"],"@x",""]]]],"cmp":["if",["validate/array","@g"],["let",[["forms",["if",["=",["array/first","@g"],"and"],["array/slice","@g",1,["array/len","@g"]],["@g"]]]],["array/some","@forms",["fn","f",["if",["validate/array","@f"],["and",["=",["array/first","@f"],"="],["array/some",["array/flatten",["object/values",["default",["as",["tree/index","@f",[],{"prefixes":["@pv"]}],"UgIndex"],{}]]],["fn","h",["let",[["x",["object/get","@h","node",""]]],["if",["validate/string","@x"],["or",["=","@x","@pv"],["str/startsWith","@x",["str/concat","@pv","."]]],false]]]]],false]]]],false],"un":["array/map",["array/filter",["object/get","@ix","jws/verify",[]],["fn","c",["let",[["n",["object/get","@c","node",null]]],["if",["validate/array","@n"],["let",[["o2",["array/nth","@n",3]]],["if",["validate/object","@o2"],["=",["object/get","@o2","allowUnsigned",false],true],false]],false]]]],["fn","c",["object/get","@c","path",""]]]}]]]]],"UgRows"],[]]]],["let",[["n",["array/len","@rows"]],["idx",["array/range",0,["array/len","@rows"]]]],["let",[["getenvOk",["array/flatten",["array/map","@rows",["fn","r",["object/get","@r","gs",[]]]]]]],["let",[["emitters",["array/map","@rows",["fn","r",["array/filter","@idx",["fn","j",["array/includes",["object/get",["default",["array/nth","@rows","@j"],{}],"lv",[]],["object/get","@r","ev",""]]]]]]],["unknown",["array/map","@rows",["fn","r",["array/includes","@lst",["object/get","@r","ev",""]]]]]],["let",[["base",["array/filter","@idx",["fn","i",["let",[["r",["default",["array/nth","@rows","@i"],{}]]],["and",["object/get","@r","cmp",false],["array/includes","@getenvOk",["object/get","@r","ev",""]]]]]]]],["let",[["roots",["array/filter","@idx",["fn","i",["and",["not",["array/includes","@base","@i"]],["or",["default",["array/nth","@unknown","@i"],true],["=",["array/len",["default",["array/nth","@emitters","@i"],[]]],0]]]]]]],["let",[["tainted",["array/reduce","@idx","@roots",["fn",["acc","k"],["array/filter","@idx",["fn","i",["and",["not",["array/includes","@base","@i"]],["or",["array/includes","@acc","@i"],["array/some",["default",["array/nth","@emitters","@i"],[]],["fn","j",["array/includes","@acc","@j"]]]]]]]]]],["reached",["array/reduce","@idx","@base",["fn",["acc","k"],["array/filter","@idx",["fn","i",["or",["array/includes","@acc","@i"],["array/some",["default",["array/nth","@emitters","@i"],[]],["fn","j",["array/includes","@acc","@j"]]]]]]]]]],["let",[["guarded",["array/filter","@idx",["fn","i",["or",["array/includes","@base","@i"],["and",["array/includes","@reached","@i"],["not",["array/includes","@tainted","@i"]]]]]]]],["array/flatten",["array/map",["array/filter","@rows",["fn","r",["not",["array/includes","@guarded",["object/get","@r","i",0]]]]],["fn","r",["array/map",["object/get","@r","un",[]],["fn","up",{"code":"@config.codes.unsignedNotEnvGuarded.code","path":["str/concat","orbitals[","@oi"," (",["object/get","@o","name",""],")].traits[","@ti"," (",["object/get","@t","name",""],")].stateMachine.transitions[",["object/get","@r","i",0],"].effects","@up"],"message":["str/concat","transition on '",["object/get","@r","ev",""],"' passes `allowUnsigned: true` to jws/verify, which accepts an alg:none token, but it is not env-guarded"],"suggestion":"reach this transition only from an os/getenv answer whose arm guards on `(= (default @payload.value \"\") <expected host>)`, directly or through emits that all start from such arms","severity":"error"}]]]]]]]]]]]]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_005XTTERRACC56YSATGQJJDFGT","effects":[["emit","LINT_FOUND",{"rule":"unsigned-guard","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintUnsignedGuardCodes","default":{"unsignedNotEnvGuarded":{"code":"ORB_EFF_UNSIGNED_NOT_ENV_GUARDED","category":"effect","description":"A jws/verify call with a literal allowUnsigned true sits in a transition that is not env-guarded"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"unsignedNotEnvGuarded":{"nullable":false,"name":"unsignedNotEnvGuarded","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":"LintUnsignedGuardCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_CR2EBK43X11YGPG9P4PR8JJWE2","fingerprint":"8fcdc89ea1469f21ae2aecad85416bb2d54aed4359c57a22189e3d7f4ba346aa"}},{"name":"OrbLintUnsignedGuardCli","id":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintUnsignedGuardRun","linkedEntityId":"ent_M5S609H7W6KY3C9AWDVKQVXG7V","entityRefIds":{"OrbLintUnsignedGuardRun":"ent_M5S609H7W6KY3C9AWDVKQVXG7V"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_ZHMKW6N9DCMPP82HTF65WEY6GS","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_RMD4NYWTS0DCGEAS2CCPGSVW01","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_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","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_2RYZ96T0Q70BKJNEQJVW61457E","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_27JRKV1AT0ND0D5M0FC7XQXT1S","triggers":"LINT_FOUND","triggersId":"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","source":{"kind":"trait","trait":"OrbLintUnsignedGuard","traitId":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_2RYZ96T0Q70BKJNEQJVW61457E","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_2RYZ96T0Q70BKJNEQJVW61457E","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_1QAAHRD2B5H5JPDQM68FN6XGWV"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_VKV7XDNRC4W62FKG49Y9M0M4N9","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_ZJTNPWGB845M2ARZPYT69MCEPN","name":"Lint Called","description":"Run `orb lint unsigned-guard` with its arguments and working directory.","synonyms":"orb lint unsigned-guard","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-unsigned-guard","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","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_2RYZ96T0Q70BKJNEQJVW61457E","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_ZHMKW6N9DCMPP82HTF65WEY6GS","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_RMD4NYWTS0DCGEAS2CCPGSVW01","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_VKV7XDNRC4W62FKG49Y9M0M4N9"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_ZJTNPWGB845M2ARZPYT69MCEPN","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 unsigned-guard <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_ZJTNPWGB845M2ARZPYT69MCEPN","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 unsigned-guard <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint unsigned-guard <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_VKV7XDNRC4W62FKG49Y9M0M4N9"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","guard":["and",["=","@payload.rule","unsigned-guard"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint unsigned-guard: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","guard":["and",["=","@payload.rule","unsigned-guard"],[">",["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_2RYZ96T0Q70BKJNEQJVW61457E","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint unsigned-guard: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K","fingerprint":"21ac20640714ea47a28377703cb63a7695ee223b9c116a4d5752626d637503f1"}},{"ref":"Input.traits.Versions","id":"trt_91WYFFFWB8Y5MF2ZXNJT5ZFQ5D","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_N3BSBKWWBEE5Q3TV1GXY4904JF","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_1QAAHRD2B5H5JPDQM68FN6XGWV","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintUnsignedGuardCli"}},{"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":"OrbLintUnsignedGuardOrbitalStart","id":"pag_KX5F08W4CG2686TCVF4RN4DFCN","path":"","protocol":"boot","traits":[{"ref":"OrbLintUnsignedGuard","refId":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"},{"ref":"OrbLintUnsignedGuardCli","refId":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},{"ref":"OrbLintInput","refId":"trt_1QAAHRD2B5H5JPDQM68FN6XGWV"},{"ref":"Packs","refId":"trt_N3BSBKWWBEE5Q3TV1GXY4904JF"},{"ref":"Versions","refId":"trt_91WYFFFWB8Y5MF2ZXNJT5ZFQ5D"}]}],"types":{"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintUnsignedGuardCodes":[{"nullable":false,"name":"unsignedNotEnvGuarded","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"]}],"UgCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"UgVal","required":true,"properties":[],"projectedFrom":{"type":"UgVal"}}],"UgIndex":[{"nullable":false,"name":"","type":"Map<string,[UgCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"UgVal","required":true,"properties":[],"projectedFrom":{"type":"UgVal"}}],"items":{"nullable":false,"name":"","type":"UgCall","projectedFrom":{"type":"UgCall"}}}}],"UgListen":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"triggers","type":"string"}],"UgMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgTransition","projectedFrom":{"type":"UgTransition"}}}],"UgNames":[{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"UgOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"UgProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgOrbital","projectedFrom":{"type":"UgOrbital"}}}],"UgRow":[{"nullable":false,"name":"i","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"gs","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"lv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cmp","type":"boolean","required":true},{"nullable":false,"name":"un","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"UgRows":[{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"i","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"gs","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"lv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cmp","type":"boolean","required":true},{"nullable":false,"name":"un","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"UgRow","projectedFrom":{"type":"UgRow"}}}],"UgTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgTransition","projectedFrom":{"type":"UgTransition"}}}],"projectedFrom":{"type":"UgMachine"}},{"nullable":false,"name":"listens","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"triggers","type":"string"}],"items":{"nullable":false,"name":"","type":"UgListen","projectedFrom":{"type":"UgListen"}}}],"UgTransition":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"UgVal":[{"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":"[UgVal]","items":{"nullable":true,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}},{"nullable":false,"name":"object","type":"Map<string,UgVal>","items":{"nullable":true,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}]}]}}],"inbound":["cli-lint-unsigned-guard"],"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_M5S609H7W6KY3C9AWDVKQVXG7V":{"id":"ent_M5S609H7W6KY3C9AWDVKQVXG7V","kind":"entity","bakedName":"OrbLintUnsignedGuardRun","curName":"OrbLintUnsignedGuardRun","renames":[],"owner":"workspace"},"evt_005XTTERRACC56YSATGQJJDFGT":{"id":"evt_005XTTERRACC56YSATGQJJDFGT","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"},"evt_27JRKV1AT0ND0D5M0FC7XQXT1S":{"id":"evt_27JRKV1AT0ND0D5M0FC7XQXT1S","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"},"evt_2RYZ96T0Q70BKJNEQJVW61457E":{"id":"evt_2RYZ96T0Q70BKJNEQJVW61457E","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"evt_7WVZ2FEEBM75T6GXEV90KRV81P":{"id":"evt_7WVZ2FEEBM75T6GXEV90KRV81P","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"},"evt_FX7TA8EFSM7WTC79D7RVFHKSVT":{"id":"evt_FX7TA8EFSM7WTC79D7RVFHKSVT","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"},"evt_RMD4NYWTS0DCGEAS2CCPGSVW01":{"id":"evt_RMD4NYWTS0DCGEAS2CCPGSVW01","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"evt_VKV7XDNRC4W62FKG49Y9M0M4N9":{"id":"evt_VKV7XDNRC4W62FKG49Y9M0M4N9","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0":{"id":"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"evt_ZHMKW6N9DCMPP82HTF65WEY6GS":{"id":"evt_ZHMKW6N9DCMPP82HTF65WEY6GS","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"evt_ZJTNPWGB845M2ARZPYT69MCEPN":{"id":"evt_ZJTNPWGB845M2ARZPYT69MCEPN","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"orb_1WN08SC1710KGSC54YXQTGZYGW":{"id":"orb_1WN08SC1710KGSC54YXQTGZYGW","kind":"orbital","bakedName":"OrbLintUnsignedGuardOrbital","curName":"OrbLintUnsignedGuardOrbital","renames":[],"owner":"workspace"},"pag_KX5F08W4CG2686TCVF4RN4DFCN":{"id":"pag_KX5F08W4CG2686TCVF4RN4DFCN","kind":"page","bakedName":"OrbLintUnsignedGuardOrbitalStart","curName":"OrbLintUnsignedGuardOrbitalStart","renames":[],"owner":"workspace"},"trt_1QAAHRD2B5H5JPDQM68FN6XGWV":{"id":"trt_1QAAHRD2B5H5JPDQM68FN6XGWV","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_91WYFFFWB8Y5MF2ZXNJT5ZFQ5D":{"id":"trt_91WYFFFWB8Y5MF2ZXNJT5ZFQ5D","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_CR2EBK43X11YGPG9P4PR8JJWE2":{"id":"trt_CR2EBK43X11YGPG9P4PR8JJWE2","kind":"trait","bakedName":"OrbLintUnsignedGuard","curName":"OrbLintUnsignedGuard","renames":[],"owner":"workspace"},"trt_FRH1FSW89V44XW1QVFZ7V3EC6K":{"id":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K","kind":"trait","bakedName":"OrbLintUnsignedGuardCli","curName":"OrbLintUnsignedGuardCli","renames":[],"owner":"workspace"},"trt_N3BSBKWWBEE5Q3TV1GXY4904JF":{"id":"trt_N3BSBKWWBEE5Q3TV1GXY4904JF","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"}}}}
+{"typeContractVersion":1,"types":{"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintUnsignedGuardCodes":[{"nullable":false,"name":"unsignedNotEnvGuarded","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"]}],"UgCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"UgVal","required":true,"properties":[],"projectedFrom":{"type":"UgVal"}}],"UgIndex":[{"nullable":false,"name":"","type":"Map<string,[UgCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"UgVal","required":true,"properties":[],"projectedFrom":{"type":"UgVal"}}],"items":{"nullable":false,"name":"","type":"UgCall","projectedFrom":{"type":"UgCall"}}}}],"UgListen":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"triggers","type":"string"}],"UgMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgTransition","projectedFrom":{"type":"UgTransition"}}}],"UgNames":[{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"UgOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"UgProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgOrbital","projectedFrom":{"type":"UgOrbital"}}}],"UgRow":[{"nullable":false,"name":"i","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"gs","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"lv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cmp","type":"boolean","required":true},{"nullable":false,"name":"un","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"UgRows":[{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"i","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"gs","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"lv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cmp","type":"boolean","required":true},{"nullable":false,"name":"un","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"UgRow","projectedFrom":{"type":"UgRow"}}}],"UgTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgTransition","projectedFrom":{"type":"UgTransition"}}}],"projectedFrom":{"type":"UgMachine"}},{"nullable":false,"name":"listens","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"triggers","type":"string"}],"items":{"nullable":false,"name":"","type":"UgListen","projectedFrom":{"type":"UgListen"}}}],"UgTransition":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"UgVal":[{"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":"[UgVal]","items":{"nullable":true,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}},{"nullable":false,"name":"object","type":"Map<string,UgVal>","items":{"nullable":true,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}]}]},"name":"std-orb-lint-unsigned-guard","version":"1.0.0","description":"std-orb-lint-unsigned-guard — the `orb lint unsigned-guard <file>` command: a literal `allowUnsigned: true` on a `jws/verify` call accepts an alg:none token, so the transition holding it must be env-guarded or it is an error (ORB_EFF_UNSIGNED_NOT_ENV_GUARDED). It lowers the file with program/read and reads every inline trait's transitions. A transition is env-guarded when its event is the success answer of an `os/getenv` effect of the trait and its guard compares the answered value (`=` over a `@payload.value` read, alone or as an argument of `and`), or when its event has no listens source, at least one transition of the trait names it as a literal in its effects (an `emit`, or the answer name of a fetch, persist or os/getenv) and none of those transitions is unguarded: guard is propagated from the env-guarded answer arms along those naming edges, a transition reached by no guarded arm (a cycle with no guarded entry) is not guarded, and any transition that is not guarded and has a listens-sourced event or no naming transition taints everything it names. Only inline traits are read; an event named only by a computed expression is not tracked. Clean answers `lint unsigned-guard: clean` (status 200, exit 0). Anything but one file argument is the usage (status 400, exit 2); an unreadable or unlowerable file is status 500.","orbitals":[{"name":"OrbLintUnsignedGuardOrbital","id":"orb_1WN08SC1710KGSC54YXQTGZYGW","uses":[{"from":"almadar-std/lint-unsigned-guard","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintUnsignedGuardRun","id":"ent_M5S609H7W6KY3C9AWDVKQVXG7V","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"}}}]},"traits":[{"name":"OrbLintUnsignedGuard","id":"trt_CR2EBK43X11YGPG9P4PR8JJWE2","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintUnsignedGuardRun","linkedEntityId":"ent_M5S609H7W6KY3C9AWDVKQVXG7V","entityRefIds":{"OrbLintUnsignedGuardRun":"ent_M5S609H7W6KY3C9AWDVKQVXG7V"},"emits":[{"event":"LINT_FOUND","eventId":"evt_27JRKV1AT0ND0D5M0FC7XQXT1S","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_005XTTERRACC56YSATGQJJDFGT","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_7WVZ2FEEBM75T6GXEV90KRV81P","triggers":"LINT_INPUT","triggersId":"evt_7WVZ2FEEBM75T6GXEV90KRV81P","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_1QAAHRD2B5H5JPDQM68FN6XGWV"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_FX7TA8EFSM7WTC79D7RVFHKSVT","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_7WVZ2FEEBM75T6GXEV90KRV81P","name":"Lint Input","description":"The lint input: the file read, its language decided and the program lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"raw","type":"string","required":true},{"nullable":false,"name":"latin","type":"boolean","required":true},{"nullable":false,"name":"program","type":"object","required":true,"properties":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgOrbital","projectedFrom":{"type":"UgOrbital"}}}],"projectedFrom":{"type":"UgProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_005XTTERRACC56YSATGQJJDFGT","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_27JRKV1AT0ND0D5M0FC7XQXT1S","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_FX7TA8EFSM7WTC79D7RVFHKSVT"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_7WVZ2FEEBM75T6GXEV90KRV81P","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["let",[["orbitals",["object/get","@payload.program","orbitals",[]]],["pv",["str/concat",["str/slice","a@b",1,2],"payload.value"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["if",["not",["array/some",["object/get",["default",["as",["tree/index","@payload.program",["list","jws/verify"]],"UgIndex"],{}],"jws/verify",[]],["fn","c",["let",[["n",["object/get","@c","node",null]]],["if",["validate/array","@n"],["let",[["o2",["array/nth","@n",3]]],["if",["validate/object","@o2"],["=",["object/get","@o2","allowUnsigned",false],true],false]],false]]]]],[],["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["o",["default",["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"],"UgTrait"]]],["if",["or",["=","@t",null],["=",["object/get","@t","stateMachine",null],null],["not",["array/some",["object/get",["default",["as",["tree/index",["array/nth","@trs","@ti"],["list","jws/verify"]],"UgIndex"],{}],"jws/verify",[]],["fn","c",["let",[["n",["object/get","@c","node",null]]],["if",["validate/array","@n"],["let",[["o2",["array/nth","@n",3]]],["if",["validate/object","@o2"],["=",["object/get","@o2","allowUnsigned",false],true],false]],false]]]]]],[],["let",[["trans",["object/get",["object/get","@t","stateMachine",{}],"transitions",[]]],["lst",["array/map",["object/get","@t","listens",[]],["fn","l",["let",[["tg",["object/get","@l","triggers",""]]],["if",["=","@tg",""],["object/get","@l","event",""],"@tg"]]]]]],["let",[["rows",["default",["as",["array/map",["array/range",0,["array/len","@trans"]],["fn","i",["let",[["tr",["default",["array/nth","@trans","@i"],{}]]],["let",[["effs",["object/get","@tr","effects",[]]],["g",["object/get","@tr","guard",null]]],["let",[["ix",["default",["as",["tree/index","@effs",["list","emit","os/getenv","jws/verify"]],"UgIndex"],{}]],["lx",["default",["as",["tree/index","@effs",[],{"prefixes":[""]}],"UgIndex"],{}]]],{"i":"@i","ev":["object/get","@tr","event",""],"gs":["array/filter",["array/map",["object/get","@ix","os/getenv",[]],["fn","c",["let",[["n",["object/get","@c","node",null]]],["if",["validate/array","@n"],["let",[["o2",["array/nth","@n",2]]],["if",["validate/object","@o2"],["let",[["em",["object/get","@o2","emit",null]]],["if",["validate/object","@em"],["let",[["s",["object/get","@em","success",""]]],["if",["validate/string","@s"],"@s",""]],""]],""]],""]]]],["fn","s",["!=","@s",""]]],"lv":["array/map",["object/get","@lx","",[]],["fn","c",["let",[["x",["object/get","@c","node",""]]],["if",["validate/string","@x"],"@x",""]]]],"cmp":["if",["validate/array","@g"],["let",[["forms",["if",["=",["array/first","@g"],"and"],["array/slice","@g",1,["array/len","@g"]],["@g"]]]],["array/some","@forms",["fn","f",["if",["validate/array","@f"],["and",["=",["array/first","@f"],"="],["array/some",["array/flatten",["object/values",["default",["as",["tree/index","@f",[],{"prefixes":["@pv"]}],"UgIndex"],{}]]],["fn","h",["let",[["x",["object/get","@h","node",""]]],["if",["validate/string","@x"],["or",["=","@x","@pv"],["str/startsWith","@x",["str/concat","@pv","."]]],false]]]]],false]]]],false],"un":["array/map",["array/filter",["object/get","@ix","jws/verify",[]],["fn","c",["let",[["n",["object/get","@c","node",null]]],["if",["validate/array","@n"],["let",[["o2",["array/nth","@n",3]]],["if",["validate/object","@o2"],["=",["object/get","@o2","allowUnsigned",false],true],false]],false]]]],["fn","c",["object/get","@c","path",""]]]}]]]]],"UgRows"],[]]]],["let",[["n",["array/len","@rows"]],["idx",["array/range",0,["array/len","@rows"]]]],["let",[["getenvOk",["array/flatten",["array/map","@rows",["fn","r",["object/get","@r","gs",[]]]]]]],["let",[["emitters",["array/map","@rows",["fn","r",["array/filter","@idx",["fn","j",["array/includes",["object/get",["default",["array/nth","@rows","@j"],{}],"lv",[]],["object/get","@r","ev",""]]]]]]],["unknown",["array/map","@rows",["fn","r",["array/includes","@lst",["object/get","@r","ev",""]]]]]],["let",[["base",["array/filter","@idx",["fn","i",["let",[["r",["default",["array/nth","@rows","@i"],{}]]],["and",["object/get","@r","cmp",false],["array/includes","@getenvOk",["object/get","@r","ev",""]]]]]]]],["let",[["roots",["array/filter","@idx",["fn","i",["and",["not",["array/includes","@base","@i"]],["or",["default",["array/nth","@unknown","@i"],true],["=",["array/len",["default",["array/nth","@emitters","@i"],[]]],0]]]]]]],["let",[["tainted",["array/reduce","@idx","@roots",["fn",["acc","k"],["array/filter","@idx",["fn","i",["and",["not",["array/includes","@base","@i"]],["or",["array/includes","@acc","@i"],["array/some",["default",["array/nth","@emitters","@i"],[]],["fn","j",["array/includes","@acc","@j"]]]]]]]]]],["reached",["array/reduce","@idx","@base",["fn",["acc","k"],["array/filter","@idx",["fn","i",["or",["array/includes","@acc","@i"],["array/some",["default",["array/nth","@emitters","@i"],[]],["fn","j",["array/includes","@acc","@j"]]]]]]]]]],["let",[["guarded",["array/filter","@idx",["fn","i",["or",["array/includes","@base","@i"],["and",["array/includes","@reached","@i"],["not",["array/includes","@tainted","@i"]]]]]]]],["array/flatten",["array/map",["array/filter","@rows",["fn","r",["not",["array/includes","@guarded",["object/get","@r","i",0]]]]],["fn","r",["array/map",["object/get","@r","un",[]],["fn","up",{"code":"@config.codes.unsignedNotEnvGuarded.code","path":["str/concat","orbitals[","@oi"," (",["object/get","@o","name",""],")].traits[","@ti"," (",["object/get","@t","name",""],")].stateMachine.transitions[",["object/get","@r","i",0],"].effects","@up"],"message":["str/concat","transition on '",["object/get","@r","ev",""],"' passes `allowUnsigned: true` to jws/verify, which accepts an alg:none token, but it is not env-guarded"],"suggestion":"reach this transition only from an os/getenv answer whose arm guards on `(= (default @payload.value \"\") <expected host>)`, directly or through emits that all start from such arms","severity":"error"}]]]]]]]]]]]]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_005XTTERRACC56YSATGQJJDFGT","effects":[["emit","LINT_FOUND",{"rule":"unsigned-guard","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintUnsignedGuardCodes","default":{"unsignedNotEnvGuarded":{"code":"ORB_EFF_UNSIGNED_NOT_ENV_GUARDED","category":"effect","description":"A jws/verify call with a literal allowUnsigned true sits in a transition that is not env-guarded"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"unsignedNotEnvGuarded":{"nullable":false,"name":"unsignedNotEnvGuarded","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":"LintUnsignedGuardCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_CR2EBK43X11YGPG9P4PR8JJWE2","fingerprint":"8fcdc89ea1469f21ae2aecad85416bb2d54aed4359c57a22189e3d7f4ba346aa"}},{"name":"OrbLintUnsignedGuardCli","id":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintUnsignedGuardRun","linkedEntityId":"ent_M5S609H7W6KY3C9AWDVKQVXG7V","entityRefIds":{"OrbLintUnsignedGuardRun":"ent_M5S609H7W6KY3C9AWDVKQVXG7V"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_ZHMKW6N9DCMPP82HTF65WEY6GS","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_RMD4NYWTS0DCGEAS2CCPGSVW01","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_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","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_2RYZ96T0Q70BKJNEQJVW61457E","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_27JRKV1AT0ND0D5M0FC7XQXT1S","triggers":"LINT_FOUND","triggersId":"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","source":{"kind":"trait","trait":"OrbLintUnsignedGuard","traitId":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_2RYZ96T0Q70BKJNEQJVW61457E","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_2RYZ96T0Q70BKJNEQJVW61457E","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_1QAAHRD2B5H5JPDQM68FN6XGWV"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_VKV7XDNRC4W62FKG49Y9M0M4N9","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_ZJTNPWGB845M2ARZPYT69MCEPN","name":"Lint Called","description":"Run `orb lint unsigned-guard` with its arguments and working directory.","synonyms":"orb lint unsigned-guard","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-unsigned-guard","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","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_2RYZ96T0Q70BKJNEQJVW61457E","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_ZHMKW6N9DCMPP82HTF65WEY6GS","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_RMD4NYWTS0DCGEAS2CCPGSVW01","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_VKV7XDNRC4W62FKG49Y9M0M4N9"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_ZJTNPWGB845M2ARZPYT69MCEPN","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 unsigned-guard <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_ZJTNPWGB845M2ARZPYT69MCEPN","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 unsigned-guard <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint unsigned-guard <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_VKV7XDNRC4W62FKG49Y9M0M4N9"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","guard":["and",["=","@payload.rule","unsigned-guard"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint unsigned-guard: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","guard":["and",["=","@payload.rule","unsigned-guard"],[">",["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_2RYZ96T0Q70BKJNEQJVW61457E","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint unsigned-guard: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K","fingerprint":"21ac20640714ea47a28377703cb63a7695ee223b9c116a4d5752626d637503f1"}},{"ref":"Input.traits.Versions","id":"trt_91WYFFFWB8Y5MF2ZXNJT5ZFQ5D","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_N3BSBKWWBEE5Q3TV1GXY4904JF","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_1QAAHRD2B5H5JPDQM68FN6XGWV","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintUnsignedGuardCli"}},{"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":"OrbLintUnsignedGuardOrbitalStart","id":"pag_KX5F08W4CG2686TCVF4RN4DFCN","path":"","protocol":"boot","traits":[{"ref":"OrbLintUnsignedGuard","refId":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"},{"ref":"OrbLintUnsignedGuardCli","refId":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},{"ref":"OrbLintInput","refId":"trt_1QAAHRD2B5H5JPDQM68FN6XGWV"},{"ref":"Packs","refId":"trt_N3BSBKWWBEE5Q3TV1GXY4904JF"},{"ref":"Versions","refId":"trt_91WYFFFWB8Y5MF2ZXNJT5ZFQ5D"}]}],"types":{"LintCodeDecl":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"category","type":"string","required":true},{"nullable":false,"name":"description","type":"string","required":true}],"LintUnsignedGuardCodes":[{"nullable":false,"name":"unsignedNotEnvGuarded","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"]}],"UgCall":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"UgVal","required":true,"properties":[],"projectedFrom":{"type":"UgVal"}}],"UgIndex":[{"nullable":false,"name":"","type":"Map<string,[UgCall]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"UgVal","required":true,"properties":[],"projectedFrom":{"type":"UgVal"}}],"items":{"nullable":false,"name":"","type":"UgCall","projectedFrom":{"type":"UgCall"}}}}],"UgListen":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"triggers","type":"string"}],"UgMachine":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgTransition","projectedFrom":{"type":"UgTransition"}}}],"UgNames":[{"nullable":false,"name":"","type":"[string]","items":{"nullable":false,"name":"","type":"string"}}],"UgOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"UgProgram":[{"nullable":false,"name":"orbitals","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"traits","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgOrbital","projectedFrom":{"type":"UgOrbital"}}}],"UgRow":[{"nullable":false,"name":"i","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"gs","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"lv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cmp","type":"boolean","required":true},{"nullable":false,"name":"un","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"UgRows":[{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"i","type":"number","required":true},{"nullable":false,"name":"ev","type":"string","required":true},{"nullable":false,"name":"gs","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"lv","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}},{"nullable":false,"name":"cmp","type":"boolean","required":true},{"nullable":false,"name":"un","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"UgRow","projectedFrom":{"type":"UgRow"}}}],"UgTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"transitions","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"items":{"nullable":false,"name":"","type":"UgTransition","projectedFrom":{"type":"UgTransition"}}}],"projectedFrom":{"type":"UgMachine"}},{"nullable":false,"name":"listens","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"triggers","type":"string"}],"items":{"nullable":false,"name":"","type":"UgListen","projectedFrom":{"type":"UgListen"}}}],"UgTransition":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"guard","type":"UgVal","properties":[],"projectedFrom":{"type":"UgVal"}},{"nullable":false,"name":"effects","type":"[UgVal]","items":{"nullable":false,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}],"UgVal":[{"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":"[UgVal]","items":{"nullable":true,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}},{"nullable":false,"name":"object","type":"Map<string,UgVal>","items":{"nullable":true,"name":"","type":"UgVal","projectedFrom":{"type":"UgVal"}}}]}]}}],"inbound":["cli-lint-unsigned-guard"],"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_M5S609H7W6KY3C9AWDVKQVXG7V":{"id":"ent_M5S609H7W6KY3C9AWDVKQVXG7V","kind":"entity","bakedName":"OrbLintUnsignedGuardRun","curName":"OrbLintUnsignedGuardRun","renames":[],"owner":"workspace"},"evt_005XTTERRACC56YSATGQJJDFGT":{"id":"evt_005XTTERRACC56YSATGQJJDFGT","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"},"evt_27JRKV1AT0ND0D5M0FC7XQXT1S":{"id":"evt_27JRKV1AT0ND0D5M0FC7XQXT1S","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"},"evt_2RYZ96T0Q70BKJNEQJVW61457E":{"id":"evt_2RYZ96T0Q70BKJNEQJVW61457E","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"evt_7WVZ2FEEBM75T6GXEV90KRV81P":{"id":"evt_7WVZ2FEEBM75T6GXEV90KRV81P","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"},"evt_FX7TA8EFSM7WTC79D7RVFHKSVT":{"id":"evt_FX7TA8EFSM7WTC79D7RVFHKSVT","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_CR2EBK43X11YGPG9P4PR8JJWE2"},"evt_RMD4NYWTS0DCGEAS2CCPGSVW01":{"id":"evt_RMD4NYWTS0DCGEAS2CCPGSVW01","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"evt_VKV7XDNRC4W62FKG49Y9M0M4N9":{"id":"evt_VKV7XDNRC4W62FKG49Y9M0M4N9","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0":{"id":"evt_XN7CSJG9T04X0BQ1ZWC9KXZ1Z0","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"evt_ZHMKW6N9DCMPP82HTF65WEY6GS":{"id":"evt_ZHMKW6N9DCMPP82HTF65WEY6GS","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"evt_ZJTNPWGB845M2ARZPYT69MCEPN":{"id":"evt_ZJTNPWGB845M2ARZPYT69MCEPN","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K"},"orb_1WN08SC1710KGSC54YXQTGZYGW":{"id":"orb_1WN08SC1710KGSC54YXQTGZYGW","kind":"orbital","bakedName":"OrbLintUnsignedGuardOrbital","curName":"OrbLintUnsignedGuardOrbital","renames":[],"owner":"workspace"},"pag_KX5F08W4CG2686TCVF4RN4DFCN":{"id":"pag_KX5F08W4CG2686TCVF4RN4DFCN","kind":"page","bakedName":"OrbLintUnsignedGuardOrbitalStart","curName":"OrbLintUnsignedGuardOrbitalStart","renames":[],"owner":"workspace"},"trt_1QAAHRD2B5H5JPDQM68FN6XGWV":{"id":"trt_1QAAHRD2B5H5JPDQM68FN6XGWV","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_91WYFFFWB8Y5MF2ZXNJT5ZFQ5D":{"id":"trt_91WYFFFWB8Y5MF2ZXNJT5ZFQ5D","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_CR2EBK43X11YGPG9P4PR8JJWE2":{"id":"trt_CR2EBK43X11YGPG9P4PR8JJWE2","kind":"trait","bakedName":"OrbLintUnsignedGuard","curName":"OrbLintUnsignedGuard","renames":[],"owner":"workspace"},"trt_FRH1FSW89V44XW1QVFZ7V3EC6K":{"id":"trt_FRH1FSW89V44XW1QVFZ7V3EC6K","kind":"trait","bakedName":"OrbLintUnsignedGuardCli","curName":"OrbLintUnsignedGuardCli","renames":[],"owner":"workspace"},"trt_N3BSBKWWBEE5Q3TV1GXY4904JF":{"id":"trt_N3BSBKWWBEE5Q3TV1GXY4904JF","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"}}}}