pub fn record_proactive_injection(tokens: usize)
Record tokens appended as proactive context so savings reports can account for the dynamic response-side injection separately from fixed overhead.