ADFA-5137 docs: the diagrams catch up — three dead ends closed, one new one named

Both diagrams had fallen behind the code, and the spine had started
contradicting itself: its map still listed setup_complete as live state while its
findings said the flag was gone.

STATE SPINE.

Findings 3 and 5 turn green beside 1. Three of the seven original dead ends are
closed, 4 has lost one of its three blind spots, and the ranking line says so.

The map above them stopped disagreeing. S0 and S2 no longer describe a flag that
does not exist, the "Copy from a phone" edge no longer claims to mark anything,
and S1 is marked UNREACHABLE with the reason the box is still drawn: a
LibraryActivity instance that is already alive never re-runs the launch check,
because onNewIntent skips it — which is why the header keeps its Install button
rather than relying on the entrance being shut.

Finding 8 is new and was found on a device, by navigating, not by reading: while
a clone is being shared the server is stopped on purpose, the header reads !alive
and concludes "Couldn't start — tap to retry", and canStartServer() does not know
about CloneSendSession, so that Retry starts the server on top of a live
transfer. ADFA-5143.

ROADMAP.

The ledger's first row does not turn green, it disappears: setup_complete is
DELETED, lives nowhere, is written by nobody and has nothing to clear. And the
standing directive gains the move it was missing. It named two good patterns,
both of them "the fact dies with the thing it describes"; the third is that a
fact which can be derived is deleted rather than maintained.

ADFA-5119's card goes to DONE with its leftover written on it — the kiwix index
leg still sends exit and error onward, so a failed companion run still reports as
finished. Cards added for ADFA-5137 and ADFA-5143.

Two things were quietly broken and are fixed in passing: the roadmap's background
rect was still 2679 high under a 2825 canvas, leaving an unpainted band, and one
of finding 5's citation lines had been pushed inside finding 6 by an earlier
coordinate shift.

Author: luisguzman-adfa