Module policy 

Policy vocabulary and the pluggable evaluation trait.

Core holds the types modes and the kernel must name: the policy definition/decision/error, the per-mode rules schemas (read by modes to drive policy-parameterized behavior and by evaluators to decide commitments), and the PolicyEvaluator trait that modes call through. The concrete default evaluator lives in the macp-policy crate; a third party can supply its own PolicyEvaluator and inject it without forking the kernel.

Modules

rules

Structs

CommitmentContext

Everything a policy evaluator may consult when gating a commitment.

CommitmentRules

Commitment rules shared across all mode policy schemas (RFC-MACP-0012).

PolicyDefinition

Enums

CommitmentMode

Per-mode accumulated state relevant to commitment evaluation.

PolicyDecision

#[non_exhaustive]: consumers MUST treat any non-Allow decision as a denial (fail closed). Never if let Deny — that fails open on new variants.

PolicyError

Traits

PolicyEvaluator

Governance policy evaluation at commitment time.

Functions

extract_commitment_rules

Extract the commitment section from any mode’s policy rules JSON. All RFC mode schemas include a commitment sub-object with authority and designated_roles.