Function capture_prepared_native_exec 

pub fn capture_prepared_native_exec<'a>(
    tool: &'a Detcore<NoopTool>,
    thread: &'a ThreadState<()>,
    binding: &NativeExecCutBinding,
    receipt: &'a NativeExecPreparationReceipt,
) -> Result<DetcoreExecSnapshotRefV2<'a>, NativeExecCutError>

Borrow the actual prepared state, bound to its live old-table receipt.

Both old and prepared tables are checked without comparing their total Arc counts: the existing rollback future legitimately owns old-table aliases.