Struct ObserveDefinition 

pub struct ObserveDefinition {
    pub name: String,
    pub target: String,
    pub sources: Vec<String>,
    pub quorum: Option<i64>,
    pub timeout: String,
    pub on_partition: String,
    pub certainty_floor: Option<f64>,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

observe Name from Manifest { sources, quorum, timeout, on_partition, certainty_floor }

A quorum-gated observation of a manifest’s real state. Each output carries ΛD envelope E = ⟨c, τ, ρ, δ⟩; τ records observation lag. on_partition: fail raises a CT-3 (Network Error) — partitions are ⊥ void.

Fields

name: String

target: String

sources: Vec<String>

quorum: Option<i64>

timeout: String

on_partition: String

certainty_floor: Option<f64>

loc: Loc

leading_trivia: Vec<Trivia>

Fase 14.b — leading comment trivia attached to this declaration (comments preceding the declaration’s first token, since the previous declaration or file start). Empty by default.

trailing_trivia: Vec<Trivia>

Fase 14.b — trailing comment trivia (same line as the declaration’s last effective token). Empty by default.

Trait Implementations

impl Debug for ObserveDefinition

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

Formats the value using the given formatter.

impl Default for ObserveDefinition

fn default() -> ObserveDefinition

Returns the “default value” for a type.