#[unsafe(no_mangle)]pub unsafe extern "C" fn blqd_validate_addresses(
prog: *const BLQDProgram,
arch: *const BLQDArchSpec,
out: *mut *mut BLQDValidationErrors,
) -> BlqdStatusExpand description
Architecture-dependent validation (addresses + capability constraints).