{
  "accepted_by_selected_gate": false,
  "class_count_interpretation": "Counts identify selected witnesses from authored classes; they do not prove all members behave equivalently.",
  "counts": {
    "authored_classes_sampled": {
      "above": 1,
      "below": 2,
      "valid": 5
    },
    "failed": 1,
    "function_invocations": 8,
    "passed": 7
  },
  "implementation": "baseline",
  "oracle": "Independent literal whole response with exact types and keys; no expected calculation copied from validator.",
  "results": [
    {
      "actual": {
        "accepted": false,
        "reason": "too_low"
      },
      "actual_field_types": {
        "accepted": "bool",
        "reason": "str"
      },
      "authored_class": "below",
      "case_id": "below-representative",
      "error": null,
      "expected": {
        "accepted": false,
        "reason": "too_low"
      },
      "expected_field_types": {
        "accepted": "bool",
        "reason": "str"
      },
      "input_port": -1,
      "input_type": "int",
      "passed": true
    },
    {
      "actual": {
        "accepted": false,
        "reason": "too_low"
      },
      "actual_field_types": {
        "accepted": "bool",
        "reason": "str"
      },
      "authored_class": "below",
      "case_id": "lower-outside",
      "error": null,
      "expected": {
        "accepted": false,
        "reason": "too_low"
      },
      "expected_field_types": {
        "accepted": "bool",
        "reason": "str"
      },
      "input_port": 0,
      "input_type": "int",
      "passed": true
    },
    {
      "actual": {
        "accepted": true,
        "port": 1
      },
      "actual_field_types": {
        "accepted": "bool",
        "port": "int"
      },
      "authored_class": "valid",
      "case_id": "lower-at",
      "error": null,
      "expected": {
        "accepted": true,
        "port": 1
      },
      "expected_field_types": {
        "accepted": "bool",
        "port": "int"
      },
      "input_port": 1,
      "input_type": "int",
      "passed": true
    },
    {
      "actual": {
        "accepted": true,
        "port": 2
      },
      "actual_field_types": {
        "accepted": "bool",
        "port": "int"
      },
      "authored_class": "valid",
      "case_id": "lower-inside",
      "error": null,
      "expected": {
        "accepted": true,
        "port": 2
      },
      "expected_field_types": {
        "accepted": "bool",
        "port": "int"
      },
      "input_port": 2,
      "input_type": "int",
      "passed": true
    },
    {
      "actual": {
        "accepted": true,
        "port": 443
      },
      "actual_field_types": {
        "accepted": "bool",
        "port": "int"
      },
      "authored_class": "valid",
      "case_id": "valid-representative",
      "error": null,
      "expected": {
        "accepted": true,
        "port": 443
      },
      "expected_field_types": {
        "accepted": "bool",
        "port": "int"
      },
      "input_port": 443,
      "input_type": "int",
      "passed": true
    },
    {
      "actual": {
        "accepted": true,
        "port": 65534
      },
      "actual_field_types": {
        "accepted": "bool",
        "port": "int"
      },
      "authored_class": "valid",
      "case_id": "upper-inside",
      "error": null,
      "expected": {
        "accepted": true,
        "port": 65534
      },
      "expected_field_types": {
        "accepted": "bool",
        "port": "int"
      },
      "input_port": 65534,
      "input_type": "int",
      "passed": true
    },
    {
      "actual": {
        "accepted": false,
        "reason": "too_high"
      },
      "actual_field_types": {
        "accepted": "bool",
        "reason": "str"
      },
      "authored_class": "valid",
      "case_id": "upper-at",
      "error": null,
      "expected": {
        "accepted": true,
        "port": 65535
      },
      "expected_field_types": {
        "accepted": "bool",
        "port": "int"
      },
      "input_port": 65535,
      "input_type": "int",
      "passed": false
    },
    {
      "actual": {
        "accepted": false,
        "reason": "too_high"
      },
      "actual_field_types": {
        "accepted": "bool",
        "reason": "str"
      },
      "authored_class": "above",
      "case_id": "above-representative-and-upper-outside",
      "error": null,
      "expected": {
        "accepted": false,
        "reason": "too_high"
      },
      "expected_field_types": {
        "accepted": "bool",
        "reason": "str"
      },
      "input_port": 65536,
      "input_type": "int",
      "passed": true
    }
  ],
  "runtime": {
    "debug_assertions_enabled": true,
    "optimize_flag": 0,
    "python": "3.14.7",
    "python_build": "3.14.7 (main, Aug  5 2026, 10:29:49) [Clang 21.0.0 (clang-2100.1.1.101)]"
  },
  "selection": "refined-eight",
  "source_sha256": {
    "cases.json": "57484d2f946888ab493d39c0f79d23a46f4e25afd011a45e033309a68dbe6698",
    "contract.json": "4aa5bc9c041bdac9887ebbd800286684cb630979fbe689892b08e5e129d67be1",
    "run_cases.py": "db7a2eecdea99e3b7b565af39d3bd6e953765658fa25230e0fecd1e3a2cf9196",
    "validator.py": "87d38bff76c89416617815c691383b254f3b7b0ade64440b6ee0b0a7644b7c4d"
  }
}