Reviewing rule prerequisites and contraction

Separate ready rules from permitted rules, reject a destructive deletion shortcut, and retain an independent regression.