Function chain_step 

pub fn chain_step(
    expected_seq: u64,
    actual_seq: u64,
    head_matches: bool,
) -> ChainStep

Checks sequence and opaque-head continuity for one append-only chain link.

Hashing and signature verification stay in the host crates. They pass only whether the decoded previous head equals the independently recomputed head.