IMPL1-4.md (541B)
1 # IMPL1-4 - Message Codec Integration 2 3 ## Scope 4 5 - Encode/decode for each BOLT #1 message type. 6 - Envelope encoding with optional extension TLV. 7 - Enforce unknown-type/extension behavior per spec. 8 9 ## Work 10 11 - Decode known types with strict length checks. 12 - Unknown odd type: ignore. 13 - Unknown even type: fail (close connection). 14 - Invalid extension TLV: fail (close connection). 15 16 ## Tests 17 18 - Known-good vectors per message type. 19 - Negative tests for invalid lengths and invalid TLV extension. 20 - Property tests for encode/decode invariants. 21