Module authz 

Principals, capabilities and failure posture (§8, §11, §12d).

Structs

Authorization

Computed by the daemon for each call from SO_PEERCRED, logind, group membership and journaled grants. Never read from a proposal (I14).

Capabilities

A set of Capability values, as flags so the proofs can read it (as Sensitivities). Serialized as the list of members in declaration order.

Grant

Enums

Capability

FailureClass

Posture

The failure posture, declared in the generation (§12d). Phase A ships Standard.