Function brief_read 

pub fn brief_read(
    sym: &Symbol,
    callers: &[Value],
    callees: &[Value],
    effects: Option<&Value>,
    ledger_count: usize,
) -> Value

Brief shape for read: keeps the call graph + effect/ledger summaries but as counts + compact strings, not full nested objects.