{
  "build": {
    "architecture": "x64",
    "build_log_language": "English MSBuild output requested with VSLANG=1033, DOTNET_CLI_UI_LANGUAGE=en-US, PreferredUILang=en-US and /p:PreferredUILang=en-US; raw build log has no Cyrillic text.",
    "build_log_sha256": "de4043c83428b8395e726770447bf30a5ddfa3deddb5787bbafd8efa290e9649",
    "cmake_cache_sha256": "a326312f2a023d86de528597b8f256784e437a7adb70a1062fb1631cf0044a46",
    "cmake_compiler_sha256": "33bebcb486c4fc42c67f633fb5ff363392744fda1fcfed6ccf6230a10ed09cbf",
    "cmake_options": {
      "BUILD_TESTING": "OFF",
      "CSL_BUILD_EXP04_REPORT": "ON",
      "CSL_ENABLE_HIGHS": "OFF",
      "CSL_ENABLE_QHULL": "OFF"
    },
    "command": "python -m cmake -S <frozen-source> -B <fresh-build> -DBUILD_TESTING=OFF -DCSL_ENABLE_HIGHS=OFF -DCSL_ENABLE_QHULL=OFF -DCSL_BUILD_EXP04_REPORT=ON; python -m cmake --build <fresh-build> --config Release --target csl_exp04_replay_report -- /p:PreferredUILang=en-US",
    "compiler": "MSVC 19.44 / Visual Studio 2022",
    "configuration": "Release",
    "configure_log_sha256": "6081f83adcb4e2cdcd7e4aea42298fc93082f824ea3c8078fcf9c27fb04a4254",
    "driver_source_sha256": "8d50a7831f19629d18364edf58706eede5e93f0defe33a432be507e04571da23",
    "executable_sha256": "db2c0f062db98b2436efa1e81311928429bf6befba70e66105aa83cff6f3e5ee",
    "raw_logs": "Configure/build logs and CMake cache/compiler receipts are saved in the versioned bundle."
  },
  "environment": {
    "architecture": "AMD64",
    "collected_utc": "2026-10-19T05:54:28.7032203Z",
    "cpu": {
      "Name": "12th Gen Intel(R) Core(TM) i5-12400F",
      "NumberOfCores": 6,
      "NumberOfLogicalProcessors": 12
    },
    "os": "Windows 11 Home",
    "os_build": "22631",
    "os_version": "10.0.22631",
    "powershell": "7.6.7",
    "source_commit": "eb4497e08f1532c732163e677d5d7aa03697c7de",
    "source_status": [],
    "source_tree": "b68a51f8d46cb59c69d4c0add81e1e54d218f19b"
  },
  "fixtures": {
    "plane-forward": {
      "controls": [
        [
          0.0
        ],
        [
          1.0
        ]
      ],
      "expected_objective": 3.0,
      "expected_states": [
        [
          0.0,
          0.0
        ],
        [
          0.0,
          0.0
        ],
        [
          3.0,
          1.0
        ]
      ],
      "input_sha256": "8294b400f4e8d43d66f0fef45f4e8b0a8f919ad308f3e0de165965fd1aab9602",
      "plant": {
        "absolute_tolerance": 1e-12,
        "control_units": [
          "dimensionless"
        ],
        "hold": "constant_on_interval",
        "initial_state": [
          0.0,
          0.0
        ],
        "integration": "exact_discrete_map",
        "objective": "terminal length",
        "objective_unit": "length",
        "parameter": {
          "name": "quadratic_gain",
          "unit": "dimensionless",
          "value": 1.0
        },
        "physical_times": [
          0.0,
          1.0,
          3.0
        ],
        "plant": "analytic.interval-plane",
        "relative_tolerance": 1e-12,
        "source": "EXP-04 declared two-state toy",
        "state_dimension": 2,
        "state_units": [
          "length",
          "action"
        ],
        "transition": "x[k+1] = x[k] + (t[k+1]-t[k])*u[k] + u[k]^2; y[k+1] = y[k] + u[k]",
        "version": "1"
      }
    },
    "plane-reverse": {
      "controls": [
        [
          1.0
        ],
        [
          0.0
        ]
      ],
      "expected_objective": 2.0,
      "expected_states": [
        [
          0.0,
          0.0
        ],
        [
          2.0,
          1.0
        ],
        [
          2.0,
          1.0
        ]
      ],
      "input_sha256": "43fe2160ee6b83be4ca8c23e6dd672a702d462901a32e9d7b77520cbddc5919f",
      "plant": {
        "absolute_tolerance": 1e-12,
        "control_units": [
          "dimensionless"
        ],
        "hold": "constant_on_interval",
        "initial_state": [
          0.0,
          0.0
        ],
        "integration": "exact_discrete_map",
        "objective": "terminal length",
        "objective_unit": "length",
        "parameter": {
          "name": "quadratic_gain",
          "unit": "dimensionless",
          "value": 1.0
        },
        "physical_times": [
          0.0,
          1.0,
          3.0
        ],
        "plant": "analytic.interval-plane",
        "relative_tolerance": 1e-12,
        "source": "EXP-04 declared two-state toy",
        "state_dimension": 2,
        "state_units": [
          "length",
          "action"
        ],
        "transition": "x[k+1] = x[k] + (t[k+1]-t[k])*u[k] + u[k]^2; y[k+1] = y[k] + u[k]",
        "version": "1"
      }
    },
    "scalar-endpoint": {
      "controls": [
        [
          0.0
        ],
        [
          1.0
        ]
      ],
      "expected_objective": 2.0,
      "expected_states": [
        [
          0.0
        ],
        [
          0.0
        ],
        [
          2.0
        ]
      ],
      "input_sha256": "9eaf4b7bbaa0948389db2a53648ae571aa20c8b0daf2810103b957650f78f59d",
      "plant": {
        "absolute_tolerance": 1e-12,
        "control_units": [
          "dimensionless"
        ],
        "hold": "constant_on_interval",
        "initial_state": [
          0.0
        ],
        "integration": "exact_discrete_map",
        "objective": "terminal state",
        "objective_unit": "dimensionless",
        "parameter": {
          "name": "quadratic_gain",
          "unit": "dimensionless",
          "value": 1.0
        },
        "physical_times": [
          0.0,
          1.0,
          2.0
        ],
        "plant": "analytic.quadratic-step",
        "relative_tolerance": 1e-12,
        "source": "EXP-04 declared analytic toy",
        "state_dimension": 1,
        "state_units": [
          "dimensionless"
        ],
        "transition": "x[k+1] = x[k] + u[k] + u[k]^2",
        "version": "1"
      }
    },
    "scalar-even": {
      "controls": [
        [
          0.5
        ],
        [
          0.5
        ]
      ],
      "expected_objective": 1.5,
      "expected_states": [
        [
          0.0
        ],
        [
          0.75
        ],
        [
          1.5
        ]
      ],
      "input_sha256": "cc91c9a7ddda9bd4ad02a9eae7e6630681dbbd1abe382805503b48b9818c8122",
      "plant": {
        "absolute_tolerance": 1e-12,
        "control_units": [
          "dimensionless"
        ],
        "hold": "constant_on_interval",
        "initial_state": [
          0.0
        ],
        "integration": "exact_discrete_map",
        "objective": "terminal state",
        "objective_unit": "dimensionless",
        "parameter": {
          "name": "quadratic_gain",
          "unit": "dimensionless",
          "value": 1.0
        },
        "physical_times": [
          0.0,
          1.0,
          2.0
        ],
        "plant": "analytic.quadratic-step",
        "relative_tolerance": 1e-12,
        "source": "EXP-04 declared analytic toy",
        "state_dimension": 1,
        "state_units": [
          "dimensionless"
        ],
        "transition": "x[k+1] = x[k] + u[k] + u[k]^2",
        "version": "1"
      }
    }
  },
  "limits": [
    "No historical B04 plant or complete B04 control history is claimed.",
    "No nonlinear optimization, feasibility certificate, or optimal family is claimed.",
    "Descriptive single-adapter timings only; no comparator, speedup, limiter profile, or broad performance inference."
  ],
  "measurement": {
    "clock": "std::chrono::steady_clock",
    "excludes": [
      "driver fixture construction",
      "post-call literal oracle checks",
      "CSV serialization",
      "process launch",
      "HTML rendering"
    ],
    "failures": 0,
    "internal_counters": "unavailable",
    "interval": "ReplayRecord.replay_time from entry of public replay to return; per-call durations summed within each 1000-call batch",
    "measured_order": "seven rotated four-case rounds; 1000 fresh public replay calls per case per round",
    "native_threads_actual": 1,
    "native_threads_requested": 1,
    "raw_measure_sha256": "aaef7d263b0ec2d016ada892b0732a062567a7d9a61d21a8985f5b930a1f1205",
    "raw_smoke_sha256": "07fac776f0366d3fc025fa595a668eda2f321d0465f665c5ec40a8b238231525",
    "summary": [
      {
        "batches": 7,
        "calls_per_batch": 1000,
        "case": "scalar-endpoint",
        "failures": 0,
        "max_batch_ns": 520600,
        "median_batch_ns": 514300,
        "min_batch_ns": 500100,
        "successes": 7000
      },
      {
        "batches": 7,
        "calls_per_batch": 1000,
        "case": "scalar-even",
        "failures": 0,
        "max_batch_ns": 530300,
        "median_batch_ns": 518800,
        "min_batch_ns": 496400,
        "successes": 7000
      },
      {
        "batches": 7,
        "calls_per_batch": 1000,
        "case": "plane-forward",
        "failures": 0,
        "max_batch_ns": 525500,
        "median_batch_ns": 520400,
        "min_batch_ns": 515700,
        "successes": 7000
      },
      {
        "batches": 7,
        "calls_per_batch": 1000,
        "case": "plane-reverse",
        "failures": 0,
        "max_batch_ns": 640500,
        "median_batch_ns": 521300,
        "min_batch_ns": 517300,
        "successes": 7000
      }
    ],
    "trials": [
      {
        "calls": "1000",
        "case": "scalar-endpoint",
        "elapsed_ns": "523000",
        "objective": "2",
        "phase": "warmup",
        "repetition": "0",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-even",
        "elapsed_ns": "535400",
        "objective": "1.5",
        "phase": "warmup",
        "repetition": "0",
        "status": "complete",
        "terminal_x": "1.5",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-forward",
        "elapsed_ns": "528100",
        "objective": "3",
        "phase": "warmup",
        "repetition": "0",
        "status": "complete",
        "terminal_x": "3",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-reverse",
        "elapsed_ns": "539500",
        "objective": "2",
        "phase": "warmup",
        "repetition": "0",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-endpoint",
        "elapsed_ns": "517900",
        "objective": "2",
        "phase": "trial",
        "repetition": "0",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-even",
        "elapsed_ns": "523400",
        "objective": "1.5",
        "phase": "trial",
        "repetition": "0",
        "status": "complete",
        "terminal_x": "1.5",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-forward",
        "elapsed_ns": "519200",
        "objective": "3",
        "phase": "trial",
        "repetition": "0",
        "status": "complete",
        "terminal_x": "3",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-reverse",
        "elapsed_ns": "640500",
        "objective": "2",
        "phase": "trial",
        "repetition": "0",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-even",
        "elapsed_ns": "522300",
        "objective": "1.5",
        "phase": "trial",
        "repetition": "1",
        "status": "complete",
        "terminal_x": "1.5",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-forward",
        "elapsed_ns": "523800",
        "objective": "3",
        "phase": "trial",
        "repetition": "1",
        "status": "complete",
        "terminal_x": "3",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-reverse",
        "elapsed_ns": "533800",
        "objective": "2",
        "phase": "trial",
        "repetition": "1",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-endpoint",
        "elapsed_ns": "514300",
        "objective": "2",
        "phase": "trial",
        "repetition": "1",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-forward",
        "elapsed_ns": "520400",
        "objective": "3",
        "phase": "trial",
        "repetition": "2",
        "status": "complete",
        "terminal_x": "3",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-reverse",
        "elapsed_ns": "524600",
        "objective": "2",
        "phase": "trial",
        "repetition": "2",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-endpoint",
        "elapsed_ns": "518900",
        "objective": "2",
        "phase": "trial",
        "repetition": "2",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-even",
        "elapsed_ns": "518800",
        "objective": "1.5",
        "phase": "trial",
        "repetition": "2",
        "status": "complete",
        "terminal_x": "1.5",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-reverse",
        "elapsed_ns": "520700",
        "objective": "2",
        "phase": "trial",
        "repetition": "3",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-endpoint",
        "elapsed_ns": "520600",
        "objective": "2",
        "phase": "trial",
        "repetition": "3",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-even",
        "elapsed_ns": "511400",
        "objective": "1.5",
        "phase": "trial",
        "repetition": "3",
        "status": "complete",
        "terminal_x": "1.5",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-forward",
        "elapsed_ns": "525500",
        "objective": "3",
        "phase": "trial",
        "repetition": "3",
        "status": "complete",
        "terminal_x": "3",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-endpoint",
        "elapsed_ns": "511000",
        "objective": "2",
        "phase": "trial",
        "repetition": "4",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-even",
        "elapsed_ns": "502600",
        "objective": "1.5",
        "phase": "trial",
        "repetition": "4",
        "status": "complete",
        "terminal_x": "1.5",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-forward",
        "elapsed_ns": "522600",
        "objective": "3",
        "phase": "trial",
        "repetition": "4",
        "status": "complete",
        "terminal_x": "3",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-reverse",
        "elapsed_ns": "521300",
        "objective": "2",
        "phase": "trial",
        "repetition": "4",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-even",
        "elapsed_ns": "530300",
        "objective": "1.5",
        "phase": "trial",
        "repetition": "5",
        "status": "complete",
        "terminal_x": "1.5",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-forward",
        "elapsed_ns": "518300",
        "objective": "3",
        "phase": "trial",
        "repetition": "5",
        "status": "complete",
        "terminal_x": "3",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-reverse",
        "elapsed_ns": "520000",
        "objective": "2",
        "phase": "trial",
        "repetition": "5",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-endpoint",
        "elapsed_ns": "514300",
        "objective": "2",
        "phase": "trial",
        "repetition": "5",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-forward",
        "elapsed_ns": "515700",
        "objective": "3",
        "phase": "trial",
        "repetition": "6",
        "status": "complete",
        "terminal_x": "3",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "plane-reverse",
        "elapsed_ns": "517300",
        "objective": "2",
        "phase": "trial",
        "repetition": "6",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "1",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-endpoint",
        "elapsed_ns": "500100",
        "objective": "2",
        "phase": "trial",
        "repetition": "6",
        "status": "complete",
        "terminal_x": "2",
        "terminal_y": "0",
        "verified": "true"
      },
      {
        "calls": "1000",
        "case": "scalar-even",
        "elapsed_ns": "496400",
        "objective": "1.5",
        "phase": "trial",
        "repetition": "6",
        "status": "complete",
        "terminal_x": "1.5",
        "terminal_y": "0",
        "verified": "true"
      }
    ],
    "warmup": "one excluded 1000-call batch per case",
    "workers_actual": 1,
    "workers_requested": 1,
    "workspace_reuse": "fresh ReplayRecord for each call; immutable plant and control declarations reused"
  },
  "report_id": "exp04-replay-93fe3b87795e1d3a",
  "schema": "csl.exp04-independent-replay/1",
  "scope": "Independent exact-discrete plant replay for four authored analytic histories",
  "source_commit": "eb4497e08f1532c732163e677d5d7aa03697c7de",
  "source_receipts": {
    "postrun": {
      "commit": "eb4497e08f1532c732163e677d5d7aa03697c7de",
      "executable_sha256": "db2c0f062db98b2436efa1e81311928429bf6befba70e66105aa83cff6f3e5ee",
      "observed_utc": "2026-10-19T05:54:27.5144215Z",
      "phase": "postrun",
      "schema": "csl.exp04-source-receipt/1",
      "status": [],
      "tracked_count": 1814,
      "tree": "b68a51f8d46cb59c69d4c0add81e1e54d218f19b"
    },
    "prebuild": {
      "commit": "eb4497e08f1532c732163e677d5d7aa03697c7de",
      "observed_utc": "2026-10-19T05:54:05.4316206Z",
      "phase": "prebuild",
      "schema": "csl.exp04-source-receipt/1",
      "status": [],
      "tracked_count": 1814,
      "tree": "b68a51f8d46cb59c69d4c0add81e1e54d218f19b"
    }
  },
  "source_tree": "b68a51f8d46cb59c69d4c0add81e1e54d218f19b"
}