verify-solution-properties

For solution checking: independent verification that result is correct, separate from how it was computed.