{
  "asymmetric_reference_forward": {
    "a": 1,
    "b": 2,
    "rtol": 0.75,
    "atol": 0,
    "exact_binary_input_error": "1",
    "reference_b_bound_exact": "3/2",
    "symmetric_max_bound_exact": "3/2",
    "manual_reference_b": true,
    "numpy_isclose": true,
    "manual_symmetric": true,
    "math_isclose": true
  },
  "asymmetric_reference_reverse": {
    "a": 2,
    "b": 1,
    "rtol": 0.75,
    "atol": 0,
    "exact_binary_input_error": "1",
    "reference_b_bound_exact": "3/4",
    "symmetric_max_bound_exact": "3/2",
    "manual_reference_b": false,
    "numpy_isclose": false,
    "manual_symmetric": true,
    "math_isclose": true
  },
  "all588_binary_representable_grid_oracles": 588,
  "near_zero": {
    "numpy_default": true,
    "numpy_relative_only": false,
    "math_relative_only": false
  },
  "nontransitive_chain": [
    {
      "a": 0,
      "b": 0.06,
      "rtol": 0,
      "atol": 0.1,
      "exact_binary_input_error": "1080863910568919/18014398509481984",
      "reference_b_bound_exact": "3602879701896397/36028797018963968",
      "symmetric_max_bound_exact": "3602879701896397/36028797018963968",
      "manual_reference_b": true,
      "numpy_isclose": true,
      "manual_symmetric": true,
      "math_isclose": true
    },
    {
      "a": 0.06,
      "b": 0.12,
      "rtol": 0,
      "atol": 0.1,
      "exact_binary_input_error": "1080863910568919/18014398509481984",
      "reference_b_bound_exact": "3602879701896397/36028797018963968",
      "symmetric_max_bound_exact": "3602879701896397/36028797018963968",
      "manual_reference_b": true,
      "numpy_isclose": true,
      "manual_symmetric": true,
      "math_isclose": true
    },
    {
      "a": 0,
      "b": 0.12,
      "rtol": 0,
      "atol": 0.1,
      "exact_binary_input_error": "1080863910568919/9007199254740992",
      "reference_b_bound_exact": "3602879701896397/36028797018963968",
      "symmetric_max_bound_exact": "3602879701896397/36028797018963968",
      "manual_reference_b": false,
      "numpy_isclose": false,
      "manual_symmetric": false,
      "math_isclose": false
    }
  ],
  "unit_change_without_tolerance_change": [
    {
      "a": 1,
      "b": 1.05,
      "rtol": 0,
      "atol": 0.1,
      "exact_binary_input_error": "225179981368525/4503599627370496",
      "reference_b_bound_exact": "3602879701896397/36028797018963968",
      "symmetric_max_bound_exact": "3602879701896397/36028797018963968",
      "manual_reference_b": true,
      "numpy_isclose": true,
      "manual_symmetric": true,
      "math_isclose": true
    },
    {
      "a": 1000,
      "b": 1050,
      "rtol": 0,
      "atol": 0.1,
      "exact_binary_input_error": "50",
      "reference_b_bound_exact": "3602879701896397/36028797018963968",
      "symmetric_max_bound_exact": "3602879701896397/36028797018963968",
      "manual_reference_b": false,
      "numpy_isclose": false,
      "manual_symmetric": false,
      "math_isclose": false
    }
  ],
  "exact_binary_boundary": {
    "a": 1,
    "b": 1.125,
    "rtol": 0,
    "atol": 0.125,
    "exact_binary_input_error": "1/8",
    "reference_b_bound_exact": "1/8",
    "symmetric_max_bound_exact": "1/8",
    "manual_reference_b": true,
    "numpy_isclose": true,
    "manual_symmetric": true,
    "math_isclose": true
  },
  "direct_library_special_values_outside_finite_wrapper": {
    "numpy_nan_self_default": false,
    "numpy_nan_self_equal_nan": true,
    "numpy_inf_self": true,
    "numpy_opposite_inf": false,
    "math_nan_self": false
  },
  "invalid_cases_rejected": [
    "relative_one_rejected",
    "negative_tolerance",
    "infinite_tolerance",
    "nonnumeric",
    "bool_input",
    "shape_not_scalar",
    "NaN_wrapper",
    "over_value_budget"
  ],
  "numpy_version": "2.3.5",
  "scope": "exact rational oracle interprets supplied binary floats; tested grid uses exactly representable arithmetic, not proof all rounded boundary computations agree. NumPy reference-b uses sum, math symmetric usesmax; approximate closeness not transitive/identity/equivalence for dedup or quality of model/Opera output"
}