Enum IntentData 

pub enum IntentData {
    Transparent {
        request_sha256: String,
        confidence: f64,
        capabilities: Vec<String>,
        magpie_source: Option<String>,
        continuation_token: Option<ContinuationToken>,
        metadata: SchemaValue,
    },
    Shadow {
        commitment_hash: String,
        stark_proof_b64: String,
        public_inputs: SchemaValue,
        circuit_id: Option<String>,
        continuation_token: Option<ContinuationToken>,
        metadata: SchemaValue,
    },
}

Intent Data (VEX Pillar) Proves the proposed action before execution. It supports two variants:

• Transparent: Standard human-readable reasoning (Standard).
• Shadow: STARK-proofed hidden intent for privacy (High-Compliance).

Variants

Transparent

Fields

request_sha256: String

confidence: f64

capabilities: Vec<String>

magpie_source: Option<String>

continuation_token: Option<ContinuationToken>

Phase 6: Continuation authorization

metadata: SchemaValue

Catch-all for extra fields to preserve binary parity in JCS.

Shadow

Fields

commitment_hash: String

stark_proof_b64: String

public_inputs: SchemaValue

circuit_id: Option<String>

New Phase 2: Plonky3 Circuit Identity

continuation_token: Option<ContinuationToken>

Phase 6: Continuation authorization

metadata: SchemaValue

Catch-all for extra fields to preserve binary parity in JCS.

Implementations

impl IntentData

pub fn continuation_token(&self) -> Option<&ContinuationToken>

pub fn circuit_id(&self) -> Option<String>

pub fn metadata(&self) -> &SchemaValue

impl IntentData

pub fn to_jcs_hash(&self) -> Result<Hash, String>

pub fn verify_shadow(&self, verifier: &dyn ZkVerifier) -> Result<bool, ZkError>

Verifies the Zero-Knowledge proof for Shadow intents. For Transparent intents, this always returns Ok(true).

pub fn shadow_public_inputs(&self) -> Result<ShadowPublicInputs, ZkError>

Accesses the typed ShadowPublicInputs for a Shadow intent.

Trait Implementations

impl Clone for IntentData

fn clone(&self) -> IntentData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ComposeSchema for IntentData

fn compose(generics: Vec<RefOr<Schema>>) -> RefOr<Schema>

impl Debug for IntentData

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IntentData

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for IntentData

fn eq(&self, other: &IntentData) -> 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 IntentData

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl ToSchema for IntentData

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

Return name of the schema.

fn schemas(schemas: &mut Vec<(String, RefOr<Schema>)>)

Implement reference utoipa::openapi::schema::Schemas for this type.

impl StructuralPartialEq for IntentData