PRP Spike - Prove or Disprove

Nothing to cut.

We built a cheaper version and ran both on the same tasks. It wasn't better, so the original stays as it is.

• We tried a rule check, and didn't keep it because it didn't use fewer tokens than the original.