Struct CoreCompactionConfig 

pub struct CoreCompactionConfig {
    pub enabled: Option<bool>,
    pub after_messages: Option<usize>,
    pub reserve_tokens: Option<usize>,
    pub keep_recent_tokens: Option<usize>,
    pub summarize: Option<bool>,
    pub focus_instructions: Option<String>,
}

[core.compaction] (obligation 5). after_messages maps to the real Config.compact_after_messages, resolved in P1; the rest are P4 NEW pressure-trigger fields.

Fields

enabled: Option<bool>

P4: no master gate exists yet on Config — after_messages = Some(0) (or absent) is today’s only “off” signal.

after_messages: Option<usize>

Config.compact_after_messages (config.rs).

reserve_tokens: Option<usize>

P4 NEW (pi§2 shape).

keep_recent_tokens: Option<usize>

P4 NEW.

summarize: Option<bool>

P4: SpanSummary side-call gate (reduce.rs:274-289; D-9 small-model fallback) — not yet consumed here.

focus_instructions: Option<String>

P4b (design §5.2 “P4” “compaction pressure trigger + focus instructions”, §3.1 core.compaction.focus_instructions, catalog D2 “no instruction steering” gap) — see Config::compaction_focus_instructions.

Trait Implementations

impl Clone for CoreCompactionConfig

fn clone(&self) -> CoreCompactionConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoreCompactionConfig

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

Formats the value using the given formatter.

impl Default for CoreCompactionConfig

fn default() -> CoreCompactionConfig

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for CoreCompactionConfig

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CoreCompactionConfig

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CoreCompactionConfig

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 CoreCompactionConfig