MARK-004 MED: EOF with an open fence unwinds containers before closing the fence — misnested HTML

When input ends inside a code fence that lives in a list entry, mark unwinds the container frames BEFORE closing the fence (MARK.c:730-732): - item\n ``\n code renders <li>item<pre><code> code\n</li>\n</ul>\n</code></pre> — real </li>/</ul> tags land INSIDE <pre><code> (shown verbatim as text is the least of it; the document tree is misnested). From the 2026-07-07 mark/ diagnostic review, orchestrator-verified by probe. Method Issues.

Input

Context

Probe (2026-07-07): the 3-line snippet above renders exactly the misnested sequence on the fresh build.
EOF handling closes frames outside-in; an open fence is a LEAF that must close first (same principle as the paragraph flush).

Goals

EOF closes the open fence (</code></pre>) before any container unwind; nesting is well-formed for every truncated input.

Constraints

Repro-first in mark/test; fix in the emitter frame logic (MARK.c), lexer untouched unless classification is at fault.

WIP

Design decisions

(pending)

TODOs

Repro: EOF-in-fence-in-list → well-formed nesting.
Close leaf blocks before frame unwind at EOF; suite green.

Blockers and bummers

None known.

Outcome

(pending)