A compact summary of an agent's trace improves monitoring accuracy while using far fewer resources. — Synthesis