pub struct IntentGateConfig {
pub intent: IntentSpec,
pub untrusted_tools: Vec<String>,
pub on_untainted_drift: Option<IntentDisposition>,
}Expand description
The deserialized .car/intent.json document.
Fields§
§intent: IntentSpecThe declared task intent (VIGIL’s root of trust).
untrusted_tools: Vec<String>Tools whose RESULTS are tool-stream input from an open environment (web fetch, inbox read, …). An action calling one — and everything downstream of it in the dependency graph — is treated as potentially injection-influenced.
on_untainted_drift: Option<IntentDisposition>Untainted-drift policy — deserialized DIRECTLY as
car_verify::intent::IntentDisposition ("allow" /
"require_approval" / "block", snake_case). Typed so a typo’d
or wrong-case value (“Block”, “deny”) is a LOUD parse error,
never a silent downgrade of a hard block to approvable (linus
review). Absent = the core’s default (require_approval).
Trait Implementations§
Source§impl Clone for IntentGateConfig
impl Clone for IntentGateConfig
Source§fn clone(&self) -> IntentGateConfig
fn clone(&self) -> IntentGateConfig
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for IntentGateConfig
impl Debug for IntentGateConfig
Source§impl Default for IntentGateConfig
impl Default for IntentGateConfig
Source§fn default() -> IntentGateConfig
fn default() -> IntentGateConfig
Returns the “default value” for a type. Read more
Source§impl<'de> Deserialize<'de> for IntentGateConfig
impl<'de> Deserialize<'de> for IntentGateConfig
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations§
impl Freeze for IntentGateConfig
impl RefUnwindSafe for IntentGateConfig
impl Send for IntentGateConfig
impl Sync for IntentGateConfig
impl Unpin for IntentGateConfig
impl UnsafeUnpin for IntentGateConfig
impl UnwindSafe for IntentGateConfig
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
impl<T> ErasedDestructor for Twhere
T: 'static,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more