docs(ref): Specify frontmatter

Author: epage

src/SUMMARY.md

@@ -8,6 +8,7 @@
     - [Input format](input-format.md)
     - [Keywords](keywords.md)
     - [Identifiers](identifiers.md)
+    - [Frontmatter](frontmatter.md)
     - [Comments](comments.md)
     - [Whitespace](whitespace.md)
     - [Tokens](tokens.md)

src/frontmatter.md

@@ -0,0 +1,39 @@
+r[frontmatter]
+# Frontmatter
+
+r[frontmatter.syntax]
+```grammar,lexer
+@root FRONTMATTER ->
+      FRONTMATTER_FENCE HORIZONTAL_WHITESPACE* INFOSTRING? HORIZONTAL_WHITESPACE* LF
+      (FRONTMATTER_LINE LF )*
+      FRONTMATTER_FENCE[^matched-fence] HORIZONTAL_WHITESPACE* LF
+
+FRONTMATTER_FENCE -> `---` `-`*
+
+INFOSTRING -> (XID_Start | `_`) ( XID_Continue | `-` | `.` )*
+
+FRONTMATTER_LINE -> (~INVALID_FRONTMATTER_LINE_START (~INVALID_FRONTMATTER_LINE_CONTINUE)*)?
+
+INVALID_FRONTMATTER_LINE_START -> (FRONTMATTER_FENCE[^escaped-fence] | LF)
+
+INVALID_FRONTMATTER_LINE_CONTINUE -> LF
+```
+
+[^matched-fence]: The closing fence must have the same number of `-` as the opening fence
+[^escaped-fence]: A `FRONTMATTER_FENCE` at the beginning of a `FRONTMATTER_LINE` is only invalid if it has the same or more `-` as the `FRONTMATTER_FENCE`
+
+Frontmatter is an optional section for content intended for external tools without requiring these tools to have full knowledge of the Rust grammar.
+
+r[frontmatter.document]
+Frontmatter may only be preceded by a [shebang] and whitespace.
+
+r[frontmatter.fence]
+The delimiters are referred to as a "fence." The opening and closing fences must be at the start of a line. They must be a matching pair of three or more hyphens (`-`). A fence may be followed by horizontal whitespace.
+
+r[frontmatter.infostring]
+Following the opening fence may be an infostring for identifying the intention of the contained content. An infostring may be followed by horizontal whitespace.
+
+r[frontmatter.body]
+The body of the frontmatter may contain any content except for a line starting with as many or more hyphens (`-`) than in the fences.
+
+[shebang]: input-format.md#shebang-removal

src/whitespace.md

@@ -13,23 +13,23 @@ END_OF_LINE ->
     | U+000B // vertical tabulation
     | U+000C // form feed
     | CR
-    | U+0085 // Unicode next line
-    | U+2028 // Unicode LINE SEPARATOR
-    | U+2029 // Unicode PARAGRAPH SEPARATOR
+    | U+0085 // next line
+    | U+2028 // LINE SEPARATOR
+    | U+2029 // PARAGRAPH SEPARATOR
 
 IGNORABLE_CODE_POINT ->
-      U+200E // Unicode LEFT-TO-RIGHT MARK
-    | U+200F // Unicode RIGHT-TO-LEFT MARK
+      U+200E // LEFT-TO-RIGHT MARK
+    | U+200F // RIGHT-TO-LEFT MARK
 
 HORIZONTAL_WHITESPACE ->
       TAB
-    | U+0020  // space ' '
+    | U+0020  // space, `' '`
 
-TAB -> U+0009  // horizontal tab ('\t')
+TAB -> U+0009  // horizontal tab, `'\t'`
 
-LF -> U+000A  // line feed ('\n')
+LF -> U+000A  // line feed, `'\n'`
 
-CR -> U+000D  // carriage return ('\r')
+CR -> U+000D  // carriage return, `'\r'`
 ```
 
 r[lex.whitespace.intro]