Function validate_program_contract 

pub fn validate_program_contract(
    program: &Program,
    validation_options: ValidationOptions<'_>,
    supported_ops: &HashSet<OpId>,
    caps: ProgramValidationCaps,
) -> Result<(), BackendError>

Validate a program against backend-neutral and backend-reported contracts.

Errors

Returns when foundation validation, supported-op validation, or required capability checks fail.