Struct PrdExpectations 

pub struct PrdExpectations {
    pub graph: Option<GraphExpectation>,
    pub counts: Option<CountExpectation>,
    pub windows: Vec<WindowExpectation>,
    pub hermeticity: Option<HermeticityExpectation>,
}

Complete PRD validation expectations

Fields

graph: Option<GraphExpectation>

Graph topology expectations (parent-child relationships)

counts: Option<CountExpectation>

Span count expectations (exact, min, max counts)

windows: Vec<WindowExpectation>

Temporal window expectations (containment)

hermeticity: Option<HermeticityExpectation>

Hermeticity expectations (isolation, no cross-contamination)

Implementations

impl PrdExpectations

pub fn new() -> Self

Create new empty expectations

pub fn with_graph(self, graph: GraphExpectation) -> Self

Set graph expectations

pub fn with_counts(self, counts: CountExpectation) -> Self

Set count expectations

pub fn add_window(self, window: WindowExpectation) -> Self

Add window expectation

pub fn with_hermeticity(self, hermeticity: HermeticityExpectation) -> Self

Set hermeticity expectations

pub fn validate_all(&self, spans: &[SpanData]) -> Result<ValidationReport>

Run all validations in order

Validation order:

1. Graph topology (structural correctness)
2. Span counts (expected spans exist)
3. Temporal windows (timing and ordering)
4. Hermeticity (isolation and no contamination)

Arguments

• spans - Slice of span data to validate

Returns

• Result<ValidationReport> - Report with passes and failures

pub fn validate_strict(&self, spans: &[SpanData]) -> Result<()>

Validate and return Result (fail on first error)

Trait Implementations

impl Clone for PrdExpectations

fn clone(&self) -> PrdExpectations

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrdExpectations

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

Formats the value using the given formatter.

impl Default for PrdExpectations

fn default() -> PrdExpectations

Returns the “default value” for a type.