{
  "evidence_limits": "Descriptive paired timings only; no speedup claim or limiter profile; input-containment oracle uses numerical HiGHS LP checks",
  "measured_scope": "42 verified measured trials across three small two-dimensional point clouds",
  "payload": {
    "algorithm": {
      "implementation": "CSL::geometry::reduce_hull_basis_reuse",
      "name": "within-solve phase-I basis-reuse hull classification",
      "source": "src/geometry/basis_reuse_reducer.cpp"
    },
    "backend": {
      "configured_threads": 1,
      "name": "HiGHS LP adapter",
      "parallel": "off",
      "presolve": "off",
      "version": "1.11.0"
    },
    "build": {
      "algorithm_source_sha256": {
        "include/csl/geometry/basis_reuse_reducer.hpp": "f4c3d05c7fc31dc655f37231e0eeef970e96f569d2652fa643315e537e0eb1ce",
        "include/csl/geometry/hull_reducer.hpp": "4d7a96872d01bbbb12989b28323b5868908ca6c4582635a89a871b56ac321e5c",
        "src/geometry/basis_reuse_reducer.cpp": "71ae697f0beea2338792573213f56d475cb251b4d4ba87d17212c92a873e8e08",
        "src/geometry/hull_reducer.cpp": "a0dab69a6e598f4f9c49108b8c54315dbdeed488082ae791fda22521961d8161"
      },
      "build_command": "cmake --build opt06-report-build-v2 --config Release --target csl_opt06_measure --clean-first --parallel 4 --verbose",
      "build_generator": "Visual Studio 17 2022",
      "build_log_sha256": "c585ec5b9b1de7d7479990781d8fac64ee9e9373544921ef8fd679fa133c5082",
      "build_platform": "x64",
      "cmake_cache_sha256": "70630b1fa9237d77f77616fbd885edd524d2bb4ac7b500902c1f19ce6829b11d",
      "compiler": "MSVC cl.exe (Hostx64/x64)",
      "compiler_id": "MSVC",
      "compiler_version": "19.44.35215.0",
      "configuration": "Release",
      "configured_dependency_highs": "1.11.0",
      "cxx_standard": "20",
      "executable_sha256": "5f3107b3fa707cfcdecc38ec178ad3644ed430fb74ab6e7694ec10fdafc23dcf",
      "harness_sha256": "2ef0f5b66be32bdda930dc2033a9bb2e434fd5b77446e8e29e93311278abdb17",
      "release_flags": "/O2 /Ob2 /DNDEBUG",
      "source_code_commit": "ef70e8c580a9556b0f5d96e49070d33221bf5b64",
      "source_identity_scope": "tracked algorithm sources at code_commit; measurement harness is separately hashed"
    },
    "code_commit": "ef70e8c580a9556b0f5d96e49070d33221bf5b64",
    "complexity": {
      "representation": "For n points in R^d, the Phase-I formulation has n structural variables and d+1 equalities. The assembled matrix stores (d+1)n coefficients, O(nd), plus O(n+d) indexing/RHS data; solver workspace/factorization storage is backend dependent.",
      "work": "One Phase-I LP solve is performed. At most n basis-coordinate queries and exact convex-combination certification attempts are made (one per nonbasis candidate; actual count depends on basis and validation outcomes). Each certificate uses at most d+1 structural basis points. The Phase-I LP solve cost is backend dependent; no general runtime bound or scaling claim is stated."
    },
    "counter_semantics": {
      "basis_solves": "dedicated within-solve phase-I LP solves for basis classification",
      "lp_calls": "caller-workspace membership/candidate LP calls; excludes phase-I basis solve"
    },
    "created_utc": "2026-10-14T01:08:34Z",
    "environment": {
      "comparison_status": "descriptive paired timings; no speedup/winner claim; no separate limiter profile",
      "concurrent_work_note": "Before measurement, a 5-second CPU-time check showed no activity delta in three residual MSBuild processes and zero cl.exe processes. Pre/post Windows processor load and available RAM are captured; unrelated background work cannot be excluded.",
      "host_after": {
        "cpu_load_percent": 0,
        "free_ram_kib": 15639804,
        "logical_processors": 12,
        "visible_ram_kib": 33387800
      },
      "host_before": {
        "cpu_load_percent": 1,
        "free_ram_kib": 15642268,
        "logical_processors": 12,
        "visible_ram_kib": 33387800
      },
      "machine": "AMD64",
      "os": "Windows-11-10.0.22631-SP0",
      "python": "3.13.5 (tags/v3.13.5:6cb20a2, Jun 11 2025, 16:15:46) [MSC v.1943 64 bit (AMD64)]",
      "timing_scope": "steady_clock around reduce_hull or reduce_hull_basis_reuse only; point cloud setup, HiGHS LP workspace creation, and post-timing validation excluded",
      "trial_policy": "one warmup per case and method; seven measured repetitions per case; baseline and basis-reuse order alternated each round; fresh workspace per invocation"
    },
    "evaluation_plan": "This report tests small permuted, duplicate/degenerate, and interior-basis 2D clouds against the generic LP-membership reducer. Follow-up evaluation should vary n and d, rank/degeneracy, duplicates and interior/face points, compare paired outputs to the same baseline, retain exact counter and failure records, and use a separate limiter profile before any performance conclusion. Include fuel-consumption workloads when the matching scenario fixture is available.",
    "fixtures": [
      {
        "case_id": "permuted",
        "description": "permuted square corners, edge points and interior points",
        "points": 10
      },
      {
        "case_id": "degenerate",
        "description": "full-dimensional square with a duplicate corner and edge points",
        "points": 7
      },
      {
        "case_id": "interior-basis",
        "description": "center geometric interior point at ID 0 plus square corners",
        "points": 5
      }
    ],
    "oracle": "Every warmup and measured result is complete, has unique retained IDs in range, and contains every original input point by independent HiGHS LP membership checks. For each timed pair, this is checked for both exact outputs produced inside the timed calls, after timing ends; mutual output containment is also checked. The deterministic interior fixture has a completed baseline and basis-reuse structural basis IDs [0, 3, 4], including center ID 0. The harness self-test exercises valid, duplicate and out-of-range ID sets and positive/negative input-containment cases.",
    "process": {
      "exit_code": 0,
      "failures": 0,
      "invalid_stdout_lines": [],
      "measured_rows": 42,
      "rows": 48,
      "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "warmup_rows": 6
    },
    "report_id": "opt06-basis-reuse-20261014-ef70e8c5-r2",
    "schema": "csl.hull-benchmark-records/1",
    "source_worktree_head": "ef70e8c580a9556b0f5d96e49070d33221bf5b64",
    "summary": [
      {
        "attempts": 7,
        "case_id": "degenerate",
        "failures": 0,
        "max_ns": 660100,
        "median_basis_solves": 0,
        "median_bulk_candidates": 0,
        "median_bulk_removals": 3,
        "median_degenerate_pivots": 0,
        "median_membership_lp_calls": 7,
        "median_ns": 644600,
        "median_pivots": 0,
        "method": "baseline",
        "min_ns": 623100,
        "successes": 7
      },
      {
        "attempts": 7,
        "case_id": "degenerate",
        "failures": 0,
        "max_ns": 54000,
        "median_basis_solves": 1,
        "median_bulk_candidates": 4,
        "median_bulk_removals": 2,
        "median_degenerate_pivots": 0,
        "median_membership_lp_calls": 0,
        "median_ns": 50600,
        "median_pivots": 4,
        "method": "basis-reuse",
        "min_ns": 48400,
        "successes": 7
      },
      {
        "attempts": 7,
        "case_id": "interior-basis",
        "failures": 0,
        "max_ns": 492100,
        "median_basis_solves": 0,
        "median_bulk_candidates": 0,
        "median_bulk_removals": 1,
        "median_degenerate_pivots": 0,
        "median_membership_lp_calls": 5,
        "median_ns": 474700,
        "median_pivots": 0,
        "method": "baseline",
        "min_ns": 459600,
        "successes": 7
      },
      {
        "attempts": 7,
        "case_id": "interior-basis",
        "failures": 0,
        "max_ns": 50300,
        "median_basis_solves": 1,
        "median_bulk_candidates": 2,
        "median_bulk_removals": 0,
        "median_degenerate_pivots": 2,
        "median_membership_lp_calls": 0,
        "median_ns": 44200,
        "median_pivots": 4,
        "method": "basis-reuse",
        "min_ns": 43100,
        "successes": 7
      },
      {
        "attempts": 7,
        "case_id": "permuted",
        "failures": 0,
        "max_ns": 993900,
        "median_basis_solves": 0,
        "median_bulk_candidates": 0,
        "median_bulk_removals": 6,
        "median_degenerate_pivots": 0,
        "median_membership_lp_calls": 10,
        "median_ns": 917400,
        "median_pivots": 0,
        "method": "baseline",
        "min_ns": 872000,
        "successes": 7
      },
      {
        "attempts": 7,
        "case_id": "permuted",
        "failures": 0,
        "max_ns": 59300,
        "median_basis_solves": 1,
        "median_bulk_candidates": 7,
        "median_bulk_removals": 2,
        "median_degenerate_pivots": 0,
        "median_membership_lp_calls": 0,
        "median_ns": 54300,
        "median_pivots": 4,
        "method": "basis-reuse",
        "min_ns": 52000,
        "successes": 7
      }
    ],
    "trials": [
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 6,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 960500,
        "fallback": false,
        "lp_calls": 10,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          0,
          2,
          3,
          4
        ],
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": true
      },
      {
        "basis_points": [
          4,
          3,
          1
        ],
        "basis_solves": 1,
        "bulk_candidates": 7,
        "bulk_removals": 2,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 76100,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 8,
        "retained_points": [
          0,
          1,
          2,
          3,
          4,
          5,
          7,
          8
        ],
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": true
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 3,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 636200,
        "fallback": false,
        "lp_calls": 7,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": true
      },
      {
        "basis_points": [
          2,
          3,
          0
        ],
        "basis_solves": 1,
        "bulk_candidates": 4,
        "bulk_removals": 2,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 49800,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          5
        ],
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": true
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 1,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 459300,
        "fallback": false,
        "lp_calls": 5,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": true
      },
      {
        "basis_points": [
          0,
          3,
          4
        ],
        "basis_solves": 1,
        "bulk_candidates": 2,
        "bulk_removals": 0,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 2,
        "elapsed_ns": 45300,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          4
        ],
        "round": 0,
        "status": "complete",
        "verified": true,
        "warmup": true
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 6,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 926600,
        "fallback": false,
        "lp_calls": 10,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          0,
          2,
          3,
          4
        ],
        "round": 1,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          4,
          3,
          1
        ],
        "basis_solves": 1,
        "bulk_candidates": 7,
        "bulk_removals": 2,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 54300,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 8,
        "retained_points": [
          0,
          1,
          2,
          3,
          4,
          5,
          7,
          8
        ],
        "round": 1,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 3,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 660100,
        "fallback": false,
        "lp_calls": 7,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 1,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          2,
          3,
          0
        ],
        "basis_solves": 1,
        "bulk_candidates": 4,
        "bulk_removals": 2,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 48800,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          5
        ],
        "round": 1,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 1,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 459600,
        "fallback": false,
        "lp_calls": 5,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 1,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          0,
          3,
          4
        ],
        "basis_solves": 1,
        "bulk_candidates": 2,
        "bulk_removals": 0,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 2,
        "elapsed_ns": 43500,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          4
        ],
        "round": 1,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          4,
          3,
          1
        ],
        "basis_solves": 1,
        "bulk_candidates": 7,
        "bulk_removals": 2,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 59300,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 8,
        "retained_points": [
          0,
          1,
          2,
          3,
          4,
          5,
          7,
          8
        ],
        "round": 2,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 6,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 919800,
        "fallback": false,
        "lp_calls": 10,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          0,
          2,
          3,
          4
        ],
        "round": 2,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          2,
          3,
          0
        ],
        "basis_solves": 1,
        "bulk_candidates": 4,
        "bulk_removals": 2,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 51300,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          5
        ],
        "round": 2,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 3,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 648800,
        "fallback": false,
        "lp_calls": 7,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 2,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          0,
          3,
          4
        ],
        "basis_solves": 1,
        "bulk_candidates": 2,
        "bulk_removals": 0,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 2,
        "elapsed_ns": 45600,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          4
        ],
        "round": 2,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 1,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 489600,
        "fallback": false,
        "lp_calls": 5,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 2,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 6,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 899400,
        "fallback": false,
        "lp_calls": 10,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          0,
          2,
          3,
          4
        ],
        "round": 3,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          4,
          3,
          1
        ],
        "basis_solves": 1,
        "bulk_candidates": 7,
        "bulk_removals": 2,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 52800,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 8,
        "retained_points": [
          0,
          1,
          2,
          3,
          4,
          5,
          7,
          8
        ],
        "round": 3,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 3,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 643600,
        "fallback": false,
        "lp_calls": 7,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 3,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          2,
          3,
          0
        ],
        "basis_solves": 1,
        "bulk_candidates": 4,
        "bulk_removals": 2,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 48400,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          5
        ],
        "round": 3,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 1,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 467300,
        "fallback": false,
        "lp_calls": 5,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 3,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          0,
          3,
          4
        ],
        "basis_solves": 1,
        "bulk_candidates": 2,
        "bulk_removals": 0,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 2,
        "elapsed_ns": 43100,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          4
        ],
        "round": 3,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          4,
          3,
          1
        ],
        "basis_solves": 1,
        "bulk_candidates": 7,
        "bulk_removals": 2,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 54300,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 8,
        "retained_points": [
          0,
          1,
          2,
          3,
          4,
          5,
          7,
          8
        ],
        "round": 4,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 6,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 993900,
        "fallback": false,
        "lp_calls": 10,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          0,
          2,
          3,
          4
        ],
        "round": 4,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          2,
          3,
          0
        ],
        "basis_solves": 1,
        "bulk_candidates": 4,
        "bulk_removals": 2,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 52200,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          5
        ],
        "round": 4,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 3,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 642400,
        "fallback": false,
        "lp_calls": 7,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 4,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          0,
          3,
          4
        ],
        "basis_solves": 1,
        "bulk_candidates": 2,
        "bulk_removals": 0,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 2,
        "elapsed_ns": 44200,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          4
        ],
        "round": 4,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 1,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 461000,
        "fallback": false,
        "lp_calls": 5,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 4,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 6,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 893400,
        "fallback": false,
        "lp_calls": 10,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          0,
          2,
          3,
          4
        ],
        "round": 5,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          4,
          3,
          1
        ],
        "basis_solves": 1,
        "bulk_candidates": 7,
        "bulk_removals": 2,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 52000,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 8,
        "retained_points": [
          0,
          1,
          2,
          3,
          4,
          5,
          7,
          8
        ],
        "round": 5,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 3,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 644600,
        "fallback": false,
        "lp_calls": 7,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 5,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          2,
          3,
          0
        ],
        "basis_solves": 1,
        "bulk_candidates": 4,
        "bulk_removals": 2,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 50600,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          5
        ],
        "round": 5,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 1,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 474900,
        "fallback": false,
        "lp_calls": 5,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 5,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          0,
          3,
          4
        ],
        "basis_solves": 1,
        "bulk_candidates": 2,
        "bulk_removals": 0,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 2,
        "elapsed_ns": 43200,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          4
        ],
        "round": 5,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          4,
          3,
          1
        ],
        "basis_solves": 1,
        "bulk_candidates": 7,
        "bulk_removals": 2,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 55100,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 8,
        "retained_points": [
          0,
          1,
          2,
          3,
          4,
          5,
          7,
          8
        ],
        "round": 6,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 6,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 917400,
        "fallback": false,
        "lp_calls": 10,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          0,
          2,
          3,
          4
        ],
        "round": 6,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          2,
          3,
          0
        ],
        "basis_solves": 1,
        "bulk_candidates": 4,
        "bulk_removals": 2,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 54000,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          5
        ],
        "round": 6,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 3,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 646800,
        "fallback": false,
        "lp_calls": 7,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 6,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          0,
          3,
          4
        ],
        "basis_solves": 1,
        "bulk_candidates": 2,
        "bulk_removals": 0,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 2,
        "elapsed_ns": 50300,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          4
        ],
        "round": 6,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 1,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 492100,
        "fallback": false,
        "lp_calls": 5,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 6,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 6,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 872000,
        "fallback": false,
        "lp_calls": 10,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          0,
          2,
          3,
          4
        ],
        "round": 7,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          4,
          3,
          1
        ],
        "basis_solves": 1,
        "bulk_candidates": 7,
        "bulk_removals": 2,
        "case_id": "permuted",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 52400,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 8,
        "retained_points": [
          0,
          1,
          2,
          3,
          4,
          5,
          7,
          8
        ],
        "round": 7,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 3,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 623100,
        "fallback": false,
        "lp_calls": 7,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 7,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          2,
          3,
          0
        ],
        "basis_solves": 1,
        "bulk_candidates": 4,
        "bulk_removals": 2,
        "case_id": "degenerate",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 49900,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          5
        ],
        "round": 7,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [],
        "basis_solves": 0,
        "bulk_candidates": 0,
        "bulk_removals": 1,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 0,
        "elapsed_ns": 474700,
        "fallback": false,
        "lp_calls": 5,
        "method": "baseline",
        "output_ids_valid": true,
        "pivots": 0,
        "retained": 4,
        "retained_points": [
          1,
          2,
          3,
          4
        ],
        "round": 7,
        "status": "complete",
        "verified": true,
        "warmup": false
      },
      {
        "basis_points": [
          0,
          3,
          4
        ],
        "basis_solves": 1,
        "bulk_candidates": 2,
        "bulk_removals": 0,
        "case_id": "interior-basis",
        "contains_all_inputs": true,
        "degenerate_pivots": 2,
        "elapsed_ns": 45900,
        "fallback": false,
        "lp_calls": 0,
        "method": "basis-reuse",
        "output_ids_valid": true,
        "pivots": 4,
        "retained": 5,
        "retained_points": [
          0,
          1,
          2,
          3,
          4
        ],
        "round": 7,
        "status": "complete",
        "verified": true,
        "warmup": false
      }
    ]
  },
  "payload_schema": "csl.hull-benchmark-records/1",
  "payload_sha256": "54a771aa701b74863cead29791c6ee9ed12d63e2b2b0b0b33497a1a0b0fada9e",
  "report_id": "opt06-basis-reuse-20261014-ef70e8c5-57c666a4f82b1f7c84d3507fbad32982a7928129c18f80348ea2c9ad457b3a8d",
  "report_kind": "opt06-basis-reuse",
  "schema": "csl.algorithm-report-envelope/1",
  "source_commit": "ef70e8c580a9556b0f5d96e49070d33221bf5b64",
  "source_report_id": "opt06-basis-reuse-20261014-ef70e8c5-r2"
}