Module control_authority 

Pure exact-result and direct caller-controller admission; no IO or dispatch authority.

Structs

ControlAuthorityView

Read-only matching controller evidence; not a dispatch permit or complete preflight.

Enums

ControlAuthorityError

Typed denial; no mismatch changes a plan/journal or admits any paid effect.

Functions

validate

Match current request/context/target/call bound and exact caller-controller membership.