{
  "status": "ADDENDUM_ONLY_OLD_FILES_UNCHANGED",
  "seal_sha256": "2cded16ed7321cc862bca84d012375ef3b8d64e0e09a08d5c209ae91cd7ee135",
  "old_public_files_verified": 17,
  "old_raw_files_verified": 2,
  "signed_zero_only_path_count": 72,
  "signed_zero_paths": [
    {
      "path": [
        "lanes",
        "B",
        "points",
        23,
        "reads",
        "native_point",
        "rows",
        0,
        "raw_value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "B",
        "points",
        23,
        "reads",
        "native_point",
        "typed_rows",
        0,
        "raw_value",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "B",
        "points",
        47,
        "reads",
        "native_point",
        "rows",
        0,
        "raw_value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "B",
        "points",
        47,
        "reads",
        "native_point",
        "typed_rows",
        0,
        "raw_value",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        11,
        "reads",
        "computed_point",
        "rows",
        0,
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        11,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "real_first_round",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        12,
        "reads",
        "computed_point",
        "rows",
        0,
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        12,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "real_first_round",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        13,
        "reads",
        "computed_point",
        "rows",
        0,
        "round2"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        13,
        "reads",
        "computed_point",
        "rows",
        0,
        "round2_real"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        13,
        "reads",
        "computed_point",
        "rows",
        0,
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        13,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "round2",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        13,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "round2_real",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        13,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "real_first_round",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "native_point",
        "rows",
        0,
        "power"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "native_point",
        "rows",
        0,
        "raw_value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "native_point",
        "typed_rows",
        0,
        "power",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "native_point",
        "typed_rows",
        0,
        "raw_value",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "computed_point",
        "rows",
        0,
        "real_candidate"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "computed_point",
        "rows",
        0,
        "round2"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "computed_point",
        "rows",
        0,
        "round2_real"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "computed_point",
        "rows",
        0,
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "real_candidate",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "round2",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "round2_real",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        23,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "real_first_round",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        35,
        "reads",
        "computed_point",
        "rows",
        0,
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        35,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "real_first_round",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        36,
        "reads",
        "computed_point",
        "rows",
        0,
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        36,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "real_first_round",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        37,
        "reads",
        "computed_point",
        "rows",
        0,
        "round2"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        37,
        "reads",
        "computed_point",
        "rows",
        0,
        "round2_real"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        37,
        "reads",
        "computed_point",
        "rows",
        0,
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        37,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "round2",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        37,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "round2_real",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        37,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "real_first_round",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "native_point",
        "rows",
        0,
        "power"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "native_point",
        "rows",
        0,
        "raw_value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "native_point",
        "typed_rows",
        0,
        "power",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "native_point",
        "typed_rows",
        0,
        "raw_value",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "computed_point",
        "rows",
        0,
        "real_candidate"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "computed_point",
        "rows",
        0,
        "round2"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "computed_point",
        "rows",
        0,
        "round2_real"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "computed_point",
        "rows",
        0,
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "real_candidate",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "round2",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "round2_real",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "lanes",
        "C",
        "points",
        47,
        "reads",
        "computed_point",
        "typed_rows",
        0,
        "real_first_round",
        "value"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        11,
        "C_candidates",
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        12,
        "C_candidates",
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        13,
        "C_candidates",
        "round2"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        13,
        "C_candidates",
        "round2_real"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        13,
        "C_candidates",
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        23,
        "B_RAW32_getter"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        23,
        "C_REAL_getter"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        23,
        "C_RAW64_getter"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        23,
        "C_candidates",
        "real_candidate"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        23,
        "C_candidates",
        "round2"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        23,
        "C_candidates",
        "round2_real"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        23,
        "C_candidates",
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        35,
        "C_candidates",
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        36,
        "C_candidates",
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        37,
        "C_candidates",
        "round2"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        37,
        "C_candidates",
        "round2_real"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        37,
        "C_candidates",
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        47,
        "B_RAW32_getter"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        47,
        "C_REAL_getter"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        47,
        "C_RAW64_getter"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        47,
        "C_candidates",
        "real_candidate"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        47,
        "C_candidates",
        "round2"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        47,
        "C_candidates",
        "round2_real"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    },
    {
      "path": [
        "candidate_comparison",
        "pairs",
        47,
        "C_candidates",
        "real_first_round"
      ],
      "raw_replay_number_repr": "-0.0",
      "sealed_derived_number_repr": "0"
    }
  ],
  "unchanged_hex_float17g_byteorder_string_paths": 1992,
  "bit_aware_candidates": {
    "real_candidate": {
      "B_stored_computed_double": {
        "total": 48,
        "bit_matches": 2,
        "old_numeric_matches": 4,
        "signed_zero_only_mismatches": [
          {
            "case_id": "S-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          }
        ]
      },
      "B_physical_getter": {
        "total": 48,
        "bit_matches": 2,
        "old_numeric_matches": 4,
        "signed_zero_only_mismatches": [
          {
            "case_id": "S-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          }
        ]
      }
    },
    "round2": {
      "B_stored_computed_double": {
        "total": 48,
        "bit_matches": 8,
        "old_numeric_matches": 12,
        "signed_zero_only_mismatches": [
          {
            "case_id": "S-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "S-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          }
        ]
      },
      "B_physical_getter": {
        "total": 48,
        "bit_matches": 26,
        "old_numeric_matches": 30,
        "signed_zero_only_mismatches": [
          {
            "case_id": "S-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "S-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          }
        ]
      }
    },
    "round2_real": {
      "B_stored_computed_double": {
        "total": 48,
        "bit_matches": 26,
        "old_numeric_matches": 30,
        "signed_zero_only_mismatches": [
          {
            "case_id": "S-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "S-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          }
        ]
      },
      "B_physical_getter": {
        "total": 48,
        "bit_matches": 8,
        "old_numeric_matches": 12,
        "signed_zero_only_mismatches": [
          {
            "case_id": "S-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "S-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          }
        ]
      }
    },
    "real_first_round": {
      "B_stored_computed_double": {
        "total": 48,
        "bit_matches": 10,
        "old_numeric_matches": 18,
        "signed_zero_only_mismatches": [
          {
            "case_id": "S-H12",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "S-H13",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "S-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "S-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H12",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H13",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          }
        ]
      },
      "B_physical_getter": {
        "total": 48,
        "bit_matches": 26,
        "old_numeric_matches": 34,
        "signed_zero_only_mismatches": [
          {
            "case_id": "S-H12",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "S-H13",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "S-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "S-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H12",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H13",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H14",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          },
          {
            "case_id": "OS-H24",
            "expected_hex": "0000000000000000",
            "actual_hex": "0000000000000080"
          }
        ]
      }
    },
    "floor_fraction_round_real": {
      "B_stored_computed_double": {
        "total": 48,
        "bit_matches": 34,
        "old_numeric_matches": 34,
        "signed_zero_only_mismatches": []
      },
      "B_physical_getter": {
        "total": 48,
        "bit_matches": 16,
        "old_numeric_matches": 16,
        "signed_zero_only_mismatches": []
      }
    }
  },
  "original_negative_zero_native_facts": [
    {
      "lane": "B",
      "case_id": "S-H24",
      "original_lexeme": "-0",
      "native": {
        "power": {
          "php_type": "double",
          "float17g": "0",
          "native_double_hex": "0000000000000000",
          "byte_order": "little"
        },
        "raw_value": {
          "php_type": "double",
          "float17g": "-0",
          "native_double_hex": "0000000000000080",
          "byte_order": "little"
        }
      }
    },
    {
      "lane": "C",
      "case_id": "S-H24",
      "original_lexeme": "-0",
      "native": {
        "power": {
          "php_type": "double",
          "float17g": "-0",
          "native_double_hex": "0000000000000080",
          "byte_order": "little"
        },
        "raw_value": {
          "php_type": "double",
          "float17g": "-0",
          "native_double_hex": "0000000000000080",
          "byte_order": "little"
        }
      }
    }
  ],
  "mutation_rejections": 6,
  "number_comparison_policy": "JSON int/float lexical category ignored; exact numeric equality, only -0 to +0 sign loss permitted. Every nonnumeric leaf remains strict.",
  "future_oracle_policy": "Use original raw typed native_double_hex and float17g strings. Never infer signed zero from derived numeric value."
}