{
  "authored_input": [
    -2.0,
    0.0,
    4.0
  ],
  "unsafe_where_error": "FloatingPointError",
  "initialized_sentinel": -999.0,
  "mask": [
    true,
    false,
    true
  ],
  "safe_output": [
    -0.5,
    -999.0,
    0.25
  ],
  "all_false_where_argument_evaluation_trace": [
    "condition",
    "x_branch",
    "y_branch"
  ],
  "all_false_where_result": [
    -999.0,
    -999.0,
    -999.0
  ],
  "actual_safe_cases": [
    {
      "input": [
        1.0,
        2.0,
        4.0
      ],
      "mask": [
        true,
        true,
        true
      ],
      "output": [
        1.0,
        0.5,
        0.25
      ]
    },
    {
      "input": [
        0.0,
        0.0,
        0.0
      ],
      "mask": [
        false,
        false,
        false
      ],
      "output": [
        -999.0,
        -999.0,
        -999.0
      ]
    },
    {
      "input": [
        -2.0,
        0.0,
        4.0
      ],
      "mask": [
        true,
        false,
        true
      ],
      "output": [
        -0.5,
        -999.0,
        0.25
      ]
    },
    {
      "input": [
        -1.0,
        -4.0
      ],
      "mask": [
        false,
        true
      ],
      "output": [
        -999.0,
        -0.25
      ]
    }
  ],
  "invalid_cases_rejected": [
    "wrong_out_shape",
    "wrong_out_dtype",
    "nonfinite_input",
    "zero_selected",
    "mask_not_boolean",
    "input_output_alias",
    "over_budget"
  ],
  "numpy_version": "2.3.5",
  "scope": "original bounded finite initialized-output NumPy demonstration, no read/assertion about uninitialized out=None cells. np.where is eager because Python evaluates call arguments, ufunc where controls writes; sentinel is declared missing marker not zero or actual observed result. No model/SDK/Opera claim"
}