Function structurally_equivalent 

pub fn structurally_equivalent(
    left: &KernelProgram,
    right: &KernelProgram,
) -> Result<bool, Diagnostic>

Compare two programs through the same closed canonical projection.

Unlike comparing only fingerprints, this bounded consumer also compares canonical bytes after equal digests. A cryptographic collision therefore fails closed rather than being reported as semantic equality.

Errors

Returns EQ0901 for unsupported meaning, exhausted construction limits, or a digest collision between unequal canonical projections.