Struct GatePolicy

Source

pub struct GatePolicy {
    pub default_strength_floor: AxisEnforcement,
    pub max_freshness_window: u64,
    pub step_up: HumanGate,
}

Expand description

Gate defaults (gate.rs constants) — and the human-gesture axis of the ADR 0018 mode lattice.

Fields§

§default_strength_floor: AxisEnforcement

The fence-strength floor stamped when none is set (DEFAULT_STRENGTH_FLOOR).

§max_freshness_window: u64

Cap on the discharge freshness-window scan (MAX_FRESHNESS_WINDOW).

§step_up: HumanGate

The step-up floor — the human-gate posture the host enforces for a HIGH-consequence act (ADR 0018 D9/D11, R6). This is the human-gesture axis of the mode lattice, the config sibling of the capability axis BridleConfig::mode. Defaults to HumanGate::Passkey (the human leash is on unless deliberately lowered). none is the legal “no ceremony” case (e.g. CI) — distinct from the illegal acked-off combination the loader refuses (the D10 no-step-up ack while bridled; that ack rides a separate env-only channel, never a config file — ADR 0018 D3). The Autonomous posture (none while unbridled) is reached at runtime via that second ack, never by a config file lowering this floor.

GatePolicy

Struct GatePolicy Copy item path

Fields§

Trait Implementations§

impl Clone for GatePolicy

fn clone(&self) -> GatePolicy

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

impl Debug for GatePolicy

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

impl Default for GatePolicy

fn default() -> GatePolicy

impl<'de> Deserialize<'de> for GatePolicy

fn deserialize<__D>( __deserializer: __D, ) -> Result<GatePolicy, <__D as Deserializer<'de>>::Error>where __D: Deserializer<'de>,

impl Eq for GatePolicy

impl PartialEq for GatePolicy

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

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

impl Serialize for GatePolicy

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where __S: Serializer,

impl StructuralPartialEq for GatePolicy

Auto Trait Implementations§

impl Freeze for GatePolicy

impl RefUnwindSafe for GatePolicy

impl Send for GatePolicy

impl Sync for GatePolicy

impl Unpin for GatePolicy

impl UnsafeUnpin for GatePolicy

impl UnwindSafe for GatePolicy

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> AnyEq for Twhere T: Any + PartialEq,

fn equals(&self, other: &(dyn Any + 'static)) -> bool

fn as_any(&self) -> &(dyn Any + 'static)

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DTwhere ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DTwhere ST: ?Sized, DT: ?Sized,

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<F, T> ConvertInto<T> for Fwhere T: ConvertFrom<F>,

fn convert_into(self) -> T

impl<F, T> ConvertTryFrom<F> for Twhere F: ConvertInto<T>,

type Error = !

fn convert_try_from(value: F) -> Result<T, !>

impl<F, T> ConvertTryInto<T> for Fwhere T: ConvertTryFrom<F>,

type Error = <T as ConvertTryFrom<F>>::Error

fn convert_try_into(self) -> Result<T, <T as ConvertTryFrom<F>>::Error>

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> ErasedDestructor for Twhere T: 'static,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

fn in_current_span(self) -> Instrumented<Self> ⓘ

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘwhere F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Read<Exclusive, BecauseExclusive> for Twhere T: ?Sized,

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

Struct GatePolicy

fn deserialize<D>( deserializer: D, ) -> Result<GatePolicy, <D as Deserializer<'de>>::Error>
where __D: Deserializer<'de>,

fn serialize<S>( &self, serializer: S, ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> AnyEq for T
where T: Any + PartialEq,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<F, T> ConvertInto<T> for F
where T: ConvertFrom<F>,

impl<F, T> ConvertTryFrom<F> for T
where F: ConvertInto<T>,

impl<F, T> ConvertTryInto<T> for F
where T: ConvertTryFrom<F>,

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<T> ErasedDestructor for T
where T: 'static,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,