use super::super::macros::*;
use crate::adversarial::defender::{Defendant, DefendantCatalog, DefenderClass};
#[must_use]
#[inline]
pub(crate) fn catalog_primitive_math_div() -> DefendantCatalog {
DefendantCatalog {
target_op_id: "primitive.math.div",
defendants: vec![
Defendant { id: "div_arith_param_0_mode_0", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 0 at parameter 0 returns a boundary-corrupted result at witness (0, 0).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 0)], },
Defendant { id: "div_arith_param_0_mode_1", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 1 at parameter 0 returns a boundary-corrupted result at witness (0, 1).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 1)], },
Defendant { id: "div_arith_param_0_mode_2", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 2 at parameter 0 returns a boundary-corrupted result at witness (0, 2).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 2)], },
Defendant { id: "div_arith_param_0_mode_3", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 3 at parameter 0 returns a boundary-corrupted result at witness (0, 3).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 3)], },
Defendant { id: "div_arith_param_0_mode_4", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 4 at parameter 0 returns a boundary-corrupted result at witness (0, 7).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 7)], },
Defendant { id: "div_arith_param_0_mode_5", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 5 at parameter 0 returns a boundary-corrupted result at witness (0, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0, 5>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 0x0000001F)], },
Defendant { id: "div_arith_param_0_mode_6", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 6 at parameter 0 returns a boundary-corrupted result at witness (0, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0, 6>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 0x00000020)], },
Defendant { id: "div_arith_param_1_mode_0", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 0 at parameter 1 returns a boundary-corrupted result at witness (1, 0).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<1, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(1, 0)], },
Defendant { id: "div_arith_param_1_mode_1", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 1 at parameter 1 returns a boundary-corrupted result at witness (1, 2).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<1, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(1, 2)], },
Defendant { id: "div_arith_param_1_mode_2", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 2 at parameter 1 returns a boundary-corrupted result at witness (1, 2).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<1, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(1, 2)], },
Defendant { id: "div_arith_param_1_mode_3", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 3 at parameter 1 returns a boundary-corrupted result at witness (1, 3).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<1, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(1, 3)], },
Defendant { id: "div_arith_param_1_mode_4", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 4 at parameter 1 returns a boundary-corrupted result at witness (1, 7).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<1, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(1, 7)], },
Defendant { id: "div_arith_param_1_mode_5", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 5 at parameter 1 returns a boundary-corrupted result at witness (1, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<1, 5>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(1, 0x0000001F)], },
Defendant { id: "div_arith_param_1_mode_6", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 6 at parameter 1 returns a boundary-corrupted result at witness (1, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<1, 6>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(1, 0x00000020)], },
Defendant { id: "div_arith_param_xffffffff_mode_0", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 0 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 0).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xFFFFFFFF, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 0)], },
Defendant { id: "div_arith_param_xffffffff_mode_1", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 1 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 1).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xFFFFFFFF, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 1)], },
Defendant { id: "div_arith_param_xffffffff_mode_2", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 2 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 2).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xFFFFFFFF, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 2)], },
Defendant { id: "div_arith_param_xffffffff_mode_3", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 3 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 3).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xFFFFFFFF, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 3)], },
Defendant { id: "div_arith_param_xffffffff_mode_4", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 4 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 7).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xFFFFFFFF, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 7)], },
Defendant { id: "div_arith_param_xffffffff_mode_5", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 5 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xFFFFFFFF, 5>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 0x0000001F)], },
Defendant { id: "div_arith_param_xffffffff_mode_6", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 6 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xFFFFFFFF, 6>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 0x00000020)], },
Defendant { id: "div_arith_param_x80000000_mode_0", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 0 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 0).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x80000000, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x80000000, 0)], },
Defendant { id: "div_arith_param_x80000000_mode_1", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 1 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 1).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x80000000, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x80000000, 1)], },
Defendant { id: "div_arith_param_x80000000_mode_2", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 2 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 2).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x80000000, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x80000000, 2)], },
Defendant { id: "div_arith_param_x80000000_mode_3", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 3 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 3).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x80000000, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x80000000, 3)], },
Defendant { id: "div_arith_param_x80000000_mode_4", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 4 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 7).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x80000000, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x80000000, 7)], },
Defendant { id: "div_arith_param_x80000000_mode_5", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 5 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x80000000, 5>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x80000000, 0x0000001F)], },
Defendant { id: "div_arith_param_x80000000_mode_6", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 6 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x80000000, 6>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x80000000, 0x00000020)], },
Defendant { id: "div_arith_param_x7fffffff_mode_0", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 0 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 0).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x7FFFFFFF, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x7FFFFFFF, 0)], },
Defendant { id: "div_arith_param_x7fffffff_mode_1", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 1 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 1).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x7FFFFFFF, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x7FFFFFFF, 1)], },
Defendant { id: "div_arith_param_x7fffffff_mode_2", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 2 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 2).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x7FFFFFFF, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x7FFFFFFF, 2)], },
Defendant { id: "div_arith_param_x7fffffff_mode_3", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 3 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 3).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x7FFFFFFF, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x7FFFFFFF, 3)], },
Defendant { id: "div_arith_param_x7fffffff_mode_4", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 4 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 7).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x7FFFFFFF, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x7FFFFFFF, 7)], },
Defendant { id: "div_arith_param_x7fffffff_mode_5", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 5 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x7FFFFFFF, 5>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x7FFFFFFF, 0x0000001F)], },
Defendant { id: "div_arith_param_x7fffffff_mode_6", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 6 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x7FFFFFFF, 6>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x7FFFFFFF, 0x00000020)], },
Defendant { id: "div_arith_param_x55555555_mode_0", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 0 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 0).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x55555555, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 0)], },
Defendant { id: "div_arith_param_x55555555_mode_1", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 1 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 1).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x55555555, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 1)], },
Defendant { id: "div_arith_param_x55555555_mode_2", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 2 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 2).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x55555555, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 2)], },
Defendant { id: "div_arith_param_x55555555_mode_3", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 3 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 3).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x55555555, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 3)], },
Defendant { id: "div_arith_param_x55555555_mode_4", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 4 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 7).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x55555555, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 7)], },
Defendant { id: "div_arith_param_x55555555_mode_5", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 5 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x55555555, 5>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 0x0000001F)], },
Defendant { id: "div_arith_param_x55555555_mode_6", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 6 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0x55555555, 6>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 0x00000020)], },
Defendant { id: "div_arith_param_xaaaaaaaa_mode_0", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 0 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 0).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xAAAAAAAA, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 0)], },
Defendant { id: "div_arith_param_xaaaaaaaa_mode_1", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 1 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 1).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xAAAAAAAA, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 1)], },
Defendant { id: "div_arith_param_xaaaaaaaa_mode_2", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 2 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 2).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xAAAAAAAA, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 2)], },
Defendant { id: "div_arith_param_xaaaaaaaa_mode_3", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 3 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 3).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xAAAAAAAA, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 3)], },
Defendant { id: "div_arith_param_xaaaaaaaa_mode_4", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 4 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 7).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xAAAAAAAA, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 7)], },
Defendant { id: "div_arith_param_xaaaaaaaa_mode_5", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 5 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xAAAAAAAA, 5>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 0x0000001F)], },
Defendant { id: "div_arith_param_xaaaaaaaa_mode_6", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 6 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xAAAAAAAA, 6>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 0x00000020)], },
Defendant { id: "div_arith_param_xdeadbeef_mode_0", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 0 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 0).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xDEADBEEF, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xDEADBEEF, 0)], },
Defendant { id: "div_arith_param_xdeadbeef_mode_1", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 1 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 1).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xDEADBEEF, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xDEADBEEF, 1)], },
Defendant { id: "div_arith_param_xdeadbeef_mode_2", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 2 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 2).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xDEADBEEF, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xDEADBEEF, 2)], },
Defendant { id: "div_arith_param_xdeadbeef_mode_3", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 3 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 3).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xDEADBEEF, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xDEADBEEF, 3)], },
Defendant { id: "div_arith_param_xdeadbeef_mode_4", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 4 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 7).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xDEADBEEF, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xDEADBEEF, 7)], },
Defendant { id: "div_arith_param_xdeadbeef_mode_5", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 5 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xDEADBEEF, 5>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xDEADBEEF, 0x0000001F)], },
Defendant { id: "div_arith_param_xdeadbeef_mode_6", target_op_id: "primitive.math.div", description: "DIV arithmetic mutation mode 6 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: div_arith_mut::<0xDEADBEEF, 6>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xDEADBEEF, 0x00000020)], },
Defendant { id: "div_law_bounded_0_4294967295_corruption_0", target_op_id: "primitive.math.div", description: "DIV law mutation corruption 0 falsifies the declared bounded(0,4294967295) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: div_law_mut::<0, 0, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 0)], },
Defendant { id: "div_law_bounded_0_4294967295_corruption_1", target_op_id: "primitive.math.div", description: "DIV law mutation corruption 1 falsifies the declared bounded(0,4294967295) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: div_law_mut::<1, 0, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(1, 0)], },
],
}
}