{
  "evidence_limits": "Single adapter, no comparator or speedup; displayed rounded B08 finite-action catalogue only; binary64 numerical assurance, no validated enclosure, nonlinear result or feedback optimal-family claim",
  "measured_scope": "Four native fixed-plan and convex worst-case numerical fixtures; seven Release batch observations each",
  "native_payload_sha256": "f4b776a569604d7613543645a17b40a5edab574b6909ad47ac7bf8d58ada29a5",
  "payload": {
    "arithmetic": {
      "assurance": "numerical; no validated rounding enclosure",
      "b08_tie_absolute_tolerance": 1e-08,
      "objective_policy_absolute_tolerance": 1e-08,
      "objective_policy_relative_tolerance": 1e-08,
      "type": "binary64"
    },
    "attempts": 32,
    "build": {
      "binary_sha256": "9297ef4623f5fb885d94562b1327765ccba86282bfb0fc74803e33212d548954",
      "cmake": {
        "generator": "Visual Studio 17 2022",
        "version": {
          "isDirty": false,
          "major": 3,
          "minor": 31,
          "patch": 6,
          "string": "3.31.6-msvc6",
          "suffix": "msvc6"
        }
      },
      "compiler": {
        "compiler": {
          "id": "MSVC",
          "implicit": {
            "includeDirectories": [],
            "linkDirectories": [],
            "linkFrameworkDirectories": [],
            "linkLibraries": []
          },
          "path": "C:/Program Files/Microsoft Visual Studio/2022/Community/VC/Tools/MSVC/14.44.35207/bin/Hostx64/x64/cl.exe",
          "version": "19.44.35215.0"
        },
        "language": "CXX",
        "sourceFileExtensions": [
          "C",
          "M",
          "c++",
          "cc",
          "cpp",
          "cxx",
          "mm",
          "mpp",
          "CPP",
          "ixx",
          "cppm",
          "ccm",
          "cxxm",
          "c++m"
        ]
      },
      "configuration": "Release",
      "driver_sha256": "25f89543d4627ecce2a4f40dde5e51b7d1da75c7737a9e199ac7835962d374d9",
      "fresh_build_sha256": "b9aa62a77cf19a93e85e0aac3d2a19084f5f1341b1610c8c308d87d9c187603f",
      "graph_sha256": "4e35bb72e7bce244feac7e67e36fad4d1b184038af470c3c8136c59e04a16fa4"
    },
    "collected_utc": "2026-10-16T11:38:38.707297+00:00",
    "environment": {
      "actual_native_threads": null,
      "actual_native_threads_reason": "No native thread-count counter in the report driver; standalone process is sequential at the fixture loop.",
      "concurrent_work_note": "No other known local heavy build active; ordinary background processes not controlled.",
      "host_cpu_percent_after_measurement": 1.4,
      "host_cpu_percent_before_profile": 8.8,
      "host_cpu_percent_between_runs": 1.3,
      "logical_processors": 12,
      "machine": "AMD64",
      "memory_total_bytes": 34189107200,
      "physical_cores": 6,
      "processor": "Intel64 Family 6 Model 151 Stepping 5, GenuineIntel",
      "psutil": "7.0.0",
      "python": "3.13.5",
      "release": "11",
      "requested_driver_workers": 1,
      "system": "Windows",
      "version": "10.0.22631"
    },
    "failures": 0,
    "harness_commit": "11b7bc74e4756bafc2c6c450628d10c6a62f8f39",
    "inputs": {
      "assumptions": "Independent compact V disturbances, affine model, convex H safety; displayed rounded B08 arrays.",
      "authored_fixture_sha256": "25f89543d4627ecce2a4f40dde5e51b7d1da75c7737a9e199ac7835962d374d9",
      "b08_saved_reference_sha256": "d9aed4974d06d49e42e740e5c4be7b73ac06c7f76a110e4500eadb1d44180997"
    },
    "performance_conclusion": "Exploratory single-adapter observations; no comparator or speedup claim.",
    "report_id": "ext01-fixed-plan-20261016-11b7bc74",
    "schema": "csl.ext01-fixed-plan-records/1",
    "source_commit": "fd75a63657bc6b1d8cbd26c644bd8fb39cc1a3ec",
    "source_delta": [
      "CMakeLists.txt",
      "benchmarks/reporting/ext01/fixed_plan_driver.cpp",
      "cmake/OptionalReports.cmake",
      "scripts/reports/ext01/README.md",
      "scripts/reports/ext01/check_smoke.py"
    ],
    "source_tree": "1a90152038ab9d4eec8bd96329b7311121ab1a2c",
    "successes": 32,
    "summary": [
      {
        "attempts": 7,
        "batch": 10000,
        "failures": 0,
        "fixture": "l19",
        "max_elapsed_ns": 57473800,
        "median_elapsed_ns": 45803600,
        "min_elapsed_ns": 45122800,
        "successes": 7
      },
      {
        "attempts": 7,
        "batch": 5000,
        "failures": 0,
        "fixture": "integrator_feasible",
        "max_elapsed_ns": 108355200,
        "median_elapsed_ns": 97209600,
        "min_elapsed_ns": 96530900,
        "successes": 7
      },
      {
        "attempts": 7,
        "batch": 5000,
        "failures": 0,
        "fixture": "integrator_violation",
        "max_elapsed_ns": 78145700,
        "median_elapsed_ns": 76543900,
        "min_elapsed_ns": 73668300,
        "successes": 7
      },
      {
        "attempts": 7,
        "batch": 1,
        "failures": 0,
        "fixture": "b08_rounded",
        "max_elapsed_ns": 94758500,
        "median_elapsed_ns": 91284100,
        "min_elapsed_ns": 90217000,
        "successes": 7
      }
    ],
    "timing": {
      "clock": "steady_clock",
      "interval_interpretation": "The L19 10000-call batch is about 44 ms on this host; report its batch time with range, not an extrapolated single-call latency or throughput claim.",
      "measured_rounds": 7,
      "minimum_admitted_batch_interval_ns": 20000000,
      "order": "Alternating fixture order by round",
      "profile_is_reported": false,
      "raw_sha256": "7e6a864ecd08a084ca79b3f74fc226686ec2bc8224bb51536182e9129083f16b",
      "scope": "Fixture construction, public API calls, literal checks and JSON result object; excludes process startup, JSONL serialization, persistence, rendering.",
      "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "unit": "ns",
      "warmup_rounds": 1,
      "workspace_reuse": "Fixture and API results constructed anew for each checked call; one warmup round excluded."
    },
    "trials": [
      {
        "batch": 10000,
        "checked_calls": 10000,
        "elapsed_ns": 49338300,
        "fixture": "l19",
        "result": {
          "evaluated_vertices": 3,
          "maximizer": [
            0.0
          ],
          "observed_objective_values": [
            1.0,
            0.0,
            1.0
          ],
          "sampled_points": [
            0.0,
            1.0,
            2.0
          ],
          "stationary_midpoint_value": 0.0,
          "status": "numerical_value",
          "worst_value": 1.0
        },
        "round": 0,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": true
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 101218500,
        "fixture": "integrator_feasible",
        "result": {
          "stages": 3,
          "status": "numerical_reachable",
          "terminal_candidates": 4,
          "terminal_worst_value": 4
        },
        "round": 0,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": true
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 77007500,
        "fixture": "integrator_violation",
        "result": {
          "stage": 1,
          "status": "robust_violation",
          "violating_successor": [
            -1.0
          ]
        },
        "round": 0,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": true
      },
      {
        "batch": 1,
        "checked_calls": 1,
        "elapsed_ns": 105428600,
        "fixture": "b08_rounded",
        "result": {
          "disturbance_histories": 160000,
          "minimum_worst_value": 67.15060110140755,
          "plan_count": 625,
          "status": "numerical_reference",
          "ties_at_1e-8": 3
        },
        "round": 0,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": true
      },
      {
        "batch": 1,
        "checked_calls": 1,
        "elapsed_ns": 94758500,
        "fixture": "b08_rounded",
        "result": {
          "disturbance_histories": 160000,
          "minimum_worst_value": 67.15060110140755,
          "plan_count": 625,
          "status": "numerical_reference",
          "ties_at_1e-8": 3
        },
        "round": 1,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 78145700,
        "fixture": "integrator_violation",
        "result": {
          "stage": 1,
          "status": "robust_violation",
          "violating_successor": [
            -1.0
          ]
        },
        "round": 1,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 108355200,
        "fixture": "integrator_feasible",
        "result": {
          "stages": 3,
          "status": "numerical_reachable",
          "terminal_candidates": 4,
          "terminal_worst_value": 4
        },
        "round": 1,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 10000,
        "checked_calls": 10000,
        "elapsed_ns": 57473800,
        "fixture": "l19",
        "result": {
          "evaluated_vertices": 3,
          "maximizer": [
            0.0
          ],
          "observed_objective_values": [
            1.0,
            0.0,
            1.0
          ],
          "sampled_points": [
            0.0,
            1.0,
            2.0
          ],
          "stationary_midpoint_value": 0.0,
          "status": "numerical_value",
          "worst_value": 1.0
        },
        "round": 1,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 10000,
        "checked_calls": 10000,
        "elapsed_ns": 45251100,
        "fixture": "l19",
        "result": {
          "evaluated_vertices": 3,
          "maximizer": [
            0.0
          ],
          "observed_objective_values": [
            1.0,
            0.0,
            1.0
          ],
          "sampled_points": [
            0.0,
            1.0,
            2.0
          ],
          "stationary_midpoint_value": 0.0,
          "status": "numerical_value",
          "worst_value": 1.0
        },
        "round": 2,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 97117100,
        "fixture": "integrator_feasible",
        "result": {
          "stages": 3,
          "status": "numerical_reachable",
          "terminal_candidates": 4,
          "terminal_worst_value": 4
        },
        "round": 2,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 73668300,
        "fixture": "integrator_violation",
        "result": {
          "stage": 1,
          "status": "robust_violation",
          "violating_successor": [
            -1.0
          ]
        },
        "round": 2,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 1,
        "checked_calls": 1,
        "elapsed_ns": 94362600,
        "fixture": "b08_rounded",
        "result": {
          "disturbance_histories": 160000,
          "minimum_worst_value": 67.15060110140755,
          "plan_count": 625,
          "status": "numerical_reference",
          "ties_at_1e-8": 3
        },
        "round": 2,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 1,
        "checked_calls": 1,
        "elapsed_ns": 91123000,
        "fixture": "b08_rounded",
        "result": {
          "disturbance_histories": 160000,
          "minimum_worst_value": 67.15060110140755,
          "plan_count": 625,
          "status": "numerical_reference",
          "ties_at_1e-8": 3
        },
        "round": 3,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 76849300,
        "fixture": "integrator_violation",
        "result": {
          "stage": 1,
          "status": "robust_violation",
          "violating_successor": [
            -1.0
          ]
        },
        "round": 3,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 96530900,
        "fixture": "integrator_feasible",
        "result": {
          "stages": 3,
          "status": "numerical_reachable",
          "terminal_candidates": 4,
          "terminal_worst_value": 4
        },
        "round": 3,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 10000,
        "checked_calls": 10000,
        "elapsed_ns": 45146900,
        "fixture": "l19",
        "result": {
          "evaluated_vertices": 3,
          "maximizer": [
            0.0
          ],
          "observed_objective_values": [
            1.0,
            0.0,
            1.0
          ],
          "sampled_points": [
            0.0,
            1.0,
            2.0
          ],
          "stationary_midpoint_value": 0.0,
          "status": "numerical_value",
          "worst_value": 1.0
        },
        "round": 3,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 10000,
        "checked_calls": 10000,
        "elapsed_ns": 47478900,
        "fixture": "l19",
        "result": {
          "evaluated_vertices": 3,
          "maximizer": [
            0.0
          ],
          "observed_objective_values": [
            1.0,
            0.0,
            1.0
          ],
          "sampled_points": [
            0.0,
            1.0,
            2.0
          ],
          "stationary_midpoint_value": 0.0,
          "status": "numerical_value",
          "worst_value": 1.0
        },
        "round": 4,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 99208700,
        "fixture": "integrator_feasible",
        "result": {
          "stages": 3,
          "status": "numerical_reachable",
          "terminal_candidates": 4,
          "terminal_worst_value": 4
        },
        "round": 4,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 76543900,
        "fixture": "integrator_violation",
        "result": {
          "stage": 1,
          "status": "robust_violation",
          "violating_successor": [
            -1.0
          ]
        },
        "round": 4,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 1,
        "checked_calls": 1,
        "elapsed_ns": 91053300,
        "fixture": "b08_rounded",
        "result": {
          "disturbance_histories": 160000,
          "minimum_worst_value": 67.15060110140755,
          "plan_count": 625,
          "status": "numerical_reference",
          "ties_at_1e-8": 3
        },
        "round": 4,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 1,
        "checked_calls": 1,
        "elapsed_ns": 90217000,
        "fixture": "b08_rounded",
        "result": {
          "disturbance_histories": 160000,
          "minimum_worst_value": 67.15060110140755,
          "plan_count": 625,
          "status": "numerical_reference",
          "ties_at_1e-8": 3
        },
        "round": 5,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 75986200,
        "fixture": "integrator_violation",
        "result": {
          "stage": 1,
          "status": "robust_violation",
          "violating_successor": [
            -1.0
          ]
        },
        "round": 5,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 97495400,
        "fixture": "integrator_feasible",
        "result": {
          "stages": 3,
          "status": "numerical_reachable",
          "terminal_candidates": 4,
          "terminal_worst_value": 4
        },
        "round": 5,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 10000,
        "checked_calls": 10000,
        "elapsed_ns": 45803600,
        "fixture": "l19",
        "result": {
          "evaluated_vertices": 3,
          "maximizer": [
            0.0
          ],
          "observed_objective_values": [
            1.0,
            0.0,
            1.0
          ],
          "sampled_points": [
            0.0,
            1.0,
            2.0
          ],
          "stationary_midpoint_value": 0.0,
          "status": "numerical_value",
          "worst_value": 1.0
        },
        "round": 5,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 10000,
        "checked_calls": 10000,
        "elapsed_ns": 46002900,
        "fixture": "l19",
        "result": {
          "evaluated_vertices": 3,
          "maximizer": [
            0.0
          ],
          "observed_objective_values": [
            1.0,
            0.0,
            1.0
          ],
          "sampled_points": [
            0.0,
            1.0,
            2.0
          ],
          "stationary_midpoint_value": 0.0,
          "status": "numerical_value",
          "worst_value": 1.0
        },
        "round": 6,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 97209600,
        "fixture": "integrator_feasible",
        "result": {
          "stages": 3,
          "status": "numerical_reachable",
          "terminal_candidates": 4,
          "terminal_worst_value": 4
        },
        "round": 6,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 75939700,
        "fixture": "integrator_violation",
        "result": {
          "stage": 1,
          "status": "robust_violation",
          "violating_successor": [
            -1.0
          ]
        },
        "round": 6,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 1,
        "checked_calls": 1,
        "elapsed_ns": 91357800,
        "fixture": "b08_rounded",
        "result": {
          "disturbance_histories": 160000,
          "minimum_worst_value": 67.15060110140755,
          "plan_count": 625,
          "status": "numerical_reference",
          "ties_at_1e-8": 3
        },
        "round": 6,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 1,
        "checked_calls": 1,
        "elapsed_ns": 91284100,
        "fixture": "b08_rounded",
        "result": {
          "disturbance_histories": 160000,
          "minimum_worst_value": 67.15060110140755,
          "plan_count": 625,
          "status": "numerical_reference",
          "ties_at_1e-8": 3
        },
        "round": 7,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 77313600,
        "fixture": "integrator_violation",
        "result": {
          "stage": 1,
          "status": "robust_violation",
          "violating_successor": [
            -1.0
          ]
        },
        "round": 7,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 5000,
        "checked_calls": 5000,
        "elapsed_ns": 97131200,
        "fixture": "integrator_feasible",
        "result": {
          "stages": 3,
          "status": "numerical_reachable",
          "terminal_candidates": 4,
          "terminal_worst_value": 4
        },
        "round": 7,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      },
      {
        "batch": 10000,
        "checked_calls": 10000,
        "elapsed_ns": 45122800,
        "fixture": "l19",
        "result": {
          "evaluated_vertices": 3,
          "maximizer": [
            0.0
          ],
          "observed_objective_values": [
            1.0,
            0.0,
            1.0
          ],
          "sampled_points": [
            0.0,
            1.0,
            2.0
          ],
          "stationary_midpoint_value": 0.0,
          "status": "numerical_value",
          "worst_value": 1.0
        },
        "round": 7,
        "schema": "csl.ext01-raw-trial/1",
        "warmup": false
      }
    ]
  },
  "payload_schema": "csl.ext01-fixed-plan-records/1",
  "payload_sha256": "f4b776a569604d7613543645a17b40a5edab574b6909ad47ac7bf8d58ada29a5",
  "report_id": "ext01-fixed-plan-303ad863ca3af58dc6a515844c474fe0e1af9349e55cb8acd1ff1a3f220f1b54",
  "report_kind": "ext01-fixed-plan",
  "schema": "csl.algorithm-report-envelope/1",
  "source_commit": "fd75a63657bc6b1d8cbd26c644bd8fb39cc1a3ec",
  "source_report_id": "ext01-fixed-plan-20261016-11b7bc74"
}