Expand description
Graph-aware data access policies layered above the hard tenant boundary
(plan document 23). Policies are compiled once into a SecurityScope with
a stable fingerprint; enforcement is default-deny, evaluated by callers
over MatchScope candidates and mutation images, and can only narrow the
domain — never widen it.
Structs§
- Active
Authorizer - Engine authorizer reading live committed policy state (default-deny in
PolicyEnforcedmode). Implemented against the replicated keyspace. - Active
Policy - A policy together with the commit that published it.
- Data
Access Policy - Tenant-scoped data-access restrictions applied to query results.
- Security
Scope - Compiled security scope bound to one policy generation.
Enums§
- Authorization
Mode - How strongly a tenant’s data-access policy is enforced.
- Authz
Error - Errors produced while compiling or enforcing data access policies.
Functions§
- authorize_
mutation - Mutation-side check over the new image (old-image revalidation happens at commit inside the engine’s own preconditions).
- authorize_
traversal_ type - Rejects traversal through a relationship type the policy denies.
- current_
generation - Returns the committed policy generation for
lmpg’s tenant, or0when no policy is active. - find_
records_ authorized - Authorized query execution (Records perspective): scans, masks output, enforces result caps. Tenant scoping underneath is structural.
- load_
active_ policy - Loads the active policy for
lmpg’s tenant from live committed state. - load_
active_ policy_ in_ view - Read one complete policy generation from one retained native view.
- load_
policy_ from_ reader - Policy loader over an injected key-reader. Used by the coordinator’s commit-time revalidation so it never opens a nested store view (which would deadlock under the store’s publish lock).
- store_
policy - Explicit administrative policy replacement. New tenant metadata overrides legacy global metadata for this tenant only; no legacy bytes are changed. The applying CI is assigned under admission, not before entering it.
- store_
policy_ with_ min_ count store_policywith a small-count threshold for catalog reads: groups counted over fewer thanmin_countrecords are withheld. 0 is no threshold and publishes exactly whatstore_policydoes.
Type Aliases§
- Query
Direction - Exposes Direction /
CollectSpecpassthrough to keep engine facade tidy.