{
  "evidence_limits": "Exploratory single-adapter batch timings with possible host contention; no comparator, speedup, source-mapped limiter, or per-call latency claim; displayed rounded B08 open-loop linear model only, binary64 numerical assurance",
  "measured_scope": "Eight checked finite-action minimax fixtures; seven Release batch observations per fixture, with fixture-specific call counts",
  "native_payload_sha256": "64b8faa67472a54cb2e144be3be2b079e7993dc309068d2e447a3aa205a7ea22",
  "payload": {
    "binary_sha256": "18efe090a2809c092263b99c5b87d5bdaeea8007fc848826bc64ecb2eb2c88f7",
    "concurrent_work_note": "Other project worktrees had active local builds/tests during collection; host contention may affect batch durations.",
    "failed_batches": 0,
    "fixture_sha256": "9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a",
    "harness_commit": "2f915110ba42515fdc448a0c226dc1290b80f82d",
    "harness_tree": "c3259b26fa792b5abd70919366cf8c40882e69af",
    "measured_batches": 56,
    "performance_conclusion": "Inconclusive: one adapter, no comparator or source-mapped limiter.",
    "preflight": {
      "actual_native_threads": null,
      "actual_native_threads_reason": "No native thread count counter exposed by this public path.",
      "arithmetic": "binary64; absolute B08 tie tolerance 1e-8; numerical assurance",
      "binary_sha256": "18efe090a2809c092263b99c5b87d5bdaeea8007fc848826bc64ecb2eb2c88f7",
      "build_configuration": "Release",
      "build_graph_sha256": "ef1803a3a2a54527a866c07e527c3919f4192b052eb1c9d2651b0da70d35b72c",
      "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"
        ]
      },
      "fixture_sha256": "9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a",
      "fresh_build_sha256": "ad01f2ca80206fccd37a20ff58336794e4efd35fe1a56d5c3f66b998fc3e7271",
      "harness_commit": "2f915110ba42515fdc448a0c226dc1290b80f82d",
      "harness_tree": "c3259b26fa792b5abd70919366cf8c40882e69af",
      "logical_processors": 12,
      "os": "Windows-11-10.0.22631-SP0",
      "processor": "Intel64 Family 6 Model 151 Stepping 5, GenuineIntel",
      "requested_driver_workers": 1,
      "schema": "csl.issue3-preflight/1",
      "source_commit": "994f3ee4310b4087d289e2eb02adbdb9dfd97827",
      "source_tree": "2b07e8378561b74fd763e43ca70c78cfd1145b99"
    },
    "raw_sha256": "b4632ce76510aa4f2bb136baa193bc78da66506336a90d048cd8495c2d7926de",
    "report_id": "issue3-finite-catalogue-b4632ce76510aa4f",
    "schema": "csl.issue3-finite-catalogue-records/1",
    "source_commit": "994f3ee4310b4087d289e2eb02adbdb9dfd97827",
    "source_tree": "2b07e8378561b74fd763e43ca70c78cfd1145b99",
    "summary": [
      {
        "batch_checked_calls": 10000,
        "failed_batches": 0,
        "fixture": "l19",
        "input_sha256": "f1c6097654913bd8a326370568a7d475e23bd3553b93776a98cf9acb6c9bb910",
        "max_batch_ns": 210982000,
        "measured_batches": 7,
        "median_batch_ns": 196741800,
        "min_batch_ns": 183395500,
        "result": {
          "evaluated_vertices": 4,
          "maximizers": [
            [
              0.0
            ],
            [
              2.0
            ]
          ],
          "minimizing_plan_indices": [
            0,
            1
          ],
          "plan_count": 2,
          "sampled_objective_values": [
            1.0,
            0.0,
            1.0
          ],
          "status": "numerical_optimal",
          "value": 1.0,
          "worst_values": [
            1.0,
            1.0
          ]
        },
        "status": "numerical_optimal"
      },
      {
        "batch_checked_calls": 5000,
        "failed_batches": 0,
        "fixture": "integrator",
        "input_sha256": "6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206",
        "max_batch_ns": 78382500,
        "measured_batches": 7,
        "median_batch_ns": 75580400,
        "min_batch_ns": 73876900,
        "result": {
          "evaluated_vertices": 4,
          "minimizing_plan_indices": [
            0
          ],
          "plan_count": 2,
          "status": "numerical_optimal",
          "value": 1.0,
          "worst_values": [
            1.0,
            4.0
          ]
        },
        "status": "numerical_optimal"
      },
      {
        "batch_checked_calls": 5000,
        "failed_batches": 0,
        "fixture": "all_infeasible",
        "input_sha256": "27b2be0e3d8118643466531993b6df1fbcc328bcd83cda020da9f21f6b509f24",
        "max_batch_ns": 71645500,
        "measured_batches": 7,
        "median_batch_ns": 69757000,
        "min_batch_ns": 68734800,
        "result": {
          "rejected_plans": [
            {
              "action_indices": [
                0
              ],
              "stage": 1,
              "violating_successor": [
                2.0
              ]
            },
            {
              "action_indices": [
                1
              ],
              "stage": 1,
              "violating_successor": [
                1.0
              ]
            }
          ],
          "status": "infeasible"
        },
        "status": "infeasible"
      },
      {
        "batch_checked_calls": 5000,
        "failed_batches": 0,
        "fixture": "empty_catalogue",
        "input_sha256": "ecd876e1d4b5711861b0f6aeb44f830cc9681f301a4b004b65926650e90e9cfa",
        "max_batch_ns": 31244200,
        "measured_batches": 7,
        "median_batch_ns": 30372900,
        "min_batch_ns": 29999300,
        "result": {
          "status": "empty_catalogue"
        },
        "status": "empty_catalogue"
      },
      {
        "batch_checked_calls": 5000,
        "failed_batches": 0,
        "fixture": "no_scenarios",
        "input_sha256": "409b79001bbb00ca49aa1f724937b9e0b628d0e37b34a2f20ffa2f1069ed7e7a",
        "max_batch_ns": 43869700,
        "measured_batches": 7,
        "median_batch_ns": 37121000,
        "min_batch_ns": 36511800,
        "result": {
          "status": "no_scenarios"
        },
        "status": "no_scenarios"
      },
      {
        "batch_checked_calls": 5000,
        "failed_batches": 0,
        "fixture": "unsupported",
        "input_sha256": "6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206",
        "max_batch_ns": 34921900,
        "measured_batches": 7,
        "median_batch_ns": 34494600,
        "min_batch_ns": 34253200,
        "result": {
          "field": "finite_minimax.capacity",
          "status": "unsupported"
        },
        "status": "unsupported"
      },
      {
        "batch_checked_calls": 5000,
        "failed_batches": 0,
        "fixture": "cancelled",
        "input_sha256": "410fbcf3487259261dda4cc5d5e4aeb8966827eb584be25ed00fd73edaaf03d3",
        "max_batch_ns": 39394600,
        "measured_batches": 7,
        "median_batch_ns": 37932200,
        "min_batch_ns": 37439500,
        "result": {
          "reason": "cancelled",
          "status": "stopped"
        },
        "status": "stopped"
      },
      {
        "batch_checked_calls": 1,
        "failed_batches": 0,
        "fixture": "b08_rounded",
        "input_sha256": "47ec040f5631dd1b24012318223efb73fa2bb7aa2db76c03c56cb88f2a85e733",
        "max_batch_ns": 86382800,
        "measured_batches": 7,
        "median_batch_ns": 84898000,
        "min_batch_ns": 83338500,
        "result": {
          "evaluated_vertices": 160000,
          "minimizing_plan_indices": [
            17,
            33,
            129
          ],
          "plan_count": 625,
          "status": "numerical_optimal",
          "value": 67.15060110140273
        },
        "status": "numerical_optimal"
      }
    ],
    "timing_scope": "Per batch: fixture construction, fresh public finite_action_minimax calls, literal checks and result construction; excludes process startup, JSONL serialization, persistence, plotting and rendering.",
    "warmups": 8
  },
  "payload_schema": "csl.issue3-finite-catalogue-records/1",
  "payload_sha256": "64b8faa67472a54cb2e144be3be2b079e7993dc309068d2e447a3aa205a7ea22",
  "report_id": "issue3-finite-catalogue-388b4be3a35ac10c9b42bf8f92ac5ae06b2120049dc6003791bc6487628478de",
  "report_kind": "issue3-finite-catalogue",
  "schema": "csl.algorithm-report-envelope/1",
  "source_commit": "994f3ee4310b4087d289e2eb02adbdb9dfd97827",
  "source_report_id": "issue3-finite-catalogue-b4632ce76510aa4f"
}