IMPL3.md (359B)
1 # IMPL3: Doc fixes and negative tests 2 3 ## Steps 4 1) Update Haddock comments in encrypt/decrypt to say rotation at 1000. 5 2) Add tests in test/Main.hs: 6 - act2 rejects wrong version. 7 - act2 rejects wrong length. 8 - act3/finalize reject invalid MAC (flip one byte in ciphertext). 9 - decrypt rejects short packet. 10 3) Keep tests focused and deterministic.