Struct BatchAssertions 

pub struct BatchAssertions {
    pub tool_names_in_batch: Vec<String>,
    pub has_memory_excerpt: bool,
    pub excerpt_labels: Vec<String>,
}

Batch-level compaction assertions for typed-page enforcement.

Unlike per-page PageInvariant which checks one page against its compacted form, batch assertions verify aggregate properties of the entire summary against the set of classified pages that were sent to the LLM.

Violations are observational — they never block compaction. They are logged and emitted to the audit trail.

Examples

use zeph_context::typed_page::BatchAssertions;

let assertions = BatchAssertions {
    tool_names_in_batch: vec!["shell".to_string()],
    has_memory_excerpt: false,
    excerpt_labels: vec![],
};
// Summary that mentions the tool — all assertions pass.
let violations = assertions.check("shell ran and exited 0");
assert!(violations.is_empty());

Fields

tool_names_in_batch: Vec<String>

Tool names collected from ToolOutput pages in the batch.

has_memory_excerpt: bool

Whether any MemoryExcerpt pages were in the batch.

excerpt_labels: Vec<String>

Source labels from MemoryExcerpt pages.

Implementations

impl BatchAssertions

pub fn check(&self, summary: &str) -> Vec<BatchViolation>

Check the summary against batch-level assertions.

Returns a list of assertion failures (empty = all pass). Failures are never fatal.

Trait Implementations

impl Clone for BatchAssertions

fn clone(&self) -> BatchAssertions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BatchAssertions

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

Formats the value using the given formatter.

impl Default for BatchAssertions

fn default() -> BatchAssertions

Returns the “default value” for a type.