Function commit_attach 

pub fn commit_attach<F, V>(
    verified: VerifiedAttachCommit<'_, F>,
    detach_cell: DetachCell<V>,
) -> Result<AttachCommit<F, V>, AttachCommitError>
where
    V: Copy + Eq,

Atomically commits a verified attach and applies Fix 1’s detach-cell rule.

Errors

Returns AttachCommitError for cell/history mismatch, invalid rotation, or a canonical receipt invariant rejected after verification.