Function verified_compensation 

pub fn verified_compensation(
    doc: &mut AutoCommit,
    hash: ChangeHash,
    registry: &ActionRegistry,
) -> Result<Option<Box<dyn Action>>, ActionError>

Decode a recorded inverse only after reproducing its original change. Descriptive CRDT metadata alone cannot install executable history.