{
  "counts_and_units": {
    "authored_behavior_classes": 3,
    "boundary_neighbor_cases": 6,
    "function_invocations": 41,
    "initial_representatives": 3,
    "invalid_values_in_refined_eight": 3,
    "overlap_representative_and_boundary": 1,
    "structured_gate_runs": 6,
    "unique_selected_integer_values": 8,
    "unit": "One exact exported validator call with one integer input; repeated runs are not new unique cases.",
    "valid_values_in_refined_eight": 5
  },
  "experiment_reproduced": true,
  "finished_utc": "2026-10-28T11:51:19.975679+00:00",
  "meaning": "Wrapper success reproduces expected passing AND failing gates; representative success is not acceptance of every class member or a proof.",
  "runs": [
    {
      "command": [
        "/opt/homebrew/opt/python@3.14/bin/python3.14",
        "-B",
        "-u",
        "run_cases.py",
        "--implementation",
        "baseline",
        "--selection",
        "representatives"
      ],
      "counts": {
        "authored_classes_sampled": {
          "above": 1,
          "below": 1,
          "valid": 1
        },
        "failed": 0,
        "function_invocations": 3,
        "passed": 3
      },
      "cwd": ".",
      "exit_code": 0,
      "expected_exit_code": 0,
      "expected_observation_reproduced": true,
      "finished_utc": "2026-10-28T11:51:19.752388+00:00",
      "implementation_accepted_by_selected_gate": true,
      "name": "baseline-representatives",
      "started_utc": "2026-10-28T11:51:19.709602+00:00"
    },
    {
      "command": [
        "/opt/homebrew/opt/python@3.14/bin/python3.14",
        "-B",
        "-u",
        "run_cases.py",
        "--implementation",
        "baseline",
        "--selection",
        "six-neighbors"
      ],
      "counts": {
        "authored_classes_sampled": {
          "above": 1,
          "below": 1,
          "valid": 4
        },
        "failed": 1,
        "function_invocations": 6,
        "passed": 5
      },
      "cwd": ".",
      "exit_code": 1,
      "expected_exit_code": 1,
      "expected_observation_reproduced": true,
      "finished_utc": "2026-10-28T11:51:19.801022+00:00",
      "implementation_accepted_by_selected_gate": false,
      "name": "baseline-six-neighbors",
      "started_utc": "2026-10-28T11:51:19.752421+00:00"
    },
    {
      "command": [
        "/opt/homebrew/opt/python@3.14/bin/python3.14",
        "-B",
        "-u",
        "run_cases.py",
        "--implementation",
        "baseline",
        "--selection",
        "refined-eight"
      ],
      "counts": {
        "authored_classes_sampled": {
          "above": 1,
          "below": 2,
          "valid": 5
        },
        "failed": 1,
        "function_invocations": 8,
        "passed": 7
      },
      "cwd": ".",
      "exit_code": 1,
      "expected_exit_code": 1,
      "expected_observation_reproduced": true,
      "finished_utc": "2026-10-28T11:51:19.841946+00:00",
      "implementation_accepted_by_selected_gate": false,
      "name": "baseline-refined-eight",
      "started_utc": "2026-10-28T11:51:19.801056+00:00"
    },
    {
      "command": [
        "/opt/homebrew/opt/python@3.14/bin/python3.14",
        "-B",
        "-u",
        "run_cases.py",
        "--implementation",
        "corrected",
        "--selection",
        "refined-eight"
      ],
      "counts": {
        "authored_classes_sampled": {
          "above": 1,
          "below": 2,
          "valid": 5
        },
        "failed": 0,
        "function_invocations": 8,
        "passed": 8
      },
      "cwd": ".",
      "exit_code": 0,
      "expected_exit_code": 0,
      "expected_observation_reproduced": true,
      "finished_utc": "2026-10-28T11:51:19.883163+00:00",
      "implementation_accepted_by_selected_gate": true,
      "name": "corrected-refined-eight",
      "started_utc": "2026-10-28T11:51:19.841987+00:00"
    },
    {
      "command": [
        "/opt/homebrew/opt/python@3.14/bin/python3.14",
        "-B",
        "-u",
        "run_cases.py",
        "--implementation",
        "accept-all",
        "--selection",
        "refined-eight"
      ],
      "counts": {
        "authored_classes_sampled": {
          "above": 1,
          "below": 2,
          "valid": 5
        },
        "failed": 3,
        "function_invocations": 8,
        "passed": 5
      },
      "cwd": ".",
      "exit_code": 1,
      "expected_exit_code": 1,
      "expected_observation_reproduced": true,
      "finished_utc": "2026-10-28T11:51:19.932324+00:00",
      "implementation_accepted_by_selected_gate": false,
      "name": "accept-all-refined-eight",
      "started_utc": "2026-10-28T11:51:19.883208+00:00"
    },
    {
      "command": [
        "/opt/homebrew/opt/python@3.14/bin/python3.14",
        "-B",
        "-u",
        "run_cases.py",
        "--implementation",
        "reject-all",
        "--selection",
        "refined-eight"
      ],
      "counts": {
        "authored_classes_sampled": {
          "above": 1,
          "below": 2,
          "valid": 5
        },
        "failed": 5,
        "function_invocations": 8,
        "passed": 3
      },
      "cwd": ".",
      "exit_code": 1,
      "expected_exit_code": 1,
      "expected_observation_reproduced": true,
      "finished_utc": "2026-10-28T11:51:19.975299+00:00",
      "implementation_accepted_by_selected_gate": false,
      "name": "reject-all-refined-eight",
      "started_utc": "2026-10-28T11:51:19.932364+00:00"
    }
  ],
  "runtime": {
    "debug_assertions_enabled": true,
    "executable": "/opt/homebrew/opt/python@3.14/bin/python3.14",
    "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)]"
  },
  "sensitivity_checks": {
    "accept_all_fails_all_three_selected_invalid_inputs": true,
    "baseline_failure_is_exact_inclusive_upper_endpoint": true,
    "reject_all_fails_all_five_selected_valid_inputs": true,
    "representatives_sample_all_three_authored_classes": true
  },
  "source_sha256": {
    "README.md": "696ffa7d454640b06b22c84b434a606d9a81af11dfce3b34b4d014d8be056cb9",
    "cases.json": "57484d2f946888ab493d39c0f79d23a46f4e25afd011a45e033309a68dbe6698",
    "contract.json": "4aa5bc9c041bdac9887ebbd800286684cb630979fbe689892b08e5e129d67be1",
    "origin.json": "fc78342d7b613ecc8981e47ea68a75b6dc531a5514fc950c38021cdbd440183d",
    "reproduce.py": "b70f7ffb56fa692959a6898db0359314414d2821882326072b7a10e2278f68bd",
    "run_cases.py": "db7a2eecdea99e3b7b565af39d3bd6e953765658fa25230e0fecd1e3a2cf9196",
    "validator.py": "87d38bff76c89416617815c691383b254f3b7b0ade64440b6ee0b0a7644b7c4d"
  },
  "started_utc": "2026-10-28T11:51:19.708442+00:00"
}