`StatifierUI.Inspector.resolution/2` reports `{:final, n}` for the
macrostep a run halted in, but `StatifierUI.Live`'s `resolution_note/2`
had clauses for the other four arms only. A host that scrubbed Prev
from the live tip of a finished run therefore raised
FunctionClauseError and remounted, which the reference embedder hit on
a replayed run.

Adds the missing clause, in the inspector's own wording minus its
Markdown emphasis, and carries the arm into
`StatifierUI.Live.State.resolution/1`'s spec, which enumerated the
same four. A new scrubber test drives the halting chart to its halt
and scrubs back from the live tip; reverting the clause turns it red
with the FunctionClauseError the bug reported.

The selector table in `docs/ops-embedding.md` enumerated the
`data-resolution` values and omitted `final`, which the fix makes
reachable in a rendered note; the row now lists it.

The 0.9.1 section is already assembled on main, so this change adds
its bullet there by hand rather than dropping an orphan fragment.

Refs: sui-bkl