Module state 

L0 state stratum — sealed traits (Action, Component, Event), authorization phantoms, per-instance state container. L0 state stratum.

Per-instance state, sealed-trait declarations, authorization phantom types, and the GhostCell brand handle. Depends only on abi (no dependency on runtime or persist).

Re-exports

pub use authz::AuthState;

pub use authz::Authorized;

pub use authz::DenyReason;

pub use authz::Effect;

pub use authz::Unverified;

pub use config::InstanceConfig;

pub use context::ActionContext;

pub use op::Op;

pub use quota::apply_quota_reduction;

pub use quota::QuotaReductionError;

pub use quota::QuotaReductionPolicy;

pub use scope::InstanceScope;

pub use traits::Action;

pub use traits::ActionCompute;

pub use traits::ActionDeriv;

pub use traits::Component;

pub use traits::DeserializeError;

pub use traits::Event;

pub use instance::EntityMeta;

Modules

authz

Authorization phantom-typed Effect (A8 + A19).

config

InstanceConfig — caller-supplied per-instance configuration.

context

ActionContext — read-only Instance view passed to Action::compute.

instance

Instance — per-instance kernel-state container.

ledger

ResourceLedger — per-instance resource accounting — a StepStage bucket.

op

Op — kernel-level effect payload (ABI sub-enums).

quota

QuotaReductionPolicy — what to do when a parent’s quota reduction would drop below current child aggregate usage.

scheduler

BTreeMap-based scheduler with immediate-remove cancellation.

scope

InstanceScope<'i> — invariant-lifetime-branded handle to an instance.

traits

Sealed traits for kernel-managed types.