Function validate_reloc_resolutions 

pub fn validate_reloc_resolutions(
    segments: &[DataSegment],
    resolutions: &[RelocResolution],
) -> Verdict

The per-compilation addressing gate. For every emitted RelocResolution, assert the packed byte it serves equals the runtime-image byte at the original access address. See the module docs for the invariant.

Returns Verdict::Consistent if every reloc agrees, else Verdict::Mismatch carrying each offending reloc. Resolutions whose seg_index/addend are out of range are reported as mismatches (an out-of-range resolution is itself a broken retargeting).