Commit Graph

10 Commits

Author SHA1 Message Date
Cofson
72ffd2acae Add specification references to Payload section
Add links to Payload Formatting Specification and Message Encapsulation
Mechanism in the Payload section. Use RFC 2119 keywords (MUST).
2025-12-23 10:11:22 +01:00
Cofson
6eb2ab4f46 Fix mathematical variable definitions consistency
Standardize LaTeX notation for subscripts and superscripts:
- Use consistent braces for subscripts: K^{n}_{i} instead of K^{n}_i
- Fix malformed proof notation: pi^{K^{n}_{i}}_{Q}
- Use braces around mathbf arguments: \mathbf{K} instead of \mathbf K
- Add missing semicolons before "it also contains"
2025-12-23 10:10:22 +01:00
Cofson
60deaf642a Fix capitalization: message to Message
Capitalize 'Message' consistently when referring to the Message
structure/type throughout the document.
2025-12-23 10:08:04 +01:00
Cofson
986094c117 Remove duplicate Introduction section
The Introduction content duplicated the abstract. Removed redundant
section and kept Overview as the first subsection.
2025-12-23 10:07:12 +01:00
Cofson
d229f8f477 Simplify abstract wording
Change "defines an implementation-friendly specification of the Message
Formatting" to "specifies the Message Formatting" for clarity.
2025-12-23 10:06:34 +01:00
Cofson
8c08eacaad Fix naming inconsistency: Private_Header to PrivateHeader 2025-12-16 20:00:40 +01:00
Cofson
d024e754c7 Remove unclear Notation reference sentence 2025-12-16 20:00:24 +01:00
Cofson
44e71aa5b3 Update Notion reference URLs for Message Encapsulation and Message Formatting 2025-12-11 21:05:59 +01:00
Cofson
762baef7dd Apply sembr (semantic line breaks) throughout document 2025-12-05 13:07:21 +01:00
Cofson
0bbd30ad2d Created nomos/raw/nomos-message-formatting.md file 2025-12-05 09:59:02 +01:00