def evaluate(case):
    """Return a dict with backup_state, restore_state, watchdog_state, missed_heartbeat,
    recovery_decision, escalation, audit_event, and reason.

    Derive the result only from visible synthetic evidence. Keep restore proof independent from
    watchdog recovery and preserve typed non-success states.
    """
    raise NotImplementedError("Implement the LOC-018 recovery evidence contract")