Function lanes_validate_addresses 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn lanes_validate_addresses(
    prog: *const LANESProgram,
    arch: *const LANESArchSpec,
    out: *mut *mut LANESValidationErrors,
) -> LanesStatus

Architecture-dependent validation (addresses + capability constraints).