fix(ledger,drift): retry an unanchored tip, stop truncating the anchor log, and cap the third advisory (#9489, #9491) - #9514

Merged

JSONbored merged 2 commits into

mainfrom

fix/ledger-anchor-and-drift

Jul 28, 2026

Commits on Jul 28, 2026

fix(ledger,drift): retry an unanchored tip, stop truncating the anchor log, and cap the third advisory (#9489, #9491)
JSONbored
committed
fix(ci): unpin a hardcoded cache-input version that broke main, and cover the new ledger paths
JSONbored
committed