Skip to content

Grants and delegation

Concept / attenuation

A grant delegates a subset of authority from one principal to another. The kernel compares every child grant with its effective parent authority.

  • accepted principal methods and profiles;
  • permission capability and resource;
  • resource namespaces;
  • audience set;
  • validity window;
  • stateful budget ceiling;
  • remaining delegation depth;
  • assurance policy; and
  • status policy.

If a child expands authority in any protected dimension, verification returns a stable denial such as delegation-expanded.

Authorization plans compose proof leaves through proof, all-of, any-of, and K-of-N operators. Composition selects which valid branches satisfy an action; it cannot grant authority absent from those branches.