{
  "runtime": "3.12.14",
  "numpy": "2.3.5",
  "int16_input": [
    30000,
    -30000
  ],
  "dtypes": {
    "input": "int16",
    "narrow_product": "int16",
    "widened_corrupt_product": "int64",
    "widened_operand": "int64",
    "wide_product": "int64"
  },
  "narrow_then_widen": [
    -5888,
    -5888
  ],
  "widen_then_square": [
    900000000,
    900000000
  ],
  "sum_int64_of_narrow_product": -11776,
  "sum_exact_product_oracle": 1800000000,
  "zero_square": 0,
  "python_integer_oracle": [
    900000000,
    900000000
  ],
  "int16_bounds": {
    "min": -32768,
    "max": 32767
  },
  "boundary_cases": [
    {
      "input": 181,
      "int16_square": 32761,
      "python_exact": 32761,
      "within_int16_result_range": true
    },
    {
      "input": 182,
      "int16_square": -32412,
      "python_exact": 33124,
      "within_int16_result_range": false
    },
    {
      "input": -181,
      "int16_square": 32761,
      "python_exact": 32761,
      "within_int16_result_range": true
    },
    {
      "input": -182,
      "int16_square": -32412,
      "python_exact": 33124,
      "within_int16_result_range": false
    }
  ],
  "rejected": [
    "[True]",
    "[3037000500]",
    "[1.5]"
  ],
  "scope": "Only these integer squares and explicit int64 result budget; widening after overflow cannot recover, int64 is still bounded. No audio-quality/float-sum claims."
}