Struct IngressDirective 

pub struct IngressDirective {
    pub budget_cap: Option<u32>,
    pub priority: Option<Priority>,
    pub required_approver: Option<ExternalIdentity>,
}

Edge-authored policy for one turn (#68).

The edge’s own decision, never something the model or a tool can set. Built by EdgeAdapter::ingress_directive; threaded through crate::AgentDialer’s dialer entry points into the wire AgentStart. Every field absent (the Default) is the common case and costs nothing on the wire — Self::is_empty says so without inspecting each field.

Fields

budget_cap: Option<u32>

Upper bound on the turn’s step budget. The control plane can only LOWER the budget it would otherwise resolve, never raise it. None means the edge expresses no cap.

priority: Option<Priority>

Advisory scheduling hint; recorded in the eventlog, not scheduled (see Priority). None means the edge expressed no preference.

required_approver: Option<ExternalIdentity>

The identity that alone may APPROVE a gated call this turn (enforced fail-closed in ApprovalService.Respond); Deny/Defer stay open to any resolve-token holder. None means no approver restriction.

Implementations

impl IngressDirective

pub const fn is_empty(&self) -> bool

True when every field is unset — the common case for an edge with no ingress policy, and the signal the control plane uses to skip appending an ingress_directive eventlog event for this turn.

Trait Implementations

impl Clone for IngressDirective

fn clone(&self) -> IngressDirective

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IngressDirective

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for IngressDirective

fn default() -> IngressDirective

Returns the “default value” for a type.

impl From<IngressDirective> for IngressDirective

Every field named explicitly — no ..Default::default() spread — so a field added to WireIngressDirective without updating this impl fails to compile instead of silently not riding the wire. IngressDirective is a fail-closed policy envelope (#68): a dropped required_approver or budget_cap here is a fail-open bug, not just data loss.

fn from(directive: IngressDirective) -> Self

Converts to this type from the input type.

impl PartialEq for IngressDirective

fn eq(&self, other: &IngressDirective) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for IngressDirective