Adversarial Self-Registration: A Working Protocol for Keeping a Machine-Assisted Theory Programme Honest | Synapse