Struct CompactionUsage 

pub struct CompactionUsage {
    pub token_estimator: String,
    pub instruction_tokens: u64,
    pub tool_tokens: u64,
    pub contract_tokens: u64,
    pub evidence_tokens: u64,
    pub memory_tokens: u64,
    pub history_tokens: u64,
    pub input_tokens: u64,
    pub input_bytes: u64,
}

Prompt-category accounting measured by the versioned deterministic fallback estimator.

Fields

token_estimator: String

Versioned estimator used for every token count in this record.

instruction_tokens: u64

Stable runtime instructions.

tool_tokens: u64

Serialized tool definitions.

contract_tokens: u64

Task contract, claim scope, criteria, waivers, and constraints.

evidence_tokens: u64

Proof obligations, evidence, supersession, and counterevidence.

memory_tokens: u64

Provenance-bound memory retrieved for this turn.

history_tokens: u64

Provider-neutral recent conversation history.

input_tokens: u64

Sum of every input category above.

input_bytes: u64

Exact serialized size of the resulting provider input.

Implementations

impl CompactionUsage

pub fn category_total(&self) -> Option<u64>

Recomputes the category sum without saturating arithmetic.

pub fn validate(&self, budget: &CompactionBudget) -> Result<(), CompactionError>

Validates category accounting against a hard budget.

Trait Implementations

impl Clone for CompactionUsage

fn clone(&self) -> CompactionUsage

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompactionUsage

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

Formats the value using the given formatter.

impl Default for CompactionUsage

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for CompactionUsage

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CompactionUsage

impl PartialEq for CompactionUsage

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CompactionUsage

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CompactionUsage