"""Core models and replay logic for ExecuTrace."""