an escaped mark normalizes to the backslash form over pass:[] where the escape is the whole difference

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.

Start with the passthrough scan from #194, then read the generated whitespace battery in #239 and the block-level whitespace fact change in #240. Validate the escaped-mark and passthrough pair across its domain through both programs, including the pinned negative shapes. Done means the printer rewrites only when the reader has recorded a render-equality fact.