{
  "checked_at": "2026-09-14T17:38:43.307850+00:00",
  "clean_source_files_checked": 2319,
  "only_changed_source_files": [
    "test/unittest/layers/unittest_layers_divide.cpp",
    "nntrainer/layers/divide_layer.cpp"
  ],
  "oracle_values_cross_checked": 12288,
  "oracle_cross_check": "200-digit Decimal, standard binary conversions, adjacent binary32 distance checks",
  "baseline_forward_and_numerator_gradient_byte_unchanged": true,
  "candidate_max_ulp_by_component": {
    "y": 0,
    "da": 0,
    "db": 0
  },
  "baseline_unique_failure_categories": {
    "zero_instead_of_nonzero": 494,
    "infinity": 409,
    "NaN": 392,
    "finite_inaccurate": 7
  },
  "counts": {
    "unique_input_triples": 4096,
    "baseline_failing_inputs": 1302,
    "candidate_failing_inputs": 0,
    "mutation_failing_inputs": 1302,
    "restored_candidate_failing_inputs": 0
  },
  "mutation_proof": {
    "baseline_source_byte_restored": true,
    "baseline_and_mutation_raw_identical": true,
    "candidate_and_restored_raw_identical": true,
    "mutation_tests": {
      "tests": "25",
      "failures": "3",
      "disabled": "0",
      "errors": "0",
      "time": "0.003",
      "timestamp": "2026-09-14T22:14:11.240",
      "name": "AllTests"
    },
    "restored_candidate_tests": {
      "tests": "25",
      "failures": "0",
      "disabled": "0",
      "errors": "0",
      "time": "0.003",
      "timestamp": "2026-09-14T22:14:13.934",
      "name": "AllTests"
    },
    "original_source_sha256": "506fc47e7b36deef17025ec50f253d0d8c9ced58485a23258b105acf9b0a840a",
    "candidate_source_sha256": "ca7a43a504685f675366012a8441b2e70fd0212909cf53cd29afd5f67a9c0a78"
  },
  "inputs_sha256": "daa1a64ccd53d36c4901ab6fd9402c84af39b7980b853f41aec155e0f30204ad",
  "candidate_patch_sha256": "56619df38a051cade65f5a4f49dd8b23ccc12299d000170f416e268e474bc8a5"
}