Struct RulesFileCost 

pub struct RulesFileCost {
    pub path: String,
    pub file_tokens: usize,
    pub lean_ctx_tokens: usize,
    pub carries_full: bool,
    pub clients: Vec<&'static str>,
}

One rules file a client auto-loads into context.

Fields

path: String

file_tokens: usize

Tokens of the whole file (what the client actually injects).

lean_ctx_tokens: usize

Tokens inside lean-ctx marker blocks (our share of the file).

carries_full: bool

True when the file carries a full lean-ctx payload (canonical rules or the compression block), as opposed to only the lightweight <!-- lean-ctx --> pointer. Pointer-only files cross-reference the canonical source and do not duplicate guidance (#684).

clients: Vec<&'static str>

Clients that auto-load this file.

Trait Implementations

impl Clone for RulesFileCost

fn clone(&self) -> RulesFileCost

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RulesFileCost

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

Formats the value using the given formatter.

impl Serialize for RulesFileCost

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

where __S: Serializer,

Serialize this value into the given Serde serializer.