The article's current footnote state: the highest [^N] number in use
(markers ∪ definitions) and a map from each DEFINED conv:HASH to its number.
PATCH assigns a re-cited conversation its existing marker (no duplicate def)
and a brand-new one maxN + 1, so the article stays footnote-bijective and
NORMALIZE's renumber short-circuits (no shuffle of other sections). Pure.
The article's current footnote state: the highest
[^N]number in use (markers ∪ definitions) and a map from each DEFINEDconv:HASHto its number. PATCH assigns a re-cited conversation its existing marker (no duplicate def) and a brand-new onemaxN + 1, so the article stays footnote-bijective and NORMALIZE's renumber short-circuits (no shuffle of other sections). Pure.