Struct SymbolicEncoder 

pub struct SymbolicEncoder { /* private fields */ }

Production encoder backed by a Measurer for token accounting.

Implementations

impl SymbolicEncoder

pub fn new(measurer: Arc<dyn Measurer>) -> Self

Wrap a measurer (typically LocalMeasurer::with_defaults()).

impl SymbolicEncoder

pub fn compress_traced( &self, input: &str, model: Model, ) -> (Compressed, EncoderTrace)

Compress + return the per-rule firing trace alongside the Compressed output. The proxy / MCP server / Python SDK feed EncoderTrace into the audit ledger so post-hoc analysis can answer questions like “which rules pulled their weight on production traffic in 2026-W17?”.

On Prose fallback the trace is empty (EncoderTrace::default) because the pipeline never ran.

pub fn compress_traced_with( &self, input: &str, model: Model, rs: &RuleSet, ) -> (Compressed, EncoderTrace)

Same as [compress_traced] but consults the supplied RuleSet instead of the v1 defaults. Intended for the hot-reload path: the proxy reads the current ruleset under a read lock and passes a &RuleSet per request.

Trait Implementations

impl Encoder for SymbolicEncoder

fn compress(&self, input: &str, model: Model) -> Compressed

Compress input for the target model. Must run in <5ms at p95. Returns Compressed even on fallback; format field reports what was used.

fn select_format(&self, input: &str, model: Model) -> Format

Pick the best format for input without actually encoding. Used by A/B samplers and planners. Must match [compress]’s selection.

fn fallback( &self, input: &str, model: Model, reason: FallbackReason, ) -> Compressed

Explicit fallback request — used when downstream quality monitor flags a previously-compressed payload.