diff --git a/todo.md b/todo.md index 7e4a412..0fb2312 100644 --- a/todo.md +++ b/todo.md @@ -64,10 +64,12 @@ proves 12, 13 spells 11's gaps in 12's grammar, and 12 rewrites code 4b and 4c c 10c's properties as its third user. Under the gate seed the property asserts floors on the runs reaching the fixpoint and on the directive-shaped ones. It lands when hunts of several hundred thousand runs per engine pass clean, since the breaks hit once per ~150,000 runs, - past a 10,000-run bar. Two breaks, both shipped in `0.1.0`, are fixed inside it. An escaped - backtick closed an earlier lone backtick's code span, since CommonMark reads no escape - inside one: a backtick run now escapes whole, and a lone backtick escapes wherever an - escaped one follows it in the same inline content. A paragraph's opening read as a link + past a 10,000-run bar. Two breaks, both shipped in `0.1.0`, are fixed inside it. A backtick + string an escape formed closed an earlier bare run's code span, since CommonMark reads no + escape inside one: an escaped backtick alone or, as the review found, one joined to the bare + run after it. A backtick run now escapes whole, and a bare run escapes wherever a later + string of its length forms around an escape in the same inline content: the generalized pass + the maintainer chose (2026-09-15). A paragraph's opening read as a link reference definition across a `]` the emitter spelled: the emitter now escapes the opening `[` exactly when the parser's own definition reader accepts the paragraph, and a link opening it rides the carry until 13b.