From generated logic to deterministic execution