Indexed state is a materialized view of a chosen chain
A non-finalized block can become orphaned. Indexers retain block identity and per-block undo evidence, roll back to the common ancestor in reverse order, then apply the new canonical branch. Deleting block rows without reversing derived aggregates leaves silent corruption.