{
  "scope": "Post-hoc deduction from saved operands and worker state; requires independent new-ELF instruction audit",
  "slots": [
    {
      "slot": 0,
      "context": [
        371,
        -1,
        371,
        44520,
        1600,
        2048,
        1025,
        144000
      ],
      "mxcsr_before": "0x00001fa3",
      "mxcsr_after": "0x00001fa3",
      "real_classes": {
        "zero": 1025
      },
      "imag_classes": {
        "zero": 1025
      },
      "pre_magnitude_classes": {
        "zero": 1025
      },
      "deduction": "Exact rational binary32 mul/mul/add reconstruction, not directly observed intermediate",
      "derived_sum_classes": {
        "zero": 1025
      },
      "derived_sum_bits_counts": {
        "0x00000000": 1025
      },
      "predicted_vector_negative_infinity_indices": [],
      "observed_vector_negative_infinity_indices": [],
      "indices_match": true,
      "scalar_last_bin": {
        "derived_sum_bits": "0x00000000",
        "observed_magnitude_bits": "0x00000000"
      }
    },
    {
      "slot": 1,
      "context": [
        371,
        3,
        371,
        44520,
        1600,
        2048,
        1025,
        144000
      ],
      "mxcsr_before": "0x00001fb7",
      "mxcsr_after": "0x00001fb7",
      "real_classes": {
        "normal": 1025
      },
      "imag_classes": {
        "zero": 2,
        "normal": 1023
      },
      "pre_magnitude_classes": {
        "negative_infinity": 89,
        "zero": 936
      },
      "deduction": "Exact rational binary32 mul/mul/add reconstruction, not directly observed intermediate",
      "derived_sum_classes": {
        "subnormal": 89,
        "zero": 936
      },
      "derived_sum_bits_counts": {
        "0x00000002": 34,
        "0x00000003": 2,
        "0x00000001": 53,
        "0x00000000": 936
      },
      "predicted_vector_negative_infinity_indices": [
        0,
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        34,
        35,
        36,
        37,
        38,
        39,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        66,
        68,
        69,
        70,
        71,
        72,
        73,
        75,
        77,
        693,
        695,
        700,
        702,
        704,
        706,
        708,
        711,
        713,
        715,
        717,
        719,
        724,
        726,
        728
      ],
      "observed_vector_negative_infinity_indices": [
        0,
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        34,
        35,
        36,
        37,
        38,
        39,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        66,
        68,
        69,
        70,
        71,
        72,
        73,
        75,
        77,
        693,
        695,
        700,
        702,
        704,
        706,
        708,
        711,
        713,
        715,
        717,
        719,
        724,
        726,
        728
      ],
      "indices_match": true,
      "scalar_last_bin": {
        "derived_sum_bits": "0x00000000",
        "observed_magnitude_bits": "0x00000000"
      }
    }
  ]
}