Function with_state_after_compaction 

pub(crate) fn with_state_after_compaction(
    mstore: &Store,
    block_id: &str,
    message: String,
) -> String

message with the agent’s running summary added, when it is the hidden memory reinjection sent after a compaction (§4.4, “Compaction reuse”): the provider’s own compaction summary can drop commitments, and this is the backstop. Any other message, or an agent with no summary yet, comes back unchanged.