semantic-recoverability

DART introduces semantic recoverability for structured tool agents, formalizing a criterion to determine whether a local checkpoint restore remains valid after downstream commitments. Experiments across three LLM-driven domains show it correctly recovers all commitment-sensitive cases where baseline local recovery fails, and a safety audit finds no unsafe rollbacks.