Enum VerifyPredicate 

pub enum VerifyPredicate {
    Natural(String),
    Expression(String),
}

A verification criterion attached to a task node.

The planner populates this from the verify_criteria field in its JSON output. Only Natural is constructible in v1. If the planner emits Expression, the scheduler returns OrchestrationError::PredicateNotSupported rather than silently ignoring the criterion.

Examples

use zeph_orchestration::VerifyPredicate;

let pred = VerifyPredicate::Natural("output must contain a valid JSON object".to_string());
assert!(matches!(pred, VerifyPredicate::Natural(_)));

Variants

Natural(String)

Free-form natural-language criterion evaluated by the LLM judge.

Expression(String)

Symbolic expression (reserved, not supported in v1).

Implementations

impl VerifyPredicate

pub fn as_natural(&self) -> Result<&str, OrchestrationError>

Returns Ok(&criterion) for Natural predicates; Err(PredicateNotSupported) for unsupported variants.

Errors

Returns OrchestrationError::PredicateNotSupported when the variant is not evaluatable in the current version.

Trait Implementations

impl Clone for VerifyPredicate

fn clone(&self) -> VerifyPredicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyPredicate

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerifyPredicate

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VerifyPredicate

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for VerifyPredicate

impl StructuralPartialEq for VerifyPredicate