Struct InvariantRegistry 

pub struct InvariantRegistry { /* private fields */ }

Registry mapping each PageType to its PageInvariant implementation.

Built once and shared via Arc so tests can swap in a mock registry.

Examples

use zeph_context::typed_page::{InvariantRegistry, PageType};

let reg = InvariantRegistry::default();
let inv = reg.get(PageType::ToolOutput).unwrap();
assert_eq!(inv.page_type(), PageType::ToolOutput);

Implementations

impl InvariantRegistry

pub fn get(&self, page_type: PageType) -> Option<&dyn PageInvariant>

Look up the invariant for a given PageType.

Always returns Some for the four built-in variants.

pub fn enforce( &self, original: &TypedPage, compacted: &CompactedPage, ) -> Result<(), Vec<FidelityViolation>>

Verify that compacted satisfies the invariant for original at a compaction boundary.

This is the primary entry point for the compactor — it wraps verify() in a tracing::info_span! per NFR-009 so every compaction boundary is observable.

Returns Ok(()) when the invariant is satisfied, or the violation list on failure.

Errors

Propagates FidelityViolations from the registered invariant implementation.

Trait Implementations

impl Default for InvariantRegistry

fn default() -> Self

Returns the “default value” for a type.