Struct ContractCheck 

pub struct ContractCheck {
    pub name: String,
    pub command: String,
    pub expect_exit_zero: bool,
    pub output_contains: Option<String>,
    pub timeout_secs: u64,
    pub baseline: bool,
    pub differential: Option<DifferentialCheck>,
}

One acceptance check: a shell command run at the worktree root.

expect_exit_zero and output_contains are the point-in-time assertion vocabulary (including its reserved semantic JSON form). Before/after claims use baseline + differential — see the module docs for the model and its limits.

Fields

name: String

Short, unique label (“tests_pass”, “file_created”).

command: String

Command run via the worktree shell tool.

expect_exit_zero: bool

Require exit code 0 (default true).

output_contains: Option<String>

Additionally require this substring in the combined output. A value in the reserved $json:<pointer>=<json> form is instead evaluated by the runtime as a semantic assertion against the command’s JSON output.

timeout_secs: u64

Per-check timeout (default 120s; the shell tool clamps further).

baseline: bool

Capture-only check: run once at session start (during the baseline pass) and its output kept as the before-value other checks may diff against by name. At the gating evaluations it is NOT re-run — re-capturing “before” after the work would destroy the comparison — its capture-time result is carried into the results instead, so a failed capture keeps the gate red rather than vanishing.

Additive and serde(default), so every existing contract parses unchanged.

differential: Option<DifferentialCheck>

Differential assertion: after this check’s command runs, compare its output against the named baseline capture. Evaluated by the runtime — exhaustively one of changed / unchanged / delta-within-bounds — in ADDITION to expect_exit_zero / output_contains, never instead.

Trait Implementations

impl Clone for ContractCheck

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 ContractCheck

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ContractCheck

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ContractCheck

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ContractCheck

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 ContractCheck