adversarial-review
Separate-context review: one verifier per CUPID/literate property, synthesised