a declared grant names a capability the script's source never uses
effect/script-grant-unused
Generated from the language definition for ruleset 1.7.
Severity: warning
Since: 1.0
Summary: a declared grant names a capability the script's source never uses
Fix: drop the unused grant
See also: /book/scripts-and-grants