Requiring compressed outputs to be smaller than inputs and requiring compression performance comparable to the Rust implementation in the test suites can constrain an AI's ability to exploit an underspecified compression task.

“It's the identity function. You just return. Decompression, you return it back." You prove the property, right? But then you, you can put more properties, like saying, you, you... the outputs should be smaller than inputs, right?”

“Then you, you should also tell the, uh, uh, the AI, you have to show that you compress as much as the Rust implementation in the test suites.”