{
  "evidence_limits": "No comparator; binary64 numerical checks; not exact arithmetic or a validated global certificate",
  "measured_scope": "21 verified measured trials across 5x5, 9x9, and 13x13 square lattices",
  "payload": {
    "algorithm": {
      "implementation": "CSL::geometry::reduce_hull",
      "name": "LP-backed finite-point hull reduction",
      "source": "src/geometry/hull_reducer.cpp"
    },
    "backend": {
      "configured_threads": 1,
      "name": "HiGHS LP adapter",
      "parallel": "off",
      "presolve": "off",
      "simplex_iteration_limit": null,
      "source": "src/adapters/lp/highs.cpp",
      "version": "1.11.0"
    },
    "build": {
      "build_command": "cmake --build build-opt05-harness --config Release --target csl_hull_measure --parallel 4 --verbose",
      "build_generator": "Visual Studio 17 2022",
      "build_platform": "x64",
      "cmake_cache_sha256": "ccff6caf5c0177b86a9e17f7f85a293e2a844134b0a1a7ae8bdcea9901dad0a9",
      "configuration": "Release",
      "configured_dependencies": {
        "HiGHS": "1.11.0"
      },
      "cxx_compiler": "MSVC",
      "cxx_compiler_id": "MSVC",
      "cxx_compiler_version": "19.44.35215.0",
      "executable_sha256": "6617de0f6d0fc86e833cfffa20fa44fb11bf565dfaf972e0bee2196251848786",
      "expected_flags_present": {
        "/D NDEBUG": true,
        "/O2": true,
        "/std:c++20": true
      },
      "release_build_log_sha256": "26750a14cccbf156af58e5d981ef90e8fa9d63d0070d2320a282b1d56f892949",
      "release_compile_flags": "/O2 /Ob2 /D NDEBUG /MD /fp:precise /std:c++20",
      "source_code_commit": "d1c211c2763989a9cf3e39a8acaf609c5cf33a07",
      "source_identity_scope": "tracked reducer/backend code at the specified commit; the separate harness source hash is recorded below",
      "source_sha256": {
        "include/csl/geometry/hull_reducer.hpp": "3f1fb511c5481fbbc9aa1e93d3c2e515a8c0d4a3f9c154f56e94db6851d5c774",
        "reports/algorithm-results/opt05-hull-20261012-d1c211c2/harness/hull_measure.cpp": "b87b83013e96b6c7d4cc55d706641d55e1cb460ea7303debffebe8b864694598",
        "src/geometry/hull_reducer.cpp": "3a689f1e31c06d7d7559ccaffa86d312d47ee42def3a789e7297f0051b7517c8"
      }
    },
    "code_commit": "d1c211c2763989a9cf3e39a8acaf609c5cf33a07",
    "created_utc": "2026-10-12T10:32:53Z",
    "environment": {
      "concurrent_work_note": "Before collection, six MSBuild processes remained from other worktrees; all had 0.000 s CPU-time delta over a 5 s check and no cl.exe process was present. No overlapping build activity was observed during the timed collection. Pre/post system CPU snapshots are recorded; unrelated background work may still contribute.",
      "host_after": {
        "cpu_sample": {
          "available": true,
          "busy_percent": 0.9,
          "sample_interval_ms": 1000
        },
        "system": {
          "cpu_load_percent": 7,
          "cpu_name": "12th Gen Intel(R) Core(TM) i5-12400F",
          "free_ram_kib": 17837392,
          "logical_processors": 12,
          "visible_ram_kib": 33387800
        }
      },
      "host_before": {
        "cpu_sample": {
          "available": true,
          "busy_percent": 0.9,
          "sample_interval_ms": 1000
        },
        "system": {
          "cpu_load_percent": 10,
          "cpu_name": "12th Gen Intel(R) Core(TM) i5-12400F",
          "free_ram_kib": 17835388,
          "logical_processors": 12,
          "visible_ram_kib": 33387800
        }
      },
      "machine": "AMD64",
      "os": "Windows-11-10.0.22631-SP0",
      "process_wall_elapsed_ns": 244601400,
      "python": "3.13.5 (tags/v3.13.5:6cb20a2, Jun 11 2025, 16:15:46) [MSC v.1943 64 bit (AMD64)]",
      "requested_native_threads": 1,
      "timing_scope": "steady_clock duration of reduce_hull only; cloud creation, adapter registration and workspace factory excluded; first lazy HiGHS initialization inside the reducer call is included",
      "trial_policy": "one warmup per case; seven measured repetitions per case; round-robin interleaved case order; fresh LP workspace per invocation"
    },
    "fixture": {
      "assurance": "binary64 numerical checks; not exact arithmetic or a validated global certificate",
      "cases": [
        {
          "case_id": "grid-25",
          "expected_lp_calls": 25,
          "expected_removed": 21,
          "expected_retained": 4,
          "points": 25,
          "side": 5
        },
        {
          "case_id": "grid-81",
          "expected_lp_calls": 81,
          "expected_removed": 77,
          "expected_retained": 4,
          "points": 81,
          "side": 9
        },
        {
          "case_id": "grid-169",
          "expected_lp_calls": 169,
          "expected_removed": 165,
          "expected_retained": 4,
          "points": 169,
          "side": 13
        }
      ],
      "definition": "all points (x/(s-1), y/(s-1)) on row-major s-by-s lattice over [0,1]^2",
      "oracle": "exact known unit-square extreme-corner IDs plus re-evaluation of every returned barycentric removal certificate; all output outcomes must be feasible/infeasible and reducer complete"
    },
    "process": {
      "exit_code": 0,
      "failures": 0,
      "invalid_stdout_lines": [],
      "measured_rows": 21,
      "trial_rows": 24,
      "warmup_rows": 3
    },
    "report_id": "opt05-hull-20261012-d1c211c2",
    "schema": "csl.hull-benchmark-records/1",
    "source_worktree_head": "d1c211c2763989a9cf3e39a8acaf609c5cf33a07",
    "summary": [
      {
        "attempts": 7,
        "case_id": "grid-169",
        "failures": 0,
        "max_ns": 19386500,
        "median_lp_calls": 169,
        "median_ns": 18907700,
        "min_ns": 18714000,
        "outcome_totals": {
          "feasible": 1155,
          "infeasible": 28,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 169,
        "successes": 7
      },
      {
        "attempts": 7,
        "case_id": "grid-25",
        "failures": 0,
        "max_ns": 2160700,
        "median_lp_calls": 25,
        "median_ns": 2135700,
        "min_ns": 2097700,
        "outcome_totals": {
          "feasible": 147,
          "infeasible": 28,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 25,
        "successes": 7
      },
      {
        "attempts": 7,
        "case_id": "grid-81",
        "failures": 0,
        "max_ns": 8326100,
        "median_lp_calls": 81,
        "median_ns": 7931900,
        "min_ns": 7635100,
        "outcome_totals": {
          "feasible": 539,
          "infeasible": 28,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 81,
        "successes": 7
      }
    ],
    "trials": [
      {
        "attempts": 25,
        "case_id": "grid-25",
        "elapsed_ns": 3233800,
        "lp_calls": 25,
        "outcomes": {
          "feasible": 21,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 25,
        "removed": 21,
        "retained": 4,
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": true
      },
      {
        "attempts": 81,
        "case_id": "grid-81",
        "elapsed_ns": 7755400,
        "lp_calls": 81,
        "outcomes": {
          "feasible": 77,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 81,
        "removed": 77,
        "retained": 4,
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": true
      },
      {
        "attempts": 169,
        "case_id": "grid-169",
        "elapsed_ns": 19760100,
        "lp_calls": 169,
        "outcomes": {
          "feasible": 165,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 169,
        "removed": 165,
        "retained": 4,
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": true
      },
      {
        "attempts": 25,
        "case_id": "grid-25",
        "elapsed_ns": 2137300,
        "lp_calls": 25,
        "outcomes": {
          "feasible": 21,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 25,
        "removed": 21,
        "retained": 4,
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 81,
        "case_id": "grid-81",
        "elapsed_ns": 7706300,
        "lp_calls": 81,
        "outcomes": {
          "feasible": 77,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 81,
        "removed": 77,
        "retained": 4,
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 169,
        "case_id": "grid-169",
        "elapsed_ns": 18714000,
        "lp_calls": 169,
        "outcomes": {
          "feasible": 165,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 169,
        "removed": 165,
        "retained": 4,
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 81,
        "case_id": "grid-81",
        "elapsed_ns": 8326100,
        "lp_calls": 81,
        "outcomes": {
          "feasible": 77,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 81,
        "removed": 77,
        "retained": 4,
        "round": 1,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 169,
        "case_id": "grid-169",
        "elapsed_ns": 18907700,
        "lp_calls": 169,
        "outcomes": {
          "feasible": 165,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 169,
        "removed": 165,
        "retained": 4,
        "round": 1,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 25,
        "case_id": "grid-25",
        "elapsed_ns": 2105900,
        "lp_calls": 25,
        "outcomes": {
          "feasible": 21,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 25,
        "removed": 21,
        "retained": 4,
        "round": 1,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 169,
        "case_id": "grid-169",
        "elapsed_ns": 19386500,
        "lp_calls": 169,
        "outcomes": {
          "feasible": 165,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 169,
        "removed": 165,
        "retained": 4,
        "round": 2,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 25,
        "case_id": "grid-25",
        "elapsed_ns": 2157500,
        "lp_calls": 25,
        "outcomes": {
          "feasible": 21,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 25,
        "removed": 21,
        "retained": 4,
        "round": 2,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 81,
        "case_id": "grid-81",
        "elapsed_ns": 7639300,
        "lp_calls": 81,
        "outcomes": {
          "feasible": 77,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 81,
        "removed": 77,
        "retained": 4,
        "round": 2,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 25,
        "case_id": "grid-25",
        "elapsed_ns": 2097700,
        "lp_calls": 25,
        "outcomes": {
          "feasible": 21,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 25,
        "removed": 21,
        "retained": 4,
        "round": 3,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 81,
        "case_id": "grid-81",
        "elapsed_ns": 7931900,
        "lp_calls": 81,
        "outcomes": {
          "feasible": 77,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 81,
        "removed": 77,
        "retained": 4,
        "round": 3,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 169,
        "case_id": "grid-169",
        "elapsed_ns": 18870100,
        "lp_calls": 169,
        "outcomes": {
          "feasible": 165,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 169,
        "removed": 165,
        "retained": 4,
        "round": 3,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 81,
        "case_id": "grid-81",
        "elapsed_ns": 8067100,
        "lp_calls": 81,
        "outcomes": {
          "feasible": 77,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 81,
        "removed": 77,
        "retained": 4,
        "round": 4,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 169,
        "case_id": "grid-169",
        "elapsed_ns": 18917400,
        "lp_calls": 169,
        "outcomes": {
          "feasible": 165,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 169,
        "removed": 165,
        "retained": 4,
        "round": 4,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 25,
        "case_id": "grid-25",
        "elapsed_ns": 2160700,
        "lp_calls": 25,
        "outcomes": {
          "feasible": 21,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 25,
        "removed": 21,
        "retained": 4,
        "round": 4,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 169,
        "case_id": "grid-169",
        "elapsed_ns": 18852100,
        "lp_calls": 169,
        "outcomes": {
          "feasible": 165,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 169,
        "removed": 165,
        "retained": 4,
        "round": 5,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 25,
        "case_id": "grid-25",
        "elapsed_ns": 2129900,
        "lp_calls": 25,
        "outcomes": {
          "feasible": 21,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 25,
        "removed": 21,
        "retained": 4,
        "round": 5,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 81,
        "case_id": "grid-81",
        "elapsed_ns": 8296500,
        "lp_calls": 81,
        "outcomes": {
          "feasible": 77,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 81,
        "removed": 77,
        "retained": 4,
        "round": 5,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 25,
        "case_id": "grid-25",
        "elapsed_ns": 2135700,
        "lp_calls": 25,
        "outcomes": {
          "feasible": 21,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 25,
        "removed": 21,
        "retained": 4,
        "round": 6,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 81,
        "case_id": "grid-81",
        "elapsed_ns": 7635100,
        "lp_calls": 81,
        "outcomes": {
          "feasible": 77,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 81,
        "removed": 77,
        "retained": 4,
        "round": 6,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "attempts": 169,
        "case_id": "grid-169",
        "elapsed_ns": 19250700,
        "lp_calls": 169,
        "outcomes": {
          "feasible": 165,
          "infeasible": 4,
          "malformed_result": 0,
          "numerical_failure": 0,
          "stopped": 0,
          "unsupported": 0
        },
        "points": 169,
        "removed": 165,
        "retained": 4,
        "round": 6,
        "status": "complete",
        "verified": true,
        "warmup": false
      }
    ]
  },
  "payload_schema": "csl.hull-benchmark-records/1",
  "payload_sha256": "679a6c76aea4e6d64d216b16f41c1e7b7ba49d6c9d3f21667d6b25ff603311f4",
  "report_id": "opt05-hull-20261012-d6d3282081d5ea90d8a0c440ccc1ec774d40221e209a01d8207ebd06a551dbf5",
  "report_kind": "opt05-hull",
  "schema": "csl.algorithm-report-envelope/1",
  "source_commit": "d1c211c2763989a9cf3e39a8acaf609c5cf33a07",
  "source_report_id": "opt05-hull-20261012-d1c211c2"
}