Struct WorkflowContract

Source

pub struct WorkflowContract {Show 14 fields
    pub id: Option<String>,
    pub title: Option<String>,
    pub objective: String,
    pub workflow_type: WorkflowType,
    pub risk_level: RiskLevel,
    pub autonomy_mode: AutonomyMode,
    pub workspace_scope: WorkspaceScope,
    pub tool_permissions: ToolPermissionSet,
    pub required_verification: Vec<VerificationRequirement>,
    pub approval_requirements: Vec<ApprovalRequirement>,
    pub trust_scope: TrustScope,
    pub closeout_criteria: CloseoutCriteria,
    pub mana_unit_ref: Option<String>,
    pub parent_workflow_ref: Option<String>,
}

Expand description

A runtime-readable declaration of what a workflow is trying to do and what constraints/proof obligations apply to it.

Fields§

§id: Option<String>§title: Option<String>§objective: String§workflow_type: WorkflowType§risk_level: RiskLevel§autonomy_mode: AutonomyMode§workspace_scope: WorkspaceScope§tool_permissions: ToolPermissionSet§required_verification: Vec<VerificationRequirement>§approval_requirements: Vec<ApprovalRequirement>§trust_scope: TrustScope§closeout_criteria: CloseoutCriteria§mana_unit_ref: Option<String>§parent_workflow_ref: Option<String>

Struct WorkflowContract Copy item path

Fields§

Implementations§

impl WorkflowContract

pub fn implicit(objective: impl Into<String>) -> Self

pub fn implicit_from(input: ImplicitWorkflowContractInput) -> Self

pub fn with_workspace_scope(self, workspace_scope: WorkspaceScope) -> Self

pub fn with_autonomy_mode(self, autonomy_mode: AutonomyMode) -> Self

pub fn with_mana_unit_ref(self, mana_unit_ref: impl Into<String>) -> Self

Trait Implementations§

impl Clone for WorkflowContract

fn clone(&self) -> WorkflowContract

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

impl Debug for WorkflowContract

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

impl Default for WorkflowContract

fn default() -> Self

impl<'de> Deserialize<'de> for WorkflowContractwhere WorkflowContract: Default,

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

impl PartialEq for WorkflowContract

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

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

impl Serialize for WorkflowContract

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

impl Eq for WorkflowContract

impl StructuralPartialEq for WorkflowContract

Auto Trait Implementations§

impl Freeze for WorkflowContract

impl RefUnwindSafe for WorkflowContract

impl Send for WorkflowContract

impl Sync for WorkflowContract

impl Unpin for WorkflowContract

impl UnsafeUnpin for WorkflowContract

impl UnwindSafe for WorkflowContract

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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<T> CloneToUninit for Twhere T: Clone,

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

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

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

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> PolicyExt for Twhere T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>where T: Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>where T: Policy<B, E>, P: Policy<B, E>,

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)

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

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

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

fn vzip(self) -> V

impl<T> WithSubscriber for T

Struct WorkflowContract

impl<'de> Deserialize<'de> for WorkflowContract
where WorkflowContract: Default,

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

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

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

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

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

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

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

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> PolicyExt for T
where T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

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>,

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