npm - @almadar/std - Versions diffs - 17.0.2 → 17.1.0 - Mend

@almadar/std 17.0.2 → 17.1.0

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 (317) hide show

package/behaviors/registry/cli/atoms/std-orb-lint-os-grants.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"typeContractVersion":1,"types":{"GrAnswer":[{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"items":{"nullable":false,"name":"","type":"GrFinding","projectedFrom":{"type":"GrFinding"}}}],"GrFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"GrMapped":[{"nullable":false,"name":"final","type":"boolean","required":true},{"nullable":false,"name":"finding","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"]}],"projectedFrom":{"type":"OrbFinding"}}],"GrNode":[{"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":"[GrNode]","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}},{"nullable":false,"name":"object","type":"Map<string,GrNode>","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}}]}],"GrTagged":[{"nullable":false,"name":"final","type":"boolean","required":true},{"nullable":false,"name":"f","type":"object","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"projectedFrom":{"type":"GrFinding"}}],"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}],"LintOsGrantsCodes":[{"nullable":false,"name":"missing","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":"unused","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":"entryInvalid","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":"targetNotStatic","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"]}],"RcKept":[{"nullable":false,"name":"orbital","type":"number","required":true},{"nullable":false,"name":"traits","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"RcRefRow":[{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"callSite","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}},{"nullable":false,"name":"declaration","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}}]},"name":"std-orb-lint-os-grants","version":"1.0.0","description":"std-orb-lint-os-grants — the `orb lint os-grants <file>` command, the static os-grant check. It asks the kernel (`program/os-grants`, twice: the program as written, then the finished program) for the typed findings of the file's resolved program and words them: ORB_OS_GRANT_MISSING (an `os/` call the grants of its orbital do not cover), ORB_OS_GRANT_UNUSED (a warning: a granted entry no call uses), ORB_OS_GRANT_ENTRY_INVALID (an entry that can match nothing) and ORB_OS_TARGET_NOT_STATIC (a computed target, so its grant cannot be checked), at the site the kernel names. The finished-program pass answers as the rule os-grants-final, which belongs to `orb validate --final` only. Clean answers `lint os-grants: clean` (status 200, exit 0); findings are status 500, exit 1. Anything but one file argument is the usage (status 400, exit 2); a file the compiler cannot resolve is skipped here: validate reports that failure itself.","orbitals":[{"name":"OrbLintOsGrantsOrbital","id":"orb_X319GQMFZW7ZY40TTDGETGXZ3Y","uses":[{"from":"almadar-std/lint-os-grants","as":"Spec"},{"from":"std/behaviors/std-orb-lint-call-site-input","as":"CsInput"}],"entity":{"name":"OrbLintOsGrantsRun","id":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"file","type":"string","default":""},{"nullable":false,"name":"pass","type":"string","default":"written"},{"nullable":false,"name":"written","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"orbital":{"nullable":false,"name":"orbital","type":"string","required":false},"call":{"nullable":false,"name":"call","type":"string","required":false},"entry":{"nullable":false,"name":"entry","type":"string","required":false},"site":{"nullable":false,"name":"site","type":"string","required":true},"grant":{"nullable":false,"name":"grant","type":"string","required":false},"app":{"nullable":false,"name":"app","type":"boolean","required":false},"argument":{"nullable":false,"name":"argument","type":"number","required":false},"via":{"nullable":false,"name":"via","type":"string","required":false}},"projectedFrom":{"type":"GrFinding"}}},{"nullable":false,"name":"tagged","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"final":{"nullable":false,"name":"final","type":"boolean","required":true},"f":{"nullable":false,"name":"f","type":"object","required":true,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"orbital":{"nullable":false,"name":"orbital","type":"string","required":false},"call":{"nullable":false,"name":"call","type":"string","required":false},"entry":{"nullable":false,"name":"entry","type":"string","required":false},"site":{"nullable":false,"name":"site","type":"string","required":true},"grant":{"nullable":false,"name":"grant","type":"string","required":false},"app":{"nullable":false,"name":"app","type":"boolean","required":false},"argument":{"nullable":false,"name":"argument","type":"number","required":false},"via":{"nullable":false,"name":"via","type":"string","required":false}},"projectedFrom":{"type":"GrFinding"}}},"projectedFrom":{"type":"GrTagged"}}},{"nullable":false,"name":"mapped","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"final":{"nullable":false,"name":"final","type":"boolean","required":true},"finding":{"nullable":false,"name":"finding","type":"object","required":true,"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"}}},"projectedFrom":{"type":"GrMapped"}}},{"nullable":false,"name":"findings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}},{"nullable":false,"name":"finalFindings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}},{"nullable":false,"name":"shown","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":"OrbLintOsGrants","id":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"emit","resource":"LINT_MAP"},{"kind":"emit","resource":"LINT_SPLIT"},{"kind":"os/realpath"},{"kind":"program/os-grants"},{"kind":"set","resource":"@entity.file"},{"kind":"set","resource":"@entity.finalFindings"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.mapped"},{"kind":"set","resource":"@entity.pass"},{"kind":"set","resource":"@entity.tagged"},{"kind":"set","resource":"@entity.written"}],"linkedEntity":"OrbLintOsGrantsRun","linkedEntityId":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6","entityRefIds":{"OrbLintOsGrantsRun":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6"},"emits":[{"event":"LINT_FOUND","eventId":"evt_WK1NXMQV1CXGP0AB6H0KSMFYX6","description":"This rule's findings for the file, offered to the lint-all umbrella: the program as written under rule os-grants, the finished program under os-grants-final.","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_VE222KTKQ69VK69ZAWM9Z6FAB0","description":"Internal: answer with the verdicts.","tier":"internal"},{"event":"LINT_MAP","eventId":"evt_SQ2J7WTYNYFAZ82386JQ4ME7PZ","description":"Internal: word the kernel's findings.","tier":"internal"},{"event":"LINT_SPLIT","eventId":"evt_44BF320DF06QG43D1TYTGQESC8","description":"Internal: split the worded findings by pass.","tier":"internal"}],"listens":[{"event":"LINT_CALL_SITES","eventId":"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2","triggers":"LINT_CALL_SITES","triggersId":"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2","source":{"kind":"trait","trait":"CallSiteInput","traitId":"trt_DMYKMC5DG5PR2QY98G9K26243T"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"reading"},{"name":"checking"},{"name":"mapping"}],"events":[{"key":"INIT","id":"evt_XW5XKDPPJJB990YQ1PZZTHY6K6","name":"Initialize"},{"key":"LINT_CALL_SITES","id":"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2","name":"Lint Call Sites","description":"The call sites input: the file lowered unresolved and each aliased import resolved and lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"program","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GrNode]","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}},{"nullable":false,"name":"object","type":"Map<string,GrNode>","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}}],"projectedFrom":{"type":"GrNode"}},{"nullable":false,"name":"kept","type":"[object]","required":true,"properties":[{"nullable":false,"name":"orbital","type":"number","required":true},{"nullable":false,"name":"traits","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"RcKept","projectedFrom":{"type":"RcKept"}}},{"nullable":false,"name":"references","type":"[object]","required":true,"properties":[{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"callSite","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}},{"nullable":false,"name":"declaration","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}}],"items":{"nullable":false,"name":"","type":"RcRefRow","projectedFrom":{"type":"RcRefRow"}}},{"nullable":true,"name":"stamped","type":"GrNode","projectedFrom":{"type":"GrNode"}}],"listened":true},{"key":"LINT_FINISH","id":"evt_VE222KTKQ69VK69ZAWM9Z6FAB0","name":"Lint Finish","description":"Internal: answer with the verdicts.","tier":"internal","listened":true},{"key":"LINT_CWD","id":"evt_HXHAKJGFE17Q0V5K45GAR66HWS","name":"Lint Cwd","description":"Internal: the working directory.","payloadSchema":[{"nullable":false,"name":"path","type":"string","required":true}],"listened":true},{"key":"LINT_GRANTS_FAILED","id":"evt_XR1VQPCQE1BQ0JXYG7QFKJKFP1","name":"Lint Grants Failed","description":"Internal: the file could not be resolved or checked.","payloadSchema":[{"nullable":false,"name":"error","type":"string"}],"listened":true},{"key":"LINT_CHECKED","id":"evt_RPTHECHW82Y417WM29BJKSG4BX","name":"Lint Checked","description":"Internal: the kernel's findings for one pass.","payloadSchema":[{"nullable":false,"name":"result","type":"object","required":true,"properties":[{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"items":{"nullable":false,"name":"","type":"GrFinding","projectedFrom":{"type":"GrFinding"}}}],"projectedFrom":{"type":"GrAnswer"}}],"listened":true},{"key":"LINT_MAP","id":"evt_SQ2J7WTYNYFAZ82386JQ4ME7PZ","name":"Lint Map","description":"Internal: word the kernel's findings.","tier":"internal","listened":true},{"key":"LINT_SPLIT","id":"evt_44BF320DF06QG43D1TYTGQESC8","name":"Lint Split","description":"Internal: split the worded findings by pass.","tier":"internal","listened":true},{"key":"LINT_FOUND","id":"evt_WK1NXMQV1CXGP0AB6H0KSMFYX6","name":"Lint Found","description":"This rule's findings for the file, offered to the lint-all umbrella: the program as written under rule os-grants, the finished program under os-grants-final.","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_XW5XKDPPJJB990YQ1PZZTHY6K6"},{"from":"ready","to":"reading","event":"LINT_CALL_SITES","eventId":"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2","effects":[["set","@entity.file","@payload.file"],["set","@entity.pass","written"],["os/realpath",{"anchor":"cwd","path":"."},{"key":"os-grants-cwd","emit":{"success":"LINT_CWD","failure":"LINT_GRANTS_FAILED"}}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_VE222KTKQ69VK69ZAWM9Z6FAB0","effects":[["emit","LINT_FOUND",{"rule":"os-grants","scope":"","findings":"@entity.findings"}],["emit","LINT_FOUND",{"rule":"os-grants-final","scope":"","findings":"@entity.finalFindings"}]]},{"from":"reading","to":"reading","event":"INIT","eventId":"evt_XW5XKDPPJJB990YQ1PZZTHY6K6"},{"from":"reading","to":"checking","event":"LINT_CWD","eventId":"evt_HXHAKJGFE17Q0V5K45GAR66HWS","effects":[["set","@entity.file",["if",["os/path-is-absolute","@entity.file"],"@entity.file",["os/path-join","@payload.path","@entity.file"]]],["program/os-grants",null,{"path":["if",["os/path-is-absolute","@entity.file"],"@entity.file",["os/path-join","@payload.path","@entity.file"]],"final":false},{"key":"os-grants-written","emit":{"success":"LINT_CHECKED","failure":"LINT_GRANTS_FAILED"}}]]},{"from":"reading","to":"ready","event":"LINT_GRANTS_FAILED","eventId":"evt_XR1VQPCQE1BQ0JXYG7QFKJKFP1","effects":[["set","@entity.findings",[]],["set","@entity.finalFindings",[]],["emit","LINT_FINISH",{}]]},{"from":"checking","to":"checking","event":"INIT","eventId":"evt_XW5XKDPPJJB990YQ1PZZTHY6K6"},{"from":"checking","to":"checking","event":"LINT_CHECKED","eventId":"evt_RPTHECHW82Y417WM29BJKSG4BX","guard":["=","@entity.pass","written"],"effects":[["set","@entity.written",["object/get","@payload.result","findings"]],["set","@entity.pass","final"],["program/os-grants",null,{"path":"@entity.file","final":true},{"key":"os-grants-final","emit":{"success":"LINT_CHECKED","failure":"LINT_GRANTS_FAILED"}}]]},{"from":"checking","to":"mapping","event":"LINT_CHECKED","eventId":"evt_RPTHECHW82Y417WM29BJKSG4BX","guard":["=","@entity.pass","final"],"effects":[["set","@entity.tagged",["array/concat",["array/map","@entity.written",["fn","f",{"final":false,"f":"@f"}]],["array/map",["object/get","@payload.result","findings"],["fn","f",{"final":true,"f":"@f"}]]]],["emit","LINT_MAP",{}]]},{"from":"checking","to":"ready","event":"LINT_GRANTS_FAILED","eventId":"evt_XR1VQPCQE1BQ0JXYG7QFKJKFP1","effects":[["set","@entity.findings",[]],["set","@entity.finalFindings",[]],["emit","LINT_FINISH",{}]]},{"from":"mapping","to":"mapping","event":"INIT","eventId":"evt_XW5XKDPPJJB990YQ1PZZTHY6K6"},{"from":"mapping","to":"mapping","event":"LINT_MAP","eventId":"evt_SQ2J7WTYNYFAZ82386JQ4ME7PZ","effects":[["set","@entity.mapped",["array/map","@entity.tagged",["fn","x",["let",[["f",["object/get","@x","f"]],["via",["object/get",["object/get","@x","f"],"via",""]],["code",["object/get",["object/get","@x","f"],"code"]],["orbital",["object/get",["object/get","@x","f"],"orbital",""]],["call",["object/get",["object/get","@x","f"],"call",""]],["entry",["object/get",["object/get","@x","f"],"entry",""]],["arg",["object/get",["object/get","@x","f"],"argument",0]]],{"final":["object/get","@x","final"],"finding":{"code":["if",["=","@code","missing"],"@config.codes.missing.code",["if",["=","@code","unused"],"@config.codes.unused.code",["if",["=","@code","entry-invalid"],"@config.codes.entryInvalid.code","@config.codes.targetNotStatic.code"]]],"path":["object/get","@f","site"],"severity":["if",["=","@code","unused"],"warning","error"],"message":["if",["=","@code","missing"],["str/concat","`","@call","` ",["if",["=","@via","config"],"can be given ","needs "],"@entry",["if",["=","@via","config"]," by its config, but orbital "," but orbital "],"@orbital"," does not grant it"],["if",["=","@code","unused"],["str/concat","`","@entry","` is granted to ",["if",["=","@orbital",""],"the program",["str/concat","orbital ","@orbital"]]," but no `os/` call there uses it"],["if",["=","@code","entry-invalid"],"@entry",["if",["=","@via","config-unresolvable"],["str/concat","`","@call","` argument ","@arg"," is read from config in a way the finished program cannot resolve, so its grant cannot be checked"],["if",["=","@via","computed-path"],["str/concat","`","@call","` argument ","@arg"," is a computed path the grant cannot cover: only a file path may be a `str/concat`"],["str/concat","`","@call","` argument ","@arg"," is computed — an `os/` target must be a literal so the grant can be checked at build time"]]]]]],"suggestion":["if",["=","@code","missing"],["str/concat","Add `",["object/get","@f","grant",""],["if",["object/get","@f","app",false],"` to the orbital's bracket (`orbital Name [ … ]`) or the app's","` to the orbital's bracket"]],["if",["=","@code","unused"],"Remove the entry: an unused grant is authority the program does not need",["if",["=","@code","entry-invalid"],"",["if",["=","@via","config-unresolvable"],"Read the target with `@config.<knob>`, `array/nth` and `object/get`, or write it as a literal; a `str/concat` directory prefix must be string knobs and literals ending in `/`",["if",["=","@via","computed-path"],"Write the target as a literal","Write the path, command, host, port or name as a literal; a file path may instead be a `str/concat` that starts with a literal or `@config.<knob>` directory ending in `/`, covered by an fs grant ending in `/`, or an anchored path `{ anchor: \"cwd\" path: … }` (anchors `exe-dir`, `cwd`, `{ env: \"NAME\" }`) covered by an anchored grant such as `fs: { cwd: \"docs/\": [read] }`; a host or port may be `{ anchor: { env: \"PORT\" } }` covered by `net: { env HOST, env PORT: [listen] }`"]]]]]}}]]]],["emit","LINT_SPLIT",{}]]},{"from":"mapping","to":"ready","event":"LINT_SPLIT","eventId":"evt_44BF320DF06QG43D1TYTGQESC8","effects":[["set","@entity.findings",["array/map",["array/filter","@entity.mapped",["fn","m",["not",["object/get","@m","final"]]]],["fn","m",["object/get","@m","finding"]]]],["set","@entity.finalFindings",["array/map",["array/filter","@entity.mapped",["fn","m",["object/get","@m","final"]]],["fn","m",["object/get","@m","finding"]]]],["emit","LINT_FINISH",{}]]}]},"config":{"codes":{"nullable":false,"type":"LintOsGrantsCodes","default":{"missing":{"code":"ORB_OS_GRANT_MISSING","category":"os","description":"An os/ call that the grants of its orbital (app level plus its own) do not cover"},"unused":{"code":"ORB_OS_GRANT_UNUSED","category":"os","description":"A granted entry that no os/ call of the orbital (or of the program, at app level) uses; a warning"},"entryInvalid":{"code":"ORB_OS_GRANT_ENTRY_INVALID","category":"os","description":"A declared grant entry that can match nothing"},"targetNotStatic":{"code":"ORB_OS_TARGET_NOT_STATIC","category":"os","description":"An os/ call target that is computed, so its grant cannot be checked at build time"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"missing":{"nullable":false,"name":"missing","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"}},"unused":{"nullable":false,"name":"unused","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"}},"entryInvalid":{"nullable":false,"name":"entryInvalid","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"}},"targetNotStatic":{"nullable":false,"name":"targetNotStatic","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":"LintOsGrantsCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M","fingerprint":"2d27b4c5bbe0ed71f6153a7a92fde146ef8a96d86b6440b74159f54b13aeeea7"}},{"name":"OrbLintOsGrantsCli","id":"trt_M2BDKKF08AG45FWH98YVTK3W7A","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_CALL_SITES_REQUEST"},{"kind":"set","resource":"@entity.shown"}],"linkedEntity":"OrbLintOsGrantsRun","linkedEntityId":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6","entityRefIds":{"OrbLintOsGrantsRun":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_K7K25CV48VJ4DGEQNSRH9TJJQ6","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_CALL_SITES_REQUEST","eventId":"evt_PC609C1K9FSMQQ8JA545C0PJB8","description":"Ask the call sites input to read and lower this file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"stamp","type":"boolean","required":true},{"nullable":false,"name":"references","type":"boolean","required":true}]},{"event":"LINT_FOUND","eventId":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","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_CALL_SITES_UNREAD","eventId":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","description":"The call sites input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"error","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_WK1NXMQV1CXGP0AB6H0KSMFYX6","triggers":"LINT_FOUND","triggersId":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","source":{"kind":"trait","trait":"OrbLintOsGrants","traitId":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"}},{"event":"LINT_CALL_SITES_UNREAD","eventId":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","triggers":"LINT_CALL_SITES_UNREAD","triggersId":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","source":{"kind":"trait","trait":"CallSiteInput","traitId":"trt_DMYKMC5DG5PR2QY98G9K26243T"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_D78S26XFCHQP8WRQVP3R6MJ5JY","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_RZ0NX7FVK8XSMBMV7FSR2WBDQD","name":"Lint Called","description":"Run `orb lint os-grants` with its arguments and working directory.","synonyms":"orb lint os-grants","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-os-grants","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","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_CALL_SITES_UNREAD","id":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","name":"Lint Call Sites Unread","description":"The call sites input could not read or lower the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_K7K25CV48VJ4DGEQNSRH9TJJQ6","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_CALL_SITES_REQUEST","id":"evt_PC609C1K9FSMQQ8JA545C0PJB8","name":"Lint Call Sites Request","description":"Ask the call sites input to read and lower this file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"stamp","type":"boolean","required":true},{"nullable":false,"name":"references","type":"boolean","required":true}]}],"transitions":[{"from":"ready","to":"ready","event":"INIT","eventId":"evt_D78S26XFCHQP8WRQVP3R6MJ5JY"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_RZ0NX7FVK8XSMBMV7FSR2WBDQD","guard":["or",["=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["!=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint os-grants <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_RZ0NX7FVK8XSMBMV7FSR2WBDQD","guard":["and",["!=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["let",[["argFile",["array/first",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]]]],["if",["=","@argFile",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint os-grants <file>"}],["emit","LINT_CALL_SITES_REQUEST",{"file":"@argFile","stamp":false,"references":true}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_D78S26XFCHQP8WRQVP3R6MJ5JY"},{"from":"waiting","to":"waiting","event":"LINT_FOUND","eventId":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","guard":["=","@payload.rule","os-grants"],"effects":[["set","@entity.shown","@payload.findings"]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","guard":["and",["=","@payload.rule","os-grants-final"],["=",["array/len",["array/concat","@entity.shown","@payload.findings"]],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint os-grants: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","guard":["and",["=","@payload.rule","os-grants-final"],[">",["array/len",["array/concat","@entity.shown","@payload.findings"]],0]],"effects":[["emit","LINT_ANSWERED",{"status":500,"body":["str/join",["array/map",["array/concat","@entity.shown","@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_CALL_SITES_UNREAD","eventId":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint os-grants: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_M2BDKKF08AG45FWH98YVTK3W7A","fingerprint":"5db6e78ac6d4f7383cb292c45b0759b13484afa689d77c852d023f4701884b49"}},{"ref":"CsInput.traits.CallSiteInput","id":"trt_DMYKMC5DG5PR2QY98G9K26243T","name":"CallSiteInput","listens":[{"event":"LINT_CALL_SITES_REQUEST","triggers":"LINT_CALL_SITES_REQUEST","source":{"kind":"trait","trait":"OrbLintOsGrantsCli"}}]}],"pages":[{"name":"OrbLintOsGrantsOrbitalStart","id":"pag_2R96AKTT62D3129DKNK172WW4E","path":"","protocol":"boot","traits":[{"ref":"OrbLintOsGrants","refId":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},{"ref":"OrbLintOsGrantsCli","refId":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},{"ref":"CallSiteInput","refId":"trt_DMYKMC5DG5PR2QY98G9K26243T"}]}],"types":{"GrAnswer":[{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"items":{"nullable":false,"name":"","type":"GrFinding","projectedFrom":{"type":"GrFinding"}}}],"GrFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"GrMapped":[{"nullable":false,"name":"final","type":"boolean","required":true},{"nullable":false,"name":"finding","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"]}],"projectedFrom":{"type":"OrbFinding"}}],"GrNode":[{"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":"[GrNode]","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}},{"nullable":false,"name":"object","type":"Map<string,GrNode>","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}}]}],"GrTagged":[{"nullable":false,"name":"final","type":"boolean","required":true},{"nullable":false,"name":"f","type":"object","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"projectedFrom":{"type":"GrFinding"}}],"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}],"LintOsGrantsCodes":[{"nullable":false,"name":"missing","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":"unused","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":"entryInvalid","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":"targetNotStatic","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"]}],"RcKept":[{"nullable":false,"name":"orbital","type":"number","required":true},{"nullable":false,"name":"traits","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"RcRefRow":[{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"callSite","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}},{"nullable":false,"name":"declaration","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}}]}}],"inbound":["cli-lint-os-grants"],"osGrants":{"fs":[{"glob":"/","modes":["read"]}],"exec":[],"net":[],"env":[],"stdio":[],"sys":[],"desktop":[],"anchored":{"fs":[{"anchor":"cwd","glob":"","modes":["read"]}]}},"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6":{"id":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6","kind":"entity","bakedName":"OrbLintOsGrantsRun","curName":"OrbLintOsGrantsRun","renames":[],"owner":"workspace"},"evt_1KGJ46HP61V30W5Z11BN7CKKXX":{"id":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","kind":"event","bakedName":"LINT_CALL_SITES_UNREAD","curName":"LINT_CALL_SITES_UNREAD","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_44BF320DF06QG43D1TYTGQESC8":{"id":"evt_44BF320DF06QG43D1TYTGQESC8","kind":"event","bakedName":"LINT_SPLIT","curName":"LINT_SPLIT","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2":{"id":"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2","kind":"event","bakedName":"LINT_CALL_SITES","curName":"LINT_CALL_SITES","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_D78S26XFCHQP8WRQVP3R6MJ5JY":{"id":"evt_D78S26XFCHQP8WRQVP3R6MJ5JY","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_HXHAKJGFE17Q0V5K45GAR66HWS":{"id":"evt_HXHAKJGFE17Q0V5K45GAR66HWS","kind":"event","bakedName":"LINT_CWD","curName":"LINT_CWD","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_K7K25CV48VJ4DGEQNSRH9TJJQ6":{"id":"evt_K7K25CV48VJ4DGEQNSRH9TJJQ6","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_PC609C1K9FSMQQ8JA545C0PJB8":{"id":"evt_PC609C1K9FSMQQ8JA545C0PJB8","kind":"event","bakedName":"LINT_CALL_SITES_REQUEST","curName":"LINT_CALL_SITES_REQUEST","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_RPTHECHW82Y417WM29BJKSG4BX":{"id":"evt_RPTHECHW82Y417WM29BJKSG4BX","kind":"event","bakedName":"LINT_CHECKED","curName":"LINT_CHECKED","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_RZ0NX7FVK8XSMBMV7FSR2WBDQD":{"id":"evt_RZ0NX7FVK8XSMBMV7FSR2WBDQD","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_SQ2J7WTYNYFAZ82386JQ4ME7PZ":{"id":"evt_SQ2J7WTYNYFAZ82386JQ4ME7PZ","kind":"event","bakedName":"LINT_MAP","curName":"LINT_MAP","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_VE222KTKQ69VK69ZAWM9Z6FAB0":{"id":"evt_VE222KTKQ69VK69ZAWM9Z6FAB0","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_WK1NXMQV1CXGP0AB6H0KSMFYX6":{"id":"evt_WK1NXMQV1CXGP0AB6H0KSMFYX6","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_X0BF6CW2ND1APNK7EE3HSE2KEE":{"id":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_XR1VQPCQE1BQ0JXYG7QFKJKFP1":{"id":"evt_XR1VQPCQE1BQ0JXYG7QFKJKFP1","kind":"event","bakedName":"LINT_GRANTS_FAILED","curName":"LINT_GRANTS_FAILED","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_XW5XKDPPJJB990YQ1PZZTHY6K6":{"id":"evt_XW5XKDPPJJB990YQ1PZZTHY6K6","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"orb_X319GQMFZW7ZY40TTDGETGXZ3Y":{"id":"orb_X319GQMFZW7ZY40TTDGETGXZ3Y","kind":"orbital","bakedName":"OrbLintOsGrantsOrbital","curName":"OrbLintOsGrantsOrbital","renames":[],"owner":"workspace"},"pag_2R96AKTT62D3129DKNK172WW4E":{"id":"pag_2R96AKTT62D3129DKNK172WW4E","kind":"page","bakedName":"OrbLintOsGrantsOrbitalStart","curName":"OrbLintOsGrantsOrbitalStart","renames":[],"owner":"workspace"},"trt_5XM0SQ72Z3HFHP7DFT1QQR169M":{"id":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M","kind":"trait","bakedName":"OrbLintOsGrants","curName":"OrbLintOsGrants","renames":[],"owner":"workspace"},"trt_DMYKMC5DG5PR2QY98G9K26243T":{"id":"trt_DMYKMC5DG5PR2QY98G9K26243T","kind":"trait","bakedName":"CallSiteInput","curName":"CallSiteInput","renames":[],"owner":"workspace"},"trt_M2BDKKF08AG45FWH98YVTK3W7A":{"id":"trt_M2BDKKF08AG45FWH98YVTK3W7A","kind":"trait","bakedName":"OrbLintOsGrantsCli","curName":"OrbLintOsGrantsCli","renames":[],"owner":"workspace"}}}}
1	+ {"typeContractVersion":1,"types":{"GrAnswer":[{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"items":{"nullable":false,"name":"","type":"GrFinding","projectedFrom":{"type":"GrFinding"}}}],"GrFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"GrMapped":[{"nullable":false,"name":"final","type":"boolean","required":true},{"nullable":false,"name":"finding","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"]}],"projectedFrom":{"type":"OrbFinding"}}],"GrNode":[{"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":"[GrNode]","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}},{"nullable":false,"name":"object","type":"Map<string,GrNode>","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}}]}],"GrTagged":[{"nullable":false,"name":"final","type":"boolean","required":true},{"nullable":false,"name":"f","type":"object","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"projectedFrom":{"type":"GrFinding"}}],"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}],"LintOsGrantsCodes":[{"nullable":false,"name":"missing","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":"unused","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":"entryInvalid","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":"targetNotStatic","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":"shaderInvalid","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":"bindingMismatch","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"]}],"RcKept":[{"nullable":false,"name":"orbital","type":"number","required":true},{"nullable":false,"name":"traits","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"RcRefRow":[{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"callSite","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}},{"nullable":false,"name":"declaration","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}}]},"name":"std-orb-lint-os-grants","version":"1.0.0","description":"std-orb-lint-os-grants — the `orb lint os-grants <file>` command, the static os-grant check. It asks the kernel (`program/os-grants`, twice: the program as written, then the finished program) for the typed findings of the file's resolved program and words them: ORB_OS_GRANT_MISSING (an `os/` call the grants of its orbital do not cover), ORB_OS_GRANT_UNUSED (a warning: a granted entry no call uses), ORB_OS_GRANT_ENTRY_INVALID (an entry that can match nothing) ORB_OS_TARGET_NOT_STATIC (a computed target, so its grant cannot be checked) ORB_GPU_SHADER_INVALID (a literal gpu/shader-create WGSL source naga refuses) and ORB_GPU_BINDING_MISMATCH (a gpu/bind-group-create whose literal entries do not fit the bindings its pipeline uses, the pipeline traced through the trait to its WGSL; the finished-program pass only), at the site the kernel names. The finished-program pass answers as the rule os-grants-final, which belongs to `orb validate --final` only. Clean answers `lint os-grants: clean` (status 200, exit 0); findings are status 500, exit 1. Anything but one file argument is the usage (status 400, exit 2); a file the compiler cannot resolve is skipped here: validate reports that failure itself.","orbitals":[{"name":"OrbLintOsGrantsOrbital","id":"orb_X319GQMFZW7ZY40TTDGETGXZ3Y","uses":[{"from":"almadar-std/lint-os-grants","as":"Spec"},{"from":"std/behaviors/std-orb-lint-call-site-input","as":"CsInput"}],"entity":{"name":"OrbLintOsGrantsRun","id":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true},{"nullable":false,"name":"file","type":"string","default":""},{"nullable":false,"name":"pass","type":"string","default":"written"},{"nullable":false,"name":"written","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"orbital":{"nullable":false,"name":"orbital","type":"string","required":false},"call":{"nullable":false,"name":"call","type":"string","required":false},"entry":{"nullable":false,"name":"entry","type":"string","required":false},"site":{"nullable":false,"name":"site","type":"string","required":true},"grant":{"nullable":false,"name":"grant","type":"string","required":false},"app":{"nullable":false,"name":"app","type":"boolean","required":false},"argument":{"nullable":false,"name":"argument","type":"number","required":false},"via":{"nullable":false,"name":"via","type":"string","required":false}},"projectedFrom":{"type":"GrFinding"}}},{"nullable":false,"name":"tagged","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"final":{"nullable":false,"name":"final","type":"boolean","required":true},"f":{"nullable":false,"name":"f","type":"object","required":true,"properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"orbital":{"nullable":false,"name":"orbital","type":"string","required":false},"call":{"nullable":false,"name":"call","type":"string","required":false},"entry":{"nullable":false,"name":"entry","type":"string","required":false},"site":{"nullable":false,"name":"site","type":"string","required":true},"grant":{"nullable":false,"name":"grant","type":"string","required":false},"app":{"nullable":false,"name":"app","type":"boolean","required":false},"argument":{"nullable":false,"name":"argument","type":"number","required":false},"via":{"nullable":false,"name":"via","type":"string","required":false}},"projectedFrom":{"type":"GrFinding"}}},"projectedFrom":{"type":"GrTagged"}}},{"nullable":false,"name":"mapped","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"final":{"nullable":false,"name":"final","type":"boolean","required":true},"finding":{"nullable":false,"name":"finding","type":"object","required":true,"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"}}},"projectedFrom":{"type":"GrMapped"}}},{"nullable":false,"name":"findings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}},{"nullable":false,"name":"finalFindings","type":"array","default":[],"items":{"nullable":false,"type":"object","properties":{"code":{"nullable":false,"name":"code","type":"string","required":true},"path":{"nullable":false,"name":"path","type":"string","required":true},"message":{"nullable":false,"name":"message","type":"string","required":true},"suggestion":{"nullable":false,"name":"suggestion","type":"string","required":true},"severity":{"nullable":false,"name":"severity","type":"string","required":false,"values":["warning","error"]}},"projectedFrom":{"type":"OrbFinding"}}},{"nullable":false,"name":"shown","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":"OrbLintOsGrants","id":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M","effectRow":[{"kind":"emit","resource":"LINT_FINISH"},{"kind":"emit","resource":"LINT_FOUND"},{"kind":"emit","resource":"LINT_MAP"},{"kind":"emit","resource":"LINT_SPLIT"},{"kind":"os/realpath"},{"kind":"program/os-grants"},{"kind":"set","resource":"@entity.file"},{"kind":"set","resource":"@entity.finalFindings"},{"kind":"set","resource":"@entity.findings"},{"kind":"set","resource":"@entity.mapped"},{"kind":"set","resource":"@entity.pass"},{"kind":"set","resource":"@entity.tagged"},{"kind":"set","resource":"@entity.written"}],"linkedEntity":"OrbLintOsGrantsRun","linkedEntityId":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6","entityRefIds":{"OrbLintOsGrantsRun":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6"},"emits":[{"event":"LINT_FOUND","eventId":"evt_WK1NXMQV1CXGP0AB6H0KSMFYX6","description":"This rule's findings for the file, offered to the lint-all umbrella: the program as written under rule os-grants, the finished program under os-grants-final.","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_VE222KTKQ69VK69ZAWM9Z6FAB0","description":"Internal: answer with the verdicts.","tier":"internal"},{"event":"LINT_MAP","eventId":"evt_SQ2J7WTYNYFAZ82386JQ4ME7PZ","description":"Internal: word the kernel's findings.","tier":"internal"},{"event":"LINT_SPLIT","eventId":"evt_44BF320DF06QG43D1TYTGQESC8","description":"Internal: split the worded findings by pass.","tier":"internal"}],"listens":[{"event":"LINT_CALL_SITES","eventId":"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2","triggers":"LINT_CALL_SITES","triggersId":"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2","source":{"kind":"trait","trait":"CallSiteInput","traitId":"trt_DMYKMC5DG5PR2QY98G9K26243T"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"reading"},{"name":"checking"},{"name":"mapping"}],"events":[{"key":"INIT","id":"evt_XW5XKDPPJJB990YQ1PZZTHY6K6","name":"Initialize"},{"key":"LINT_CALL_SITES","id":"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2","name":"Lint Call Sites","description":"The call sites input: the file lowered unresolved and each aliased import resolved and lowered.","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"program","type":"union","required":true,"properties":[{"nullable":false,"name":"string","type":"string"},{"nullable":false,"name":"number","type":"number"},{"nullable":false,"name":"boolean","type":"boolean"},{"nullable":false,"name":"array","type":"[GrNode]","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}},{"nullable":false,"name":"object","type":"Map<string,GrNode>","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}}],"projectedFrom":{"type":"GrNode"}},{"nullable":false,"name":"kept","type":"[object]","required":true,"properties":[{"nullable":false,"name":"orbital","type":"number","required":true},{"nullable":false,"name":"traits","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"items":{"nullable":false,"name":"","type":"RcKept","projectedFrom":{"type":"RcKept"}}},{"nullable":false,"name":"references","type":"[object]","required":true,"properties":[{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"callSite","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}},{"nullable":false,"name":"declaration","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}}],"items":{"nullable":false,"name":"","type":"RcRefRow","projectedFrom":{"type":"RcRefRow"}}},{"nullable":true,"name":"stamped","type":"GrNode","projectedFrom":{"type":"GrNode"}}],"listened":true},{"key":"LINT_FINISH","id":"evt_VE222KTKQ69VK69ZAWM9Z6FAB0","name":"Lint Finish","description":"Internal: answer with the verdicts.","tier":"internal","listened":true},{"key":"LINT_CWD","id":"evt_HXHAKJGFE17Q0V5K45GAR66HWS","name":"Lint Cwd","description":"Internal: the working directory.","payloadSchema":[{"nullable":false,"name":"path","type":"string","required":true}],"listened":true},{"key":"LINT_GRANTS_FAILED","id":"evt_XR1VQPCQE1BQ0JXYG7QFKJKFP1","name":"Lint Grants Failed","description":"Internal: the file could not be resolved or checked.","payloadSchema":[{"nullable":false,"name":"error","type":"string"}],"listened":true},{"key":"LINT_CHECKED","id":"evt_RPTHECHW82Y417WM29BJKSG4BX","name":"Lint Checked","description":"Internal: the kernel's findings for one pass.","payloadSchema":[{"nullable":false,"name":"result","type":"object","required":true,"properties":[{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"items":{"nullable":false,"name":"","type":"GrFinding","projectedFrom":{"type":"GrFinding"}}}],"projectedFrom":{"type":"GrAnswer"}}],"listened":true},{"key":"LINT_MAP","id":"evt_SQ2J7WTYNYFAZ82386JQ4ME7PZ","name":"Lint Map","description":"Internal: word the kernel's findings.","tier":"internal","listened":true},{"key":"LINT_SPLIT","id":"evt_44BF320DF06QG43D1TYTGQESC8","name":"Lint Split","description":"Internal: split the worded findings by pass.","tier":"internal","listened":true},{"key":"LINT_FOUND","id":"evt_WK1NXMQV1CXGP0AB6H0KSMFYX6","name":"Lint Found","description":"This rule's findings for the file, offered to the lint-all umbrella: the program as written under rule os-grants, the finished program under os-grants-final.","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_XW5XKDPPJJB990YQ1PZZTHY6K6"},{"from":"ready","to":"reading","event":"LINT_CALL_SITES","eventId":"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2","effects":[["set","@entity.file","@payload.file"],["set","@entity.pass","written"],["os/realpath",{"anchor":"cwd","path":"."},{"key":"os-grants-cwd","emit":{"success":"LINT_CWD","failure":"LINT_GRANTS_FAILED"}}]]},{"from":"ready","to":"ready","event":"LINT_FINISH","eventId":"evt_VE222KTKQ69VK69ZAWM9Z6FAB0","effects":[["emit","LINT_FOUND",{"rule":"os-grants","scope":"","findings":"@entity.findings"}],["emit","LINT_FOUND",{"rule":"os-grants-final","scope":"","findings":"@entity.finalFindings"}]]},{"from":"reading","to":"reading","event":"INIT","eventId":"evt_XW5XKDPPJJB990YQ1PZZTHY6K6"},{"from":"reading","to":"checking","event":"LINT_CWD","eventId":"evt_HXHAKJGFE17Q0V5K45GAR66HWS","effects":[["set","@entity.file",["if",["os/path-is-absolute","@entity.file"],"@entity.file",["os/path-join","@payload.path","@entity.file"]]],["program/os-grants",null,{"path":["if",["os/path-is-absolute","@entity.file"],"@entity.file",["os/path-join","@payload.path","@entity.file"]],"final":false},{"key":"os-grants-written","emit":{"success":"LINT_CHECKED","failure":"LINT_GRANTS_FAILED"}}]]},{"from":"reading","to":"ready","event":"LINT_GRANTS_FAILED","eventId":"evt_XR1VQPCQE1BQ0JXYG7QFKJKFP1","effects":[["set","@entity.findings",[]],["set","@entity.finalFindings",[]],["emit","LINT_FINISH",{}]]},{"from":"checking","to":"checking","event":"INIT","eventId":"evt_XW5XKDPPJJB990YQ1PZZTHY6K6"},{"from":"checking","to":"checking","event":"LINT_CHECKED","eventId":"evt_RPTHECHW82Y417WM29BJKSG4BX","guard":["=","@entity.pass","written"],"effects":[["set","@entity.written",["object/get","@payload.result","findings"]],["set","@entity.pass","final"],["program/os-grants",null,{"path":"@entity.file","final":true},{"key":"os-grants-final","emit":{"success":"LINT_CHECKED","failure":"LINT_GRANTS_FAILED"}}]]},{"from":"checking","to":"mapping","event":"LINT_CHECKED","eventId":"evt_RPTHECHW82Y417WM29BJKSG4BX","guard":["=","@entity.pass","final"],"effects":[["set","@entity.tagged",["array/concat",["array/map","@entity.written",["fn","f",{"final":false,"f":"@f"}]],["array/map",["object/get","@payload.result","findings"],["fn","f",{"final":true,"f":"@f"}]]]],["emit","LINT_MAP",{}]]},{"from":"checking","to":"ready","event":"LINT_GRANTS_FAILED","eventId":"evt_XR1VQPCQE1BQ0JXYG7QFKJKFP1","effects":[["set","@entity.findings",[]],["set","@entity.finalFindings",[]],["emit","LINT_FINISH",{}]]},{"from":"mapping","to":"mapping","event":"INIT","eventId":"evt_XW5XKDPPJJB990YQ1PZZTHY6K6"},{"from":"mapping","to":"mapping","event":"LINT_MAP","eventId":"evt_SQ2J7WTYNYFAZ82386JQ4ME7PZ","effects":[["set","@entity.mapped",["array/map","@entity.tagged",["fn","x",["let",[["f",["object/get","@x","f"]],["via",["object/get",["object/get","@x","f"],"via",""]],["code",["object/get",["object/get","@x","f"],"code"]],["orbital",["object/get",["object/get","@x","f"],"orbital",""]],["call",["object/get",["object/get","@x","f"],"call",""]],["entry",["object/get",["object/get","@x","f"],"entry",""]],["arg",["object/get",["object/get","@x","f"],"argument",0]]],{"final":["object/get","@x","final"],"finding":{"code":["if",["=","@code","missing"],"@config.codes.missing.code",["if",["=","@code","unused"],"@config.codes.unused.code",["if",["=","@code","entry-invalid"],"@config.codes.entryInvalid.code",["if",["=","@code","shader-invalid"],"@config.codes.shaderInvalid.code",["if",["=","@code","binding-mismatch"],"@config.codes.bindingMismatch.code","@config.codes.targetNotStatic.code"]]]]],"path":["object/get","@f","site"],"severity":["if",["=","@code","unused"],"warning","error"],"message":["if",["=","@code","missing"],["str/concat","`","@call","` ",["if",["=","@via","config"],"can be given ","needs "],"@entry",["if",["=","@via","config"]," by its config, but orbital "," but orbital "],"@orbital"," does not grant it"],["if",["=","@code","unused"],["str/concat","`","@entry","` is granted to ",["if",["=","@orbital",""],"the program",["str/concat","orbital ","@orbital"]]," but no `os/` call there uses it"],["if",["or",["=","@code","entry-invalid"],["=","@code","shader-invalid"]],"@entry",["if",["=","@code","binding-mismatch"],["str/concat","`gpu/bind-group-create` entries do not fit the pipeline they are made for: ","@entry"],["if",["=","@via","config-unresolvable"],["str/concat","`","@call","` argument ","@arg"," is read from config in a way the finished program cannot resolve, so its grant cannot be checked"],["if",["=","@via","computed-path"],["str/concat","`","@call","` argument ","@arg"," is a computed path the grant cannot cover: only a file path may be a `str/concat`"],["str/concat","`","@call","` argument ","@arg"," is computed — an `os/` target must be a literal so the grant can be checked at build time"]]]]]]],"suggestion":["if",["=","@code","missing"],["str/concat","Add `",["object/get","@f","grant",""],["if",["object/get","@f","app",false],"` to the orbital's bracket (`orbital Name [ … ]`) or the app's","` to the orbital's bracket"]],["if",["=","@code","unused"],"Remove the entry: an unused grant is authority the program does not need",["if",["or",["=","@code","entry-invalid"],["=","@code","shader-invalid"]],"",["if",["=","@code","binding-mismatch"],"Give one entry per binding the pipeline's entry points use in that group, each the resource the WGSL declares (buffer, texture or sampler)",["if",["=","@via","config-unresolvable"],"Read the target with `@config.<knob>`, `array/nth` and `object/get`, or write it as a literal; a `str/concat` directory prefix must be string knobs and literals ending in `/`",["if",["=","@via","computed-path"],"Write the target as a literal","Write the path, command, host, port or name as a literal; a file path may instead be a `str/concat` that starts with a literal or `@config.<knob>` directory ending in `/`, covered by an fs grant ending in `/`, or an anchored path `{ anchor: \"cwd\" path: … }` (anchors `exe-dir`, `cwd`, `{ env: \"NAME\" }`) covered by an anchored grant such as `fs: { cwd: \"docs/\": [read] }`; a host or port may be `{ anchor: { env: \"PORT\" } }` covered by `net: { env HOST, env PORT: [listen] }`"]]]]]]}}]]]],["emit","LINT_SPLIT",{}]]},{"from":"mapping","to":"ready","event":"LINT_SPLIT","eventId":"evt_44BF320DF06QG43D1TYTGQESC8","effects":[["set","@entity.findings",["array/map",["array/filter","@entity.mapped",["fn","m",["not",["object/get","@m","final"]]]],["fn","m",["object/get","@m","finding"]]]],["set","@entity.finalFindings",["array/map",["array/filter","@entity.mapped",["fn","m",["object/get","@m","final"]]],["fn","m",["object/get","@m","finding"]]]],["emit","LINT_FINISH",{}]]}]},"config":{"codes":{"nullable":false,"type":"LintOsGrantsCodes","default":{"missing":{"code":"ORB_OS_GRANT_MISSING","category":"os","description":"An os/ call that the grants of its orbital (app level plus its own) do not cover"},"unused":{"code":"ORB_OS_GRANT_UNUSED","category":"os","description":"A granted entry that no os/ call of the orbital (or of the program, at app level) uses; a warning"},"entryInvalid":{"code":"ORB_OS_GRANT_ENTRY_INVALID","category":"os","description":"A declared grant entry that can match nothing"},"targetNotStatic":{"code":"ORB_OS_TARGET_NOT_STATIC","category":"os","description":"An os/ call target that is computed, so its grant cannot be checked at build time"},"shaderInvalid":{"code":"ORB_GPU_SHADER_INVALID","category":"os","description":"A literal gpu/shader-create WGSL source that naga refuses to parse or validate"},"bindingMismatch":{"code":"ORB_GPU_BINDING_MISMATCH","category":"os","description":"A gpu/bind-group-create whose literal entries do not fit the bindings its traced pipeline's entry points use in its WGSL"}},"label":"Emitted codes","description":"The finding codes this rule emits, with their category and meaning; the registry is generated from this declaration.","properties":{"missing":{"nullable":false,"name":"missing","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"}},"unused":{"nullable":false,"name":"unused","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"}},"entryInvalid":{"nullable":false,"name":"entryInvalid","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"}},"targetNotStatic":{"nullable":false,"name":"targetNotStatic","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"}},"shaderInvalid":{"nullable":false,"name":"shaderInvalid","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"}},"bindingMismatch":{"nullable":false,"name":"bindingMismatch","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":"LintOsGrantsCodes"}}},"dispatch":"optimistic","sourceDeclaration":{"traitId":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M","fingerprint":"a127bdac5d201c3d93a06be67676c7e3cf89a1aea97f3087b7b24b09b0497301"}},{"name":"OrbLintOsGrantsCli","id":"trt_M2BDKKF08AG45FWH98YVTK3W7A","effectRow":[{"kind":"emit","resource":"LINT_ANSWERED"},{"kind":"emit","resource":"LINT_CALL_SITES_REQUEST"},{"kind":"set","resource":"@entity.shown"}],"linkedEntity":"OrbLintOsGrantsRun","linkedEntityId":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6","entityRefIds":{"OrbLintOsGrantsRun":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6"},"emits":[{"event":"LINT_ANSWERED","eventId":"evt_K7K25CV48VJ4DGEQNSRH9TJJQ6","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_CALL_SITES_REQUEST","eventId":"evt_PC609C1K9FSMQQ8JA545C0PJB8","description":"Ask the call sites input to read and lower this file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"stamp","type":"boolean","required":true},{"nullable":false,"name":"references","type":"boolean","required":true}]},{"event":"LINT_FOUND","eventId":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","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_CALL_SITES_UNREAD","eventId":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","description":"The call sites input could not read or lower the file.","tier":"internal","scope":"external","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"error","type":"string","required":true}]}],"listens":[{"event":"LINT_FOUND","eventId":"evt_WK1NXMQV1CXGP0AB6H0KSMFYX6","triggers":"LINT_FOUND","triggersId":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","source":{"kind":"trait","trait":"OrbLintOsGrants","traitId":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"}},{"event":"LINT_CALL_SITES_UNREAD","eventId":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","triggers":"LINT_CALL_SITES_UNREAD","triggersId":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","source":{"kind":"trait","trait":"CallSiteInput","traitId":"trt_DMYKMC5DG5PR2QY98G9K26243T"}}],"stateMachine":{"states":[{"name":"ready","isInitial":true},{"name":"waiting"}],"events":[{"key":"INIT","id":"evt_D78S26XFCHQP8WRQVP3R6MJ5JY","name":"Initialize"},{"key":"LINT_CALLED","id":"evt_RZ0NX7FVK8XSMBMV7FSR2WBDQD","name":"Lint Called","description":"Run `orb lint os-grants` with its arguments and working directory.","synonyms":"orb lint os-grants","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-os-grants","answers":"LINT_ANSWERED"}},{"key":"LINT_FOUND","id":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","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_CALL_SITES_UNREAD","id":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","name":"Lint Call Sites Unread","description":"The call sites input could not read or lower the file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"error","type":"string","required":true}],"listened":true},{"key":"LINT_ANSWERED","id":"evt_K7K25CV48VJ4DGEQNSRH9TJJQ6","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_CALL_SITES_REQUEST","id":"evt_PC609C1K9FSMQQ8JA545C0PJB8","name":"Lint Call Sites Request","description":"Ask the call sites input to read and lower this file.","tier":"internal","payloadSchema":[{"nullable":false,"name":"file","type":"string","required":true},{"nullable":false,"name":"stamp","type":"boolean","required":true},{"nullable":false,"name":"references","type":"boolean","required":true}]}],"transitions":[{"from":"ready","to":"ready","event":"INIT","eventId":"evt_D78S26XFCHQP8WRQVP3R6MJ5JY"},{"from":"ready","to":"ready","event":"LINT_CALLED","eventId":"evt_RZ0NX7FVK8XSMBMV7FSR2WBDQD","guard":["or",["=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["!=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint os-grants <file>"}]]},{"from":"ready","to":"waiting","event":"LINT_CALLED","eventId":"evt_RZ0NX7FVK8XSMBMV7FSR2WBDQD","guard":["and",["!=",["json/parse","@payload.rawBody","OrbCommandArgs"],null],["=",["array/len",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]],1]],"effects":[["let",[["argFile",["array/first",["object/get",["json/parse","@payload.rawBody","OrbCommandArgs"],"argv"]]]],["if",["=","@argFile",null],["emit","LINT_ANSWERED",{"status":400,"body":"usage: orb lint os-grants <file>"}],["emit","LINT_CALL_SITES_REQUEST",{"file":"@argFile","stamp":false,"references":true}]]]]},{"from":"waiting","to":"waiting","event":"INIT","eventId":"evt_D78S26XFCHQP8WRQVP3R6MJ5JY"},{"from":"waiting","to":"waiting","event":"LINT_FOUND","eventId":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","guard":["=","@payload.rule","os-grants"],"effects":[["set","@entity.shown","@payload.findings"]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","guard":["and",["=","@payload.rule","os-grants-final"],["=",["array/len",["array/concat","@entity.shown","@payload.findings"]],0]],"effects":[["emit","LINT_ANSWERED",{"status":200,"body":"lint os-grants: clean"}]]},{"from":"waiting","to":"ready","event":"LINT_FOUND","eventId":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","guard":["and",["=","@payload.rule","os-grants-final"],[">",["array/len",["array/concat","@entity.shown","@payload.findings"]],0]],"effects":[["emit","LINT_ANSWERED",{"status":500,"body":["str/join",["array/map",["array/concat","@entity.shown","@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_CALL_SITES_UNREAD","eventId":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","effects":[["emit","LINT_ANSWERED",{"status":500,"body":"lint os-grants: the file could not be read or lowered"}]]}]},"dispatch":"client","sourceDeclaration":{"traitId":"trt_M2BDKKF08AG45FWH98YVTK3W7A","fingerprint":"5db6e78ac6d4f7383cb292c45b0759b13484afa689d77c852d023f4701884b49"}},{"ref":"CsInput.traits.CallSiteInput","id":"trt_DMYKMC5DG5PR2QY98G9K26243T","name":"CallSiteInput","listens":[{"event":"LINT_CALL_SITES_REQUEST","triggers":"LINT_CALL_SITES_REQUEST","source":{"kind":"trait","trait":"OrbLintOsGrantsCli"}}]}],"pages":[{"name":"OrbLintOsGrantsOrbitalStart","id":"pag_2R96AKTT62D3129DKNK172WW4E","path":"","protocol":"boot","traits":[{"ref":"OrbLintOsGrants","refId":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},{"ref":"OrbLintOsGrantsCli","refId":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},{"ref":"CallSiteInput","refId":"trt_DMYKMC5DG5PR2QY98G9K26243T"}]}],"types":{"GrAnswer":[{"nullable":false,"name":"findings","type":"[object]","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"items":{"nullable":false,"name":"","type":"GrFinding","projectedFrom":{"type":"GrFinding"}}}],"GrFinding":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"GrMapped":[{"nullable":false,"name":"final","type":"boolean","required":true},{"nullable":false,"name":"finding","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"]}],"projectedFrom":{"type":"OrbFinding"}}],"GrNode":[{"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":"[GrNode]","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}},{"nullable":false,"name":"object","type":"Map<string,GrNode>","items":{"nullable":true,"name":"","type":"GrNode","projectedFrom":{"type":"GrNode"}}}]}],"GrTagged":[{"nullable":false,"name":"final","type":"boolean","required":true},{"nullable":false,"name":"f","type":"object","required":true,"properties":[{"nullable":false,"name":"code","type":"string","required":true},{"nullable":false,"name":"orbital","type":"string"},{"nullable":false,"name":"call","type":"string"},{"nullable":false,"name":"entry","type":"string"},{"nullable":false,"name":"site","type":"string","required":true},{"nullable":false,"name":"grant","type":"string"},{"nullable":false,"name":"app","type":"boolean"},{"nullable":false,"name":"argument","type":"number"},{"nullable":false,"name":"via","type":"string"}],"projectedFrom":{"type":"GrFinding"}}],"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}],"LintOsGrantsCodes":[{"nullable":false,"name":"missing","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":"unused","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":"entryInvalid","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":"targetNotStatic","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":"shaderInvalid","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":"bindingMismatch","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"]}],"RcKept":[{"nullable":false,"name":"orbital","type":"number","required":true},{"nullable":false,"name":"traits","type":"[string]","required":true,"items":{"nullable":false,"name":"","type":"string"}}],"RcRefRow":[{"nullable":false,"name":"kind","type":"string","required":true},{"nullable":false,"name":"path","type":"string","required":true},{"nullable":false,"name":"callSite","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}},{"nullable":false,"name":"declaration","type":"GrNode","required":true,"properties":[],"projectedFrom":{"type":"GrNode"}}]}}],"inbound":["cli-lint-os-grants"],"osGrants":{"fs":[{"glob":"/","modes":["read"]}],"exec":[],"net":[],"env":[],"stdio":[],"sys":[],"desktop":[],"anchored":{"fs":[{"anchor":"cwd","glob":"","modes":["read"]}]}},"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6":{"id":"ent_SFWPGXRAQ35BHZKJHX5YAFEFA6","kind":"entity","bakedName":"OrbLintOsGrantsRun","curName":"OrbLintOsGrantsRun","renames":[],"owner":"workspace"},"evt_1KGJ46HP61V30W5Z11BN7CKKXX":{"id":"evt_1KGJ46HP61V30W5Z11BN7CKKXX","kind":"event","bakedName":"LINT_CALL_SITES_UNREAD","curName":"LINT_CALL_SITES_UNREAD","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_44BF320DF06QG43D1TYTGQESC8":{"id":"evt_44BF320DF06QG43D1TYTGQESC8","kind":"event","bakedName":"LINT_SPLIT","curName":"LINT_SPLIT","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2":{"id":"evt_6GQZ2TFPTKVD9RTRVY7YJDSNH2","kind":"event","bakedName":"LINT_CALL_SITES","curName":"LINT_CALL_SITES","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_D78S26XFCHQP8WRQVP3R6MJ5JY":{"id":"evt_D78S26XFCHQP8WRQVP3R6MJ5JY","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_HXHAKJGFE17Q0V5K45GAR66HWS":{"id":"evt_HXHAKJGFE17Q0V5K45GAR66HWS","kind":"event","bakedName":"LINT_CWD","curName":"LINT_CWD","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_K7K25CV48VJ4DGEQNSRH9TJJQ6":{"id":"evt_K7K25CV48VJ4DGEQNSRH9TJJQ6","kind":"event","bakedName":"LINT_ANSWERED","curName":"LINT_ANSWERED","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_PC609C1K9FSMQQ8JA545C0PJB8":{"id":"evt_PC609C1K9FSMQQ8JA545C0PJB8","kind":"event","bakedName":"LINT_CALL_SITES_REQUEST","curName":"LINT_CALL_SITES_REQUEST","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_RPTHECHW82Y417WM29BJKSG4BX":{"id":"evt_RPTHECHW82Y417WM29BJKSG4BX","kind":"event","bakedName":"LINT_CHECKED","curName":"LINT_CHECKED","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_RZ0NX7FVK8XSMBMV7FSR2WBDQD":{"id":"evt_RZ0NX7FVK8XSMBMV7FSR2WBDQD","kind":"event","bakedName":"LINT_CALLED","curName":"LINT_CALLED","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_SQ2J7WTYNYFAZ82386JQ4ME7PZ":{"id":"evt_SQ2J7WTYNYFAZ82386JQ4ME7PZ","kind":"event","bakedName":"LINT_MAP","curName":"LINT_MAP","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_VE222KTKQ69VK69ZAWM9Z6FAB0":{"id":"evt_VE222KTKQ69VK69ZAWM9Z6FAB0","kind":"event","bakedName":"LINT_FINISH","curName":"LINT_FINISH","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_WK1NXMQV1CXGP0AB6H0KSMFYX6":{"id":"evt_WK1NXMQV1CXGP0AB6H0KSMFYX6","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_X0BF6CW2ND1APNK7EE3HSE2KEE":{"id":"evt_X0BF6CW2ND1APNK7EE3HSE2KEE","kind":"event","bakedName":"LINT_FOUND","curName":"LINT_FOUND","renames":[],"owner":"workspace","parent":"trt_M2BDKKF08AG45FWH98YVTK3W7A"},"evt_XR1VQPCQE1BQ0JXYG7QFKJKFP1":{"id":"evt_XR1VQPCQE1BQ0JXYG7QFKJKFP1","kind":"event","bakedName":"LINT_GRANTS_FAILED","curName":"LINT_GRANTS_FAILED","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"evt_XW5XKDPPJJB990YQ1PZZTHY6K6":{"id":"evt_XW5XKDPPJJB990YQ1PZZTHY6K6","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M"},"orb_X319GQMFZW7ZY40TTDGETGXZ3Y":{"id":"orb_X319GQMFZW7ZY40TTDGETGXZ3Y","kind":"orbital","bakedName":"OrbLintOsGrantsOrbital","curName":"OrbLintOsGrantsOrbital","renames":[],"owner":"workspace"},"pag_2R96AKTT62D3129DKNK172WW4E":{"id":"pag_2R96AKTT62D3129DKNK172WW4E","kind":"page","bakedName":"OrbLintOsGrantsOrbitalStart","curName":"OrbLintOsGrantsOrbitalStart","renames":[],"owner":"workspace"},"trt_5XM0SQ72Z3HFHP7DFT1QQR169M":{"id":"trt_5XM0SQ72Z3HFHP7DFT1QQR169M","kind":"trait","bakedName":"OrbLintOsGrants","curName":"OrbLintOsGrants","renames":[],"owner":"workspace"},"trt_DMYKMC5DG5PR2QY98G9K26243T":{"id":"trt_DMYKMC5DG5PR2QY98G9K26243T","kind":"trait","bakedName":"CallSiteInput","curName":"CallSiteInput","renames":[],"owner":"workspace"},"trt_M2BDKKF08AG45FWH98YVTK3W7A":{"id":"trt_M2BDKKF08AG45FWH98YVTK3W7A","kind":"trait","bakedName":"OrbLintOsGrantsCli","curName":"OrbLintOsGrantsCli","renames":[],"owner":"workspace"}}}}