{
  "evidence_limits": "Descriptive five-fixture report; feasibility-numerics support remains Unestablished; Unvalidated binary64 checks, no exact feasibility certificate or complete solution family; No speedup, application-scale or scalability claim; limiter attribution remains unestablished; Collinear-input acceptance and OPT-04 issue #29 remain outside this report; Five small analytic equality/nonnegative fixtures only.; No exact or validated arithmetic feasibility certificate is claimed.; No application-scale, scalability, or speedup claim is made.; The collinear-input acceptance case is not included; OPT-04 issue #29 remains open.; A witness sample is not the complete feasible or optimal solution family.",
  "measured_scope": "Five analytic equality/nonnegative feasibility fixtures; phase-one-bland and HiGHS reference; 70 measured attempts plus 10 excluded warmups; fresh requests and workspaces; setup, BoundWorkspace.run, independent verification and input-to-verified-result timing; process startup and serialization excluded",
  "native_payload_sha256": "00ad79e45540c013f2d56cc986eeeeb05b01014f8c0c8b3ddff3d37b1216c9ad",
  "payload": {
    "aborted": false,
    "algorithm": {
      "registration_id": "phase-one-bland",
      "version": "1"
    },
    "catalog": {
      "fixtures": [
        {
          "absolute_tolerance": 1e-08,
          "columns": 3,
          "expected_auxiliary": 0.0,
          "expected_phase_one_primal": [
            0.5,
            0.25,
            0.25
          ],
          "expected_reference_status": "optimal",
          "expected_status": "optimal",
          "id": "triangle",
          "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
          "matrix": [
            [
              0,
              1,
              0
            ],
            [
              0,
              0,
              1
            ],
            [
              1,
              1,
              1
            ]
          ],
          "relative_tolerance": 0.0,
          "rhs": [
            0.25,
            0.25,
            1
          ],
          "rows": 3,
          "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0"
        },
        {
          "absolute_tolerance": 1e-08,
          "columns": 3,
          "expected_auxiliary": 0.0,
          "expected_phase_one_primal": [
            0.5,
            0.25,
            0.25
          ],
          "expected_reference_status": "optimal",
          "expected_status": "optimal",
          "id": "signed_triangle",
          "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
          "matrix": [
            [
              -1,
              1,
              -1
            ],
            [
              -1,
              -1,
              1
            ],
            [
              1,
              1,
              1
            ]
          ],
          "relative_tolerance": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1
          ],
          "rows": 3,
          "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e"
        },
        {
          "absolute_tolerance": 1e-08,
          "columns": 3,
          "expected_auxiliary": 0.0,
          "expected_phase_one_primal": [
            0.5,
            0.5,
            0.0
          ],
          "expected_reference_status": "optimal",
          "expected_status": "optimal",
          "id": "edge",
          "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
          "matrix": [
            [
              0,
              1,
              0
            ],
            [
              0,
              0,
              1
            ],
            [
              1,
              1,
              1
            ]
          ],
          "relative_tolerance": 0.0,
          "rhs": [
            0.5,
            0,
            1
          ],
          "rows": 3,
          "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af"
        },
        {
          "absolute_tolerance": 1e-08,
          "columns": 2,
          "expected_auxiliary": 0.0,
          "expected_phase_one_primal": [
            1.0,
            0.0
          ],
          "expected_reference_status": "optimal",
          "expected_status": "optimal",
          "id": "duplicate_tie",
          "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
          "matrix": [
            [
              1,
              1
            ],
            [
              1,
              1
            ]
          ],
          "relative_tolerance": 0.0,
          "rhs": [
            1,
            1
          ],
          "rows": 2,
          "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c"
        },
        {
          "absolute_tolerance": 1e-08,
          "columns": 1,
          "expected_auxiliary": 1.0,
          "expected_phase_one_primal": [
            0.0
          ],
          "expected_reference_status": "infeasible",
          "expected_status": "infeasible",
          "id": "contradictory_rows",
          "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
          "matrix": [
            [
              1
            ],
            [
              1
            ]
          ],
          "relative_tolerance": 0.0,
          "rhs": [
            0,
            1
          ],
          "rows": 2,
          "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336"
        }
      ],
      "version": "opt04-analytic-v1"
    },
    "claims": {
      "feasibility_numerics": "Unestablished",
      "scope": "paired descriptive analytic fixtures",
      "speedup": false
    },
    "collection_errors": [],
    "created_utc": "2026-10-13T17:28:39.008919+00:00",
    "evidence_limits": [
      "Five small analytic equality/nonnegative fixtures only.",
      "No exact or validated arithmetic feasibility certificate is claimed.",
      "No application-scale, scalability, or speedup claim is made.",
      "The collinear-input acceptance case is not included; OPT-04 issue #29 remains open.",
      "A witness sample is not the complete feasible or optimal solution family."
    ],
    "evidence_support": "Unestablished",
    "measurement": {
      "execution_order": [
        {
          "repetition": 0,
          "sequence": [
            {
              "fixture": "triangle",
              "order_index": 0,
              "side": "phase-one-bland"
            },
            {
              "fixture": "triangle",
              "order_index": 1,
              "side": "highs-reference"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 2,
              "side": "highs-reference"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 3,
              "side": "phase-one-bland"
            },
            {
              "fixture": "edge",
              "order_index": 4,
              "side": "phase-one-bland"
            },
            {
              "fixture": "edge",
              "order_index": 5,
              "side": "highs-reference"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 6,
              "side": "highs-reference"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 7,
              "side": "phase-one-bland"
            },
            {
              "fixture": "contradictory_rows",
              "order_index": 8,
              "side": "phase-one-bland"
            },
            {
              "fixture": "contradictory_rows",
              "order_index": 9,
              "side": "highs-reference"
            }
          ]
        },
        {
          "repetition": 1,
          "sequence": [
            {
              "fixture": "contradictory_rows",
              "order_index": 0,
              "side": "highs-reference"
            },
            {
              "fixture": "contradictory_rows",
              "order_index": 1,
              "side": "phase-one-bland"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 2,
              "side": "phase-one-bland"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 3,
              "side": "highs-reference"
            },
            {
              "fixture": "edge",
              "order_index": 4,
              "side": "highs-reference"
            },
            {
              "fixture": "edge",
              "order_index": 5,
              "side": "phase-one-bland"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 6,
              "side": "phase-one-bland"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 7,
              "side": "highs-reference"
            },
            {
              "fixture": "triangle",
              "order_index": 8,
              "side": "highs-reference"
            },
            {
              "fixture": "triangle",
              "order_index": 9,
              "side": "phase-one-bland"
            }
          ]
        },
        {
          "repetition": 2,
          "sequence": [
            {
              "fixture": "triangle",
              "order_index": 0,
              "side": "phase-one-bland"
            },
            {
              "fixture": "triangle",
              "order_index": 1,
              "side": "highs-reference"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 2,
              "side": "highs-reference"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 3,
              "side": "phase-one-bland"
            },
            {
              "fixture": "edge",
              "order_index": 4,
              "side": "phase-one-bland"
            },
            {
              "fixture": "edge",
              "order_index": 5,
              "side": "highs-reference"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 6,
              "side": "highs-reference"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 7,
              "side": "phase-one-bland"
            },
            {
              "fixture": "contradictory_rows",
              "order_index": 8,
              "side": "phase-one-bland"
            },
            {
              "fixture": "contradictory_rows",
              "order_index": 9,
              "side": "highs-reference"
            }
          ]
        },
        {
          "repetition": 3,
          "sequence": [
            {
              "fixture": "contradictory_rows",
              "order_index": 0,
              "side": "highs-reference"
            },
            {
              "fixture": "contradictory_rows",
              "order_index": 1,
              "side": "phase-one-bland"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 2,
              "side": "phase-one-bland"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 3,
              "side": "highs-reference"
            },
            {
              "fixture": "edge",
              "order_index": 4,
              "side": "highs-reference"
            },
            {
              "fixture": "edge",
              "order_index": 5,
              "side": "phase-one-bland"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 6,
              "side": "phase-one-bland"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 7,
              "side": "highs-reference"
            },
            {
              "fixture": "triangle",
              "order_index": 8,
              "side": "highs-reference"
            },
            {
              "fixture": "triangle",
              "order_index": 9,
              "side": "phase-one-bland"
            }
          ]
        },
        {
          "repetition": 4,
          "sequence": [
            {
              "fixture": "triangle",
              "order_index": 0,
              "side": "phase-one-bland"
            },
            {
              "fixture": "triangle",
              "order_index": 1,
              "side": "highs-reference"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 2,
              "side": "highs-reference"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 3,
              "side": "phase-one-bland"
            },
            {
              "fixture": "edge",
              "order_index": 4,
              "side": "phase-one-bland"
            },
            {
              "fixture": "edge",
              "order_index": 5,
              "side": "highs-reference"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 6,
              "side": "highs-reference"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 7,
              "side": "phase-one-bland"
            },
            {
              "fixture": "contradictory_rows",
              "order_index": 8,
              "side": "phase-one-bland"
            },
            {
              "fixture": "contradictory_rows",
              "order_index": 9,
              "side": "highs-reference"
            }
          ]
        },
        {
          "repetition": 5,
          "sequence": [
            {
              "fixture": "contradictory_rows",
              "order_index": 0,
              "side": "highs-reference"
            },
            {
              "fixture": "contradictory_rows",
              "order_index": 1,
              "side": "phase-one-bland"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 2,
              "side": "phase-one-bland"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 3,
              "side": "highs-reference"
            },
            {
              "fixture": "edge",
              "order_index": 4,
              "side": "highs-reference"
            },
            {
              "fixture": "edge",
              "order_index": 5,
              "side": "phase-one-bland"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 6,
              "side": "phase-one-bland"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 7,
              "side": "highs-reference"
            },
            {
              "fixture": "triangle",
              "order_index": 8,
              "side": "highs-reference"
            },
            {
              "fixture": "triangle",
              "order_index": 9,
              "side": "phase-one-bland"
            }
          ]
        },
        {
          "repetition": 6,
          "sequence": [
            {
              "fixture": "triangle",
              "order_index": 0,
              "side": "phase-one-bland"
            },
            {
              "fixture": "triangle",
              "order_index": 1,
              "side": "highs-reference"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 2,
              "side": "highs-reference"
            },
            {
              "fixture": "signed_triangle",
              "order_index": 3,
              "side": "phase-one-bland"
            },
            {
              "fixture": "edge",
              "order_index": 4,
              "side": "phase-one-bland"
            },
            {
              "fixture": "edge",
              "order_index": 5,
              "side": "highs-reference"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 6,
              "side": "highs-reference"
            },
            {
              "fixture": "duplicate_tie",
              "order_index": 7,
              "side": "phase-one-bland"
            },
            {
              "fixture": "contradictory_rows",
              "order_index": 8,
              "side": "phase-one-bland"
            },
            {
              "fixture": "contradictory_rows",
              "order_index": 9,
              "side": "highs-reference"
            }
          ]
        }
      ],
      "execution_policy": {
        "actual": {
          "native_threads": {
            "reason": "OS/native thread observations are not collected by this harness",
            "value": null
          },
          "outer_workers": {
            "reason": "runtime worker observations are not emitted by this harness",
            "value": null
          }
        },
        "arithmetic": {
          "format": "IEEE-754 binary64",
          "rounding_mode": null,
          "rounding_mode_reason": "runtime rounding mode is not observed",
          "validated_arithmetic": false
        },
        "requested": {
          "resource_context": {
            "outer_workers": 1,
            "threads_per_worker": 1,
            "total_threads": 1
          },
          "solver_profiles": {
            "highs-reference": {
              "native_threads": 1,
              "parallel": "off",
              "presolve": "off",
              "solver": "simplex"
            },
            "phase-one-bland": {
              "native_threads": "not_applicable",
              "reason": "single-threaded in-process implementation"
            }
          }
        },
        "seed": {
          "reason": "the fixtures and configured solver profiles use no randomized algorithm",
          "status": "not_applicable",
          "value": null
        }
      },
      "repetitions_per_fixture": 7,
      "sides": [
        "phase-one-bland",
        "highs-reference"
      ],
      "timing_boundaries": {
        "end_to_end": "fixture construction through independent verification; excludes process startup and serialization",
        "public_run": "BoundWorkspace.run",
        "setup": "program publication, registration, selection, preparation and fresh workspace creation",
        "verification": "independent expected outcome, candidate, equality residual and nonnegativity checks"
      },
      "warmups_per_fixture": 1
    },
    "process_exit_code": 0,
    "provenance": {
      "build_directory": "BUILD_ROOT",
      "cmake_cache_sha256": "b82ea58091de70d278477a078766f3530e74c88c647cfc7da5fa6d6dcfb6fae8",
      "cmake_generator": "Visual Studio 17 2022",
      "compiler_id": "MSVC",
      "compiler_version": "19.44.35215.0",
      "concurrent_work": "Observation time UTC: 2026-10-13T17:27:37.7179595Z\nHost OS: Майкрософт Windows 11 Домашняя 10.0.22631 build 22631\nProcessor: 12th Gen Intel(R) Core(TM) i5-12400F; logical processors: 12\nPhysical memory total/free KiB: 33387800/13677820\nCMake generator/compiler: Visual Studio 17 2022 x64 / MSVC 19.44.35215 (Release build)\nPython: 3.13.5; CMake: 3.31.6\nWMI total CPU utilization at one pre-run snapshot: 6 percent; this is not an interval average or timed-region observation.\nActive CMake/MSBuild/cl processes at snapshot: MSBuild:15424, MSBuild:16944, MSBuild:19968\nOther active process counts (name=count): Adobe Crash Processor=1, AdobeIPCBroker=1, adskflex=1, AdskLicensingService=1, afwServ=1, AggregatorHost=1, ApplicationFrameHost=1, assistant=1, ast_service=1, aswEngSrv=1, aswToolsSvc=1, AvastSvc=1, AvastUI=4, cbservice=3, CCXProcess=1, cdarbsvc_v1.2.0_x64=1, cer_service=1, ChatGPT=19, chrome=21, cleanmgr=1, cmd=2, cnqtbapp=1, codex=13, codex-code-mode-host=3, codex-command-runner-0.162.0-alpha.17.2=6, codex-computer-use-swift=1, codex-windows-sandbox-service=1, conhost=91, csrss=2, ctfmon=1, dasHost=1, DataExchangeHost=1, DiscSoftBusServiceUltra=1, dllhost=5, DTShellHlp=1, dwm=1, explorer=1, FLPService=1, FNPLicensingService64=1, fontdrvhost=2, GigabyteUpdateService=1, herdr=1, Idle=1, ijplmsvc=1, jhi_service=1, lmgrd=2, LockApp=1, LsaIso=1, lsass=1, Memory Compression=1, MSBuild=3, msedge=5, ngen=2, ngentask=2, node=26, node_repl=16, NVDisplay.Container=2, OfficeClickToRun=1, opencode=2, OpenConsole=4, pdf24=2, pg_ctl=1, PhoneExperienceHost=1, postgres=7, PsiService_2=2, pwsh=3, python=32, Registry=1, rhinomcp=8, rsvamneziawg=1, rsvd=1, rsvdnsleak=1, RuntimeBroker=6, SearchHost=1, SearchIndexer=1, SearchProtocolHost=1, Secure System=1, SecurityHealthService=1, SecurityHealthSystray=1, services=1, ShellExperienceHost=1, sihost=1, sketchup-mcp=8, smss=1, spoolsv=1, sqlwriter=1, sshd=1, StartMenuExperienceHost=1, svchost=95, System=1, SystemSettingsBroker=1, tailscale-ipn=1, tailscaled=2, taskhostw=3, Telegram=1, TextInputHost=1, uv=16, vctip=1, vmcompute=1, WebKitNetworkProcess=1, Widgets=1, WidgetService=1, WindowsTerminal=1, wininit=1, winlogon=1, WmiPrvSE=3, WMIRegistrationService=1, wsc_proxy=1, wslservice=1, WUDFHost=1\nInterpretation: interactive browser, editor/agent and background processes remain active; no system isolation or frequency/power control was applied. The run is descriptive only; no speedup, ranking, application throughput or bottleneck attribution is claimed.\nNo profile data are mixed into measured trials. A separate CPU profile-only attempt is required to attribute a limiter; its result will be reported separately.",
      "cxx_standard": 20,
      "executable_path": "BUILD_ROOT/Release/csl_opt04_phase_one_report.exe",
      "executable_sha256": "2745f443576c88df02d48bbe350426b598563fc399286bdbefe68fecfba984fa",
      "harness_commit": "d68f57f1530f69039a7881f950566167683eb222",
      "host_platform": "Windows-11-10.0.22631-SP0",
      "limiter_profile": "required as a separate post-review profile-only execution; no profile data mixed with trials",
      "logical_processors": 12,
      "processor": "Intel64 Family 6 Model 151 Stepping 5, GenuineIntel",
      "python": "3.13.5",
      "release_build_command": [
        "cmake",
        "--build",
        "BUILD_ROOT",
        "--config",
        "Release",
        "--clean-first",
        "--target",
        "csl_opt04_phase_one_report",
        "--parallel",
        "4",
        "--verbose"
      ],
      "release_build_sha256": "dbcb865281fb04cc8c47a682e92bae97e5d9d6fa19c6b270a84d3ea2c6594056",
      "release_flags": "/O2 /Ob2 /DNDEBUG",
      "release_ndebug": true,
      "source_commit": "03ba157eb50eac7d61d39e37af015729ea04f922"
    },
    "reference": {
      "registration_id": "highs_lp",
      "version": "1.0.0+highs.1.11.0"
    },
    "report_id": "opt04-20261013T172839Z-6451c4b89d3b",
    "schema": "csl.opt04-phase-one-report/2",
    "summary": {
      "failure_count": 0,
      "missing_count": 0,
      "rows": [
        {
          "count": 7,
          "fixture": "triangle",
          "max_ns": 14400,
          "median_ns": 5200,
          "min_ns": 3300,
          "phase": "setup",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "triangle",
          "max_ns": 50500,
          "median_ns": 25300,
          "min_ns": 18300,
          "phase": "public_run",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "triangle",
          "max_ns": 12100,
          "median_ns": 5900,
          "min_ns": 5200,
          "phase": "verification",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "triangle",
          "max_ns": 77300,
          "median_ns": 37000,
          "min_ns": 26900,
          "phase": "end_to_end",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "triangle",
          "max_ns": 19900,
          "median_ns": 5200,
          "min_ns": 3700,
          "phase": "setup",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "triangle",
          "max_ns": 283500,
          "median_ns": 202700,
          "min_ns": 182600,
          "phase": "public_run",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "triangle",
          "max_ns": 8600,
          "median_ns": 6500,
          "min_ns": 5700,
          "phase": "verification",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "triangle",
          "max_ns": 297400,
          "median_ns": 213000,
          "min_ns": 193700,
          "phase": "end_to_end",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "signed_triangle",
          "max_ns": 6800,
          "median_ns": 5600,
          "min_ns": 4400,
          "phase": "setup",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "signed_triangle",
          "max_ns": 36100,
          "median_ns": 26000,
          "min_ns": 21300,
          "phase": "public_run",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "signed_triangle",
          "max_ns": 6500,
          "median_ns": 6000,
          "min_ns": 5300,
          "phase": "verification",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "signed_triangle",
          "max_ns": 49500,
          "median_ns": 38400,
          "min_ns": 31400,
          "phase": "end_to_end",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "signed_triangle",
          "max_ns": 6900,
          "median_ns": 5500,
          "min_ns": 4100,
          "phase": "setup",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "signed_triangle",
          "max_ns": 248600,
          "median_ns": 200200,
          "min_ns": 185900,
          "phase": "public_run",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "signed_triangle",
          "max_ns": 10100,
          "median_ns": 6500,
          "min_ns": 6000,
          "phase": "verification",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "signed_triangle",
          "max_ns": 264400,
          "median_ns": 211500,
          "min_ns": 197300,
          "phase": "end_to_end",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "edge",
          "max_ns": 9500,
          "median_ns": 6200,
          "min_ns": 3800,
          "phase": "setup",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "edge",
          "max_ns": 38800,
          "median_ns": 23800,
          "min_ns": 14900,
          "phase": "public_run",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "edge",
          "max_ns": 15100,
          "median_ns": 5900,
          "min_ns": 5100,
          "phase": "verification",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "edge",
          "max_ns": 56400,
          "median_ns": 37400,
          "min_ns": 23900,
          "phase": "end_to_end",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "edge",
          "max_ns": 8600,
          "median_ns": 4900,
          "min_ns": 3500,
          "phase": "setup",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "edge",
          "max_ns": 294300,
          "median_ns": 210100,
          "min_ns": 193600,
          "phase": "public_run",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "edge",
          "max_ns": 10000,
          "median_ns": 6700,
          "min_ns": 6200,
          "phase": "verification",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "edge",
          "max_ns": 304900,
          "median_ns": 228800,
          "min_ns": 205000,
          "phase": "end_to_end",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "duplicate_tie",
          "max_ns": 10000,
          "median_ns": 5600,
          "min_ns": 3000,
          "phase": "setup",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "duplicate_tie",
          "max_ns": 26900,
          "median_ns": 16500,
          "min_ns": 11400,
          "phase": "public_run",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "duplicate_tie",
          "max_ns": 9900,
          "median_ns": 6900,
          "min_ns": 6400,
          "phase": "verification",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "duplicate_tie",
          "max_ns": 46300,
          "median_ns": 29400,
          "min_ns": 21000,
          "phase": "end_to_end",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "duplicate_tie",
          "max_ns": 7900,
          "median_ns": 5100,
          "min_ns": 3500,
          "phase": "setup",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "duplicate_tie",
          "max_ns": 262800,
          "median_ns": 208200,
          "min_ns": 180900,
          "phase": "public_run",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "duplicate_tie",
          "max_ns": 14400,
          "median_ns": 6500,
          "min_ns": 6100,
          "phase": "verification",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "duplicate_tie",
          "max_ns": 280900,
          "median_ns": 220000,
          "min_ns": 191900,
          "phase": "end_to_end",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "contradictory_rows",
          "max_ns": 12300,
          "median_ns": 5800,
          "min_ns": 3700,
          "phase": "setup",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "contradictory_rows",
          "max_ns": 28200,
          "median_ns": 21500,
          "min_ns": 15500,
          "phase": "public_run",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "contradictory_rows",
          "max_ns": 4700,
          "median_ns": 3000,
          "min_ns": 2900,
          "phase": "verification",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "contradictory_rows",
          "max_ns": 36500,
          "median_ns": 33700,
          "min_ns": 24200,
          "phase": "end_to_end",
          "side": "phase-one-bland"
        },
        {
          "count": 7,
          "fixture": "contradictory_rows",
          "max_ns": 7000,
          "median_ns": 5200,
          "min_ns": 3300,
          "phase": "setup",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "contradictory_rows",
          "max_ns": 267500,
          "median_ns": 213500,
          "min_ns": 187100,
          "phase": "public_run",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "contradictory_rows",
          "max_ns": 3000,
          "median_ns": 2100,
          "min_ns": 1900,
          "phase": "verification",
          "side": "highs-reference"
        },
        {
          "count": 7,
          "fixture": "contradictory_rows",
          "max_ns": 278200,
          "median_ns": 221000,
          "min_ns": 194600,
          "phase": "end_to_end",
          "side": "highs-reference"
        }
      ],
      "valid": true
    },
    "trials": [
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 35800,
          "public_run": 24000,
          "setup": 5100,
          "verification": 6500
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "triangle-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 10,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 297400,
          "public_run": 283500,
          "setup": 6200,
          "verification": 7600
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "triangle-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 11,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 231800,
          "public_run": 219100,
          "setup": 6400,
          "verification": 6200
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "signed_triangle-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 12,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 40100,
          "public_run": 27800,
          "setup": 5600,
          "verification": 6500
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "signed_triangle-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 1,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 13,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 30300,
          "public_run": 18800,
          "setup": 5500,
          "verification": 5800
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "edge-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 2,
          "outcome": "optimal",
          "pivots": 2,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 14,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 291000,
          "public_run": 279200,
          "setup": 4800,
          "verification": 7000
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "edge-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 15,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 239800,
          "public_run": 222200,
          "setup": 5100,
          "verification": 12200
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "duplicate_tie-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.0,
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 16,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 46300,
          "public_run": 26100,
          "setup": 10000,
          "verification": 9900
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "duplicate_tie-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 1,
          "outcome": "optimal",
          "pivots": 1,
          "primal": [
            1.0,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 17,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 1.0,
        "durations_ns": {
          "end_to_end": 33700,
          "public_run": 22900,
          "setup": 5800,
          "verification": 4700
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 1.0,
        "pair_id": "contradictory_rows-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 0,
        "result": {
          "auxiliary": 1.0,
          "degenerate_pivots": 1,
          "factorizations": 1,
          "outcome": "infeasible",
          "pivots": 1,
          "primal": [
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 18,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 278200,
          "public_run": 267500,
          "setup": 7000,
          "verification": 3000
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "contradictory_rows-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 0,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "infeasible",
          "pivots": null,
          "primal": [
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 19,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 235400,
          "public_run": 227500,
          "setup": 5500,
          "verification": 2300
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "contradictory_rows-1",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 1,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "infeasible",
          "pivots": null,
          "primal": [
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 20,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 1.0,
        "durations_ns": {
          "end_to_end": 32000,
          "public_run": 21500,
          "setup": 7000,
          "verification": 3100
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 1.0,
        "pair_id": "contradictory_rows-1",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 1,
        "result": {
          "auxiliary": 1.0,
          "degenerate_pivots": 1,
          "factorizations": 1,
          "outcome": "infeasible",
          "pivots": 1,
          "primal": [
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 21,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 26100,
          "public_run": 15100,
          "setup": 3800,
          "verification": 7100
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "duplicate_tie-1",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 1,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 1,
          "outcome": "optimal",
          "pivots": 1,
          "primal": [
            1.0,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 22,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 219200,
          "public_run": 208200,
          "setup": 4400,
          "verification": 6400
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "duplicate_tie-1",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 1,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.0,
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 23,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 205000,
          "public_run": 193600,
          "setup": 4800,
          "verification": 6500
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "edge-1",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 1,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 24,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 39400,
          "public_run": 23800,
          "setup": 9500,
          "verification": 5900
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "edge-1",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 1,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 2,
          "outcome": "optimal",
          "pivots": 2,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 25,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 31800,
          "public_run": 21300,
          "setup": 4800,
          "verification": 5500
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "signed_triangle-1",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 1,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 1,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 26,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 210500,
          "public_run": 200200,
          "setup": 4100,
          "verification": 6000
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "signed_triangle-1",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 1,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 27,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 193700,
          "public_run": 182600,
          "setup": 5200,
          "verification": 5700
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "triangle-1",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 1,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 28,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 37000,
          "public_run": 25800,
          "setup": 5200,
          "verification": 5800
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "triangle-1",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 1,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 29,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 26900,
          "public_run": 18300,
          "setup": 3300,
          "verification": 5200
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "triangle-2",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 2,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 30,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 200000,
          "public_run": 190000,
          "setup": 4200,
          "verification": 5700
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "triangle-2",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 2,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 31,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 197300,
          "public_run": 185900,
          "setup": 4600,
          "verification": 6600
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "signed_triangle-2",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 2,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 32,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 39700,
          "public_run": 26700,
          "setup": 6700,
          "verification": 6000
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "signed_triangle-2",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 2,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 1,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 33,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 24900,
          "public_run": 15100,
          "setup": 4500,
          "verification": 5100
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "edge-2",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 2,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 2,
          "outcome": "optimal",
          "pivots": 2,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 34,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 304900,
          "public_run": 294300,
          "setup": 3500,
          "verification": 6800
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "edge-2",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 2,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 35,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 220000,
          "public_run": 205300,
          "setup": 7900,
          "verification": 6500
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "duplicate_tie-2",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 2,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.0,
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 36,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 29800,
          "public_run": 17000,
          "setup": 5600,
          "verification": 6900
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "duplicate_tie-2",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 2,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 1,
          "outcome": "optimal",
          "pivots": 1,
          "primal": [
            1.0,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 37,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 1.0,
        "durations_ns": {
          "end_to_end": 35400,
          "public_run": 28000,
          "setup": 4200,
          "verification": 2900
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 1.0,
        "pair_id": "contradictory_rows-2",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 2,
        "result": {
          "auxiliary": 1.0,
          "degenerate_pivots": 1,
          "factorizations": 1,
          "outcome": "infeasible",
          "pivots": 1,
          "primal": [
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 38,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 194600,
          "public_run": 187100,
          "setup": 5200,
          "verification": 2100
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "contradictory_rows-2",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 2,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "infeasible",
          "pivots": null,
          "primal": [
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 39,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 207600,
          "public_run": 201600,
          "setup": 3900,
          "verification": 1900
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "contradictory_rows-3",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 3,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "infeasible",
          "pivots": null,
          "primal": [
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 40,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 1.0,
        "durations_ns": {
          "end_to_end": 25600,
          "public_run": 16500,
          "setup": 5900,
          "verification": 3000
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 1.0,
        "pair_id": "contradictory_rows-3",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 3,
        "result": {
          "auxiliary": 1.0,
          "degenerate_pivots": 1,
          "factorizations": 1,
          "outcome": "infeasible",
          "pivots": 1,
          "primal": [
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 41,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 21000,
          "public_run": 11400,
          "setup": 3000,
          "verification": 6400
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "duplicate_tie-3",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 3,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 1,
          "outcome": "optimal",
          "pivots": 1,
          "primal": [
            1.0,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 42,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 280900,
          "public_run": 262800,
          "setup": 3500,
          "verification": 14400
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "duplicate_tie-3",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 3,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.0,
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 43,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 228800,
          "public_run": 210100,
          "setup": 8600,
          "verification": 10000
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "edge-3",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 3,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 44,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 51000,
          "public_run": 26700,
          "setup": 8900,
          "verification": 15100
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "edge-3",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 3,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 2,
          "outcome": "optimal",
          "pivots": 2,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 45,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 32800,
          "public_run": 21800,
          "setup": 5000,
          "verification": 5800
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "signed_triangle-3",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 3,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 1,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 46,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 264400,
          "public_run": 248600,
          "setup": 5600,
          "verification": 10100
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "signed_triangle-3",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 3,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 47,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 286400,
          "public_run": 257600,
          "setup": 19900,
          "verification": 8600
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "triangle-3",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 3,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 48,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 77300,
          "public_run": 50500,
          "setup": 14400,
          "verification": 12100
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "triangle-3",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 3,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 49,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 46200,
          "public_run": 32600,
          "setup": 5600,
          "verification": 7800
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "triangle-4",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 4,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 50,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 275500,
          "public_run": 261800,
          "setup": 6200,
          "verification": 7300
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "triangle-4",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 4,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 51,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 249400,
          "public_run": 235500,
          "setup": 6900,
          "verification": 6800
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "signed_triangle-4",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 4,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 52,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 49500,
          "public_run": 36100,
          "setup": 6800,
          "verification": 6200
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "signed_triangle-4",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 4,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 1,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 53,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 56400,
          "public_run": 38800,
          "setup": 7400,
          "verification": 10000
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "edge-4",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 4,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 2,
          "outcome": "optimal",
          "pivots": 2,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 54,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 215300,
          "public_run": 203500,
          "setup": 4900,
          "verification": 6700
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "edge-4",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 4,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 55,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 249900,
          "public_run": 235000,
          "setup": 7000,
          "verification": 7700
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "duplicate_tie-4",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 4,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.0,
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 56,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 41900,
          "public_run": 26900,
          "setup": 7100,
          "verification": 7500
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "duplicate_tie-4",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 4,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 1,
          "outcome": "optimal",
          "pivots": 1,
          "primal": [
            1.0,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 57,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 1.0,
        "durations_ns": {
          "end_to_end": 24200,
          "public_run": 15500,
          "setup": 5200,
          "verification": 3300
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 1.0,
        "pair_id": "contradictory_rows-4",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 4,
        "result": {
          "auxiliary": 1.0,
          "degenerate_pivots": 1,
          "factorizations": 1,
          "outcome": "infeasible",
          "pivots": 1,
          "primal": [
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 58,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 221400,
          "public_run": 215300,
          "setup": 3900,
          "verification": 2100
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "contradictory_rows-4",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 4,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "infeasible",
          "pivots": null,
          "primal": [
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 59,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 221000,
          "public_run": 213500,
          "setup": 5400,
          "verification": 1900
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "contradictory_rows-5",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 5,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "infeasible",
          "pivots": null,
          "primal": [
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 60,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 1.0,
        "durations_ns": {
          "end_to_end": 36500,
          "public_run": 21000,
          "setup": 12300,
          "verification": 3000
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 1.0,
        "pair_id": "contradictory_rows-5",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 5,
        "result": {
          "auxiliary": 1.0,
          "degenerate_pivots": 1,
          "factorizations": 1,
          "outcome": "infeasible",
          "pivots": 1,
          "primal": [
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 61,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 23000,
          "public_run": 12700,
          "setup": 3400,
          "verification": 6700
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "duplicate_tie-5",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 5,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 1,
          "outcome": "optimal",
          "pivots": 1,
          "primal": [
            1.0,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 62,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 203400,
          "public_run": 191800,
          "setup": 5200,
          "verification": 6200
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "duplicate_tie-5",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 5,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.0,
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 63,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 217700,
          "public_run": 205400,
          "setup": 5500,
          "verification": 6700
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "edge-5",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 5,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 64,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 37400,
          "public_run": 24900,
          "setup": 6200,
          "verification": 6200
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "edge-5",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 5,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 2,
          "outcome": "optimal",
          "pivots": 2,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 65,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 31400,
          "public_run": 21300,
          "setup": 4400,
          "verification": 5300
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "signed_triangle-5",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 5,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 1,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 66,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 211500,
          "public_run": 200200,
          "setup": 5000,
          "verification": 6000
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "signed_triangle-5",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 5,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 67,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 197300,
          "public_run": 186400,
          "setup": 4800,
          "verification": 5800
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "triangle-5",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 5,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 68,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 37500,
          "public_run": 25300,
          "setup": 6100,
          "verification": 5900
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "triangle-5",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 5,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 69,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 31800,
          "public_run": 22500,
          "setup": 3400,
          "verification": 5800
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "triangle-6",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 6,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 70,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 213000,
          "public_run": 202700,
          "setup": 3700,
          "verification": 6500
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "triangle-6",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 6,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 71,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 200800,
          "public_run": 188700,
          "setup": 5500,
          "verification": 6500
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "signed_triangle-6",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 6,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 72,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 38400,
          "public_run": 26000,
          "setup": 5900,
          "verification": 6300
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "signed_triangle-6",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 6,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 1,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 73,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 23900,
          "public_run": 14900,
          "setup": 3800,
          "verification": 5100
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "edge-6",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 6,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 2,
          "outcome": "optimal",
          "pivots": 2,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 74,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 232100,
          "public_run": 220200,
          "setup": 5600,
          "verification": 6200
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "edge-6",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 6,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 75,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 191900,
          "public_run": 180900,
          "setup": 4600,
          "verification": 6100
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "duplicate_tie-6",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 6,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.0,
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 76,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 29400,
          "public_run": 16500,
          "setup": 5800,
          "verification": 6900
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "duplicate_tie-6",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 6,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 1,
          "outcome": "optimal",
          "pivots": 1,
          "primal": [
            1.0,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 77,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 1.0,
        "durations_ns": {
          "end_to_end": 35000,
          "public_run": 28200,
          "setup": 3700,
          "verification": 3000
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 1.0,
        "pair_id": "contradictory_rows-6",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 6,
        "result": {
          "auxiliary": 1.0,
          "degenerate_pivots": 1,
          "factorizations": 1,
          "outcome": "infeasible",
          "pivots": 1,
          "primal": [
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 78,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 197800,
          "public_run": 192500,
          "setup": 3300,
          "verification": 1900
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "contradictory_rows-6",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 6,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "infeasible",
          "pivots": null,
          "primal": [
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 79,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      }
    ],
    "warmup_trials": [
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 221900,
          "public_run": 134400,
          "setup": 67800,
          "verification": 19300
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "triangle-warmup-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 0,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 816900,
          "public_run": 794000,
          "setup": 15400,
          "verification": 7200
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "triangle",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.25,
            0.25,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "triangle-warmup-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "sequence": 1,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 42400,
          "public_run": 29100,
          "setup": 7000,
          "verification": 6100
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "signed_triangle-warmup-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 1,
          "factorizations": 3,
          "outcome": "optimal",
          "pivots": 3,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 2,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 212500,
          "public_run": 201800,
          "setup": 4600,
          "verification": 5900
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "signed_triangle",
        "input": {
          "matrix": [
            [
              -1.0,
              1.0,
              -1.0
            ],
            [
              -1.0,
              -1.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            -0.5,
            -0.5,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "signed_triangle-warmup-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.25,
              0.25
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "termination": "completed"
        },
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "sequence": 3,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 35000,
          "public_run": 23600,
          "setup": 5300,
          "verification": 6000
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "edge-warmup-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 2,
          "outcome": "optimal",
          "pivots": 2,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 4,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 268000,
          "public_run": 255400,
          "setup": 4100,
          "verification": 8400
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "edge",
        "input": {
          "matrix": [
            [
              0.0,
              1.0,
              0.0
            ],
            [
              0.0,
              0.0,
              1.0
            ],
            [
              1.0,
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.5,
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "edge-warmup-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              0.5,
              0.5,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "sequence": 5,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 0.0,
        "durations_ns": {
          "end_to_end": 46200,
          "public_run": 26900,
          "setup": 7700,
          "verification": 11100
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_expected_candidate",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 0.0,
        "pair_id": "duplicate_tie-warmup-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": 0.0,
          "degenerate_pivots": 0,
          "factorizations": 1,
          "outcome": "optimal",
          "pivots": 1,
          "primal": [
            1.0,
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 6,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 236900,
          "public_run": 221000,
          "setup": 8600,
          "verification": 7100
        },
        "error": null,
        "expected_status": "optimal",
        "fixture": "duplicate_tie",
        "input": {
          "matrix": [
            [
              1.0,
              1.0
            ],
            [
              1.0,
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0,
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            1.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "optimal",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "independent_feasible_witness",
            "passed": true
          },
          {
            "name": "original_equalities",
            "passed": true
          },
          {
            "name": "nonnegative_variables",
            "passed": true
          },
          {
            "name": "zero_original_objective",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "duplicate_tie-warmup-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              0.0,
              1.0
            ],
            "status": "optimal",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 0.0,
            "primal": [
              1.0,
              0.0
            ],
            "status": "optimal",
            "termination": "completed"
          }
        },
        "reference_status": "optimal",
        "repetition": 0,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "optimal",
          "pivots": null,
          "primal": [
            0.0,
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "sequence": 7,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": 0.0,
        "auxiliary_value": 1.0,
        "durations_ns": {
          "end_to_end": 26400,
          "public_run": 18100,
          "setup": 5000,
          "verification": 3200
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": 0.0,
        "objective_value": 0.0,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          },
          {
            "name": "literal_auxiliary_value",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": 1.0,
        "pair_id": "contradictory_rows-warmup-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 0,
        "result": {
          "auxiliary": 1.0,
          "degenerate_pivots": 1,
          "factorizations": 1,
          "outcome": "infeasible",
          "pivots": 1,
          "primal": [
            0.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 8,
        "side": "phase-one-bland",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      },
      {
        "auxiliary_residual": null,
        "auxiliary_value": null,
        "durations_ns": {
          "end_to_end": 212900,
          "public_run": 207200,
          "setup": 3700,
          "verification": 1800
        },
        "error": null,
        "expected_status": "infeasible",
        "fixture": "contradictory_rows",
        "input": {
          "matrix": [
            [
              1.0
            ],
            [
              1.0
            ]
          ],
          "objective_coefficients": [
            0.0
          ],
          "objective_constant": 0.0,
          "rhs": [
            0.0,
            1.0
          ],
          "row_relation": "equality",
          "variable_lower_bound": 0.0,
          "variable_upper_bound": null
        },
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "nonnegative_max_violation": null,
        "objective_value": null,
        "observed_status": "infeasible",
        "oracle_checks": [
          {
            "name": "expected_status",
            "passed": true
          }
        ],
        "oracle_match": true,
        "original_rows_max_violation": null,
        "pair_id": "contradictory_rows-warmup-0",
        "paired_outcomes": {
          "highs_reference": {
            "primal": [
              1.0
            ],
            "status": "infeasible",
            "termination": "completed"
          },
          "phase_one": {
            "auxiliary": 1.0,
            "primal": [
              0.0
            ],
            "status": "infeasible",
            "termination": "completed"
          }
        },
        "reference_status": "infeasible",
        "repetition": 0,
        "result": {
          "auxiliary": null,
          "degenerate_pivots": null,
          "factorizations": null,
          "outcome": "infeasible",
          "pivots": null,
          "primal": [
            1.0
          ],
          "termination": "completed"
        },
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "sequence": 9,
        "side": "highs-reference",
        "status": "passed",
        "tolerances": {
          "absolute": 1e-08,
          "relative": 0.0
        },
        "work_observed": true
      }
    ]
  },
  "payload_schema": "csl.opt04-phase-one-report/2",
  "payload_sha256": "00ad79e45540c013f2d56cc986eeeeb05b01014f8c0c8b3ddff3d37b1216c9ad",
  "report_id": "opt04-20261013T172839Z-bf1844fdf81c94c82ca91aadbd9d0988c7367093c5cf70269c2d0e0ca7d44b2f",
  "report_kind": "opt04-phase-one",
  "schema": "csl.algorithm-report-envelope/1",
  "source_commit": "03ba157eb50eac7d61d39e37af015729ea04f922",
  "source_report_id": "opt04-20261013T172839Z-6451c4b89d3b"
}