Skip to main content

AxiomContextExport

cortex_context::axiom

Struct AxiomContextExport

pub struct AxiomContextExport {
    pub context_pack_id: ContextPackId,
    pub task: String,
    pub claim_ceiling: ClaimCeiling,
    pub policy_outcome: PolicyOutcome,
    pub unknown_refs: Vec<ContextRefId>,
    pub limited_proof_refs: Vec<ContextRefId>,
    pub conflict_refs: Vec<String>,
    pub redaction_limits: Vec<String>,
    pub constraints: Vec<AxiomConstraint>,
}

Expand description

Constraint export from one Cortex context pack to AXIOM.

Fields§

§context_pack_id: ContextPackId

Context pack id the constraints apply to.

§task: String

Task the pack was built for.

§claim_ceiling: ClaimCeiling

Weakest effective claim ceiling across selected refs and pack state.

§policy_outcome: PolicyOutcome

ADR 0026 policy outcome for the built pack.

§unknown_refs: Vec<ContextRefId>

Selected refs whose proof state is unknown.

§limited_proof_refs: Vec<ContextRefId>

Selected refs whose proof state is partial or broken.

§conflict_refs: Vec<String>

Conflict ids surfaced in the context pack.

§redaction_limits: Vec<String>

Redaction limits AXIOM must not infer around.

§constraints: Vec<AxiomConstraint>

Constraints AXIOM must obey.

Trait Implementations§

impl Clone for AxiomContextExport

fn clone(&self) -> AxiomContextExport

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

impl Debug for AxiomContextExport

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

Formats the value using the given formatter. Read more

impl<'de> Deserialize<'de> for AxiomContextExport

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

Deserialize this value from the given Serde deserializer. Read more

impl PartialEq for AxiomContextExport

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

Tests for self and other values to be equal, and is used by ==.

1.0.0 (const: unstable) · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for AxiomContextExport

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

Serialize this value into the given Serde serializer. Read more

impl Eq for AxiomContextExport

impl StructuralPartialEq for AxiomContextExport

Auto Trait Implementations§

impl Freeze for AxiomContextExport

impl RefUnwindSafe for AxiomContextExport

impl Send for AxiomContextExport

impl Sync for AxiomContextExport

impl Unpin for AxiomContextExport

impl UnsafeUnpin for AxiomContextExport

impl UnwindSafe for AxiomContextExport

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

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

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

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

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

fn __clone_box(&self, _: Private) -> *mut ()

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

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

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

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

Uses borrowed data to replace owned data, usually by cloning. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.

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

fn vzip(self) -> V

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