{
  "algorithm_source_checkout": {
    "clean_after_run": true,
    "clean_before_build": true,
    "head": "e22d9c2aeb05dc7567038801e6a21b8780184c9e",
    "strategy_header_sha256": "d3ac738bed95a3bcf71fe922a43c947e1a1065bdbfa8d41f3e0d40cb8c893bbd",
    "strategy_source_sha256": "5c29baf65a3243fc9b9fa41746553c8a23aca08e0ad2e23a7a826fa4ab7c75fa",
    "tree_sha": "0884e4e856b18d0ec8f39ac20459310432b65476"
  },
  "algorithm_source_commit": "e22d9c2aeb05dc7567038801e6a21b8780184c9e",
  "binary": {
    "bytes": 401920,
    "configuration": "Release",
    "cxx_standard": "c++20",
    "ndebug": true,
    "path": "release-build\\Release\\csl_syn07_ts01_report.exe",
    "release_properties": {
      "AdditionalIncludeDirectories": "C:\\Users\\f5spb\\.codex\\worktrees\\ts01-report-200\\build\\ts01-source-e22d9c2\\solver-source\\include;%(AdditionalIncludeDirectories)",
      "AssemblerListingLocation": "$(IntDir)",
      "BasicRuntimeChecks": "Default",
      "ConformanceMode": "true",
      "DebugInformationFormat": "\n      ",
      "ExceptionHandling": "Sync",
      "InlineFunctionExpansion": "AnySuitable",
      "LanguageStandard": "stdcpp20",
      "MinimalRebuild": "",
      "ObjectFileName": "$(IntDir)",
      "Optimization": "MaxSpeed",
      "PrecompiledHeader": "NotUsing",
      "PreprocessorDefinitions": "%(PreprocessorDefinitions);WIN32;_WINDOWS;NDEBUG;CMAKE_INTDIR=\"Release\"",
      "RuntimeLibrary": "MultiThreadedDLL",
      "ScanSourceForModuleDependencies": "true",
      "SupportJustMyCode": "",
      "TreatWarningAsError": "true",
      "UseFullPaths": "false",
      "WarningLevel": "Level4"
    },
    "sha256": "9609d2d5a2a4d740e64de3f1a4bcf108a2c760b801decb940ff2e029345e8c0d"
  },
  "build_provenance": {
    "build_command": [
      "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\Common7\\IDE\\CommonExtensions\\Microsoft\\CMake\\CMake\\bin\\cmake.exe",
      "--build",
      "C:\\Users\\f5spb\\.codex\\worktrees\\ts01-report-200\\build\\ts01-source-e22d9c2\\release-build",
      "--config",
      "Release",
      "--target",
      "csl_syn07_ts01_report",
      "--parallel",
      "4"
    ],
    "build_log_sha256": "c82b46be06eac45a84b2fc1c476a13e97c431043f1fd56422ee01b7403dde240",
    "cmake_cache_sha256": "699dccf4eca34a047713a58e93e84e2e4ddef381ced67e7c38f79944b1d84fe3",
    "cmake_path": "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\Common7\\IDE\\CommonExtensions\\Microsoft\\CMake\\CMake\\bin\\cmake.exe",
    "cmake_sha256": "b540efece9172930877dff0c9fedda7a69b0dd82446e0e8bba13372aac6c8ac8",
    "cmake_version": "cmake version 3.31.6-msvc6",
    "compiler": "MSVC",
    "compiler_config_sha256": "33bebcb486c4fc42c67f633fb5ff363392744fda1fcfed6ccf6230a10ed09cbf",
    "compiler_path": "C:/Program Files/Microsoft Visual Studio/2022/Community/VC/Tools/MSVC/14.44.35207/bin/Hostx64/x64/cl.exe",
    "compiler_version": "19.44.35215.0",
    "configuration": "Release",
    "configure_command": [
      "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\Common7\\IDE\\CommonExtensions\\Microsoft\\CMake\\CMake\\bin\\cmake.exe",
      "-S",
      "C:\\Users\\f5spb\\.codex\\worktrees\\ts01-report-200\\reports\\algorithm-results\\tooling\\ts01\\runner",
      "-B",
      "C:\\Users\\f5spb\\.codex\\worktrees\\ts01-report-200\\build\\ts01-source-e22d9c2\\release-build",
      "-G",
      "Visual Studio 17 2022",
      "-A",
      "x64",
      "-DCSL_SOURCE_ROOT=C:\\Users\\f5spb\\.codex\\worktrees\\ts01-report-200\\build\\ts01-source-e22d9c2\\solver-source",
      "-DBUILD_TESTING=OFF",
      "-DFETCHCONTENT_BASE_DIR=C:\\Users\\f5spb\\.codex\\worktrees\\ts01-report-200\\build\\ts01-report\\_deps",
      "-DFETCHCONTENT_FULLY_DISCONNECTED=ON"
    ],
    "configure_log_sha256": "855f207ac2bd8b4fefac699850cdb17c1a2d787d04b975bb22b4e2737c64a521",
    "dependency_cache": "C:\\Users\\f5spb\\.codex\\worktrees\\ts01-report-200\\build\\ts01-report\\_deps",
    "generator": "Visual Studio 17 2022 x64",
    "target_project_sha256": "018749b6a99ebbc8a2e265e6a5c32c4f62179702d51626381186572cf9408761"
  },
  "counts": {
    "all_outputs_consumed_and_validated": true,
    "failed": 0,
    "measured": 7,
    "passed": 7,
    "unique_consumed_result_markers": 1,
    "warmup": 1
  },
  "environment": {
    "clock": "std::chrono::steady_clock; elapsed duration in nanoseconds",
    "load_policy": "Unrelated processes were left running; the two CPU samples are outside the measured process. This is a single-side observation, so no interleaving or noise cancellation is claimed.",
    "logical_cpu_count": 12,
    "os": "Windows-11-10.0.22631-SP0",
    "processor": "Intel64 Family 6 Model 151 Stepping 5, GenuineIntel",
    "python": "3.13.5",
    "total_cpu_percent_1s_after": 1.8,
    "total_cpu_percent_1s_before": 2.6
  },
  "events": [
    {
      "consumed_result_marker": 1805158144890476961,
      "elapsed_ns": 232300,
      "error": "",
      "objective_lower": 0,
      "objective_upper": 0,
      "outcome": "optimal",
      "repetition": 0,
      "residuals_available": false,
      "schema": "csl.syn07-ts01-measurement-event/2",
      "status": "passed",
      "termination": "completed",
      "warmup": true
    },
    {
      "consumed_result_marker": 1805158144890476961,
      "elapsed_ns": 40400,
      "error": "",
      "objective_lower": 0,
      "objective_upper": 0,
      "outcome": "optimal",
      "repetition": 1,
      "residuals_available": false,
      "schema": "csl.syn07-ts01-measurement-event/2",
      "status": "passed",
      "termination": "completed",
      "warmup": false
    },
    {
      "consumed_result_marker": 1805158144890476961,
      "elapsed_ns": 33400,
      "error": "",
      "objective_lower": 0,
      "objective_upper": 0,
      "outcome": "optimal",
      "repetition": 2,
      "residuals_available": false,
      "schema": "csl.syn07-ts01-measurement-event/2",
      "status": "passed",
      "termination": "completed",
      "warmup": false
    },
    {
      "consumed_result_marker": 1805158144890476961,
      "elapsed_ns": 30400,
      "error": "",
      "objective_lower": 0,
      "objective_upper": 0,
      "outcome": "optimal",
      "repetition": 3,
      "residuals_available": false,
      "schema": "csl.syn07-ts01-measurement-event/2",
      "status": "passed",
      "termination": "completed",
      "warmup": false
    },
    {
      "consumed_result_marker": 1805158144890476961,
      "elapsed_ns": 28900,
      "error": "",
      "objective_lower": 0,
      "objective_upper": 0,
      "outcome": "optimal",
      "repetition": 4,
      "residuals_available": false,
      "schema": "csl.syn07-ts01-measurement-event/2",
      "status": "passed",
      "termination": "completed",
      "warmup": false
    },
    {
      "consumed_result_marker": 1805158144890476961,
      "elapsed_ns": 28700,
      "error": "",
      "objective_lower": 0,
      "objective_upper": 0,
      "outcome": "optimal",
      "repetition": 5,
      "residuals_available": false,
      "schema": "csl.syn07-ts01-measurement-event/2",
      "status": "passed",
      "termination": "completed",
      "warmup": false
    },
    {
      "consumed_result_marker": 1805158144890476961,
      "elapsed_ns": 28600,
      "error": "",
      "objective_lower": 0,
      "objective_upper": 0,
      "outcome": "optimal",
      "repetition": 6,
      "residuals_available": false,
      "schema": "csl.syn07-ts01-measurement-event/2",
      "status": "passed",
      "termination": "completed",
      "warmup": false
    },
    {
      "consumed_result_marker": 1805158144890476961,
      "elapsed_ns": 29000,
      "error": "",
      "objective_lower": 0,
      "objective_upper": 0,
      "outcome": "optimal",
      "repetition": 7,
      "residuals_available": false,
      "schema": "csl.syn07-ts01-measurement-event/2",
      "status": "passed",
      "termination": "completed",
      "warmup": false
    }
  ],
  "harness_commit": "be76ba326567d1bccda36934a19e78ba6cf25bcc",
  "harness_sources": {
    "driver_sha256": "1983dac4e12ae69cffd1a80e75a358effb28208e03fa944fcb244fd98e3f698b",
    "runner_cmake_sha256": "60c5f83bc3bacd682bd6c22c1240bfa02982817bfd673520248b5024a1ea3f27"
  },
  "limiter": {
    "available": false,
    "reason": "No usable process/call-stack profile was collected; the limiting function is unknown. A separate Windows Performance Recorder CPU-stack capture was attempted after the timed run but failed before recording: wpr.exe -start CPU -filemode returned HRESULT 0xc5585011 (Failed to enable the policy to profile system performance). No profile-mode solver run was made.",
    "separate_profile_attempt": {
      "command": "wpr.exe -start CPU -filemode",
      "result": "failed before recording; no call-stack attribution available",
      "stderr": "Failed to enable the policy to profile system performance. Error code: 0xc5585011",
      "stdout": "Profile Id: CPU.Verbose.File; Failed to enable the policy to profile system performance.",
      "timed_solver_run_after_start": "not run"
    }
  },
  "order": "One excluded warmup, followed by seven measured repetitions in one process. Single strategy only; alternation is inapplicable and no comparator was measured.",
  "performance_conclusion": "inconclusive",
  "raw_stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "raw_stdout_sha256": "01940077d1e92c7f948bb98a12c6687adf0ef4168e2fd11276dd138b81c35e72",
  "schema": "csl.syn07-ts01-measurement-collection/1",
  "scope": "Fresh problem construction and resolution, strategy registration/selection/preparation, exclusive workspace creation, public bound-workspace run, and independent complete-H-relation plus exact-membership validation. Excludes process startup, JSON serialization, build, collection, and rendering.",
  "strategy_observation": {
    "objective_lower": 0,
    "objective_upper": 0,
    "outcome": "optimal",
    "residuals": {
      "available": false,
      "reason": "StrategyPort result exposes no residual fields"
    },
    "termination": "completed"
  },
  "timing_ns": {
    "max": 40400,
    "median": 29000,
    "min": 28600,
    "observations": [
      40400,
      33400,
      30400,
      28900,
      28700,
      28600,
      29000
    ],
    "range": 11800
  }
}