pub fn verify_context_dispatch(
effect: &CallProviderEffect,
preparation: &ContextDispatchPreparation,
) -> Result<(), ContextContractError>Expand description
Rebind recorded host evidence to the replayed kernel effect and compare all derived objects. A self-consistent record from a different effect, route or request is not equivalent.