{
  "evidence_limits": "The complete relation is established analytically only for the strict profile listed above; admission rejects mutations outside that profile.; The outer API labels assurance numerical. Validated assurance is unavailable in the shared registry contract.; The proof capability is internally issued and non-forgeable by clients; serialized decoding creates an untrusted capability which publication rejects until a reviewed proof replay/exporter exists.; This does not establish completeness for any generic synthesis strategy, another profile, or a decoded artifact.; This report records the profile theorem and exact membership examples; it is not an independent mathematical review of the source implementation.; Single-strategy timing observations are exploratory and performance conclusions are inconclusive; no speedup is claimed.",
  "measured_scope": "Exact analytic optimal relation for the strict two-step scalar integrator profile; exploratory single-strategy timings",
  "native_payload_sha256": "d2fd1191931a3f857950ba2e19ca176d3e388b89bf60a64caa439e5086ae9fa1",
  "payload": {
    "algorithm": {
      "profile_id": "ts01_exact_integrator",
      "strategy_id": "csl.synthesis.ts01-analytic",
      "strategy_version": "1"
    },
    "assumptions": [
      "Discrete-time, two-step scalar system with times (0,1,2).",
      "Known initial state x0=0; unrestricted one-dimensional state at every stage.",
      "Both transitions are exactly x[t+1]=x[t]+u[t], with zero offsets and no external channels.",
      "Independent closed control intervals u0,u1 in [0,1].",
      "Nominal open-loop information; no observations, temporal constraints, or other constraints.",
      "Terminal quadratic objective has Q=2, linear coefficient -2, and offset 1: J(x2)=x2^2-2*x2+1.",
      "Requested target is exact_optimal_relation, representation csl.polyhedron.h, numerical assurance, no materialization limit, and empty transformation lineage."
    ],
    "canonical_relation": {
      "dimension": 5,
      "equalities": [
        [
          1,
          0,
          0,
          0,
          0
        ],
        [
          0,
          1,
          0,
          -1,
          0
        ],
        [
          0,
          0,
          1,
          0,
          0
        ],
        [
          0,
          0,
          0,
          1,
          1
        ]
      ],
      "equality_rhs": [
        0,
        0,
        1,
        1
      ],
      "inequalities": [
        [
          0,
          0,
          0,
          -1,
          0
        ],
        [
          0,
          0,
          0,
          1,
          0
        ],
        [
          0,
          0,
          0,
          0,
          -1
        ],
        [
          0,
          0,
          0,
          0,
          1
        ]
      ],
      "inequality_rhs": [
        0,
        1,
        0,
        1
      ],
      "objective_minimum": 0,
      "parametric_form": "(0,s,1,s,1-s), 0<=s<=1",
      "proof_summary": "x2=u0+u1 and J=(x2-1)^2>=0. Equality holds iff u0+u1=1; the control bounds then yield exactly the displayed closed segment.",
      "representation": "csl.polyhedron.h"
    },
    "coordinates": [
      "x0",
      "x1",
      "x2",
      "u0",
      "u1"
    ],
    "evidence_limits": [
      "The complete relation is established analytically only for the strict profile listed above; admission rejects mutations outside that profile.",
      "The outer API labels assurance numerical. Validated assurance is unavailable in the shared registry contract.",
      "The proof capability is internally issued and non-forgeable by clients; serialized decoding creates an untrusted capability which publication rejects until a reviewed proof replay/exporter exists.",
      "This does not establish completeness for any generic synthesis strategy, another profile, or a decoded artifact.",
      "This report records the profile theorem and exact membership examples; it is not an independent mathematical review of the source implementation."
    ],
    "input": {
      "sha256": "816162785675a960051adeef7027c85489cc9adee6267c140227e942b99a0d30",
      "value": {
        "controls": [
          {
            "lower": [
              0
            ],
            "upper": [
              1
            ]
          },
          {
            "lower": [
              0
            ],
            "upper": [
              1
            ]
          }
        ],
        "initial_state": [
          0
        ],
        "request": {
          "assurance": "numerical",
          "profile": "ts01_exact_integrator",
          "representation": "csl.polyhedron.h",
          "target": "exact_optimal_relation"
        },
        "terminal_objective": {
          "Q": [
            [
              2
            ]
          ],
          "linear": [
            -2
          ],
          "offset": 1
        },
        "times": [
          0,
          1,
          2
        ],
        "transitions": [
          {
            "A": [
              [
                1
              ]
            ],
            "B": [
              [
                1
              ]
            ],
            "offset": [
              0
            ]
          },
          {
            "A": [
              [
                1
              ]
            ],
            "B": [
              [
                1
              ]
            ],
            "offset": [
              0
            ]
          }
        ]
      }
    },
    "measurement": {
      "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
      }
    },
    "membership_examples": [
      {
        "actual_member": true,
        "expected_member": true,
        "id": "s=0",
        "point": [
          0,
          0,
          1,
          0,
          1
        ],
        "reason": "Closed-segment endpoint; exact equations and bounds hold."
      },
      {
        "actual_member": true,
        "expected_member": true,
        "id": "s=1/4",
        "point": [
          0,
          0.25,
          1,
          0.25,
          0.75
        ],
        "reason": "Interior dyadic parameter; exact equations and bounds hold."
      },
      {
        "actual_member": true,
        "expected_member": true,
        "id": "s=1",
        "point": [
          0,
          1,
          1,
          1,
          0
        ],
        "reason": "Closed-segment endpoint; exact equations and bounds hold."
      },
      {
        "actual_member": true,
        "expected_member": true,
        "id": "s=1-2^-53",
        "point": [
          0,
          0.9999999999999999,
          1,
          0.9999999999999999,
          1.1102230246251565e-16
        ],
        "reason": "Adjacent representable dyadic coordinates sum to exactly one."
      },
      {
        "actual_member": false,
        "expected_member": false,
        "id": "feasible_nonoptimal_zero",
        "point": [
          0,
          0,
          0,
          0,
          0
        ],
        "reason": "Feasible controls, but x2 is not one and objective is one."
      },
      {
        "actual_member": false,
        "expected_member": false,
        "id": "feasible_nonoptimal_endpoint",
        "point": [
          0,
          1,
          2,
          1,
          1
        ],
        "reason": "Feasible controls, but x2 is two and objective is one."
      },
      {
        "actual_member": false,
        "expected_member": false,
        "id": "off_relation_dyadic_perturbation",
        "point": [
          0,
          1,
          1,
          1,
          5e-324
        ],
        "reason": "Exact binary64 sum is greater than one; no tolerance is applied."
      }
    ],
    "membership_semantics": "Exact dyadic arithmetic for finite binary64 coordinates; no floating tolerance.",
    "performance": {
      "comparison": "none",
      "reason": "Seven validated observations from a standalone Release harness; no comparison or speedup claim. Performance conclusions remain inconclusive without a limiter profile.",
      "speedup_claim": false,
      "status": "exploratory_single_strategy"
    },
    "report_id": "syn07-ts01-20261014-e22d9c2aeb05",
    "scenario": {
      "sha256": "1137cd7638206310d13f0bf635c06450d0036d83f2dc3550368f256f3f5fc146",
      "value": {
        "assumptions": [
          "Discrete-time, two-step scalar system with times (0,1,2).",
          "Known initial state x0=0; unrestricted one-dimensional state at every stage.",
          "Both transitions are exactly x[t+1]=x[t]+u[t], with zero offsets and no external channels.",
          "Independent closed control intervals u0,u1 in [0,1].",
          "Nominal open-loop information; no observations, temporal constraints, or other constraints.",
          "Terminal quadratic objective has Q=2, linear coefficient -2, and offset 1: J(x2)=x2^2-2*x2+1.",
          "Requested target is exact_optimal_relation, representation csl.polyhedron.h, numerical assurance, no materialization limit, and empty transformation lineage."
        ],
        "expected_objective_minimum": 0
      }
    },
    "schema": "csl.syn07-ts01-analytic-report/2",
    "source_commit": "e22d9c2aeb05dc7567038801e6a21b8780184c9e"
  },
  "payload_schema": "csl.syn07-ts01-analytic-report/2",
  "payload_sha256": "d2fd1191931a3f857950ba2e19ca176d3e388b89bf60a64caa439e5086ae9fa1",
  "report_id": "syn07-ts01-5f46eaee678c04b251c4bd9a78dcfb5ea45ce4f417c6bff7b8ba6225e04a6d66",
  "report_kind": "syn07-ts01-analytic",
  "schema": "csl.algorithm-report-envelope/1",
  "source_commit": "e22d9c2aeb05dc7567038801e6a21b8780184c9e",
  "source_report_id": "syn07-ts01-20261014-e22d9c2aeb05"
}