commit 4af1d8ed7eac2b14b8d4ada83183237f1625ac11 parent ebf75f4de8031a369868aba3a94ef89b6a25422b Author: Jared Tobin <jared@jtobin.io> Date: Sun, 25 Jan 2026 09:39:17 +0400 doc: add IMPL3 plan Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> Diffstat:
| A | plans/IMPL3.md | | | 10 | ++++++++++ |
1 file changed, 10 insertions(+), 0 deletions(-)
diff --git a/plans/IMPL3.md b/plans/IMPL3.md @@ -0,0 +1,10 @@ +# IMPL3: Doc fixes and negative tests + +## Steps +1) Update Haddock comments in encrypt/decrypt to say rotation at 1000. +2) Add tests in test/Main.hs: + - act2 rejects wrong version. + - act2 rejects wrong length. + - act3/finalize reject invalid MAC (flip one byte in ciphertext). + - decrypt rejects short packet. +3) Keep tests focused and deterministic.