Skip to content

Authorization and policy

Authentication tells Amelfi who made a request. Authorization decides whether that identity may perform the requested action on a particular resource in the current context. Amelfi uses Cedar for this decision.

Set filtering / decision traceAM / 06

Discovery is a policy decision

The registry has three example tools. Registration alone does not grant access. Policy evaluates the authenticated principal, tool, action, and request context. An explicit deny overrides an allow. A tool without an applicable allow is denied too. Discovery returns only the permitted read tool. Calls are evaluated again when invoked.Read recordsCandidate toolDelete recordsCandidate toolExport recordsCandidate toolCedar policyRequest contextRead recordsAllowed and discoverableDelete recordsExplicit denyExport recordsNo applicable allow

Scroll the diagram sideways to see the full flow →

4 / 4
Discovery returns only the permitted read tool. Calls are evaluated again when invoked.
Read the full explanation
  1. The registry has three example tools. Registration alone does not grant access.
  2. Policy evaluates the authenticated principal, tool, action, and request context.
  3. An explicit deny overrides an allow. A tool without an applicable allow is denied too.
  4. Discovery returns only the permitted read tool. Calls are evaluated again when invoked.
InputMeaning
PrincipalThe verified user, service, or agent identity.
ActionWhat the request asks the gateway to do.
ResourceThe server or tool being accessed.
ContextRelevant environment, client, session, and credential information.

Keep the human actor and agent identity distinct. A person operating an agent does not automatically grant that agent all of the person’s upstream access.

A request needs an applicable allow and no applicable deny. An explicit deny wins even when another policy allows the request. Missing permission is a denial, not a reason to fall back to a broader credential.

Discovery and execution both enforce policy

Section titled “Discovery and execution both enforce policy”

Unauthorized tools are omitted from discovery. They are not shown as disabled choices. A caller that already knows a hidden tool name still cannot bypass authorization: the gateway evaluates the call when it arrives.

The diagram shows illustrative tools and decisions. It is an explanation of the rule, not a live policy simulation.

Validate and simulate a proposed policy before publication. After publishing, verify the runtime has accepted the expected projection and test the actual governed endpoint. A successful simulation alone does not establish that every replica runs the new policy.

Continue with authoring a policy and testing an allowed and denied call.

Read the source contract.

Amelfi documentation · Space Grotesk / Geist Mono