Enum FieldConstraint 

pub enum FieldConstraint {
    Tier1 {
        phrase: String,
        args: Value,
        span: Span,
    },
    ProseRule {
        text: String,
        span: Span,
    },
    ValidateWith {
        name: String,
        span: Span,
    },
}

A single field-level validation constraint attached to a type field. Parsed from the Constraint Mini-Language (see docs/superpowers/specs/2026-04-18-epa-constraint-language-design.md).

Variants

Tier1

A structured (Tier-1) constraint like matches /^[A-Z0-9]+$/ or at_least_items 3. phrase is the canonical phrase name (e.g. "matches") — the key the ConstraintRegistry uses to look up the handler. args is a handler-specific JSON payload (for matches this is {"pattern": "<regex>"}).

Fields

phrase: String

args: Value

span: Span

ProseRule

An unrecognized Tier-2 prose rule, e.g. "must be a valid ticker symbol". Rendered verbatim into the prompt in Tier-1 prose form; never enforced at runtime.

Fields

text: String

span: Span

ValidateWith

A validate_with: <ident> custom-validator hook. name is the validator’s canonical identifier — resolved against the validation::validator_registry::VALIDATORS registry at analysis time (emits AKRIBES-E-VALIDATE-WITH-UNKNOWN on misses) and dispatched at task-end (failures surface as AKRIBES-E-VALIDATE-WITH-FAIL corrective retries).

Fields

name: String

span: Span

Implementations

impl FieldConstraint

pub fn span(&self) -> &Span

Trait Implementations

impl Clone for FieldConstraint

fn clone(&self) -> FieldConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FieldConstraint

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FieldConstraint

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for FieldConstraint

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

where __S: Serializer,

Serialize this value into the given Serde serializer.