{
  "algorithm_source_commit": "451d0f7553cd0ab606c4ed07ae142310cb897eb4",
  "build": {
    "build_command": [
      "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\Common7\\IDE\\CommonExtensions\\Microsoft\\CMake\\CMake\\bin\\cmake.exe",
      "--build",
      "D:\\work\\PhD\\worktrees\\syn04-ts01-strategy-a-run1\\clean-release-syn03-final\\release-build",
      "--config",
      "Release",
      "--target",
      "csl_syn03_strategy_a_report",
      "--parallel",
      "4"
    ],
    "build_log_sha256": "f3e281f46091ea0fe10fd8049ed5d1a8fd86bc536baed1f5ef942b8fe1fa1df6",
    "cache_sha256": "6426d650183a5b5a8694c1388ff166aae8bff5f01cd142ecbd480fcecc2ff3d6",
    "cmake": "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\Common7\\IDE\\CommonExtensions\\Microsoft\\CMake\\CMake\\bin\\cmake.exe",
    "cmake_version": "cmake version 3.31.6-msvc6",
    "compiler": "MSVC",
    "compiler_config_sha256": "33bebcb486c4fc42c67f633fb5ff363392744fda1fcfed6ccf6230a10ed09cbf",
    "compiler_version": "set(CMAKE_CXX_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",
      "D:\\work\\PhD\\worktrees\\syn04-ts01-strategy-a-current\\reports\\algorithm-results\\tooling\\syn03\\runner-a",
      "-B",
      "D:\\work\\PhD\\worktrees\\syn04-ts01-strategy-a-run1\\clean-release-syn03-final\\release-build",
      "-G",
      "Visual Studio 17 2022",
      "-A",
      "x64",
      "-DCSL_SOURCE_ROOT=D:\\work\\PhD\\worktrees\\syn04-ts01-strategy-a-run1\\clean-release-syn03-final\\solver-source",
      "-DBUILD_TESTING=OFF",
      "-DFETCHCONTENT_SOURCE_DIR_CSL_HIGHS=D:\\work\\PhD\\agent-work\\syn53-syn61\\syn02-build\\_deps\\csl_highs-src",
      "-DFETCHCONTENT_SOURCE_DIR_CSL_OBJECTIVES_EIGEN=D:\\work\\PhD\\agent-work\\syn53-syn61\\syn02-build\\_deps\\csl_objectives_eigen-src",
      "-DFETCHCONTENT_SOURCE_DIR_CSL_QHULL=D:\\work\\PhD\\agent-work\\syn53-syn61\\syn02-build\\_deps\\csl_qhull-src",
      "-DFETCHCONTENT_SOURCE_DIR_CSL_JSON=D:\\work\\PhD\\agent-work\\syn53-syn61\\syn02-build\\_deps\\csl_json-src"
    ],
    "configure_log_sha256": "e0f0ebdffe66b65fa30e5fadd23bd3c925a448e9017e922ed5976b9094aed6f6",
    "cxx_standard": "C++20",
    "dependencies": {
      "highs": {
        "adapter_version": "1.0.0+highs.1.11.0",
        "pinned_sha256": "2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275"
      },
      "json": {
        "pinned_sha256": "0d8ef5af7f9794e3263480193c491549b2ba6cc74bb018906202ada498a79406"
      },
      "objectives_eigen": {
        "pinned_sha256": "8586084f71f9bde545ee7fa6d00288b264a2b7ac3607b974e54d13e7162c1c72"
      },
      "qhull": {
        "pinned_sha256": "8774e9a12c70b0180b95d6b0b563c5aa4bea8d5960c15e18ae3b6d2521d64f8b"
      },
      "resolved_sources": {
        "CSL_HIGHS": {
          "commit": "source-archive-no-git-metadata",
          "directory_sha256": "ffdc2fef01c491ca5bb83b501e2d349fc07e5cca385e8bee4eaa0eeb6e5e75ec",
          "source": "D:\\work\\PhD\\agent-work\\syn53-syn61\\syn02-build\\_deps\\csl_highs-src"
        },
        "CSL_JSON": {
          "commit": "source-archive-no-git-metadata",
          "directory_sha256": "1e4e4c85a0b46c29a341514681d4e6189fd0b5fb60e94b77075540ecf17c318a",
          "source": "D:\\work\\PhD\\agent-work\\syn53-syn61\\syn02-build\\_deps\\csl_json-src"
        },
        "CSL_OBJECTIVES_EIGEN": {
          "commit": "source-archive-no-git-metadata",
          "directory_sha256": "f062692628c933e5fe7cb6c725fc179e6073197245861e098d69516df1d2fdf4",
          "source": "D:\\work\\PhD\\agent-work\\syn53-syn61\\syn02-build\\_deps\\csl_objectives_eigen-src"
        },
        "CSL_QHULL": {
          "commit": "source-archive-no-git-metadata",
          "directory_sha256": "d34a90ce3602cfd6685ee0de08a4852496fdadc01025214fafdd68ca5e786dae",
          "source": "D:\\work\\PhD\\agent-work\\syn53-syn61\\syn02-build\\_deps\\csl_qhull-src"
        }
      }
    },
    "executable_bytes": 4841984,
    "executable_sha256": "12e4f73acfa1d80e387dd0a8266451848bfce6d42b525e583675a90151052c2f",
    "generator": "Visual Studio 17 2022 x64",
    "ndebug": true,
    "project_sha256": "d5d55ba056ff14e0f6ba9ba9a86d99f103de61e3ee68562db1f7ba24287e9f44",
    "release_properties": {
      "AdditionalIncludeDirectories": "D:\\work\\PhD\\worktrees\\syn04-ts01-strategy-a-run1\\clean-release-syn03-final\\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"
    },
    "report_driver_sha256": "86b51f59f4426a2c1bb6d907fb3163e74ae52ee4067c498d81a2011270ce243e",
    "runner_cmake_sha256": "96c249dd0039fd031725930b76b2ff403c03f87962685ea843c91dbf828322db"
  },
  "counts": {
    "all_outputs_consumed_and_validated": true,
    "failed": 0,
    "measured": 7,
    "passed": 7,
    "warmup": 1
  },
  "environment": {
    "absolute_tolerance": 1e-08,
    "assurance": "numerical",
    "cache_policy": "One excluded in-process warmup; each repetition constructs a fresh problem, registries, provider selections, prepared strategy and exclusive workspace. Process/runtime may be warm; no cold-cache claim.",
    "clock": "std::chrono::steady_clock, integer nanoseconds",
    "cpu_count_physical": 6,
    "cpu_percent_after": 0.3,
    "cpu_percent_before": 0.1,
    "load_note": "All processor CPU percentage samples were taken immediately before and after the accepted process, outside accepted timing; no competing benchmark side and no dedicated quiet machine guarantee.",
    "logical_cpu_count": 12,
    "memory_total_bytes": 34189107200,
    "native_provider_thread_configuration": "HiGHS adapter reports threads=1 and parallel=off for the native phase; OS thread count per trial was not observed",
    "os": "Windows-11-10.0.22631-SP0",
    "processor": "Intel64 Family 6 Model 151 Stepping 5, GenuineIntel",
    "python": "3.13.5",
    "relative_tolerance": 1e-08,
    "requested_resources": {
      "memory_bytes": null,
      "outer_workers": 1,
      "threads_per_worker": 1,
      "total_threads": 1
    },
    "seed": "No seed option is exposed/configured by this StrategyPort/HiGHS registration path"
  },
  "events": [
    {
      "absolute_tolerance": 1e-08,
      "assurance": "numerical",
      "canonical_relation_checked": true,
      "completeness_verifier": "csl.verifier.ts01-analytic",
      "completeness_verifier_version": "1",
      "consumed_result_marker": 1805158144890476961,
      "convex_provider": "csl.convex.highs@1.0.0+highs.1.11.0",
      "elapsed_ns": 6518600,
      "error": "",
      "lineage": [
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.control-recovery@1",
        "csl.synthesis.terminal-minimizers@1",
        "csl.synthesis.control-recovery@1"
      ],
      "lp_provider": "csl.lp.highs@1.0.0+highs.1.11.0",
      "outcome": "optimal",
      "providers": [
        "csl.synthesis.reach-back@1",
        "csl.geometry.polyhedral-projection@1.0.0",
        "csl.geometry.affine-sum@1.0.0",
        "csl.conversion.qhull@1.0.0+qhull.8.0.2",
        "csl.lp.highs@1.0.0+highs.1.11.0",
        "csl.convex.highs@1.0.0+highs.1.11.0",
        "csl.hull.lp-membership@1.0.0"
      ],
      "registry_verified": true,
      "relative_tolerance": 1e-08,
      "repetition": 0,
      "representative_coordinates": [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      "residual_verifier": "syn03-strategy-a-independent-original-check/1",
      "result_disposition": "complete_optimal_family",
      "schema": "csl.syn03-strategy-a-ts01-measurement-event/1",
      "status": "passed",
      "termination": "completed",
      "trajectory_max_residual": 0,
      "trajectory_objective": 0,
      "warmup": true
    },
    {
      "absolute_tolerance": 1e-08,
      "assurance": "numerical",
      "canonical_relation_checked": true,
      "completeness_verifier": "csl.verifier.ts01-analytic",
      "completeness_verifier_version": "1",
      "consumed_result_marker": 1805158144890476961,
      "convex_provider": "csl.convex.highs@1.0.0+highs.1.11.0",
      "elapsed_ns": 5543600,
      "error": "",
      "lineage": [
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.control-recovery@1",
        "csl.synthesis.terminal-minimizers@1",
        "csl.synthesis.control-recovery@1"
      ],
      "lp_provider": "csl.lp.highs@1.0.0+highs.1.11.0",
      "outcome": "optimal",
      "providers": [
        "csl.synthesis.reach-back@1",
        "csl.geometry.polyhedral-projection@1.0.0",
        "csl.geometry.affine-sum@1.0.0",
        "csl.conversion.qhull@1.0.0+qhull.8.0.2",
        "csl.lp.highs@1.0.0+highs.1.11.0",
        "csl.convex.highs@1.0.0+highs.1.11.0",
        "csl.hull.lp-membership@1.0.0"
      ],
      "registry_verified": true,
      "relative_tolerance": 1e-08,
      "repetition": 1,
      "representative_coordinates": [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      "residual_verifier": "syn03-strategy-a-independent-original-check/1",
      "result_disposition": "complete_optimal_family",
      "schema": "csl.syn03-strategy-a-ts01-measurement-event/1",
      "status": "passed",
      "termination": "completed",
      "trajectory_max_residual": 0,
      "trajectory_objective": 0,
      "warmup": false
    },
    {
      "absolute_tolerance": 1e-08,
      "assurance": "numerical",
      "canonical_relation_checked": true,
      "completeness_verifier": "csl.verifier.ts01-analytic",
      "completeness_verifier_version": "1",
      "consumed_result_marker": 1805158144890476961,
      "convex_provider": "csl.convex.highs@1.0.0+highs.1.11.0",
      "elapsed_ns": 4977700,
      "error": "",
      "lineage": [
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.control-recovery@1",
        "csl.synthesis.terminal-minimizers@1",
        "csl.synthesis.control-recovery@1"
      ],
      "lp_provider": "csl.lp.highs@1.0.0+highs.1.11.0",
      "outcome": "optimal",
      "providers": [
        "csl.synthesis.reach-back@1",
        "csl.geometry.polyhedral-projection@1.0.0",
        "csl.geometry.affine-sum@1.0.0",
        "csl.conversion.qhull@1.0.0+qhull.8.0.2",
        "csl.lp.highs@1.0.0+highs.1.11.0",
        "csl.convex.highs@1.0.0+highs.1.11.0",
        "csl.hull.lp-membership@1.0.0"
      ],
      "registry_verified": true,
      "relative_tolerance": 1e-08,
      "repetition": 2,
      "representative_coordinates": [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      "residual_verifier": "syn03-strategy-a-independent-original-check/1",
      "result_disposition": "complete_optimal_family",
      "schema": "csl.syn03-strategy-a-ts01-measurement-event/1",
      "status": "passed",
      "termination": "completed",
      "trajectory_max_residual": 0,
      "trajectory_objective": 0,
      "warmup": false
    },
    {
      "absolute_tolerance": 1e-08,
      "assurance": "numerical",
      "canonical_relation_checked": true,
      "completeness_verifier": "csl.verifier.ts01-analytic",
      "completeness_verifier_version": "1",
      "consumed_result_marker": 1805158144890476961,
      "convex_provider": "csl.convex.highs@1.0.0+highs.1.11.0",
      "elapsed_ns": 4934500,
      "error": "",
      "lineage": [
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.control-recovery@1",
        "csl.synthesis.terminal-minimizers@1",
        "csl.synthesis.control-recovery@1"
      ],
      "lp_provider": "csl.lp.highs@1.0.0+highs.1.11.0",
      "outcome": "optimal",
      "providers": [
        "csl.synthesis.reach-back@1",
        "csl.geometry.polyhedral-projection@1.0.0",
        "csl.geometry.affine-sum@1.0.0",
        "csl.conversion.qhull@1.0.0+qhull.8.0.2",
        "csl.lp.highs@1.0.0+highs.1.11.0",
        "csl.convex.highs@1.0.0+highs.1.11.0",
        "csl.hull.lp-membership@1.0.0"
      ],
      "registry_verified": true,
      "relative_tolerance": 1e-08,
      "repetition": 3,
      "representative_coordinates": [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      "residual_verifier": "syn03-strategy-a-independent-original-check/1",
      "result_disposition": "complete_optimal_family",
      "schema": "csl.syn03-strategy-a-ts01-measurement-event/1",
      "status": "passed",
      "termination": "completed",
      "trajectory_max_residual": 0,
      "trajectory_objective": 0,
      "warmup": false
    },
    {
      "absolute_tolerance": 1e-08,
      "assurance": "numerical",
      "canonical_relation_checked": true,
      "completeness_verifier": "csl.verifier.ts01-analytic",
      "completeness_verifier_version": "1",
      "consumed_result_marker": 1805158144890476961,
      "convex_provider": "csl.convex.highs@1.0.0+highs.1.11.0",
      "elapsed_ns": 4904700,
      "error": "",
      "lineage": [
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.control-recovery@1",
        "csl.synthesis.terminal-minimizers@1",
        "csl.synthesis.control-recovery@1"
      ],
      "lp_provider": "csl.lp.highs@1.0.0+highs.1.11.0",
      "outcome": "optimal",
      "providers": [
        "csl.synthesis.reach-back@1",
        "csl.geometry.polyhedral-projection@1.0.0",
        "csl.geometry.affine-sum@1.0.0",
        "csl.conversion.qhull@1.0.0+qhull.8.0.2",
        "csl.lp.highs@1.0.0+highs.1.11.0",
        "csl.convex.highs@1.0.0+highs.1.11.0",
        "csl.hull.lp-membership@1.0.0"
      ],
      "registry_verified": true,
      "relative_tolerance": 1e-08,
      "repetition": 4,
      "representative_coordinates": [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      "residual_verifier": "syn03-strategy-a-independent-original-check/1",
      "result_disposition": "complete_optimal_family",
      "schema": "csl.syn03-strategy-a-ts01-measurement-event/1",
      "status": "passed",
      "termination": "completed",
      "trajectory_max_residual": 0,
      "trajectory_objective": 0,
      "warmup": false
    },
    {
      "absolute_tolerance": 1e-08,
      "assurance": "numerical",
      "canonical_relation_checked": true,
      "completeness_verifier": "csl.verifier.ts01-analytic",
      "completeness_verifier_version": "1",
      "consumed_result_marker": 1805158144890476961,
      "convex_provider": "csl.convex.highs@1.0.0+highs.1.11.0",
      "elapsed_ns": 4526600,
      "error": "",
      "lineage": [
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.control-recovery@1",
        "csl.synthesis.terminal-minimizers@1",
        "csl.synthesis.control-recovery@1"
      ],
      "lp_provider": "csl.lp.highs@1.0.0+highs.1.11.0",
      "outcome": "optimal",
      "providers": [
        "csl.synthesis.reach-back@1",
        "csl.geometry.polyhedral-projection@1.0.0",
        "csl.geometry.affine-sum@1.0.0",
        "csl.conversion.qhull@1.0.0+qhull.8.0.2",
        "csl.lp.highs@1.0.0+highs.1.11.0",
        "csl.convex.highs@1.0.0+highs.1.11.0",
        "csl.hull.lp-membership@1.0.0"
      ],
      "registry_verified": true,
      "relative_tolerance": 1e-08,
      "repetition": 5,
      "representative_coordinates": [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      "residual_verifier": "syn03-strategy-a-independent-original-check/1",
      "result_disposition": "complete_optimal_family",
      "schema": "csl.syn03-strategy-a-ts01-measurement-event/1",
      "status": "passed",
      "termination": "completed",
      "trajectory_max_residual": 0,
      "trajectory_objective": 0,
      "warmup": false
    },
    {
      "absolute_tolerance": 1e-08,
      "assurance": "numerical",
      "canonical_relation_checked": true,
      "completeness_verifier": "csl.verifier.ts01-analytic",
      "completeness_verifier_version": "1",
      "consumed_result_marker": 1805158144890476961,
      "convex_provider": "csl.convex.highs@1.0.0+highs.1.11.0",
      "elapsed_ns": 4425000,
      "error": "",
      "lineage": [
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.control-recovery@1",
        "csl.synthesis.terminal-minimizers@1",
        "csl.synthesis.control-recovery@1"
      ],
      "lp_provider": "csl.lp.highs@1.0.0+highs.1.11.0",
      "outcome": "optimal",
      "providers": [
        "csl.synthesis.reach-back@1",
        "csl.geometry.polyhedral-projection@1.0.0",
        "csl.geometry.affine-sum@1.0.0",
        "csl.conversion.qhull@1.0.0+qhull.8.0.2",
        "csl.lp.highs@1.0.0+highs.1.11.0",
        "csl.convex.highs@1.0.0+highs.1.11.0",
        "csl.hull.lp-membership@1.0.0"
      ],
      "registry_verified": true,
      "relative_tolerance": 1e-08,
      "repetition": 6,
      "representative_coordinates": [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      "residual_verifier": "syn03-strategy-a-independent-original-check/1",
      "result_disposition": "complete_optimal_family",
      "schema": "csl.syn03-strategy-a-ts01-measurement-event/1",
      "status": "passed",
      "termination": "completed",
      "trajectory_max_residual": 0,
      "trajectory_objective": 0,
      "warmup": false
    },
    {
      "absolute_tolerance": 1e-08,
      "assurance": "numerical",
      "canonical_relation_checked": true,
      "completeness_verifier": "csl.verifier.ts01-analytic",
      "completeness_verifier_version": "1",
      "consumed_result_marker": 1805158144890476961,
      "convex_provider": "csl.convex.highs@1.0.0+highs.1.11.0",
      "elapsed_ns": 4512600,
      "error": "",
      "lineage": [
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.reach-back@1",
        "csl.synthesis.control-recovery@1",
        "csl.synthesis.terminal-minimizers@1",
        "csl.synthesis.control-recovery@1"
      ],
      "lp_provider": "csl.lp.highs@1.0.0+highs.1.11.0",
      "outcome": "optimal",
      "providers": [
        "csl.synthesis.reach-back@1",
        "csl.geometry.polyhedral-projection@1.0.0",
        "csl.geometry.affine-sum@1.0.0",
        "csl.conversion.qhull@1.0.0+qhull.8.0.2",
        "csl.lp.highs@1.0.0+highs.1.11.0",
        "csl.convex.highs@1.0.0+highs.1.11.0",
        "csl.hull.lp-membership@1.0.0"
      ],
      "registry_verified": true,
      "relative_tolerance": 1e-08,
      "repetition": 7,
      "representative_coordinates": [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      "residual_verifier": "syn03-strategy-a-independent-original-check/1",
      "result_disposition": "complete_optimal_family",
      "schema": "csl.syn03-strategy-a-ts01-measurement-event/1",
      "status": "passed",
      "termination": "completed",
      "trajectory_max_residual": 0,
      "trajectory_objective": 0,
      "warmup": false
    }
  ],
  "harness_commit": "4a3556ba65a75716c00a9ac24f01e04648be5ea5",
  "limiter": {
    "available": false,
    "reason": "WPR CPU sampled-stack profile could not start: Windows denied enabling system-performance profiling policy (0xc5585011). Separate workload ran and process counters were collected, but they cannot attribute a hot source path; no limiter is claimed."
  },
  "order": "One excluded warmup followed by seven measured repetitions in one process; one strategy only, so side alternation is inapplicable.",
  "performance_conclusion": "inconclusive",
  "phase_counters": {
    "available": {
      "end_to_end": "The one timed interval described above",
      "lineage_steps": "Six identity-bound transformations per result: three forward stages, feasible-history recovery, terminal minimization, terminal-preimage recovery",
      "registered_provider_identities": "Per-trial actual registry provenance, including projection, affine/sum, Qhull conversion, LP and convex providers"
    },
    "not_invoked": [],
    "unavailable": [
      "durations for forward projection and affine/sum operations",
      "durations and LP call counts for hull reduction/Qhull conversion",
      "terminal LP/QP subphase durations",
      "provider selection/preparation, workspace creation, extraction, compiled verifier, original-trajectory check, relation membership checks and export durations"
    ]
  },
  "profile_attempt": {
    "etl_path": null,
    "process_samples": [
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.0,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467066077400,
        "rss_bytes": 1830912
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.0,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467068320200,
        "rss_bytes": 3125248
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.0,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467070587100,
        "rss_bytes": 6504448
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.0,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467072767000,
        "rss_bytes": 6811648
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.0,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467074949600,
        "rss_bytes": 6881280
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.0,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467077107800,
        "rss_bytes": 7135232
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.0,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467079266700,
        "rss_bytes": 7147520
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.0,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467081468100,
        "rss_bytes": 7274496
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.0,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467084076200,
        "rss_bytes": 7098368
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 33.3,
        "monotonic_ns": 697467086628100,
        "rss_bytes": 7254016
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467088805200,
        "rss_bytes": 7147520
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467090966700,
        "rss_bytes": 7135232
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467093119400,
        "rss_bytes": 7225344
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467095275900,
        "rss_bytes": 7307264
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467097522800,
        "rss_bytes": 7229440
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467099776100,
        "rss_bytes": 7286784
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467102014500,
        "rss_bytes": 7131136
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467104248500,
        "rss_bytes": 7319552
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467106480200,
        "rss_bytes": 7319552
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467109088000,
        "rss_bytes": 7323648
      },
      {
        "cpu_system_seconds": 0.0,
        "cpu_user_seconds": 0.015625,
        "host_cpu_percent": 0.0,
        "monotonic_ns": 697467111328600,
        "rss_bytes": 6864896
      }
    ],
    "sampled_process_cpu_system_seconds_max": 0.0,
    "sampled_process_cpu_user_seconds_max": 0.015625,
    "sampled_process_peak_rss_bytes": 7323648,
    "separate_stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "separate_stdout_sha256": "4b9b349975be32385ecbdb7eb298be5280ab8691f767b731e2879f1405d51b4a",
    "separate_wall_ns": 51388800,
    "separate_workload_return_code": 0,
    "separate_workload_timed_out": false,
    "wpr": {
      "command": [
        "wpr",
        "-start",
        "CPU",
        "-filemode"
      ],
      "return_code": 3310899217,
      "stderr": "\r\n\tFailed to enable the policy to profile system performance.\r\r\n\r\n\tProfile Id: CPU.Verbose.File\r\n\t\r\n\tError code: 0xc5585011\r\n\t\r\n\tFailed to enable the policy to profile system performance.\r\r\n\t\r\n\t\r\n",
      "stdout": ""
    }
  },
  "result_observation": {
    "assurance": "numerical",
    "canonical_relation_checked_each_trial": true,
    "disposition": "complete_optimal_family",
    "objective_lower": 0,
    "objective_upper": 0,
    "outcome": "optimal",
    "registry_verified": true,
    "termination": "completed"
  },
  "scope": "Fresh problem construction and resolution, registered Strategy A provider selection, StrategyRegistry preparation, exclusive public StrategyPort workspace creation and run through forward reachability, terminal minimization, recovery and registered HiGHS LP/convex execution, compiled T-S01 verifier acceptance, independent original-trajectory residual checking, and exact canonical H-relation membership/nonmembership validation. Excludes process startup, JSON serialization, build, file persistence, and rendering.",
  "source": {
    "clean_after_run": true,
    "clean_before_build": true,
    "head": "451d0f7553cd0ab606c4ed07ae142310cb897eb4",
    "strategy_header_sha256": "edf0e359f9d676d708df66e54dbae48f777b6a45d9abc69729135846101d7453",
    "strategy_source_sha256": "777149765d0791d509cb9859d975819dc9e5cbe3191f8e23f055880fa66a823a",
    "tree": "1f659a8611609c5557e06c324c4aa447254ae58d"
  },
  "timing_ns": {
    "max": 5543600,
    "median": 4904700,
    "min": 4425000,
    "observations": [
      5543600,
      4977700,
      4934500,
      4904700,
      4526600,
      4425000,
      4512600
    ],
    "range": 1118600
  },
  "trajectory_checks": {
    "equations_checked": [
      "x0=0",
      "x1=x0+u0",
      "x2=x1+u1",
      "0<=u0<=1",
      "0<=u1<=1",
      "J(x2)=(x2-1)^2=0"
    ],
    "maximum_residuals": [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    "original_objectives": [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    "representative_coordinates": [
      [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      [
        0,
        0.25,
        1,
        0.25,
        0.75
      ],
      [
        0,
        0.25,
        1,
        0.25,
        0.75
      ]
    ],
    "tolerances": {
      "absolute": 1e-08,
      "relative": 1e-08
    },
    "verifiers": [
      "syn03-strategy-a-independent-original-check/1"
    ]
  }
}