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

@almadar/std 17.0.1 → 17.0.3

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

Files changed (325) hide show

package/behaviors/registry/cli/atoms/std-orb-lint-type-param-sweep.orb CHANGED Viewed

	@@ -1 +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}],"LintTypeParamSweepCodes":[{"nullable":false,"name":"lintNodeUnchecked","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":"tUnresolvedTypeParam","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"]}],"SweepEmit":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepEntityRef":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}]}],"SweepEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"SweepKnob":[{"nullable":false,"name":"type","type":"string"},{"nullable":false,"name":"items","type":"SweepShape","properties":[],"projectedFrom":{"type":"SweepShape"}},{"nullable":false,"name":"properties","type":"Map<string,SweepShape>","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepMachine":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"SweepOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepExpect","projectedFrom":{"type":"SweepExpect"}}},{"nullable":false,"name":"entity","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}],"projectedFrom":{"type":"SweepEntityRef"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEntity","projectedFrom":{"type":"SweepEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}],"items":{"nullable":false,"name":"","type":"SweepTrait","projectedFrom":{"type":"SweepTrait"}}}],"SweepParam":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"SweepProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepExpect","projectedFrom":{"type":"SweepExpect"}}},{"nullable":false,"name":"entity","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}],"projectedFrom":{"type":"SweepEntityRef"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEntity","projectedFrom":{"type":"SweepEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}],"items":{"nullable":false,"name":"","type":"SweepTrait","projectedFrom":{"type":"SweepTrait"}}}],"items":{"nullable":false,"name":"","type":"SweepOrbital","projectedFrom":{"type":"SweepOrbital"}}}],"SweepShape":[{"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":"[SweepShape]","items":{"nullable":true,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}},{"nullable":false,"name":"object","type":"Map<string,SweepShape>","items":{"nullable":true,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}]}],"SweepTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}]},"name":"std-orb-lint-type-param-sweep","version":"1.0.0","description":"std-orb-lint-type-param-sweep — the `orb lint type-param-sweep <file>` command, the port of ORB_T_UNRESOLVED_TYPE_PARAM (type_param_sweep.rs validate_type_param_sentinels). It lowers the file with program/read and reports every type-parameter sentinel that survived resolution: a type variable left in an entity field shape, in a trait's emit or event payload field (the `$v`, `[$v]` and bare `@entity` sentinels, deferred when the linked entity is licensed by the orbital's expects), in a config knob's items or properties or in the knob's own type, and a config knob still typed with an unresolved sigil (`@user`, `@payload(..)`, `@entity(..)`, `@entity`), with the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint type-param-sweep: 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":"OrbLintTypeParamSweepOrbital","id":"orb_E31JQA0DF76QKV6J3X72WVAFAT","uses":[{"from":"almadar-std/lint-type-param-sweep","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintTypeParamSweepRun","id":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2","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":"OrbLintTypeParamSweep","id":"trt_0XG135GF0V7GDZM89X92P4RE92","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintTypeParamSweepRun","linkedEntityId":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2","entityRefIds":{"OrbLintTypeParamSweepRun":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2"},"emits":[{"event":"LINT_FOUND","eventId":"evt_9R5V0XZ7B4KNJ9SA2FDVTDQB2F","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_9JB2A29K67SK3GSJ272RBM28PX","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ","triggers":"LINT_INPUT","triggersId":"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_4E4TNSASHPCRVD0E57MEM33T22","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ","name":"Lint Input","description":"The lint input: the file read, its language decided and the program lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"raw","type":"string","required":true},{"nullable":false,"name":"latin","type":"boolean","required":true},{"nullable":false,"name":"program","type":"object","required":true,"properties":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepExpect","projectedFrom":{"type":"SweepExpect"}}},{"nullable":false,"name":"entity","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}],"projectedFrom":{"type":"SweepEntityRef"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEntity","projectedFrom":{"type":"SweepEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}],"items":{"nullable":false,"name":"","type":"SweepTrait","projectedFrom":{"type":"SweepTrait"}}}],"items":{"nullable":false,"name":"","type":"SweepOrbital","projectedFrom":{"type":"SweepOrbital"}}}],"projectedFrom":{"type":"SweepProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_9JB2A29K67SK3GSJ272RBM28PX","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_9R5V0XZ7B4KNJ9SA2FDVTDQB2F","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_4E4TNSASHPCRVD0E57MEM33T22"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["let",[["orbitals",["object/get","@payload.program","orbitals",[]]]],["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["orb",["array/nth","@orbitals","@oi"]]],["array/concat",["array/flatten",["array/map",["array/flatten",["array/map",["array/flatten",["array/map",["array/concat",[["object/get","@orb","entity",{}]],["object/get","@orb","auxiliaryEntities",[]]],["fn","xe",["if",["validate/object","@xe"],["@xe"],[]]]]],["fn","en",["array/map",["object/get","@en","fields",[]],["fn","f",{"mode":"entity","f":"@f","w":["str/concat","orbitals[","@oi","].entity.",["object/get","@en","name",""],".",["if",["validate/object","@f"],["let",[["n0",["object/get","@f","name",""]]],["if",["validate/string","@n0"],"@n0",""]],""]],"pre":"","ft":"","nm":""}]]]]],["fn","x",["let",[["md",["let",[["s10",["object/get","@x","mode"]]],["if",["validate/string","@s10"],"@s10",""]]],["hs",["let",[["md",["let",[["s11",["object/get","@x","mode"]]],["if",["validate/string","@s11"],"@s11",""]]]],["if",["or",["=","@md","own"],["=","@md","sigil"]],[{"rel":"","ty":["let",[["s12",["object/get","@x","ft"]]],["if",["validate/string","@s12"],"@s12",""]],"nm":["let",[["s13",["object/get","@x","nm"]]],["if",["validate/string","@s13"],"@s13",""]]}],["let",[["fres",["tree/fold",["object/get","@x","f"],["fn",["n","k"],["if",["validate/array","@n"],["array/flatten",["array/filter","@k",["fn","r",["validate/array","@r"]]]],["if",["validate/object","@n"],["if",["validate/string",["object/get","@n","type",0]],["let",[["ty",["let",[["s4",["object/get","@n","type",""]]],["if",["validate/string","@s4"],"@s4",""]]],["nm",["let",[["s5",["object/get","@n","name",""]]],["if",["validate/string","@s5"],"@s5",""]]]],["if",["=","@md","payload"],["if",["or",["str/startsWith","@ty","$"],["and",["str/startsWith","@ty","[$"],["str/endsWith","@ty","]"]],["=","@ty",["quote","\"\\u0040entity\""]],["=","@ty",["quote","\"[\\u0040entity]\""]]],[{"rel":["str/concat",".","@nm"],"ty":"@ty","nm":"@nm"}],["array/map",["object/get","@k","properties",[]],["fn","h",{"rel":["str/concat",".","@nm",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":["let",[["s3",["object/get","@h","nm",""]]],["if",["validate/string","@s3"],"@s3",""]]}]]],["if",["and",["str/startsWith","@ty","$"],[">",["str/len","@ty"],1]],[{"rel":"","ty":"@ty","nm":""}],["array/concat",["array/map",["object/get","@k","items",[]],["fn","h",{"rel":["str/concat","[]",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":""}]],["object/get","@k","properties",[]]]]]],["if",["=","@md","payload"],[],["array/flatten",["array/map",["object/keys","@k"],["fn","key",["array/map",["default",["object/get","@k","@key"],[]],["fn","h",{"rel":["str/concat",".","@key",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":""}]]]]]]],[]]]],"SweepShape","{\"name\":\"SweepShape\",\"nullable\":false,\"projectedFrom\":{\"type\":\"SweepShape\"},\"properties\":{\"array\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SweepShape\"},\"type\":\"union\",\"values\":[\"SweepShape\"]},\"name\":\"array\",\"nullable\":false,\"type\":\"array\"},\"boolean\":{\"name\":\"boolean\",\"nullable\":false,\"type\":\"boolean\"},\"map\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SweepShape\"},\"type\":\"union\",\"values\":[\"SweepShape\"]},\"name\":\"map\",\"nullable\":false,\"type\":\"object\"},\"number\":{\"name\":\"number\",\"nullable\":false,\"type\":\"number\"},\"string\":{\"name\":\"string\",\"nullable\":false,\"type\":\"string\"}},\"type\":\"union\",\"values\":[\"string\",\"number\",\"boolean\",\"array\",\"map\"]}"]]],["if",["=","@fres",null],null,"@fres"]]]]]],["if",["=","@hs",null],[{"code":"@config.codes.lintNodeUnchecked.code","path":["object/get","@x","w"],"message":["str/concat","@payload.file",": schema node at ",["object/get","@x","w"]," is not a SweepShape; this rule could not check it"],"suggestion":"","severity":"error"}],["array/flatten",["array/map","@hs",["fn","h",["let",[["rel",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],["ty",["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]]]],["let",[["path",["str/concat",["let",[["s6",["object/get","@x","w"]]],["if",["validate/string","@s6"],"@s6",""]],["let",[["s7",["object/get","@x","pre"]]],["if",["validate/string","@s7"],"@s7",""]],"@rel"]],["pn",["if",["and",["str/startsWith","@ty","[$"],["str/endsWith","@ty","]"]],["str/slice","@ty",2,["-",["str/len","@ty"],1]],["if",["str/startsWith","@ty","$"],["str/slice","@ty",1],"@ty"]]]],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","'","@path","' has the unbound type variable '","@pn","' — no trait parameter of that name binds it"],"suggestion":"Bind the trait to a `linkedEntity` so an Entity-kind parameter can default to it, or supply an explicit call-site `:: <param> <arg>` argument.","severity":"error"}]]]]]]]]]]],["let",[["licensed",["array/flatten",["array/map",["object/get","@orb","expects",[]],["fn","e",["if",["and",["validate/object","@e"],["or",["=",["object/get","@e","kind",""],"entity"],["and",["=",["object/get","@e","kind",""],"identity"],["validate/string",["object/get","@e","name",null]]]]],[["object/get","@e","name"]],[]]]]]]],["array/flatten",["array/map",["array/range",0,["array/len",["object/get","@orb","traits",[]]]],["fn","ti",["let",[["td",["array/nth",["object/get","@orb","traits",[]],"@ti"]]],["if",["validate/object",["object/get","@td","stateMachine",null]],["let",[["tp",["str/concat","orbitals[","@oi"," (",["object/get","@orb","name",""],")].traits[","@ti"," (",["object/get","@td","name",""],")]"]],["cfg",["object/get","@td","config",{}]],["tps",["object/get","@td","typeParams",[]]],["df",["and",["object/has","@td","linkedEntity"],["array/includes","@licensed",["object/get","@td","linkedEntity",""]]]]],["array/flatten",["array/map",["array/concat",["array/flatten",["array/map",["object/get","@td","emits",[]],["fn","em",["array/map",["object/get","@em","payloadSchema",[]],["fn","pf",{"mode":"payload","f":"@pf","w":["str/concat","@tp",".emits.",["object/get","@em","event",""]],"pre":"","ft":"","nm":""}]]]]],["array/concat",["array/flatten",["array/map",["object/get",["object/get","@td","stateMachine",{}],"events",[]],["fn","ev",["array/map",["object/get","@ev","payloadSchema",[]],["fn","pf",{"mode":"payload","f":"@pf","w":["str/concat","@tp",".events.",["object/get","@ev","key",""]],"pre":"","ft":"","nm":""}]]]]],["array/concat",["array/flatten",["array/map",["object/keys","@cfg"],["fn","kn",["array/concat",["if",["object/has",["object/get","@cfg","@kn"],"items"],[{"mode":"cfg","f":["object/get",["object/get","@cfg","@kn"],"items"],"w":["str/concat","@tp",".config.","@kn"],"pre":"[]","ft":"","nm":""}],[]],["if",["object/has",["object/get","@cfg","@kn"],"properties"],[{"mode":"cfg","f":["object/get",["object/get","@cfg","@kn"],"properties"],"w":["str/concat","@tp",".config.","@kn"],"pre":"","ft":"","nm":""}],[]]]]]],["array/concat",["array/flatten",["array/map",["object/keys","@cfg"],["fn","kn",["let",[["ft0",["object/get",["object/get","@cfg","@kn"],"type",""]]],["let",[["ft",["if",["validate/string","@ft0"],"@ft0",""]]],["if",["or",["str/startsWith","@ft","$"],["and",["str/startsWith","@ft","[$"],["str/endsWith","@ft","]"]]],[{"mode":"own","f":"","w":["str/concat","@tp",".config.","@kn"],"pre":"","ft":"@ft","nm":"@kn"}],[]]]]]]],["array/map",["object/keys","@cfg"],["fn","kn",{"mode":"sigil","f":"","w":["str/concat","@tp",".config.","@kn"],"pre":"","ft":["let",[["ft0",["object/get",["object/get","@cfg","@kn"],"type",""]]],["if",["validate/string","@ft0"],"@ft0",""]],"nm":"@kn"}]]]]]],["fn","x",["let",[["md",["let",[["s18",["object/get","@x","mode"]]],["if",["validate/string","@s18"],"@s18",""]]],["hs",["let",[["md",["let",[["s19",["object/get","@x","mode"]]],["if",["validate/string","@s19"],"@s19",""]]]],["if",["or",["=","@md","own"],["=","@md","sigil"]],[{"rel":"","ty":["let",[["s20",["object/get","@x","ft"]]],["if",["validate/string","@s20"],"@s20",""]],"nm":["let",[["s21",["object/get","@x","nm"]]],["if",["validate/string","@s21"],"@s21",""]]}],["let",[["fres",["tree/fold",["object/get","@x","f"],["fn",["n","k"],["if",["validate/array","@n"],["array/flatten",["array/filter","@k",["fn","r",["validate/array","@r"]]]],["if",["validate/object","@n"],["if",["validate/string",["object/get","@n","type",0]],["let",[["ty",["let",[["s4",["object/get","@n","type",""]]],["if",["validate/string","@s4"],"@s4",""]]],["nm",["let",[["s5",["object/get","@n","name",""]]],["if",["validate/string","@s5"],"@s5",""]]]],["if",["=","@md","payload"],["if",["or",["str/startsWith","@ty","$"],["and",["str/startsWith","@ty","[$"],["str/endsWith","@ty","]"]],["=","@ty",["quote","\"\\u0040entity\""]],["=","@ty",["quote","\"[\\u0040entity]\""]]],[{"rel":["str/concat",".","@nm"],"ty":"@ty","nm":"@nm"}],["array/map",["object/get","@k","properties",[]],["fn","h",{"rel":["str/concat",".","@nm",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":["let",[["s3",["object/get","@h","nm",""]]],["if",["validate/string","@s3"],"@s3",""]]}]]],["if",["and",["str/startsWith","@ty","$"],[">",["str/len","@ty"],1]],[{"rel":"","ty":"@ty","nm":""}],["array/concat",["array/map",["object/get","@k","items",[]],["fn","h",{"rel":["str/concat","[]",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":""}]],["object/get","@k","properties",[]]]]]],["if",["=","@md","payload"],[],["array/flatten",["array/map",["object/keys","@k"],["fn","key",["array/map",["default",["object/get","@k","@key"],[]],["fn","h",{"rel":["str/concat",".","@key",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":""}]]]]]]],[]]]],"SweepShape","{\"name\":\"SweepShape\",\"nullable\":false,\"projectedFrom\":{\"type\":\"SweepShape\"},\"properties\":{\"array\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SweepShape\"},\"type\":\"union\",\"values\":[\"SweepShape\"]},\"name\":\"array\",\"nullable\":false,\"type\":\"array\"},\"boolean\":{\"name\":\"boolean\",\"nullable\":false,\"type\":\"boolean\"},\"map\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SweepShape\"},\"type\":\"union\",\"values\":[\"SweepShape\"]},\"name\":\"map\",\"nullable\":false,\"type\":\"object\"},\"number\":{\"name\":\"number\",\"nullable\":false,\"type\":\"number\"},\"string\":{\"name\":\"string\",\"nullable\":false,\"type\":\"string\"}},\"type\":\"union\",\"values\":[\"string\",\"number\",\"boolean\",\"array\",\"map\"]}"]]],["if",["=","@fres",null],null,"@fres"]]]]]],["if",["=","@hs",null],[{"code":"@config.codes.lintNodeUnchecked.code","path":["object/get","@x","w"],"message":["str/concat","@payload.file",": schema node at ",["object/get","@x","w"]," is not a SweepShape; this rule could not check it"],"suggestion":"","severity":"error"}],["array/flatten",["array/map","@hs",["fn","h",["let",[["rel",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],["ty",["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]]],["nm",["let",[["s3",["object/get","@h","nm",""]]],["if",["validate/string","@s3"],"@s3",""]]]],["let",[["path",["str/concat",["let",[["s16",["object/get","@x","w"]]],["if",["validate/string","@s16"],"@s16",""]],["let",[["s17",["object/get","@x","pre"]]],["if",["validate/string","@s17"],"@s17",""]],"@rel"]],["pn",["if",["and",["str/startsWith","@ty","[$"],["str/endsWith","@ty","]"]],["str/slice","@ty",2,["-",["str/len","@ty"],1]],["if",["str/startsWith","@ty","$"],["str/slice","@ty",1],"@ty"]]]],["let",[["kds",["array/filter","@tps",["fn","p",["=",["object/get","@p","name",""],"@pn"]]]]],["let",[["hasK",[">",["array/len","@kds"],0]],["kind",["if",[">",["array/len","@kds"],0],["object/get",["array/first","@kds"],"kind",""],""]]],["if",["=","@md","payload"],["if",["and","@df",["or",["=","@ty",["quote","\"\\u0040entity\""]],["=","@ty",["quote","\"[\\u0040entity]\""]],["and","@hasK",["=","@kind","Entity"]]]],[],["if",["and","@hasK",["=","@kind","Entity"]],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","payload field '","@nm","' carries the unresolved type-parameter sentinel '","@ty","' — Entity-kind parameter '","@pn","' has no `linkedEntity` to monomorphize against"],"suggestion":"Bind the trait to a `linkedEntity` (directly, via `-> Entity`, or via a call-site rebind) so the parameter has an entity to monomorphize against.","severity":"error"}],["if","@hasK",[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","payload field '","@nm","' carries the unresolved type-parameter sentinel '","@ty","' — parameter '","@pn","' was not supplied a `:: ","@pn"," <arg>` call-site argument"],"suggestion":"Supply an explicit call-site argument for this parameter — `:: <param> <arg>` on the trait reference (a primitive type name, or an entity name) — this Type-kind parameter has no default.","severity":"error"}],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","payload field '","@nm","' carries the unresolved type-parameter sentinel '","@ty","' — the compiler could not monomorphize the parameter"],"suggestion":"Bind the trait to a `linkedEntity` so an Entity-kind parameter can default to it, or supply an explicit call-site `:: <param> <arg>` argument.","severity":"error"}]]]],["if",["=","@md","sigil"],["let",[["reason",["if",["=","@ty",["quote","\"\\u0040user\""]],"this orbital declares no identity SHAPE (a bare `expects entity [identity]` declares existence only)",["if",["str/startsWith","@ty",["quote","\"\\u0040payload(\""]],"the named knob does not hold a literal event name on this trait",["if",["str/startsWith","@ty",["quote","\"\\u0040entity(\""]],"the named knob does not hold a literal entity name, or that entity is declared nowhere in this schema",["if",["or",["=","@ty",["quote","\"\\u0040entity\""]],["=","@ty",["quote","\"[\\u0040entity]\""]]],"the carrying trait declares no `linkedEntity`, so there is no bound row to resolve against",""]]]]]],["if",["or",["=","@reason",""],["and","@df",["or",["=","@ty",["quote","\"\\u0040entity\""]],["=","@ty",["quote","\"[\\u0040entity]\""]]]]],[],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","config knob '","@nm","' still carries the unresolved type `","@ty","` — ","@reason"],"suggestion":"A sigil type resolves against something the schema must actually declare: `@payload <knob>` needs the knob typed `event` with a literal default; `@entity <knob>` needs an `entity`-typed knob naming a declared entity; `@user` needs `expects entity <Name> [identity] { … }` with a shape.","severity":"error"}]]],["if",["and","@df","@hasK",["=","@kind","Entity"]],[],["if",["and","@hasK",["=","@kind","Entity"]],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","'","@path","' has the unbound type variable '","@pn","' — Entity-kind parameter '","@pn","' has no `linkedEntity` to bind it"],"suggestion":"Bind the trait to a `linkedEntity` (directly, via `-> Entity`, or via a call-site rebind) so the parameter has an entity to monomorphize against.","severity":"error"}],["if","@hasK",[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","'","@path","' has the unbound type variable '","@pn","' — parameter '","@pn","' was not supplied a `:: ","@pn"," <arg>` call-site argument"],"suggestion":"Supply an explicit call-site argument for this parameter — `:: <param> <arg>` on the trait reference (a primitive type name, or an entity name) — this Type-kind parameter has no default.","severity":"error"}],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","'","@path","' has the unbound type variable '","@pn","' — no trait parameter of that name binds it"],"suggestion":"Bind the trait to a `linkedEntity` so an Entity-kind parameter can default to it, or supply an explicit call-site `:: <param> <arg>` argument.","severity":"error"}]]]]]]]]]]]]]]]]]]],[]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_9JB2A29K67SK3GSJ272RBM28PX","effects":[["emit","LINT_FOUND",{"rule":"type-param-sweep","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintTypeParamSweepCodes","default":{"lintNodeUnchecked":{"code":"LINT_NODE_UNCHECKED","category":"lint","description":"A lint rule met a schema node of an unexpected shape and could not check it"},"tUnresolvedTypeParam":{"code":"ORB_T_UNRESOLVED_TYPE_PARAM","category":"trait","description":"A declaration uses a type variable that no trait parameter binds"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"lintNodeUnchecked":{"nullable":false,"name":"lintNodeUnchecked","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"}},"tUnresolvedTypeParam":{"nullable":false,"name":"tUnresolvedTypeParam","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":"LintTypeParamSweepCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_0XG135GF0V7GDZM89X92P4RE92","fingerprint":"64a868625d88552ae69c9f07e17d5021cc354a3e157c43dd516baa6db043dd2f"}},{"name":"OrbLintTypeParamSweepCli","id":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintTypeParamSweepRun","linkedEntityId":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2","entityRefIds":{"OrbLintTypeParamSweepRun":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_9N4HNHB9RFMW7T7GDPPS6XBNE1","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_9N33P0JPPJBB99H5S878AAC06R","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_MSZ8W9S6HJK8SF207JM79QMAJ5","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_D4B0P4TJE09704Z9P124BT3R9Q","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_9R5V0XZ7B4KNJ9SA2FDVTDQB2F","triggers":"LINT_FOUND","triggersId":"evt_MSZ8W9S6HJK8SF207JM79QMAJ5","source":{"kind":"trait","trait":"OrbLintTypeParamSweep","traitId":"trt_0XG135GF0V7GDZM89X92P4RE92"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_D4B0P4TJE09704Z9P124BT3R9Q","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_D4B0P4TJE09704Z9P124BT3R9Q","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_326VPTRBYR5ZCFN1E2F942G1RM","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_ANT3RNPC3361HQ34MD2W6RH04T","name":"Lint Called","description":"Run `orb lint type-param-sweep` with its arguments and working directory.","synonyms":"orb lint type-param-sweep, orb lint type-param-sweep, type param sweep","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-type-param-sweep","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_MSZ8W9S6HJK8SF207JM79QMAJ5","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_D4B0P4TJE09704Z9P124BT3R9Q","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_9N4HNHB9RFMW7T7GDPPS6XBNE1","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_9N33P0JPPJBB99H5S878AAC06R","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_326VPTRBYR5ZCFN1E2F942G1RM"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_ANT3RNPC3361HQ34MD2W6RH04T","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 type-param-sweep <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_ANT3RNPC3361HQ34MD2W6RH04T","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 type-param-sweep <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint type-param-sweep <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_326VPTRBYR5ZCFN1E2F942G1RM"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_MSZ8W9S6HJK8SF207JM79QMAJ5","guard":["and",["=","@payload.rule","type-param-sweep"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint type-param-sweep: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_MSZ8W9S6HJK8SF207JM79QMAJ5","guard":["and",["=","@payload.rule","type-param-sweep"],[">",["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_D4B0P4TJE09704Z9P124BT3R9Q","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint type-param-sweep: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN","fingerprint":"88cef7b064ebe3e17c229bb66539fa893719d4db9c7d8d7f68ac729239acd3d9"}},{"ref":"Input.traits.Versions","id":"trt_ERDZ2DW6PM3BA1JF8KMGWC722C","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_1ZH417BBS9NWMPQYCPJ4E0GN30","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintTypeParamSweepCli"}},{"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":"OrbLintTypeParamSweepOrbitalStart","id":"pag_8DT430RH6A8K5EWY8CFM376WBW","path":"","protocol":"boot","traits":[{"ref":"OrbLintTypeParamSweep","refId":"trt_0XG135GF0V7GDZM89X92P4RE92"},{"ref":"OrbLintTypeParamSweepCli","refId":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},{"ref":"OrbLintInput","refId":"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY"},{"ref":"Packs","refId":"trt_1ZH417BBS9NWMPQYCPJ4E0GN30"},{"ref":"Versions","refId":"trt_ERDZ2DW6PM3BA1JF8KMGWC722C"}]}],"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}],"LintTypeParamSweepCodes":[{"nullable":false,"name":"lintNodeUnchecked","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":"tUnresolvedTypeParam","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"]}],"SweepEmit":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepEntityRef":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}]}],"SweepEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"SweepKnob":[{"nullable":false,"name":"type","type":"string"},{"nullable":false,"name":"items","type":"SweepShape","properties":[],"projectedFrom":{"type":"SweepShape"}},{"nullable":false,"name":"properties","type":"Map<string,SweepShape>","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepMachine":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"SweepOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepExpect","projectedFrom":{"type":"SweepExpect"}}},{"nullable":false,"name":"entity","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}],"projectedFrom":{"type":"SweepEntityRef"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEntity","projectedFrom":{"type":"SweepEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}],"items":{"nullable":false,"name":"","type":"SweepTrait","projectedFrom":{"type":"SweepTrait"}}}],"SweepParam":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"SweepProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepExpect","projectedFrom":{"type":"SweepExpect"}}},{"nullable":false,"name":"entity","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}],"projectedFrom":{"type":"SweepEntityRef"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEntity","projectedFrom":{"type":"SweepEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}],"items":{"nullable":false,"name":"","type":"SweepTrait","projectedFrom":{"type":"SweepTrait"}}}],"items":{"nullable":false,"name":"","type":"SweepOrbital","projectedFrom":{"type":"SweepOrbital"}}}],"SweepShape":[{"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":"[SweepShape]","items":{"nullable":true,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}},{"nullable":false,"name":"object","type":"Map<string,SweepShape>","items":{"nullable":true,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}]}],"SweepTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}]}}],"inbound":["cli-lint-type-param-sweep"],"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_N581MDZQ0KVG9H8WMCHRRQ6RV2":{"id":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2","kind":"entity","bakedName":"OrbLintTypeParamSweepRun","curName":"OrbLintTypeParamSweepRun","renames":[],"owner":"workspace"},"evt_326VPTRBYR5ZCFN1E2F942G1RM":{"id":"evt_326VPTRBYR5ZCFN1E2F942G1RM","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"evt_4E4TNSASHPCRVD0E57MEM33T22":{"id":"evt_4E4TNSASHPCRVD0E57MEM33T22","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_0XG135GF0V7GDZM89X92P4RE92"},"evt_9JB2A29K67SK3GSJ272RBM28PX":{"id":"evt_9JB2A29K67SK3GSJ272RBM28PX","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_0XG135GF0V7GDZM89X92P4RE92"},"evt_9N33P0JPPJBB99H5S878AAC06R":{"id":"evt_9N33P0JPPJBB99H5S878AAC06R","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"evt_9N4HNHB9RFMW7T7GDPPS6XBNE1":{"id":"evt_9N4HNHB9RFMW7T7GDPPS6XBNE1","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"evt_9R5V0XZ7B4KNJ9SA2FDVTDQB2F":{"id":"evt_9R5V0XZ7B4KNJ9SA2FDVTDQB2F","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_0XG135GF0V7GDZM89X92P4RE92"},"evt_ANT3RNPC3361HQ34MD2W6RH04T":{"id":"evt_ANT3RNPC3361HQ34MD2W6RH04T","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ":{"id":"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_0XG135GF0V7GDZM89X92P4RE92"},"evt_D4B0P4TJE09704Z9P124BT3R9Q":{"id":"evt_D4B0P4TJE09704Z9P124BT3R9Q","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"evt_MSZ8W9S6HJK8SF207JM79QMAJ5":{"id":"evt_MSZ8W9S6HJK8SF207JM79QMAJ5","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"orb_E31JQA0DF76QKV6J3X72WVAFAT":{"id":"orb_E31JQA0DF76QKV6J3X72WVAFAT","kind":"orbital","bakedName":"OrbLintTypeParamSweepOrbital","curName":"OrbLintTypeParamSweepOrbital","renames":[],"owner":"workspace"},"pag_8DT430RH6A8K5EWY8CFM376WBW":{"id":"pag_8DT430RH6A8K5EWY8CFM376WBW","kind":"page","bakedName":"OrbLintTypeParamSweepOrbitalStart","curName":"OrbLintTypeParamSweepOrbitalStart","renames":[],"owner":"workspace"},"trt_0XG135GF0V7GDZM89X92P4RE92":{"id":"trt_0XG135GF0V7GDZM89X92P4RE92","kind":"trait","bakedName":"OrbLintTypeParamSweep","curName":"OrbLintTypeParamSweep","renames":[],"owner":"workspace"},"trt_1ZH417BBS9NWMPQYCPJ4E0GN30":{"id":"trt_1ZH417BBS9NWMPQYCPJ4E0GN30","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_ERDZ2DW6PM3BA1JF8KMGWC722C":{"id":"trt_ERDZ2DW6PM3BA1JF8KMGWC722C","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY":{"id":"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_JKQXDN1D5RPJW15A2E8SHE00ZN":{"id":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN","kind":"trait","bakedName":"OrbLintTypeParamSweepCli","curName":"OrbLintTypeParamSweepCli","renames":[],"owner":"workspace"}}}}
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}],"LintTypeParamSweepCodes":[{"nullable":false,"name":"lintNodeUnchecked","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":"tUnresolvedTypeParam","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"]}],"SweepEmit":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepEntityRef":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}]}],"SweepEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"SweepKnob":[{"nullable":false,"name":"type","type":"string"},{"nullable":false,"name":"items","type":"SweepShape","properties":[],"projectedFrom":{"type":"SweepShape"}},{"nullable":false,"name":"properties","type":"Map<string,SweepShape>","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepMachine":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"SweepOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepExpect","projectedFrom":{"type":"SweepExpect"}}},{"nullable":false,"name":"entity","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}],"projectedFrom":{"type":"SweepEntityRef"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEntity","projectedFrom":{"type":"SweepEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}],"items":{"nullable":false,"name":"","type":"SweepTrait","projectedFrom":{"type":"SweepTrait"}}}],"SweepParam":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"SweepProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepExpect","projectedFrom":{"type":"SweepExpect"}}},{"nullable":false,"name":"entity","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}],"projectedFrom":{"type":"SweepEntityRef"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEntity","projectedFrom":{"type":"SweepEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}],"items":{"nullable":false,"name":"","type":"SweepTrait","projectedFrom":{"type":"SweepTrait"}}}],"items":{"nullable":false,"name":"","type":"SweepOrbital","projectedFrom":{"type":"SweepOrbital"}}}],"SweepShape":[{"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":"[SweepShape]","items":{"nullable":true,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}},{"nullable":false,"name":"object","type":"Map<string,SweepShape>","items":{"nullable":true,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}]}],"SweepTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}]},"name":"std-orb-lint-type-param-sweep","version":"1.0.0","description":"std-orb-lint-type-param-sweep — the `orb lint type-param-sweep <file>` command, the port of ORB_T_UNRESOLVED_TYPE_PARAM (type_param_sweep.rs validate_type_param_sentinels). It lowers the file with program/read and reports every type-parameter sentinel that survived resolution: a type variable left in an entity field shape, in a trait's emit or event payload field (the `$v`, `[$v]` and bare `@entity` sentinels, deferred when the linked entity is licensed by the orbital's expects), in a config knob's items or properties or in the knob's own type, and a config knob still typed with an unresolved sigil (`@user`, `@payload(..)`, `@entity(..)`, `@entity`), with the Rust path, message and suggestion (status 500, exit 1). Clean answers `lint type-param-sweep: 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":"OrbLintTypeParamSweepOrbital","id":"orb_E31JQA0DF76QKV6J3X72WVAFAT","uses":[{"from":"almadar-std/lint-type-param-sweep","as":"Spec"},{"from":"std/behaviors/std-orb-lint-input","as":"Input"}],"entity":{"name":"OrbLintTypeParamSweepRun","id":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2","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":"OrbLintTypeParamSweep","id":"trt_0XG135GF0V7GDZM89X92P4RE92","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.scope"}],"linkedEntity":"OrbLintTypeParamSweepRun","linkedEntityId":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2","entityRefIds":{"OrbLintTypeParamSweepRun":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2"},"emits":[{"event":"LINT_FOUND","eventId":"evt_9R5V0XZ7B4KNJ9SA2FDVTDQB2F","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_9JB2A29K67SK3GSJ272RBM28PX","description":"Internal: answer with the verdict.","tier":"internal"}],"listens":[{"event":"LINT_INPUT","eventId":"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ","triggers":"LINT_INPUT","triggersId":"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true}],"events":[{"key":"INIT","id":"evt_4E4TNSASHPCRVD0E57MEM33T22","name":"Initialize"},{"key":"LINT_INPUT","id":"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ","name":"Lint Input","description":"The lint input: the file read, its language decided and the program lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"raw","type":"string","required":true},{"nullable":false,"name":"latin","type":"boolean","required":true},{"nullable":false,"name":"program","type":"object","required":true,"properties":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepExpect","projectedFrom":{"type":"SweepExpect"}}},{"nullable":false,"name":"entity","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}],"projectedFrom":{"type":"SweepEntityRef"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEntity","projectedFrom":{"type":"SweepEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}],"items":{"nullable":false,"name":"","type":"SweepTrait","projectedFrom":{"type":"SweepTrait"}}}],"items":{"nullable":false,"name":"","type":"SweepOrbital","projectedFrom":{"type":"SweepOrbital"}}}],"projectedFrom":{"type":"SweepProgram"}},{"nullable":false,"name":"scope","type":"string","required":true}],"listened":true},{"key":"LINT_FINISH","id":"evt_9JB2A29K67SK3GSJ272RBM28PX","name":"Lint Finish","description":"Internal: answer with the verdict.","tier":"internal"},{"key":"LINT_FOUND","id":"evt_9R5V0XZ7B4KNJ9SA2FDVTDQB2F","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_4E4TNSASHPCRVD0E57MEM33T22"},{"from":"ready","to":"ready","event":"LINT_INPUT","eventId":"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ","effects":[["set","@entity.scope","@payload.scope"],["set","@entity.findings",["let",[["orbitals",["object/get","@payload.program","orbitals",[]]]],["array/flatten",["array/map",["array/range",0,["array/len","@orbitals"]],["fn","oi",["let",[["orb",["array/nth","@orbitals","@oi"]]],["array/concat",["array/flatten",["array/map",["array/flatten",["array/map",["array/flatten",["array/map",["array/concat",[["object/get","@orb","entity",{}]],["object/get","@orb","auxiliaryEntities",[]]],["fn","xe",["if",["validate/object","@xe"],["@xe"],[]]]]],["fn","en",["array/map",["object/get","@en","fields",[]],["fn","f",{"mode":"entity","f":"@f","w":["str/concat","orbitals[","@oi","].entity.",["object/get","@en","name",""],".",["if",["validate/object","@f"],["let",[["n0",["object/get","@f","name",""]]],["if",["validate/string","@n0"],"@n0",""]],""]],"pre":"","ft":"","nm":""}]]]]],["fn","x",["let",[["md",["let",[["s10",["object/get","@x","mode"]]],["if",["validate/string","@s10"],"@s10",""]]],["hs",["let",[["md",["let",[["s11",["object/get","@x","mode"]]],["if",["validate/string","@s11"],"@s11",""]]]],["if",["or",["=","@md","own"],["=","@md","sigil"]],[{"rel":"","ty":["let",[["s12",["object/get","@x","ft"]]],["if",["validate/string","@s12"],"@s12",""]],"nm":["let",[["s13",["object/get","@x","nm"]]],["if",["validate/string","@s13"],"@s13",""]]}],["let",[["fres",["tree/fold",["object/get","@x","f"],["fn",["n","k"],["if",["validate/array","@n"],["array/flatten",["array/filter","@k",["fn","r",["validate/array","@r"]]]],["if",["validate/object","@n"],["if",["validate/string",["object/get","@n","type",0]],["let",[["ty",["let",[["s4",["object/get","@n","type",""]]],["if",["validate/string","@s4"],"@s4",""]]],["nm",["let",[["s5",["object/get","@n","name",""]]],["if",["validate/string","@s5"],"@s5",""]]]],["if",["=","@md","payload"],["if",["or",["str/startsWith","@ty","$"],["and",["str/startsWith","@ty","[$"],["str/endsWith","@ty","]"]],["=","@ty",["quote","\"\\u0040entity\""]],["=","@ty",["quote","\"[\\u0040entity]\""]]],[{"rel":["str/concat",".","@nm"],"ty":"@ty","nm":"@nm"}],["array/map",["object/get","@k","properties",[]],["fn","h",{"rel":["str/concat",".","@nm",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":["let",[["s3",["object/get","@h","nm",""]]],["if",["validate/string","@s3"],"@s3",""]]}]]],["if",["and",["str/startsWith","@ty","$"],[">",["str/len","@ty"],1]],[{"rel":"","ty":"@ty","nm":""}],["array/concat",["array/map",["object/get","@k","items",[]],["fn","h",{"rel":["str/concat","[]",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":""}]],["object/get","@k","properties",[]]]]]],["if",["=","@md","payload"],[],["array/flatten",["array/map",["object/keys","@k"],["fn","key",["array/map",["default",["object/get","@k","@key"],[]],["fn","h",{"rel":["str/concat",".","@key",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":""}]]]]]]],[]]]],"SweepShape","{\"name\":\"SweepShape\",\"nullable\":false,\"projectedFrom\":{\"type\":\"SweepShape\"},\"properties\":{\"array\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SweepShape\"},\"type\":\"union\",\"values\":[\"SweepShape\"]},\"name\":\"array\",\"nullable\":false,\"type\":\"array\"},\"boolean\":{\"name\":\"boolean\",\"nullable\":false,\"type\":\"boolean\"},\"map\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SweepShape\"},\"type\":\"union\",\"values\":[\"SweepShape\"]},\"name\":\"map\",\"nullable\":false,\"type\":\"object\"},\"number\":{\"name\":\"number\",\"nullable\":false,\"type\":\"number\"},\"string\":{\"name\":\"string\",\"nullable\":false,\"type\":\"string\"}},\"type\":\"union\",\"values\":[\"string\",\"number\",\"boolean\",\"array\",\"map\"]}"]]],["if",["=","@fres",null],null,"@fres"]]]]]],["if",["=","@hs",null],[{"code":"@config.codes.lintNodeUnchecked.code","path":["object/get","@x","w"],"message":["str/concat","@payload.file",": schema node at ",["object/get","@x","w"]," is not a SweepShape; this rule could not check it"],"suggestion":"","severity":"error"}],["array/flatten",["array/map","@hs",["fn","h",["let",[["rel",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],["ty",["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]]]],["let",[["path",["str/concat",["let",[["s6",["object/get","@x","w"]]],["if",["validate/string","@s6"],"@s6",""]],["let",[["s7",["object/get","@x","pre"]]],["if",["validate/string","@s7"],"@s7",""]],"@rel"]],["pn",["if",["and",["str/startsWith","@ty","[$"],["str/endsWith","@ty","]"]],["str/slice","@ty",2,["-",["str/len","@ty"],1]],["if",["str/startsWith","@ty","$"],["str/slice","@ty",1],"@ty"]]]],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","'","@path","' has the unbound type variable '","@pn","' — no trait parameter of that name binds it"],"suggestion":"Bind the trait to a `linkedEntity` so an Entity-kind parameter can default to it, or supply an explicit call-site `:: <param> <arg>` argument.","severity":"error"}]]]]]]]]]]],["let",[["licensed",["array/flatten",["array/map",["object/get","@orb","expects",[]],["fn","e",["if",["and",["validate/object","@e"],["or",["=",["object/get","@e","kind",""],"entity"],["and",["=",["object/get","@e","kind",""],"identity"],["validate/string",["object/get","@e","name",null]]]]],[["object/get","@e","name"]],[]]]]]]],["array/flatten",["array/map",["array/range",0,["array/len",["object/get","@orb","traits",[]]]],["fn","ti",["let",[["td",["array/nth",["object/get","@orb","traits",[]],"@ti"]]],["if",["validate/object",["object/get","@td","stateMachine",null]],["let",[["tp",["str/concat","orbitals[","@oi"," (",["object/get","@orb","name",""],")].traits[","@ti"," (",["object/get","@td","name",""],")]"]],["cfg",["object/get","@td","config",{}]],["tps",["object/get","@td","typeParams",[]]],["df",["and",["object/has","@td","linkedEntity"],["array/includes","@licensed",["object/get","@td","linkedEntity",""]]]]],["array/flatten",["array/map",["array/concat",["array/flatten",["array/map",["object/get","@td","emits",[]],["fn","em",["array/map",["object/get","@em","payloadSchema",[]],["fn","pf",{"mode":"payload","f":"@pf","w":["str/concat","@tp",".emits.",["object/get","@em","event",""]],"pre":"","ft":"","nm":""}]]]]],["array/concat",["array/flatten",["array/map",["object/get",["object/get","@td","stateMachine",{}],"events",[]],["fn","ev",["array/map",["object/get","@ev","payloadSchema",[]],["fn","pf",{"mode":"payload","f":"@pf","w":["str/concat","@tp",".events.",["object/get","@ev","key",""]],"pre":"","ft":"","nm":""}]]]]],["array/concat",["array/flatten",["array/map",["object/keys","@cfg"],["fn","kn",["array/concat",["if",["object/has",["object/get","@cfg","@kn"],"items"],[{"mode":"cfg","f":["object/get",["object/get","@cfg","@kn"],"items"],"w":["str/concat","@tp",".config.","@kn"],"pre":"[]","ft":"","nm":""}],[]],["if",["object/has",["object/get","@cfg","@kn"],"properties"],[{"mode":"cfg","f":["object/get",["object/get","@cfg","@kn"],"properties"],"w":["str/concat","@tp",".config.","@kn"],"pre":"","ft":"","nm":""}],[]]]]]],["array/concat",["array/flatten",["array/map",["object/keys","@cfg"],["fn","kn",["let",[["ft0",["object/get",["object/get","@cfg","@kn"],"type",""]]],["let",[["ft",["if",["validate/string","@ft0"],"@ft0",""]]],["if",["or",["str/startsWith","@ft","$"],["and",["str/startsWith","@ft","[$"],["str/endsWith","@ft","]"]]],[{"mode":"own","f":"","w":["str/concat","@tp",".config.","@kn"],"pre":"","ft":"@ft","nm":"@kn"}],[]]]]]]],["array/map",["object/keys","@cfg"],["fn","kn",{"mode":"sigil","f":"","w":["str/concat","@tp",".config.","@kn"],"pre":"","ft":["let",[["ft0",["object/get",["object/get","@cfg","@kn"],"type",""]]],["if",["validate/string","@ft0"],"@ft0",""]],"nm":"@kn"}]]]]]],["fn","x",["let",[["md",["let",[["s18",["object/get","@x","mode"]]],["if",["validate/string","@s18"],"@s18",""]]],["hs",["let",[["md",["let",[["s19",["object/get","@x","mode"]]],["if",["validate/string","@s19"],"@s19",""]]]],["if",["or",["=","@md","own"],["=","@md","sigil"]],[{"rel":"","ty":["let",[["s20",["object/get","@x","ft"]]],["if",["validate/string","@s20"],"@s20",""]],"nm":["let",[["s21",["object/get","@x","nm"]]],["if",["validate/string","@s21"],"@s21",""]]}],["let",[["fres",["tree/fold",["object/get","@x","f"],["fn",["n","k"],["if",["validate/array","@n"],["array/flatten",["array/filter","@k",["fn","r",["validate/array","@r"]]]],["if",["validate/object","@n"],["if",["validate/string",["object/get","@n","type",0]],["let",[["ty",["let",[["s4",["object/get","@n","type",""]]],["if",["validate/string","@s4"],"@s4",""]]],["nm",["let",[["s5",["object/get","@n","name",""]]],["if",["validate/string","@s5"],"@s5",""]]]],["if",["=","@md","payload"],["if",["or",["str/startsWith","@ty","$"],["and",["str/startsWith","@ty","[$"],["str/endsWith","@ty","]"]],["=","@ty",["quote","\"\\u0040entity\""]],["=","@ty",["quote","\"[\\u0040entity]\""]]],[{"rel":["str/concat",".","@nm"],"ty":"@ty","nm":"@nm"}],["array/map",["object/get","@k","properties",[]],["fn","h",{"rel":["str/concat",".","@nm",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":["let",[["s3",["object/get","@h","nm",""]]],["if",["validate/string","@s3"],"@s3",""]]}]]],["if",["and",["str/startsWith","@ty","$"],[">",["str/len","@ty"],1]],[{"rel":"","ty":"@ty","nm":""}],["array/concat",["array/map",["object/get","@k","items",[]],["fn","h",{"rel":["str/concat","[]",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":""}]],["object/get","@k","properties",[]]]]]],["if",["=","@md","payload"],[],["array/flatten",["array/map",["object/keys","@k"],["fn","key",["array/map",["default",["object/get","@k","@key"],[]],["fn","h",{"rel":["str/concat",".","@key",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],"ty":["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]],"nm":""}]]]]]]],[]]]],"SweepShape","{\"name\":\"SweepShape\",\"nullable\":false,\"projectedFrom\":{\"type\":\"SweepShape\"},\"properties\":{\"array\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SweepShape\"},\"type\":\"union\",\"values\":[\"SweepShape\"]},\"name\":\"array\",\"nullable\":false,\"type\":\"array\"},\"boolean\":{\"name\":\"boolean\",\"nullable\":false,\"type\":\"boolean\"},\"map\":{\"items\":{\"nullable\":true,\"projectedFrom\":{\"type\":\"SweepShape\"},\"type\":\"union\",\"values\":[\"SweepShape\"]},\"name\":\"map\",\"nullable\":false,\"type\":\"object\"},\"number\":{\"name\":\"number\",\"nullable\":false,\"type\":\"number\"},\"string\":{\"name\":\"string\",\"nullable\":false,\"type\":\"string\"}},\"type\":\"union\",\"values\":[\"string\",\"number\",\"boolean\",\"array\",\"map\"]}"]]],["if",["=","@fres",null],null,"@fres"]]]]]],["if",["=","@hs",null],[{"code":"@config.codes.lintNodeUnchecked.code","path":["object/get","@x","w"],"message":["str/concat","@payload.file",": schema node at ",["object/get","@x","w"]," is not a SweepShape; this rule could not check it"],"suggestion":"","severity":"error"}],["array/flatten",["array/map","@hs",["fn","h",["let",[["rel",["let",[["s1",["object/get","@h","rel",""]]],["if",["validate/string","@s1"],"@s1",""]]],["ty",["let",[["s2",["object/get","@h","ty",""]]],["if",["validate/string","@s2"],"@s2",""]]],["nm",["let",[["s3",["object/get","@h","nm",""]]],["if",["validate/string","@s3"],"@s3",""]]]],["let",[["path",["str/concat",["let",[["s16",["object/get","@x","w"]]],["if",["validate/string","@s16"],"@s16",""]],["let",[["s17",["object/get","@x","pre"]]],["if",["validate/string","@s17"],"@s17",""]],"@rel"]],["pn",["if",["and",["str/startsWith","@ty","[$"],["str/endsWith","@ty","]"]],["str/slice","@ty",2,["-",["str/len","@ty"],1]],["if",["str/startsWith","@ty","$"],["str/slice","@ty",1],"@ty"]]]],["let",[["kds",["array/filter","@tps",["fn","p",["=",["object/get","@p","name",""],"@pn"]]]]],["let",[["hasK",[">",["array/len","@kds"],0]],["kind",["if",[">",["array/len","@kds"],0],["object/get",["array/first","@kds"],"kind",""],""]]],["if",["=","@md","payload"],["if",["and","@df",["or",["=","@ty",["quote","\"\\u0040entity\""]],["=","@ty",["quote","\"[\\u0040entity]\""]],["and","@hasK",["=","@kind","Entity"]]]],[],["if",["and","@hasK",["=","@kind","Entity"]],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","payload field '","@nm","' carries the unresolved type-parameter sentinel '","@ty","' — Entity-kind parameter '","@pn","' has no `linkedEntity` to monomorphize against"],"suggestion":"Bind the trait to a `linkedEntity` (directly, via `-> Entity`, or via a call-site rebind) so the parameter has an entity to monomorphize against.","severity":"error"}],["if","@hasK",[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","payload field '","@nm","' carries the unresolved type-parameter sentinel '","@ty","' — parameter '","@pn","' was not supplied a `:: ","@pn"," <arg>` call-site argument"],"suggestion":"Supply an explicit call-site argument for this parameter — `:: <param> <arg>` on the trait reference (a primitive type name, or an entity name) — this Type-kind parameter has no default.","severity":"error"}],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","payload field '","@nm","' carries the unresolved type-parameter sentinel '","@ty","' — the compiler could not monomorphize the parameter"],"suggestion":"Bind the trait to a `linkedEntity` so an Entity-kind parameter can default to it, or supply an explicit call-site `:: <param> <arg>` argument.","severity":"error"}]]]],["if",["=","@md","sigil"],["let",[["reason",["if",["=","@ty",["quote","\"\\u0040user\""]],"this orbital declares no identity SHAPE (a bare `expects entity [identity]` declares existence only)",["if",["str/startsWith","@ty",["quote","\"\\u0040payload(\""]],"the named knob does not hold a literal event name on this trait",["if",["str/startsWith","@ty",["quote","\"\\u0040entity(\""]],"the named knob does not hold a literal entity name, or that entity is declared nowhere in this schema",["if",["or",["=","@ty",["quote","\"\\u0040entity\""]],["=","@ty",["quote","\"[\\u0040entity]\""]]],"the carrying trait declares no `linkedEntity`, so there is no bound row to resolve against",""]]]]]],["if",["or",["=","@reason",""],["and","@df",["or",["=","@ty",["quote","\"\\u0040entity\""]],["=","@ty",["quote","\"[\\u0040entity]\""]]]]],[],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","config knob '","@nm","' still carries the unresolved type `","@ty","` — ","@reason"],"suggestion":"A sigil type resolves against something the schema must actually declare: `@payload <knob>` needs the knob typed `event` with a literal default; `@entity <knob>` needs an `entity`-typed knob naming a declared entity; `@user` needs `expects entity <Name> [identity] { … }` with a shape.","severity":"error"}]]],["if",["and","@df","@hasK",["=","@kind","Entity"]],[],["if",["and","@hasK",["=","@kind","Entity"]],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","'","@path","' has the unbound type variable '","@pn","' — Entity-kind parameter '","@pn","' has no `linkedEntity` to bind it"],"suggestion":"Bind the trait to a `linkedEntity` (directly, via `-> Entity`, or via a call-site rebind) so the parameter has an entity to monomorphize against.","severity":"error"}],["if","@hasK",[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","'","@path","' has the unbound type variable '","@pn","' — parameter '","@pn","' was not supplied a `:: ","@pn"," <arg>` call-site argument"],"suggestion":"Supply an explicit call-site argument for this parameter — `:: <param> <arg>` on the trait reference (a primitive type name, or an entity name) — this Type-kind parameter has no default.","severity":"error"}],[{"code":"@config.codes.tUnresolvedTypeParam.code","path":"@path","message":["str/concat","'","@path","' has the unbound type variable '","@pn","' — no trait parameter of that name binds it"],"suggestion":"Bind the trait to a `linkedEntity` so an Entity-kind parameter can default to it, or supply an explicit call-site `:: <param> <arg>` argument.","severity":"error"}]]]]]]]]]]]]]]]]]]],[]]]]]]]]]]]]]],["emit","LINT_FINISH",{}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_9JB2A29K67SK3GSJ272RBM28PX","effects":[["emit","LINT_FOUND",{"rule":"type-param-sweep","scope":"@entity.scope","findings":"@entity.findings"}]]}]},"config":{"codes":{"nullable":false,"type":"LintTypeParamSweepCodes","default":{"lintNodeUnchecked":{"code":"LINT_NODE_UNCHECKED","category":"lint","description":"A lint rule met a schema node of an unexpected shape and could not check it"},"tUnresolvedTypeParam":{"code":"ORB_T_UNRESOLVED_TYPE_PARAM","category":"trait","description":"A declaration uses a type variable that no trait parameter binds"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"lintNodeUnchecked":{"nullable":false,"name":"lintNodeUnchecked","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"}},"tUnresolvedTypeParam":{"nullable":false,"name":"tUnresolvedTypeParam","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":"LintTypeParamSweepCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_0XG135GF0V7GDZM89X92P4RE92","fingerprint":"64a868625d88552ae69c9f07e17d5021cc354a3e157c43dd516baa6db043dd2f"}},{"name":"OrbLintTypeParamSweepCli","id":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_REQUEST"}],"linkedEntity":"OrbLintTypeParamSweepRun","linkedEntityId":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2","entityRefIds":{"OrbLintTypeParamSweepRun":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_9N4HNHB9RFMW7T7GDPPS6XBNE1","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_9N33P0JPPJBB99H5S878AAC06R","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_MSZ8W9S6HJK8SF207JM79QMAJ5","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_D4B0P4TJE09704Z9P124BT3R9Q","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_9R5V0XZ7B4KNJ9SA2FDVTDQB2F","triggers":"LINT_FOUND","triggersId":"evt_MSZ8W9S6HJK8SF207JM79QMAJ5","source":{"kind":"trait","trait":"OrbLintTypeParamSweep","traitId":"trt_0XG135GF0V7GDZM89X92P4RE92"}},{"event":"LINT_INPUT_UNREAD","eventId":"evt_D4B0P4TJE09704Z9P124BT3R9Q","triggers":"LINT_INPUT_UNREAD","triggersId":"evt_D4B0P4TJE09704Z9P124BT3R9Q","source":{"kind":"trait","trait":"OrbLintInput","traitId":"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_326VPTRBYR5ZCFN1E2F942G1RM","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_ANT3RNPC3361HQ34MD2W6RH04T","name":"Lint Called","description":"Run `orb lint type-param-sweep` with its arguments and working directory.","synonyms":"orb lint type-param-sweep, orb lint type-param-sweep, type param sweep","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-type-param-sweep","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_MSZ8W9S6HJK8SF207JM79QMAJ5","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_D4B0P4TJE09704Z9P124BT3R9Q","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_9N4HNHB9RFMW7T7GDPPS6XBNE1","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_9N33P0JPPJBB99H5S878AAC06R","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_326VPTRBYR5ZCFN1E2F942G1RM"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_ANT3RNPC3361HQ34MD2W6RH04T","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 type-param-sweep <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_ANT3RNPC3361HQ34MD2W6RH04T","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 type-param-sweep <file>"}],["let",[["f",["array/first",["object/get","@a","argv"]]]],["if",["=","@f",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint type-param-sweep <file>"}],["emit","LINT_REQUEST",{"file":"@f"}]]]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_326VPTRBYR5ZCFN1E2F942G1RM"},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_MSZ8W9S6HJK8SF207JM79QMAJ5","guard":["and",["=","@payload.rule","type-param-sweep"],["=",["array/len","@payload.findings"],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint type-param-sweep: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_MSZ8W9S6HJK8SF207JM79QMAJ5","guard":["and",["=","@payload.rule","type-param-sweep"],[">",["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_D4B0P4TJE09704Z9P124BT3R9Q","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint type-param-sweep: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN","fingerprint":"88cef7b064ebe3e17c229bb66539fa893719d4db9c7d8d7f68ac729239acd3d9"}},{"ref":"Input.traits.Versions","id":"trt_ERDZ2DW6PM3BA1JF8KMGWC722C","name":"Versions"},{"ref":"Input.traits.Packs","id":"trt_1ZH417BBS9NWMPQYCPJ4E0GN30","name":"Packs"},{"ref":"Input.traits.OrbLintInput","id":"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY","name":"OrbLintInput","listens":[{"event":"LINT_REQUEST","triggers":"LINT_REQUEST","source":{"kind":"trait","trait":"OrbLintTypeParamSweepCli"}},{"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":"OrbLintTypeParamSweepOrbitalStart","id":"pag_8DT430RH6A8K5EWY8CFM376WBW","path":"","protocol":"boot","traits":[{"ref":"OrbLintTypeParamSweep","refId":"trt_0XG135GF0V7GDZM89X92P4RE92"},{"ref":"OrbLintTypeParamSweepCli","refId":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},{"ref":"OrbLintInput","refId":"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY"},{"ref":"Packs","refId":"trt_1ZH417BBS9NWMPQYCPJ4E0GN30"},{"ref":"Versions","refId":"trt_ERDZ2DW6PM3BA1JF8KMGWC722C"}]}],"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}],"LintTypeParamSweepCodes":[{"nullable":false,"name":"lintNodeUnchecked","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":"tUnresolvedTypeParam","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"]}],"SweepEmit":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepEntity":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepEntityRef":[{"nullable":false,"name":"","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}]}],"SweepEvent":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepExpect":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"SweepKnob":[{"nullable":false,"name":"type","type":"string"},{"nullable":false,"name":"items","type":"SweepShape","properties":[],"projectedFrom":{"type":"SweepShape"}},{"nullable":false,"name":"properties","type":"Map<string,SweepShape>","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"SweepMachine":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"SweepOrbital":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepExpect","projectedFrom":{"type":"SweepExpect"}}},{"nullable":false,"name":"entity","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}],"projectedFrom":{"type":"SweepEntityRef"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEntity","projectedFrom":{"type":"SweepEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}],"items":{"nullable":false,"name":"","type":"SweepTrait","projectedFrom":{"type":"SweepTrait"}}}],"SweepParam":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"SweepProgram":[{"nullable":false,"name":"orbitals","type":"[object]","required":true,"properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"expects","type":"[object]","properties":[{"nullable":false,"name":"kind","type":"string"},{"nullable":false,"name":"name","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepExpect","projectedFrom":{"type":"SweepExpect"}}},{"nullable":false,"name":"entity","type":"union","properties":[{"nullable":false,"name":"SweepEntity","type":"object","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"projectedFrom":{"type":"SweepEntity"}},{"nullable":false,"name":"string","type":"string"}],"projectedFrom":{"type":"SweepEntityRef"}},{"nullable":false,"name":"auxiliaryEntities","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"fields","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEntity","projectedFrom":{"type":"SweepEntity"}}},{"nullable":false,"name":"traits","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}],"items":{"nullable":false,"name":"","type":"SweepTrait","projectedFrom":{"type":"SweepTrait"}}}],"items":{"nullable":false,"name":"","type":"SweepOrbital","projectedFrom":{"type":"SweepOrbital"}}}],"SweepShape":[{"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":"[SweepShape]","items":{"nullable":true,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}},{"nullable":false,"name":"object","type":"Map<string,SweepShape>","items":{"nullable":true,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}]}],"SweepTrait":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"ref","type":"string"},{"nullable":false,"name":"linkedEntity","type":"string"},{"nullable":false,"name":"typeParams","type":"[object]","properties":[{"nullable":false,"name":"name","type":"string"},{"nullable":false,"name":"kind","type":"string"}],"items":{"nullable":false,"name":"","type":"SweepParam","projectedFrom":{"type":"SweepParam"}}},{"nullable":false,"name":"config","type":"Map<string,SweepKnob>","items":{"nullable":false,"name":"","type":"SweepKnob","projectedFrom":{"type":"SweepKnob"}}},{"nullable":false,"name":"emits","type":"[object]","properties":[{"nullable":false,"name":"event","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEmit","projectedFrom":{"type":"SweepEmit"}}},{"nullable":false,"name":"stateMachine","type":"object","properties":[{"nullable":false,"name":"events","type":"[object]","properties":[{"nullable":false,"name":"key","type":"string"},{"nullable":false,"name":"payloadSchema","type":"[SweepShape]","items":{"nullable":false,"name":"","type":"SweepShape","projectedFrom":{"type":"SweepShape"}}}],"items":{"nullable":false,"name":"","type":"SweepEvent","projectedFrom":{"type":"SweepEvent"}}}],"projectedFrom":{"type":"SweepMachine"}}]}}],"inbound":["cli-lint-type-param-sweep"],"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_N581MDZQ0KVG9H8WMCHRRQ6RV2":{"id":"ent_N581MDZQ0KVG9H8WMCHRRQ6RV2","kind":"entity","bakedName":"OrbLintTypeParamSweepRun","curName":"OrbLintTypeParamSweepRun","renames":[],"owner":"workspace"},"evt_326VPTRBYR5ZCFN1E2F942G1RM":{"id":"evt_326VPTRBYR5ZCFN1E2F942G1RM","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"evt_4E4TNSASHPCRVD0E57MEM33T22":{"id":"evt_4E4TNSASHPCRVD0E57MEM33T22","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_0XG135GF0V7GDZM89X92P4RE92"},"evt_9JB2A29K67SK3GSJ272RBM28PX":{"id":"evt_9JB2A29K67SK3GSJ272RBM28PX","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_0XG135GF0V7GDZM89X92P4RE92"},"evt_9N33P0JPPJBB99H5S878AAC06R":{"id":"evt_9N33P0JPPJBB99H5S878AAC06R","kind":"event","bakedName":"LINT_REQUEST","curName":"LINT_REQUEST","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"evt_9N4HNHB9RFMW7T7GDPPS6XBNE1":{"id":"evt_9N4HNHB9RFMW7T7GDPPS6XBNE1","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"evt_9R5V0XZ7B4KNJ9SA2FDVTDQB2F":{"id":"evt_9R5V0XZ7B4KNJ9SA2FDVTDQB2F","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_0XG135GF0V7GDZM89X92P4RE92"},"evt_ANT3RNPC3361HQ34MD2W6RH04T":{"id":"evt_ANT3RNPC3361HQ34MD2W6RH04T","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ":{"id":"evt_CDKTSQK3X2HYH0ERWZGXPT2YEZ","kind":"event","bakedName":"LINT_INPUT","curName":"LINT_INPUT","renames":[],"owner":"workspace","parent":"trt_0XG135GF0V7GDZM89X92P4RE92"},"evt_D4B0P4TJE09704Z9P124BT3R9Q":{"id":"evt_D4B0P4TJE09704Z9P124BT3R9Q","kind":"event","bakedName":"LINT_INPUT_UNREAD","curName":"LINT_INPUT_UNREAD","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"evt_MSZ8W9S6HJK8SF207JM79QMAJ5":{"id":"evt_MSZ8W9S6HJK8SF207JM79QMAJ5","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN"},"orb_E31JQA0DF76QKV6J3X72WVAFAT":{"id":"orb_E31JQA0DF76QKV6J3X72WVAFAT","kind":"orbital","bakedName":"OrbLintTypeParamSweepOrbital","curName":"OrbLintTypeParamSweepOrbital","renames":[],"owner":"workspace"},"pag_8DT430RH6A8K5EWY8CFM376WBW":{"id":"pag_8DT430RH6A8K5EWY8CFM376WBW","kind":"page","bakedName":"OrbLintTypeParamSweepOrbitalStart","curName":"OrbLintTypeParamSweepOrbitalStart","renames":[],"owner":"workspace"},"trt_0XG135GF0V7GDZM89X92P4RE92":{"id":"trt_0XG135GF0V7GDZM89X92P4RE92","kind":"trait","bakedName":"OrbLintTypeParamSweep","curName":"OrbLintTypeParamSweep","renames":[],"owner":"workspace"},"trt_1ZH417BBS9NWMPQYCPJ4E0GN30":{"id":"trt_1ZH417BBS9NWMPQYCPJ4E0GN30","kind":"trait","bakedName":"Packs","curName":"Packs","renames":[],"owner":"workspace"},"trt_ERDZ2DW6PM3BA1JF8KMGWC722C":{"id":"trt_ERDZ2DW6PM3BA1JF8KMGWC722C","kind":"trait","bakedName":"Versions","curName":"Versions","renames":[],"owner":"workspace"},"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY":{"id":"trt_GCEAWKTDQ16VGTTYA6MFW8Z3TY","kind":"trait","bakedName":"OrbLintInput","curName":"OrbLintInput","renames":[],"owner":"workspace"},"trt_JKQXDN1D5RPJW15A2E8SHE00ZN":{"id":"trt_JKQXDN1D5RPJW15A2E8SHE00ZN","kind":"trait","bakedName":"OrbLintTypeParamSweepCli","curName":"OrbLintTypeParamSweepCli","renames":[],"owner":"workspace"}}}}