Struct TaskContract 

pub struct TaskContract {
    pub schema_version: String,
    pub id: Uuid,
    pub goal: String,
    pub claim_scope: ClaimScope,
    pub constraints: Vec<String>,
    pub criteria: Vec<Criterion>,
    pub created_at: DateTime<Utc>,
    pub confirmed: bool,
}

A user-visible contract that defines when a task may be called complete.

Fields

schema_version: String

Schema version for forward-compatible persistence.

id: Uuid

Stable contract identifier.

goal: String

User goal in plain language.

claim_scope: ClaimScope

Maximum claim a successful evaluation may make.

constraints: Vec<String>

Hard constraints that remain pinned during context compaction.

criteria: Vec<Criterion>

Acceptance criteria evaluated by the runtime.

created_at: DateTime<Utc>

Creation timestamp.

confirmed: bool

Whether a human explicitly confirmed the contract.

Implementations

impl TaskContract

pub fn new(goal: impl Into<String>, criteria: Vec<Criterion>) -> Self

Creates an unconfirmed, task-scoped contract.

pub fn automatic(goal: impl Into<String>) -> Self

Creates the deliberately modest contract used by --auto-contract.

This contract is permanently runtime-scoped. Its criterion proves that the provider loop terminated without a runtime error; it cannot make a task-correctness claim.

pub fn validate(&self) -> Result<(), ProofError>

Validates identifiers, claim scope, and evidence requirements before execution.

pub fn waive( &mut self, criterion_id: &str, actor: impl Into<String>, reason: impl Into<String>, ) -> Result<(), ProofError>

Records a human waiver for one criterion.

Trait Implementations

impl Clone for TaskContract

fn clone(&self) -> TaskContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TaskContract

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TaskContract

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for TaskContract

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TaskContract

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 TaskContract