Struct CheckedCondition 

pub struct CheckedCondition {
    pub condition: Condition,
    pub satisfied: bool,
    pub last_check: Option<DateTime<Utc>>,
    pub message: Option<String>,
}

A boundary condition paired with its current satisfaction state.

Fields

condition: Condition

satisfied: bool

last_check: Option<DateTime<Utc>>

message: Option<String>

Implementations

impl CheckedCondition

pub fn all_satisfied(checked: &[Self]) -> bool

True iff every CheckedCondition in the slice has satisfied == true — the ONE-line collapse of the paired checked.iter().all(|c| c.satisfied) incantation the reconciler’s precondition + postcondition boundary gates both spelled by hand pre-lift.

Pre-lift the SAME .iter().all(|c| c.satisfied) chain was hand-authored at TWO sites past the ★★ PRIME-DIRECTIVE ≥ 2 duplication threshold in tatara-reconciler::phase_machine, each walking the SAME Vec<CheckedCondition> → bool projection to gate a phase transition on a boundary predicate:

• handle_execing — the PROVE-phase precondition gate that stays in Execing (heartbeat requeue) while any precondition remains unsatisfied and proceeds to RENDER only when every precondition holds.
• handle_running — the VERIFY-phase postcondition gate that stays in Running (heartbeat requeue) while any postcondition remains unsatisfied and advances to Attested only when every postcondition holds.

Both sites walked the SAME Iterator::all short-circuit on the SAME bool slot of the SAME struct. Post-lift both consumers name the slice ONCE and route through this ONE primitive; the vacuous-truth corner (empty slice → true, matching Iterator::all’s empty-input identity) sits at ONE substrate site so a future normalization (a per-slot weight overlay, a per-kind override that treats Warn-severity failures as satisfied, a compliance-baseline gate that requires N-of-M rather than all-of-M) lands at ONE substrate function and both downstream phase gates inherit the upgrade mechanically.

Return-form axis: bool — the exact type each phase gate pre-lift bound at let all_pass = <chain>; and immediately consumed in a !all_pass short-circuit + a message slot’s ternary branch. The &[Self] argument accepts every pre-lift slice provenance verbatim: a &Vec<CheckedCondition> (both pre-lift sites had the Vec on the stack from [crate::phase_machine::evaluate_conditions]’s owned return) coerces through auto-deref, so no callsite has to change its upstream provenance to route through the primitive.

Peer to the sibling projection Self::satisfied on the (row scope × predicate) axis pair: satisfied is the per-row projection; all_satisfied is the slice-wide fold of the same bit. Both live on CheckedCondition so a future rename or per-slot normalization travels through the same owner without splitting between “per-row” and “slice-wide” call sinks.

Return-shape pin lives at [tests::checked_condition_all_satisfied_matches_pre_lift_iter_all_chain_shape] so a regression that flipped the fold direction (any for all), inverted the bit (!c.satisfied), or reshaped the return form (an owned Vec<bool> instead of the folded bool) fails-loudly here rather than as silent operator-facing skew between the pre-lift if !all_pass { requeue } gate and the post-lift call — every downstream consumer would still short-circuit but on inverted semantics.

Theory grounding: THEORY.md §VI.1 (generation over composition — the 1-line .iter().all(...) chain recurred at two hand- authored sites past the ≥ 2 duplication trigger, and is lifted to ONE typed fold here). THEORY.md §II.1 invariant 5 (composition preserves proofs — the empty-slice vacuous-truth corner + the fold direction + the projected bit’s polarity all bind at ONE substrate site, so a regression across any of the three surfaces at [tests::checked_condition_all_satisfied_*] pin rather than as silent gate-flip at every downstream phase handler).

Trait Implementations

impl Clone for CheckedCondition

fn clone(&self) -> CheckedCondition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckedCondition

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CheckedCondition

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for CheckedCondition

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl Serialize for CheckedCondition

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

where __S: Serializer,

Serialize this value into the given Serde serializer.