Ruled by Dan (2026-09-06, on #217): not a preserved choice. Normalize only where the reader has recorded a fact that the respelling is render-equal; keep the author's spelling where no fact licenses the change. Before any code: this row's proof source, the generated whitespace battery (#239) run over the pair's domain through both programs, with the negative shapes pinned; the fact joins the block-level record the whitespace-fact change (#240) establishes; the printer never decides safety itself (no fact, no rewrite).
The pair
The backslash escape (\*not bold*) over pass:[*not bold*] where the escaped mark is the whole difference (a passthrough that also disables other substitutions is not in the domain). The passthrough scan landed by #194 is the reader side of the fact.
Ruled by Dan (2026-09-06, on #217): not a preserved choice. Normalize only where the reader has recorded a fact that the respelling is render-equal; keep the author's spelling where no fact licenses the change. Before any code: this row's proof source, the generated whitespace battery (#239) run over the pair's domain through both programs, with the negative shapes pinned; the fact joins the block-level record the whitespace-fact change (#240) establishes; the printer never decides safety itself (no fact, no rewrite).
The pair
The backslash escape (
\*not bold*) overpass:[*not bold*]where the escaped mark is the whole difference (a passthrough that also disables other substitutions is not in the domain). The passthrough scan landed by #194 is the reader side of the fact.