Struct CompiledContract 

pub struct CompiledContract {
    pub version: String,
    pub on_breach: OnBreach,
    pub allow_extra_fields: bool,
    pub fields: Vec<CompiledField>,
    pub declared: HashSet<String>,
}

Available on crate feature contract only.

A fully compiled contract. Built once via CompiledContract::compile.

Fields

version: String

Contract version (carried into breach errors and DLQ envelopes).

on_breach: OnBreach

Breach policy.

allow_extra_fields: bool

When false, undeclared top-level keys breach the contract.

fields: Vec<CompiledField>

Compiled per-field rules, in declared order (first breach wins).

declared: HashSet<String>

Declared field names, for the O(1) extra-field membership test.

Implementations

impl CompiledContract

pub fn compile(spec: &ContractSpec) -> Result<Self, FaucetError>

Compile and validate a ContractSpec. Returns FaucetError::Config on a malformed contract: empty version, no fields, duplicate/empty field names, an invalid regex, an empty or type-mismatched enum, constraints that don’t apply to the declared type, or min > max.

pub fn requires_dlq(&self) -> bool

True when breaches route records to the DLQ (so a DLQ sink is required). Checked by the pipeline at run start and by the CLI at config-load time.

Trait Implementations

impl Debug for CompiledContract

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

Formats the value using the given formatter.