Inferential rules for confirmatory robustness | Synapse