ARCH3.md (605B)
1 # ARCH3: Doc fixes and negative tests 2 3 ## Goal 4 Correct key-rotation documentation and add negative tests for 5 validation paths. 6 7 ## Context 8 - Docs say rotate every 500 messages; code rotates at 1000. 9 - Tests only cover positive BOLT8 vectors. 10 11 ## Changes 12 - Update Haddock comments to match implementation or spec. 13 - Add tests for: 14 - Invalid lengths (short/extra). 15 - Invalid version byte. 16 - Invalid MAC. 17 18 ## Constraints 19 - Use tasty + tasty-hunit. 20 - Use spec-aligned values and local helpers. 21 - No new dependencies. 22 23 ## Expected outcome 24 Docs reflect actual behavior, and failures are covered by tests.