Module condenser 

The Condenser contract for durable, replayable context condensation (spec §8).

Condensation is distinct from live in-memory compaction (owned by zeph-context): it operates at the event-log level and is recorded as a crate::event::SessionEvent::Condensation event so replay can fold the same summary deterministically. This module defines the trait contract and the INV-SP-4 non-overlap guard; see crate::llm_condenser::LlmCondenser for the default implementation.

Structs

CondensationResult

The outcome of one condensation pass: the seq range it replaced and the resulting summary.

Traits

Condenser

Computes whether and how to durably condense a session’s event log.

Functions

validate_non_overlap

Enforce INV-SP-4: a proposed (lo, hi) range must start strictly after last_condensed_seq.