use super::super::macros::*;
use crate::adversarial::defender::{
builtin_drop_lsb_add, builtin_hardcoded_input_add, builtin_hardcoded_zero_add,
builtin_nondeterministic_add, builtin_off_by_one_add, builtin_pseudo_correct_add, Defendant,
DefendantCatalog, DefenderClass,
};
#[must_use]
#[inline]
pub(crate) fn catalog_primitive_math_add() -> DefendantCatalog {
DefendantCatalog {
target_op_id: "primitive.math.add",
defendants: vec![
Defendant { id: "add_arith_param_0_mode_0", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 0 at parameter 0 returns a boundary-corrupted result at witness (0, 0).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0, 0>, fails_laws: &["identity(0)"], expected_witness: &[(0, 0)], },
Defendant { id: "add_arith_param_0_mode_1", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 1 at parameter 0 returns a boundary-corrupted result at witness (0, 1).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0, 1>, fails_laws: &["identity(0)"], expected_witness: &[(0, 1)], },
Defendant { id: "add_arith_param_0_mode_2", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 2 at parameter 0 returns a boundary-corrupted result at witness (0, 2).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0, 2>, fails_laws: &["identity(0)"], expected_witness: &[(0, 2)], },
Defendant { id: "add_arith_param_0_mode_3", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 3 at parameter 0 returns a boundary-corrupted result at witness (0, 3).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0, 3>, fails_laws: &["identity(0)"], expected_witness: &[(0, 3)], },
Defendant { id: "add_arith_param_0_mode_4", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 4 at parameter 0 returns a boundary-corrupted result at witness (0, 7).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0, 4>, fails_laws: &["identity(0)"], expected_witness: &[(0, 7)], },
Defendant { id: "add_arith_param_0_mode_5", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 5 at parameter 0 returns a boundary-corrupted result at witness (0, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0, 5>, fails_laws: &["identity(0)"], expected_witness: &[(0, 0x0000001F)], },
Defendant { id: "add_arith_param_0_mode_6", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 6 at parameter 0 returns a boundary-corrupted result at witness (0, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0, 6>, fails_laws: &["identity(0)"], expected_witness: &[(0, 0x00000020)], },
Defendant { id: "add_arith_param_1_mode_0", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 0 at parameter 1 returns a boundary-corrupted result at witness (1, 0).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<1, 0>, fails_laws: &["identity(0)"], expected_witness: &[(1, 0)], },
Defendant { id: "add_arith_param_1_mode_1", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 1 at parameter 1 returns a boundary-corrupted result at witness (1, 2).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<1, 1>, fails_laws: &["identity(0)"], expected_witness: &[(1, 2)], },
Defendant { id: "add_arith_param_1_mode_2", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 2 at parameter 1 returns a boundary-corrupted result at witness (1, 2).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<1, 2>, fails_laws: &["identity(0)"], expected_witness: &[(1, 2)], },
Defendant { id: "add_arith_param_1_mode_3", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 3 at parameter 1 returns a boundary-corrupted result at witness (1, 3).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<1, 3>, fails_laws: &["identity(0)"], expected_witness: &[(1, 3)], },
Defendant { id: "add_arith_param_1_mode_4", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 4 at parameter 1 returns a boundary-corrupted result at witness (1, 7).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<1, 4>, fails_laws: &["identity(0)"], expected_witness: &[(1, 7)], },
Defendant { id: "add_arith_param_1_mode_5", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 5 at parameter 1 returns a boundary-corrupted result at witness (1, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<1, 5>, fails_laws: &["identity(0)"], expected_witness: &[(1, 0x0000001F)], },
Defendant { id: "add_arith_param_1_mode_6", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 6 at parameter 1 returns a boundary-corrupted result at witness (1, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<1, 6>, fails_laws: &["identity(0)"], expected_witness: &[(1, 0x00000020)], },
Defendant { id: "add_arith_param_xffffffff_mode_0", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 0 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 0).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xFFFFFFFF, 0>, fails_laws: &["identity(0)"], expected_witness: &[(0xFFFFFFFF, 0)], },
Defendant { id: "add_arith_param_xffffffff_mode_1", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 1 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 1).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xFFFFFFFF, 1>, fails_laws: &["identity(0)"], expected_witness: &[(0xFFFFFFFF, 1)], },
Defendant { id: "add_arith_param_xffffffff_mode_2", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 2 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 2).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xFFFFFFFF, 2>, fails_laws: &["identity(0)"], expected_witness: &[(0xFFFFFFFF, 2)], },
Defendant { id: "add_arith_param_xffffffff_mode_3", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 3 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 3).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xFFFFFFFF, 3>, fails_laws: &["identity(0)"], expected_witness: &[(0xFFFFFFFF, 3)], },
Defendant { id: "add_arith_param_xffffffff_mode_4", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 4 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 7).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xFFFFFFFF, 4>, fails_laws: &["identity(0)"], expected_witness: &[(0xFFFFFFFF, 7)], },
Defendant { id: "add_arith_param_xffffffff_mode_5", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 5 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xFFFFFFFF, 5>, fails_laws: &["identity(0)"], expected_witness: &[(0xFFFFFFFF, 0x0000001F)], },
Defendant { id: "add_arith_param_xffffffff_mode_6", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 6 at parameter 0xFFFFFFFF returns a boundary-corrupted result at witness (0xFFFFFFFF, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xFFFFFFFF, 6>, fails_laws: &["identity(0)"], expected_witness: &[(0xFFFFFFFF, 0x00000020)], },
Defendant { id: "add_arith_param_x80000000_mode_0", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 0 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 0).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x80000000, 0>, fails_laws: &["identity(0)"], expected_witness: &[(0x80000000, 0)], },
Defendant { id: "add_arith_param_x80000000_mode_1", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 1 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 1).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x80000000, 1>, fails_laws: &["identity(0)"], expected_witness: &[(0x80000000, 1)], },
Defendant { id: "add_arith_param_x80000000_mode_2", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 2 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 2).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x80000000, 2>, fails_laws: &["identity(0)"], expected_witness: &[(0x80000000, 2)], },
Defendant { id: "add_arith_param_x80000000_mode_3", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 3 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 3).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x80000000, 3>, fails_laws: &["identity(0)"], expected_witness: &[(0x80000000, 3)], },
Defendant { id: "add_arith_param_x80000000_mode_4", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 4 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 7).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x80000000, 4>, fails_laws: &["identity(0)"], expected_witness: &[(0x80000000, 7)], },
Defendant { id: "add_arith_param_x80000000_mode_5", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 5 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x80000000, 5>, fails_laws: &["identity(0)"], expected_witness: &[(0x80000000, 0x0000001F)], },
Defendant { id: "add_arith_param_x80000000_mode_6", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 6 at parameter 0x80000000 returns a boundary-corrupted result at witness (0x80000000, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x80000000, 6>, fails_laws: &["identity(0)"], expected_witness: &[(0x80000000, 0x00000020)], },
Defendant { id: "add_arith_param_x7fffffff_mode_0", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 0 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 0).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x7FFFFFFF, 0>, fails_laws: &["identity(0)"], expected_witness: &[(0x7FFFFFFF, 0)], },
Defendant { id: "add_arith_param_x7fffffff_mode_1", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 1 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 1).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x7FFFFFFF, 1>, fails_laws: &["identity(0)"], expected_witness: &[(0x7FFFFFFF, 1)], },
Defendant { id: "add_arith_param_x7fffffff_mode_2", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 2 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 2).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x7FFFFFFF, 2>, fails_laws: &["identity(0)"], expected_witness: &[(0x7FFFFFFF, 2)], },
Defendant { id: "add_arith_param_x7fffffff_mode_3", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 3 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 3).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x7FFFFFFF, 3>, fails_laws: &["identity(0)"], expected_witness: &[(0x7FFFFFFF, 3)], },
Defendant { id: "add_arith_param_x7fffffff_mode_4", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 4 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 7).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x7FFFFFFF, 4>, fails_laws: &["identity(0)"], expected_witness: &[(0x7FFFFFFF, 7)], },
Defendant { id: "add_arith_param_x7fffffff_mode_5", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 5 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x7FFFFFFF, 5>, fails_laws: &["identity(0)"], expected_witness: &[(0x7FFFFFFF, 0x0000001F)], },
Defendant { id: "add_arith_param_x7fffffff_mode_6", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 6 at parameter 0x7FFFFFFF returns a boundary-corrupted result at witness (0x7FFFFFFF, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x7FFFFFFF, 6>, fails_laws: &["identity(0)"], expected_witness: &[(0x7FFFFFFF, 0x00000020)], },
Defendant { id: "add_arith_param_x55555555_mode_0", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 0 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 0).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x55555555, 0>, fails_laws: &["identity(0)"], expected_witness: &[(0x55555555, 0)], },
Defendant { id: "add_arith_param_x55555555_mode_1", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 1 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 1).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x55555555, 1>, fails_laws: &["identity(0)"], expected_witness: &[(0x55555555, 1)], },
Defendant { id: "add_arith_param_x55555555_mode_2", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 2 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 2).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x55555555, 2>, fails_laws: &["identity(0)"], expected_witness: &[(0x55555555, 2)], },
Defendant { id: "add_arith_param_x55555555_mode_3", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 3 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 3).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x55555555, 3>, fails_laws: &["identity(0)"], expected_witness: &[(0x55555555, 3)], },
Defendant { id: "add_arith_param_x55555555_mode_4", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 4 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 7).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x55555555, 4>, fails_laws: &["identity(0)"], expected_witness: &[(0x55555555, 7)], },
Defendant { id: "add_arith_param_x55555555_mode_5", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 5 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x55555555, 5>, fails_laws: &["identity(0)"], expected_witness: &[(0x55555555, 0x0000001F)], },
Defendant { id: "add_arith_param_x55555555_mode_6", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 6 at parameter 0x55555555 returns a boundary-corrupted result at witness (0x55555555, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0x55555555, 6>, fails_laws: &["identity(0)"], expected_witness: &[(0x55555555, 0x00000020)], },
Defendant { id: "add_arith_param_xaaaaaaaa_mode_0", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 0 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 0).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xAAAAAAAA, 0>, fails_laws: &["identity(0)"], expected_witness: &[(0xAAAAAAAA, 0)], },
Defendant { id: "add_arith_param_xaaaaaaaa_mode_1", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 1 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 1).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xAAAAAAAA, 1>, fails_laws: &["identity(0)"], expected_witness: &[(0xAAAAAAAA, 1)], },
Defendant { id: "add_arith_param_xaaaaaaaa_mode_2", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 2 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 2).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xAAAAAAAA, 2>, fails_laws: &["identity(0)"], expected_witness: &[(0xAAAAAAAA, 2)], },
Defendant { id: "add_arith_param_xaaaaaaaa_mode_3", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 3 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 3).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xAAAAAAAA, 3>, fails_laws: &["identity(0)"], expected_witness: &[(0xAAAAAAAA, 3)], },
Defendant { id: "add_arith_param_xaaaaaaaa_mode_4", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 4 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 7).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xAAAAAAAA, 4>, fails_laws: &["identity(0)"], expected_witness: &[(0xAAAAAAAA, 7)], },
Defendant { id: "add_arith_param_xaaaaaaaa_mode_5", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 5 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xAAAAAAAA, 5>, fails_laws: &["identity(0)"], expected_witness: &[(0xAAAAAAAA, 0x0000001F)], },
Defendant { id: "add_arith_param_xaaaaaaaa_mode_6", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 6 at parameter 0xAAAAAAAA returns a boundary-corrupted result at witness (0xAAAAAAAA, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xAAAAAAAA, 6>, fails_laws: &["identity(0)"], expected_witness: &[(0xAAAAAAAA, 0x00000020)], },
Defendant { id: "add_arith_param_xdeadbeef_mode_0", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 0 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 0).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xDEADBEEF, 0>, fails_laws: &["identity(0)"], expected_witness: &[(0xDEADBEEF, 0)], },
Defendant { id: "add_arith_param_xdeadbeef_mode_1", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 1 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 1).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xDEADBEEF, 1>, fails_laws: &["identity(0)"], expected_witness: &[(0xDEADBEEF, 1)], },
Defendant { id: "add_arith_param_xdeadbeef_mode_2", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 2 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 2).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xDEADBEEF, 2>, fails_laws: &["identity(0)"], expected_witness: &[(0xDEADBEEF, 2)], },
Defendant { id: "add_arith_param_xdeadbeef_mode_3", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 3 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 3).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xDEADBEEF, 3>, fails_laws: &["identity(0)"], expected_witness: &[(0xDEADBEEF, 3)], },
Defendant { id: "add_arith_param_xdeadbeef_mode_4", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 4 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 7).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xDEADBEEF, 4>, fails_laws: &["identity(0)"], expected_witness: &[(0xDEADBEEF, 7)], },
Defendant { id: "add_arith_param_xdeadbeef_mode_5", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 5 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 0x0000001F).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xDEADBEEF, 5>, fails_laws: &["identity(0)"], expected_witness: &[(0xDEADBEEF, 0x0000001F)], },
Defendant { id: "add_arith_param_xdeadbeef_mode_6", target_op_id: "primitive.math.add", description: "ADD arithmetic mutation mode 6 at parameter 0xDEADBEEF returns a boundary-corrupted result at witness (0xDEADBEEF, 0x00000020).", class: DefenderClass::Backdoor, broken_fn: add_arith_mut::<0xDEADBEEF, 6>, fails_laws: &["identity(0)"], expected_witness: &[(0xDEADBEEF, 0x00000020)], },
Defendant { id: "add_law_commutative_corruption_0", target_op_id: "primitive.math.add", description: "ADD law mutation corruption 0 falsifies the declared commutative law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: add_law_mut::<0, 0, 0>, fails_laws: &["commutative"], expected_witness: &[(0, 0)], },
Defendant { id: "add_law_commutative_corruption_1", target_op_id: "primitive.math.add", description: "ADD law mutation corruption 1 falsifies the declared commutative law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: add_law_mut::<1, 0, 1>, fails_laws: &["commutative"], expected_witness: &[(1, 0)], },
Defendant { id: "add_law_associative_corruption_0", target_op_id: "primitive.math.add", description: "ADD law mutation corruption 0 falsifies the declared associative law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: add_law_mut::<0, 1, 0>, fails_laws: &["associative"], expected_witness: &[(0, 1)], },
Defendant { id: "add_law_associative_corruption_1", target_op_id: "primitive.math.add", description: "ADD law mutation corruption 1 falsifies the declared associative law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: add_law_mut::<2, 1, 1>, fails_laws: &["associative"], expected_witness: &[(2, 1)], },
Defendant { id: "add_law_identity_0_corruption_0", target_op_id: "primitive.math.add", description: "ADD law mutation corruption 0 falsifies the declared identity(0) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: add_law_mut::<1, 2, 0>, fails_laws: &["identity(0)"], expected_witness: &[(1, 2)], },
Defendant { id: "add_law_identity_0_corruption_1", target_op_id: "primitive.math.add", description: "ADD law mutation corruption 1 falsifies the declared identity(0) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: add_law_mut::<0xFFFFFFFF, 1, 1>, fails_laws: &["identity(0)"], expected_witness: &[(0xFFFFFFFF, 1)], },
Defendant { id: "builtin_drop_lsb_add", target_op_id: "primitive.math.add", description: "Drops the low bit from add results, so odd sums collapse to the previous even value.", class: DefenderClass::DropLsb, broken_fn: builtin_drop_lsb_add, fails_laws: &["identity(0)"], expected_witness: &[(1, 0)], },
Defendant { id: "builtin_hardcoded_input_add", target_op_id: "primitive.math.add", description: "Always returns 0xDEADBEEF regardless of add inputs.", class: DefenderClass::HardcodedInput, broken_fn: builtin_hardcoded_input_add, fails_laws: &["identity(0)"], expected_witness: &[(0, 0)], },
Defendant { id: "builtin_hardcoded_zero_add", target_op_id: "primitive.math.add", description: "Always returns zero regardless of add inputs.", class: DefenderClass::HardcodedZero, broken_fn: builtin_hardcoded_zero_add, fails_laws: &["identity(0)"], expected_witness: &[(1, 0)], },
Defendant { id: "builtin_nondeterministic_add", target_op_id: "primitive.math.add", description: "Adds a global call counter to every add result.", class: DefenderClass::Nondeterministic, broken_fn: builtin_nondeterministic_add, fails_laws: &["identity(0)", "commutative"], expected_witness: &[(0, 0)], },
Defendant { id: "builtin_off_by_one_add", target_op_id: "primitive.math.add", description: "Adds one extra unit to every add result.", class: DefenderClass::OffByOne, broken_fn: builtin_off_by_one_add, fails_laws: &["identity(0)"], expected_witness: &[(0, 0)], },
Defendant { id: "builtin_pseudo_correct_add", target_op_id: "primitive.math.add", description: "Matches add over the u8 input cube and corrupts wider u32 witnesses.", class: DefenderClass::PseudoCorrect, broken_fn: builtin_pseudo_correct_add, fails_laws: &["identity(0)"], expected_witness: &[(0, 256)], },
],
}
}