Withdrawing a ruling records a 'withdrawn' entry in the audit ledger, clears the human lock, and falls back to its automated baseline ('gap' or 'unverified').