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.

Errors

Refuses missing changes, forged inverses, and changes that their recorded action cannot reproduce at the original dependency heads.