Function patch_state 

async fn patch_state(
    services: &Services,
    scan: &Scan,
    digests: &BTreeMap<u64, SmallVec<[Digest; 1]>>,
    state: u64,
) -> Result

Patches one state’s diff row, its digest row riding the transaction.

The pair lands together or not at all: a surviving digest row would misdirect a later state dedup toward bytes the state no longer has.