Struct IntentGate 

pub struct IntentGate { /* private fields */ }

The admission gate. Cheap and side-effect-free per the seam contract: the cores are pure and the config is captured at construction.

Implementations

impl IntentGate

pub fn new(config: IntentGateConfig) -> Self

A gate with no runtime provenance: taint is derived from the tool names and the proposal’s own DAG only.

pub fn with_taint(config: IntentGateConfig, ledger: Arc<TaintLedger>) -> Self

A gate backed by the runtime’s TaintLedger, so a result the executor observed as tainted marks the actions that READ it — even when their own tool is trusted, and even when the tainting action belongs to an earlier proposal (the replan case). See crate::taint.

Trait Implementations

impl AdmissionGate for IntentGate

fn name(&self) -> &str

Short stable identifier (e.g. "information_flow", "concurrency") recorded on the audit event so a denial is attributable to a gate.

fn check<'life0, 'life1, 'life2, 'life3, 'async_trait>( &'life0 self, proposal: &'life1 ActionProposal, ctx: &'life2 GateContext<'life3>, ) -> Pin<Box<dyn Future<Output = GateOutcome> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

Inspect a proposal and return a verdict. Must not mutate shared state — admission runs before the execution snapshot is taken.