Searching protocol for "uncompute"
Run programs backwards for time-symmetric computation.
Measure data compressibility via K(x).