Has→Accepted: a stored-but-unaccepted named frontier (block in the VM store via
gossip but lastAccepted below it) no longer short-circuits to caught-up — it
descends and ACCEPTS through the cert-gated per-height guard. Add read-only
Runtime.FinalizedLedger()/FinalizedBlockAtHeight() over the existing per-height
finalized ledger so the node bootstrap loop recognizes convergence off the
source that ADVANCES (markFinalizedLocked) rather than the frozen VM.LastAccepted
cache. Fixes the mainnet luxd-2 behind-node freeze (1082780→1082796). C1 /
VerifyWeighted / per-height guard / fail-closed-post-bootstrap intact.
blue→red→blue→red SHIP (0 crit/high/med). Diagnosed from production ground truth.