Struct OutputContract 

pub struct OutputContract { /* private fields */ }

Typed structured-output contract attached to one invocation.

Implementations

impl OutputContract

pub fn new( contract_id: impl Into<String>, format: OutputFormat, fields: BTreeMap<String, OutputFieldRule>, ) -> Result<Self, DomainError>

pub fn new_with_schema( contract_id: impl Into<String>, format: OutputFormat, fields: BTreeMap<String, OutputFieldRule>, json_schema: impl Into<String>, ) -> Result<Self, DomainError>

Build a contract that also carries an embedded JSON Schema body. The schema text is whitespace-trimmed and length-bounded (MAX_JSON_SCHEMA_LEN = 256 KiB); validation that the body is itself well-formed JSON / a valid JSON Schema document happens at adapter wiring time (the core does not pull a schema engine in).

pub fn json_object( contract_id: impl Into<String>, fields: BTreeMap<String, OutputFieldRule>, ) -> Result<Self, DomainError>

pub const fn contract_id(&self) -> &OutputContractId

pub const fn format(&self) -> OutputFormat

pub fn fields(&self) -> &BTreeMap<String, OutputFieldRule>

pub fn json_schema(&self) -> &str

Embedded JSON Schema body. Empty string means “no schema — only field-level rules apply”; the JSON Schema validator adapter treats empty as a no-op.

pub fn with_evidence_grounding(self, rule: EvidenceGroundingRule) -> Self

Attach an evidence-grounding rule to this contract.

pub fn evidence_grounding(&self) -> Option<&EvidenceGroundingRule>

Evidence-grounding rule, when the contract declares one. None means the grounding validator is a no-op for this invocation.

Trait Implementations

impl Clone for OutputContract

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OutputContract

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for OutputContract

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for OutputContract

impl PartialEq for OutputContract

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

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for OutputContract

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for OutputContract