Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces. - Simon Foldvik (CoRR, 2026)