Struct Slice 

pub struct Slice {
    pub schema: SchemaId,
    pub payload: Value,
    pub lossy: bool,
}

What a slicer produced, before it becomes a Condensate.

The slicer says what it made and whether it dropped anything; condense turns that into the addressed, typed value the rest of the system sees.

Fields

schema: SchemaId

The shape of the summary.

payload: Value

The summary itself.

lossy: bool

Whether information was dropped.

Set honestly. A slicer that under-reports this is telling a downstream step it has the whole picture when it does not, and nothing downstream can detect the lie — which is why every slicer in this crate has a test that a lossless slice reports false and a dropping one reports true.

Implementations

impl Slice

pub fn complete(schema: SchemaId, payload: Value) -> Self

A slice that dropped nothing.

pub fn lossy(schema: SchemaId, payload: Value) -> Self

A slice that dropped something.

pub fn rendered(&self) -> String

The rendered form, which is what the cap is measured against.

A condensate’s payload is structured, but what reaches a model is its serialisation — so that is what has to fit. Measuring the structure instead would let a slicer pass the check and overrun the window.

Trait Implementations

impl Clone for Slice

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Slice

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

Formats the value using the given formatter.

impl PartialEq for Slice

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Slice