@almadar/std 17.0.0 → 17.0.2

package/behaviors/registry/cli/atoms/std-orb-lint-parallel-pure.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}],"LintParallelPureCodes":[{"nullable":false,"name":"lambdaImpure","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":"shapesUnread","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"]}],"PpCall":[{"nullable":false,"name":"","type":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}],"PpHit":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[PpValue]","required":true,"items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"at","type":"number","required":true}],"PpIndex":[{"nullable":false,"name":"","type":"Map<string,[PpHit]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[PpValue]","required":true,"items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"PpHit","projectedFrom":{"type":"PpHit"}}}}],"PpProgram":[{"nullable":false,"name":"orbitals","type":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}],"PpShape":[{"nullable":false,"name":"hasSideEffects","type":"boolean","required":true},{"nullable":true,"name":"host","type":"string"}],"PpValue":[{"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":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"object","type":"Map<string,PpValue>","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}]}]},"name":"std-orb-lint-parallel-pure","version":"1.0.0","description":"std-orb-lint-parallel-pure — the `orb lint parallel-pure <file>` command. ORB_X_PARALLEL_LAMBDA_IMPURE: the lambda of an `array/pmap` call (argument 1) or an `array/preduce` call (argument 2), counted after the head is not provably pure, because the order a parallel combinator runs its lambda in is not defined. The lambda must be a literal `fn` form (a computed or missing lambda cannot be proved, so it is a finding), and its body must contain no call whose head is an operator the installed table marks hasSideEffects (read from std-orb-lint-input's operator shapes), none that declares a host (the table's host field), none of the exact entropy and clock operators listed in the knob nondeterministicHeads, and no read of `@now`. The effect forms (set, emit, persist, fetch and the like) are table operators with hasSideEffects, so the table covers them, a `set @entity.<f>` included. Findings are reported at the combinator call. Clean answers `lint parallel-pure: clean` (status 200, exit 0); findings are status 500, exit 1. Anything but one file argument is the usage (status 400, exit 2); an unreadable or unlowerable file is status 500.","orbitals":[{"name":"OrbLintParallelPureOrbital","id":"orb_2SK6QHT5K42SJ9B29EGB1BX4A9","uses":[{"from":"almadar-std/lint-parallel-pure","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintParallelPureRun","id":"ent_TRJX4SDCEJP798VT9QW439RP29","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":"effectful","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"shapesUnread","type":"boolean","default":false}]},"traits":[{"name":"OrbLintParallelPure","id":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.effectful"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"},{"kind":"set","resource":"@entity.shapesUnread"}],"linkedEntity":"OrbLintParallelPureRun","linkedEntityId":"ent_TRJX4SDCEJP798VT9QW439RP29","entityRefIds":{"OrbLintParallelPureRun":"ent_TRJX4SDCEJP798VT9QW439RP29"},"emits":[{"event":"LINT_FOUND","eventId":"evt_XHPWWW2N5ZAJZQ8TF4V8TGA6A8","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_578XFNWF9S7MWKB9V6WCFC4VPT","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_HJV4M604WW2EECXJN5HH0T8QNY","triggers":"LINT_INPUT","triggersId":"evt_HJV4M604WW2EECXJN5HH0T8QNY","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2"}},{"event":"LINT_OPERATOR_SHAPES","triggers":"SHAPES_HEARD","triggersId":"evt_1J1B01X0EXG7EW2PTXN14DPATQ","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2"}},{"event":"LINT_OPERATOR_SHAPES_UNREAD","triggers":"SHAPES_UNREAD","triggersId":"evt_ZQVJY08BYH5Z8JDM6389QW0G37","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_9N3SJN68JW49E06EN49T8355A8","name":"Initialize"},{"key":"SHAPES_HEARD","id":"evt_1J1B01X0EXG7EW2PTXN14DPATQ","name":"Shapes Heard","description":"std-orb-lint-input's LINT_OPERATOR_SHAPES: every installed operator with its hasSideEffects flag.","payloadSchema":[{"nullable":false,"name":"operators","type":"Map<string,PpShape>","required":true,"items":{"nullable":false,"name":"","type":"PpShape","projectedFrom":{"type":"PpShape"}}}],"listened":true},{"key":"SHAPES_UNREAD","id":"evt_ZQVJY08BYH5Z8JDM6389QW0G37","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_HJV4M604WW2EECXJN5HH0T8QNY","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":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}],"projectedFrom":{"type":"PpProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_578XFNWF9S7MWKB9V6WCFC4VPT","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_XHPWWW2N5ZAJZQ8TF4V8TGA6A8","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_9N3SJN68JW49E06EN49T8355A8"},{"from":"ready","to":"ready","event":"SHAPES_HEARD","eventId":"evt_1J1B01X0EXG7EW2PTXN14DPATQ","effects":[["set","@entity.shapesUnread",false],["set","@entity.effectful",["array/sort",["array/filter",["object/keys","@payload.operators"],["fn","k",["or",["object/get",["object/get","@payload.operators","@k"],"hasSideEffects",false],["!=",["object/get",["object/get","@payload.operators","@k"],"host",null],null]]]]]]]},{"from":"ready","to":"ready","event":"SHAPES_UNREAD","eventId":"evt_ZQVJY08BYH5Z8JDM6389QW0G37","effects":[["set","@entity.shapesUnread",true]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_HJV4M604WW2EECXJN5HH0T8QNY","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if","@entity.shapesUnread",[{"code":"@config.codes.shapesUnread.code","path":"operators","message":"the installed @almadar/std operator table does not match the operator shape type, so which operators have side effects is unknown","suggestion":"Reinstall @almadar/std so its operator table declares the shape of every operator","severity":"error"}],["let",[["idx",["default",["as",["tree/index","@payload.program","@config.combinators"],"PpIndex"],{}],"{\"version\":1,\"name\":\"PpIndex\",\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpHit\"}}},\"named\":{\"PpHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]},\"PpValue\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@config.combinators",["fn","head",["array/flatten",["array/map",["object/get","@idx","@head",[]],["fn","hit",["let",[["node",["object/get","@hit","node"],"{\"version\":1,\"name\":\"PpCall\",\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"named\":{\"PpValue\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]}]}}}"],["lam",["array/nth",["object/get","@hit","node"],["object/get","@config.lambdaArg","@head",2]],"{\"version\":1,\"type\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}},\"named\":{\"PpValue\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["if",["not",["and",["validate/array","@lam"],["=",["default",["as",["array/first",["default",["as","@lam","PpCall"],[]]],"string"],""],"fn"]]],[{"code":"@config.codes.lambdaImpure.code","path":["object/get","@hit","path"],"message":["str/concat","`(","@head"," ...)` takes a lambda that is not a literal `fn` form, so its purity cannot be proved"],"suggestion":"Pass the lambda inline as `(fn x ...)`","severity":"error"}],["let",[["nodes",["json/nodes",["@lam"]]],["nowName",["str/concat",["str/slice","x@",1],"now"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["let",[["heads",["array/filter",["array/map",["array/filter",["array/map","@nodes",["fn","n",["default",["as","@n","PpCall"],[]]]],["fn","c",[">",["array/len","@c"],0]]],["fn","c",["default",["as",["array/first","@c"],"string"],""]]],["fn","h",["!=","@h",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["leaves",["array/map","@nodes",["fn","n",["default",["as","@n","string"],""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["let",[["bad",["array/unique",["array/concat",["array/filter","@heads",["fn","h",["or",["array/includes","@entity.effectful","@h"],["array/includes","@config.nondeterministicHeads","@h"]]]],["array/filter","@leaves",["fn","s",["or",["=","@s","@nowName"],["str/startsWith","@s",["str/concat","@nowName","."]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["if",["=",["array/len","@bad"],0],[],[{"code":"@config.codes.lambdaImpure.code","path":["object/get","@hit","path"],"message":["str/concat","`(","@head"," ...)` runs its lambda in an undefined order, but the lambda is not pure: it uses `",["str/join","@bad","`, `"],"`"],"suggestion":"Keep the lambda to pure computation of its arguments, or use array/map or array/reduce for ordered work","severity":"error"}]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_578XFNWF9S7MWKB9V6WCFC4VPT","effects":[["emit","LINT_FOUND",{"rule":"parallel-pure","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintParallelPureCodes","default":{"lambdaImpure":{"code":"ORB_X_PARALLEL_LAMBDA_IMPURE","category":"parallel","description":"The lambda of array/pmap or array/preduce is not a literal fn or is not provably pure"},"shapesUnread":{"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"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"lambdaImpure":{"nullable":false,"name":"lambdaImpure","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"}},"shapesUnread":{"nullable":false,"name":"shapesUnread","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":"LintParallelPureCodes"}},"combinators":{"nullable":false,"type":"[string]","default":["list","array/pmap","array/preduce"],"label":"Parallel combinators","description":"The operators whose lambda must be pure.","items":{"nullable":false,"type":"string"}},"lambdaArg":{"nullable":false,"type":"Map<string,number>","default":{"array/pmap":2,"array/preduce":3},"label":"Lambda argument","description":"The position of the lambda in each combinator call node, the head being 0.","items":{"nullable":false,"type":"number"}},"nondeterministicHeads":{"nullable":false,"type":"[string]","default":["list","math/random","math/randomInt","array/shuffle","rsa/sign","ecdh/p256-ephemeral","time/now","prob/beta","prob/categorical","prob/condition","prob/credible-interval","prob/expected-value","prob/flip","prob/gaussian","prob/histogram","prob/infer","prob/percentile","prob/poisson","prob/posterior","prob/sample","prob/seed","prob/uniform","prob/variance"],"label":"Nondeterministic operators","description":"Operators, by exact name, whose result is not a function of their arguments: those that draw entropy (the evaluator's draws_entropy set) and the clock read time/now.","items":{"nullable":false,"type":"string"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP","fingerprint":"3f42d06f2ceb8923f9f3e4d6df3a31fae3422d57b4e419a3895068312cb0868d"}},{"name":"OrbLintParallelPureCli","id":"trt_4PQTV2D140GJ0B73TP7PK6PGJN","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintParallelPureRun","linkedEntityId":"ent_TRJX4SDCEJP798VT9QW439RP29","entityRefIds":{"OrbLintParallelPureRun":"ent_TRJX4SDCEJP798VT9QW439RP29"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_D8Y8GQW9TW4XE2VSZNWH1HAG2A","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_3K8M7QJYHKF8SS62JR6ZH36AEC","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_8ZJEGVZ7DPKPV8HKRW95DYNNYG","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_E2YH2DFD6XPKER4TD7RC7Z7VRE","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_XHPWWW2N5ZAJZQ8TF4V8TGA6A8","triggers":"LINT_FOUND","triggersId":"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG","source":{"kind":"trait","trait":"OrbLintParallelPure","traitId":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_E2YH2DFD6XPKER4TD7RC7Z7VRE","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_E2YH2DFD6XPKER4TD7RC7Z7VRE","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_AEBMJ3HB56NJKF0QNY2K3605MK","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_9BZBC7K6FCK7P6F5T6HF2N1MB6","name":"Lint Called","description":"Run `orb lint parallel-pure` with its arguments and working directory.","synonyms":"orb lint parallel-pure","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-parallel-pure","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG","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_E2YH2DFD6XPKER4TD7RC7Z7VRE","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_D8Y8GQW9TW4XE2VSZNWH1HAG2A","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_3K8M7QJYHKF8SS62JR6ZH36AEC","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_AEBMJ3HB56NJKF0QNY2K3605MK"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_9BZBC7K6FCK7P6F5T6HF2N1MB6","guard":["or",["=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["!=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint parallel-pure <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_9BZBC7K6FCK7P6F5T6HF2N1MB6","guard":["and",["!=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["let",[["argFile",["array/first",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]]]],["if",["=","@argFile",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint parallel-pure <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_AEBMJ3HB56NJKF0QNY2K3605MK"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG","guard":["and",["=","@payload.rule","parallel-pure"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint parallel-pure: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG","guard":["and",["=","@payload.rule","parallel-pure"],[">",["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_E2YH2DFD6XPKER4TD7RC7Z7VRE","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint parallel-pure: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_4PQTV2D140GJ0B73TP7PK6PGJN","fingerprint":"cea09fd2e02dc641b47182586d30fee1cee802180406b44c95d9a186064fe18b"}},{"ref":"Input.traits.Versions","id":"trt_N3E1TTE1R30W1XH6PBBR2EV927","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_A86D5PAAW95E4W0QZQYKJTPTHG","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintParallelPureCli"}},{"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":"OrbLintParallelPureOrbitalStart","id":"pag_4QST6VWK0E9G730BD56V2QMBXP","path":"","protocol":"boot","traits":[{"ref":"OrbLintParallelPure","refId":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},{"ref":"OrbLintParallelPureCli","refId":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},{"ref":"OrbLintInput","refId":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2"},{"ref":"Packs","refId":"trt_A86D5PAAW95E4W0QZQYKJTPTHG"},{"ref":"Versions","refId":"trt_N3E1TTE1R30W1XH6PBBR2EV927"}]}],"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}],"LintParallelPureCodes":[{"nullable":false,"name":"lambdaImpure","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":"shapesUnread","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"]}],"PpCall":[{"nullable":false,"name":"","type":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}],"PpHit":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[PpValue]","required":true,"items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"at","type":"number","required":true}],"PpIndex":[{"nullable":false,"name":"","type":"Map<string,[PpHit]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[PpValue]","required":true,"items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"PpHit","projectedFrom":{"type":"PpHit"}}}}],"PpProgram":[{"nullable":false,"name":"orbitals","type":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}],"PpShape":[{"nullable":false,"name":"hasSideEffects","type":"boolean","required":true},{"nullable":true,"name":"host","type":"string"}],"PpValue":[{"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":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"object","type":"Map<string,PpValue>","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}]}]}}],"inbound":["cli-lint-parallel-pure"],"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_TRJX4SDCEJP798VT9QW439RP29":{"id":"ent_TRJX4SDCEJP798VT9QW439RP29","kind":"entity","bakedName":"OrbLintParallelPureRun","curName":"OrbLintParallelPureRun","renames":[],"owner":"workspace"},"evt_1J1B01X0EXG7EW2PTXN14DPATQ":{"id":"evt_1J1B01X0EXG7EW2PTXN14DPATQ","kind":"event","bakedName":"SHAPES_HEARD","curName":"SHAPES_HEARD","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"evt_3K8M7QJYHKF8SS62JR6ZH36AEC":{"id":"evt_3K8M7QJYHKF8SS62JR6ZH36AEC","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_578XFNWF9S7MWKB9V6WCFC4VPT":{"id":"evt_578XFNWF9S7MWKB9V6WCFC4VPT","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG":{"id":"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_9BZBC7K6FCK7P6F5T6HF2N1MB6":{"id":"evt_9BZBC7K6FCK7P6F5T6HF2N1MB6","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_9N3SJN68JW49E06EN49T8355A8":{"id":"evt_9N3SJN68JW49E06EN49T8355A8","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"evt_AEBMJ3HB56NJKF0QNY2K3605MK":{"id":"evt_AEBMJ3HB56NJKF0QNY2K3605MK","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_D8Y8GQW9TW4XE2VSZNWH1HAG2A":{"id":"evt_D8Y8GQW9TW4XE2VSZNWH1HAG2A","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_E2YH2DFD6XPKER4TD7RC7Z7VRE":{"id":"evt_E2YH2DFD6XPKER4TD7RC7Z7VRE","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_HJV4M604WW2EECXJN5HH0T8QNY":{"id":"evt_HJV4M604WW2EECXJN5HH0T8QNY","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"evt_XHPWWW2N5ZAJZQ8TF4V8TGA6A8":{"id":"evt_XHPWWW2N5ZAJZQ8TF4V8TGA6A8","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"evt_ZQVJY08BYH5Z8JDM6389QW0G37":{"id":"evt_ZQVJY08BYH5Z8JDM6389QW0G37","kind":"event","bakedName":"SHAPES_UNREAD","curName":"SHAPES_UNREAD","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"orb_2SK6QHT5K42SJ9B29EGB1BX4A9":{"id":"orb_2SK6QHT5K42SJ9B29EGB1BX4A9","kind":"orbital","bakedName":"OrbLintParallelPureOrbital","curName":"OrbLintParallelPureOrbital","renames":[],"owner":"workspace"},"pag_4QST6VWK0E9G730BD56V2QMBXP":{"id":"pag_4QST6VWK0E9G730BD56V2QMBXP","kind":"page","bakedName":"OrbLintParallelPureOrbitalStart","curName":"OrbLintParallelPureOrbitalStart","renames":[],"owner":"workspace"},"trt_4PQTV2D140GJ0B73TP7PK6PGJN":{"id":"trt_4PQTV2D140GJ0B73TP7PK6PGJN","kind":"trait","bakedName":"OrbLintParallelPureCli","curName":"OrbLintParallelPureCli","renames":[],"owner":"workspace"},"trt_A86D5PAAW95E4W0QZQYKJTPTHG":{"id":"trt_A86D5PAAW95E4W0QZQYKJTPTHG","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2":{"id":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP":{"id":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP","kind":"trait","bakedName":"OrbLintParallelPure","curName":"OrbLintParallelPure","renames":[],"owner":"workspace"},"trt_N3E1TTE1R30W1XH6PBBR2EV927":{"id":"trt_N3E1TTE1R30W1XH6PBBR2EV927","kind":"trait","bakedName":"Versions","curName":"Versions","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}],"LintParallelPureCodes":[{"nullable":false,"name":"lambdaImpure","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":"shapesUnread","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"]}],"PpCall":[{"nullable":false,"name":"","type":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}],"PpHit":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[PpValue]","required":true,"items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"at","type":"number","required":true}],"PpIndex":[{"nullable":false,"name":"","type":"Map<string,[PpHit]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[PpValue]","required":true,"items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"PpHit","projectedFrom":{"type":"PpHit"}}}}],"PpProgram":[{"nullable":false,"name":"orbitals","type":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}],"PpShape":[{"nullable":false,"name":"hasSideEffects","type":"boolean","required":true},{"nullable":true,"name":"host","type":"string"}],"PpValue":[{"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":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"object","type":"Map<string,PpValue>","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}]}]},"name":"std-orb-lint-parallel-pure","version":"1.0.0","description":"std-orb-lint-parallel-pure — the `orb lint parallel-pure <file>` command. ORB_X_PARALLEL_LAMBDA_IMPURE: the lambda of an `array/pmap` call (argument 1) or an `array/preduce` call (argument 2), counted after the head is not provably pure, because the order a parallel combinator runs its lambda in is not defined. The lambda must be a literal `fn` form (a computed or missing lambda cannot be proved, so it is a finding), and its body must contain no call whose head is an operator the installed table marks hasSideEffects (read from std-orb-lint-input's operator shapes), none that declares a host (the table's host field), none of the exact entropy and clock operators listed in the knob nondeterministicHeads, and no read of `@now`. The effect forms (set, emit, persist, fetch and the like) are table operators with hasSideEffects, so the table covers them, a `set @entity.<f>` included. Findings are reported at the combinator call. Clean answers `lint parallel-pure: clean` (status 200, exit 0); findings are status 500, exit 1. Anything but one file argument is the usage (status 400, exit 2); an unreadable or unlowerable file is status 500.","orbitals":[{"name":"OrbLintParallelPureOrbital","id":"orb_2SK6QHT5K42SJ9B29EGB1BX4A9","uses":[{"from":"almadar-std/lint-parallel-pure","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintParallelPureRun","id":"ent_TRJX4SDCEJP798VT9QW439RP29","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":"effectful","type":"array","default":[],"items":{"nullable":false,"type":"string"}},{"nullable":false,"name":"shapesUnread","type":"boolean","default":false}]},"traits":[{"name":"OrbLintParallelPure","id":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.effectful"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"},{"kind":"set","resource":"@entity.shapesUnread"}],"linkedEntity":"OrbLintParallelPureRun","linkedEntityId":"ent_TRJX4SDCEJP798VT9QW439RP29","entityRefIds":{"OrbLintParallelPureRun":"ent_TRJX4SDCEJP798VT9QW439RP29"},"emits":[{"event":"LINT_FOUND","eventId":"evt_XHPWWW2N5ZAJZQ8TF4V8TGA6A8","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_578XFNWF9S7MWKB9V6WCFC4VPT","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_HJV4M604WW2EECXJN5HH0T8QNY","triggers":"LINT_INPUT","triggersId":"evt_HJV4M604WW2EECXJN5HH0T8QNY","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2"}},{"event":"LINT_OPERATOR_SHAPES","triggers":"SHAPES_HEARD","triggersId":"evt_1J1B01X0EXG7EW2PTXN14DPATQ","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2"}},{"event":"LINT_OPERATOR_SHAPES_UNREAD","triggers":"SHAPES_UNREAD","triggersId":"evt_ZQVJY08BYH5Z8JDM6389QW0G37","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_9N3SJN68JW49E06EN49T8355A8","name":"Initialize"},{"key":"SHAPES_HEARD","id":"evt_1J1B01X0EXG7EW2PTXN14DPATQ","name":"Shapes Heard","description":"std-orb-lint-input's LINT_OPERATOR_SHAPES: every installed operator with its hasSideEffects flag.","payloadSchema":[{"nullable":false,"name":"operators","type":"Map<string,PpShape>","required":true,"items":{"nullable":false,"name":"","type":"PpShape","projectedFrom":{"type":"PpShape"}}}],"listened":true},{"key":"SHAPES_UNREAD","id":"evt_ZQVJY08BYH5Z8JDM6389QW0G37","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_HJV4M604WW2EECXJN5HH0T8QNY","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":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}],"projectedFrom":{"type":"PpProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_578XFNWF9S7MWKB9V6WCFC4VPT","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_XHPWWW2N5ZAJZQ8TF4V8TGA6A8","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_9N3SJN68JW49E06EN49T8355A8"},{"from":"ready","to":"ready","event":"SHAPES_HEARD","eventId":"evt_1J1B01X0EXG7EW2PTXN14DPATQ","effects":[["set","@entity.shapesUnread",false],["set","@entity.effectful",["array/sort",["array/filter",["object/keys","@payload.operators"],["fn","k",["or",["object/get",["object/get","@payload.operators","@k"],"hasSideEffects",false],["!=",["object/get",["object/get","@payload.operators","@k"],"host",null],null]]]]]]]},{"from":"ready","to":"ready","event":"SHAPES_UNREAD","eventId":"evt_ZQVJY08BYH5Z8JDM6389QW0G37","effects":[["set","@entity.shapesUnread",true]]},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_HJV4M604WW2EECXJN5HH0T8QNY","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["if","@entity.shapesUnread",[{"code":"@config.codes.shapesUnread.code","path":"operators","message":"the installed @almadar/std operator table does not match the operator shape type, so which operators have side effects is unknown","suggestion":"Reinstall @almadar/std so its operator table declares the shape of every operator","severity":"error"}],["let",[["idx",["default",["as",["tree/index","@payload.program","@config.combinators"],"PpIndex"],{}],"{\"version\":1,\"name\":\"PpIndex\",\"type\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"array\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpHit\"}}},\"named\":{\"PpHit\":{\"kind\":\"struct\",\"fields\":[{\"name\":\"path\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"node\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"at\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]}]},\"PpValue\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["array/flatten",["array/map","@config.combinators",["fn","head",["array/flatten",["array/map",["object/get","@idx","@head",[]],["fn","hit",["let",[["node",["object/get","@hit","node"],"{\"version\":1,\"name\":\"PpCall\",\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"named\":{\"PpValue\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]}]}}}"],["lam",["array/nth",["object/get","@hit","node"],["object/get","@config.lambdaArg","@head",2]],"{\"version\":1,\"type\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}},\"named\":{\"PpValue\":{\"kind\":\"union\",\"variants\":[{\"name\":\"string\",\"fieldType\":{\"kind\":\"string\"},\"required\":true,\"constraints\":[]},{\"name\":\"number\",\"fieldType\":{\"kind\":\"number\"},\"required\":true,\"constraints\":[]},{\"name\":\"boolean\",\"fieldType\":{\"kind\":\"boolean\"},\"required\":true,\"constraints\":[]},{\"name\":\"array\",\"fieldType\":{\"kind\":\"array\",\"inner\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]},{\"name\":\"map\",\"fieldType\":{\"kind\":\"map\",\"key\":{\"kind\":\"string\"},\"value\":{\"kind\":\"optional\",\"inner\":{\"kind\":\"typeref\",\"name\":\"PpValue\"}}},\"required\":true,\"constraints\":[]}]}}}"]],["if",["not",["and",["validate/array","@lam"],["=",["default",["as",["array/first",["default",["as","@lam","PpCall"],[]]],"string"],""],"fn"]]],[{"code":"@config.codes.lambdaImpure.code","path":["object/get","@hit","path"],"message":["str/concat","`(","@head"," ...)` takes a lambda that is not a literal `fn` form, so its purity cannot be proved"],"suggestion":"Pass the lambda inline as `(fn x ...)`","severity":"error"}],["let",[["nodes",["json/nodes",["@lam"]]],["nowName",["str/concat",["str/slice","x@",1],"now"],"{\"version\":1,\"type\":{\"kind\":\"string\"}}"]],["let",[["heads",["array/filter",["array/map",["array/filter",["array/map","@nodes",["fn","n",["default",["as","@n","PpCall"],[]]]],["fn","c",[">",["array/len","@c"],0]]],["fn","c",["default",["as",["array/first","@c"],"string"],""]]],["fn","h",["!=","@h",""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"],["leaves",["array/map","@nodes",["fn","n",["default",["as","@n","string"],""]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["let",[["bad",["array/unique",["array/concat",["array/filter","@heads",["fn","h",["or",["array/includes","@entity.effectful","@h"],["array/includes","@config.nondeterministicHeads","@h"]]]],["array/filter","@leaves",["fn","s",["or",["=","@s","@nowName"],["str/startsWith","@s",["str/concat","@nowName","."]]]]]]],"{\"version\":1,\"type\":{\"kind\":\"array\",\"inner\":{\"kind\":\"string\"}}}"]],["if",["=",["array/len","@bad"],0],[],[{"code":"@config.codes.lambdaImpure.code","path":["object/get","@hit","path"],"message":["str/concat","`(","@head"," ...)` runs its lambda in an undefined order, but the lambda is not pure: it uses `",["str/join","@bad","`, `"],"`"],"suggestion":"Keep the lambda to pure computation of its arguments, or use array/map or array/reduce for ordered work","severity":"error"}]]]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_578XFNWF9S7MWKB9V6WCFC4VPT","effects":[["emit","LINT_FOUND",{"rule":"parallel-pure","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintParallelPureCodes","default":{"lambdaImpure":{"code":"ORB_X_PARALLEL_LAMBDA_IMPURE","category":"parallel","description":"The lambda of array/pmap or array/preduce is not a literal fn or is not provably pure"},"shapesUnread":{"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"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"lambdaImpure":{"nullable":false,"name":"lambdaImpure","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"}},"shapesUnread":{"nullable":false,"name":"shapesUnread","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":"LintParallelPureCodes"}},"combinators":{"nullable":false,"type":"[string]","default":["list","array/pmap","array/preduce"],"label":"Parallel combinators","description":"The operators whose lambda must be pure.","items":{"nullable":false,"type":"string"}},"lambdaArg":{"nullable":false,"type":"Map<string,number>","default":{"array/pmap":2,"array/preduce":3},"label":"Lambda argument","description":"The position of the lambda in each combinator call node, the head being 0.","items":{"nullable":false,"type":"number"}},"nondeterministicHeads":{"nullable":false,"type":"[string]","default":["list","math/random","math/randomInt","array/shuffle","rsa/sign","ecdh/p256-ephemeral","time/now","prob/beta","prob/categorical","prob/condition","prob/credible-interval","prob/expected-value","prob/flip","prob/gaussian","prob/histogram","prob/infer","prob/percentile","prob/poisson","prob/posterior","prob/sample","prob/seed","prob/uniform","prob/variance"],"label":"Nondeterministic operators","description":"Operators, by exact name, whose result is not a function of their arguments: those that draw entropy (the evaluator's draws_entropy set) and the clock read time/now.","items":{"nullable":false,"type":"string"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP","fingerprint":"3f42d06f2ceb8923f9f3e4d6df3a31fae3422d57b4e419a3895068312cb0868d"}},{"name":"OrbLintParallelPureCli","id":"trt_4PQTV2D140GJ0B73TP7PK6PGJN","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintParallelPureRun","linkedEntityId":"ent_TRJX4SDCEJP798VT9QW439RP29","entityRefIds":{"OrbLintParallelPureRun":"ent_TRJX4SDCEJP798VT9QW439RP29"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_D8Y8GQW9TW4XE2VSZNWH1HAG2A","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_3K8M7QJYHKF8SS62JR6ZH36AEC","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_8ZJEGVZ7DPKPV8HKRW95DYNNYG","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_E2YH2DFD6XPKER4TD7RC7Z7VRE","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_XHPWWW2N5ZAJZQ8TF4V8TGA6A8","triggers":"LINT_FOUND","triggersId":"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG","source":{"kind":"trait","trait":"OrbLintParallelPure","traitId":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_E2YH2DFD6XPKER4TD7RC7Z7VRE","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_E2YH2DFD6XPKER4TD7RC7Z7VRE","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_AEBMJ3HB56NJKF0QNY2K3605MK","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_9BZBC7K6FCK7P6F5T6HF2N1MB6","name":"Lint Called","description":"Run `orb lint parallel-pure` with its arguments and working directory.","synonyms":"orb lint parallel-pure","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-parallel-pure","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG","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_E2YH2DFD6XPKER4TD7RC7Z7VRE","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_D8Y8GQW9TW4XE2VSZNWH1HAG2A","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_3K8M7QJYHKF8SS62JR6ZH36AEC","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_AEBMJ3HB56NJKF0QNY2K3605MK"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_9BZBC7K6FCK7P6F5T6HF2N1MB6","guard":["or",["=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["!=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint parallel-pure <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_9BZBC7K6FCK7P6F5T6HF2N1MB6","guard":["and",["!=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["let",[["argFile",["array/first",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]]]],["if",["=","@argFile",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint parallel-pure <file>"}],["emit","LINT_REQUEST",{"file":"@argFile"}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_AEBMJ3HB56NJKF0QNY2K3605MK"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG","guard":["and",["=","@payload.rule","parallel-pure"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint parallel-pure: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG","guard":["and",["=","@payload.rule","parallel-pure"],[">",["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_E2YH2DFD6XPKER4TD7RC7Z7VRE","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint parallel-pure: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_4PQTV2D140GJ0B73TP7PK6PGJN","fingerprint":"cea09fd2e02dc641b47182586d30fee1cee802180406b44c95d9a186064fe18b"}},{"ref":"Input.traits.Versions","id":"trt_N3E1TTE1R30W1XH6PBBR2EV927","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_A86D5PAAW95E4W0QZQYKJTPTHG","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintParallelPureCli"}},{"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":"OrbLintParallelPureOrbitalStart","id":"pag_4QST6VWK0E9G730BD56V2QMBXP","path":"","protocol":"boot","traits":[{"ref":"OrbLintParallelPure","refId":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},{"ref":"OrbLintParallelPureCli","refId":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},{"ref":"OrbLintInput","refId":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2"},{"ref":"Packs","refId":"trt_A86D5PAAW95E4W0QZQYKJTPTHG"},{"ref":"Versions","refId":"trt_N3E1TTE1R30W1XH6PBBR2EV927"}]}],"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}],"LintParallelPureCodes":[{"nullable":false,"name":"lambdaImpure","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":"shapesUnread","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"]}],"PpCall":[{"nullable":false,"name":"","type":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}],"PpHit":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[PpValue]","required":true,"items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"at","type":"number","required":true}],"PpIndex":[{"nullable":false,"name":"","type":"Map<string,[PpHit]>","items":{"nullable":false,"name":"","type":"[object]","properties":[{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"node","type":"[PpValue]","required":true,"items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"at","type":"number","required":true}],"items":{"nullable":false,"name":"","type":"PpHit","projectedFrom":{"type":"PpHit"}}}}],"PpProgram":[{"nullable":false,"name":"orbitals","type":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}],"PpShape":[{"nullable":false,"name":"hasSideEffects","type":"boolean","required":true},{"nullable":true,"name":"host","type":"string"}],"PpValue":[{"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":"[PpValue]","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}},{"nullable":false,"name":"object","type":"Map<string,PpValue>","items":{"nullable":true,"name":"","type":"PpValue","projectedFrom":{"type":"PpValue"}}}]}]}}],"inbound":["cli-lint-parallel-pure"],"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_TRJX4SDCEJP798VT9QW439RP29":{"id":"ent_TRJX4SDCEJP798VT9QW439RP29","kind":"entity","bakedName":"OrbLintParallelPureRun","curName":"OrbLintParallelPureRun","renames":[],"owner":"workspace"},"evt_1J1B01X0EXG7EW2PTXN14DPATQ":{"id":"evt_1J1B01X0EXG7EW2PTXN14DPATQ","kind":"event","bakedName":"SHAPES_HEARD","curName":"SHAPES_HEARD","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"evt_3K8M7QJYHKF8SS62JR6ZH36AEC":{"id":"evt_3K8M7QJYHKF8SS62JR6ZH36AEC","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_578XFNWF9S7MWKB9V6WCFC4VPT":{"id":"evt_578XFNWF9S7MWKB9V6WCFC4VPT","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG":{"id":"evt_8ZJEGVZ7DPKPV8HKRW95DYNNYG","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_9BZBC7K6FCK7P6F5T6HF2N1MB6":{"id":"evt_9BZBC7K6FCK7P6F5T6HF2N1MB6","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_9N3SJN68JW49E06EN49T8355A8":{"id":"evt_9N3SJN68JW49E06EN49T8355A8","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"evt_AEBMJ3HB56NJKF0QNY2K3605MK":{"id":"evt_AEBMJ3HB56NJKF0QNY2K3605MK","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_D8Y8GQW9TW4XE2VSZNWH1HAG2A":{"id":"evt_D8Y8GQW9TW4XE2VSZNWH1HAG2A","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_E2YH2DFD6XPKER4TD7RC7Z7VRE":{"id":"evt_E2YH2DFD6XPKER4TD7RC7Z7VRE","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_4PQTV2D140GJ0B73TP7PK6PGJN"},"evt_HJV4M604WW2EECXJN5HH0T8QNY":{"id":"evt_HJV4M604WW2EECXJN5HH0T8QNY","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"evt_XHPWWW2N5ZAJZQ8TF4V8TGA6A8":{"id":"evt_XHPWWW2N5ZAJZQ8TF4V8TGA6A8","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"evt_ZQVJY08BYH5Z8JDM6389QW0G37":{"id":"evt_ZQVJY08BYH5Z8JDM6389QW0G37","kind":"event","bakedName":"SHAPES_UNREAD","curName":"SHAPES_UNREAD","renames":[],"owner":"workspace","parent":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP"},"orb_2SK6QHT5K42SJ9B29EGB1BX4A9":{"id":"orb_2SK6QHT5K42SJ9B29EGB1BX4A9","kind":"orbital","bakedName":"OrbLintParallelPureOrbital","curName":"OrbLintParallelPureOrbital","renames":[],"owner":"workspace"},"pag_4QST6VWK0E9G730BD56V2QMBXP":{"id":"pag_4QST6VWK0E9G730BD56V2QMBXP","kind":"page","bakedName":"OrbLintParallelPureOrbitalStart","curName":"OrbLintParallelPureOrbitalStart","renames":[],"owner":"workspace"},"trt_4PQTV2D140GJ0B73TP7PK6PGJN":{"id":"trt_4PQTV2D140GJ0B73TP7PK6PGJN","kind":"trait","bakedName":"OrbLintParallelPureCli","curName":"OrbLintParallelPureCli","renames":[],"owner":"workspace"},"trt_A86D5PAAW95E4W0QZQYKJTPTHG":{"id":"trt_A86D5PAAW95E4W0QZQYKJTPTHG","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2":{"id":"trt_HZJFYKKM3DT1PZ24TEA7MJK6J2","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP":{"id":"trt_J6CJ3PQP6TV3DDX272GZZ7Y1XP","kind":"trait","bakedName":"OrbLintParallelPure","curName":"OrbLintParallelPure","renames":[],"owner":"workspace"},"trt_N3E1TTE1R30W1XH6PBBR2EV927":{"id":"trt_N3E1TTE1R30W1XH6PBBR2EV927","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"}}}}