Debug: The Pipeline That Reads the Log Twice

Summarize over a counting source calls Count() and then Max() on the SAME lazy source — two full reads. Fix it so the source is read exactly once and the summary stays "count=<n>;max=<m>". ``csharp static string Summarize(IEnumerable<int> source); // "count=6;max=42" ``