Appendix C: Haskell Source Reference
Draft
Line number mappings will be added as we verify each spec section against the source.
Key Source Files
| File | Repository | Content |
|---|---|---|
Simplex.Messaging.Protocol | simplexmq | SMP commands, wire format |
Simplex.Messaging.Encoding | simplexmq | Encoding conventions |
Simplex.Messaging.Crypto | simplexmq | Crypto primitives, AES-GCM, padding |
Simplex.Messaging.Crypto.Ratchet | simplexmq | Double Ratchet, X3DH, KDF |
Simplex.Messaging.Agent.Protocol | simplexmq | Agent messages, handshake |
Simplex.Messaging.Transport | simplexmq | TLS, block format |
Simplex.Chat.Protocol | simplex-chat | Chat messages, compression |
Section Mappings
TODO: Map each spec section to exact file:line in the Haskell source