Function record_file_read 

pub fn record_file_read(
    path: &str,
    mode: &str,
    original_tokens: usize,
    output_tokens: usize,
    is_cache_hit: bool,
    duration: Duration,
    output_excerpt: &str,
)

Record a file-read operation with full Context OS side effects.

duration and output_excerpt feed the Context IR lineage (#566); the MCP dispatcher records both for every tool call but the shadow-mode lean-ctx read subprocess used to drop them, so IR/ctx_proof exports were blind to compressed shadow reads.