Enum AxiomConstraintKind 

pub enum AxiomConstraintKind {
    CandidateOnly,
    ForbidPromotionShapedOutput,
    RequireSourceAnchor,
    RequireToolProvenance,
    TruthCeiling,
    ProofStateLimit,
    ConflictPresent,
    RedactionBoundary,
    LowTrust,
    NoExecutionAuthority,
}

Constraint category exported from Cortex to AXIOM.

Variants

CandidateOnly

Content may be admitted only as a Cortex candidate.

ForbidPromotionShapedOutput

AXIOM must not emit promotion-shaped output.

RequireSourceAnchor

A concrete source anchor is required.

RequireToolProvenance

Capability/tool provenance is required.

TruthCeiling

Truth ceiling caps claim language.

ProofStateLimit

Proof state is unknown, partial, or broken.

ConflictPresent

Open conflict or contradiction exists.

RedactionBoundary

Redaction policy limits what AXIOM may see or repeat.

LowTrust

Low trust prevents stronger claims.

NoExecutionAuthority

Exported constraints do not grant execution authority.

Trait Implementations

impl Clone for AxiomConstraintKind

fn clone(&self) -> AxiomConstraintKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AxiomConstraintKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AxiomConstraintKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for AxiomConstraintKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl JsonSchema for AxiomConstraintKind

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl PartialEq for AxiomConstraintKind

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

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

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 AxiomConstraintKind

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for AxiomConstraintKind

impl Eq for AxiomConstraintKind

impl StructuralPartialEq for AxiomConstraintKind