{
  "evidence_limits": "Complete 1-D H-row bounds over returned binary64 data; not an exact real-arithmetic certificate.; Reachability relation assurance remains Unestablished; provider outputs are numerical.; Two tiny analytic scalar fixtures only; no comparator, no speedup, no application-scale or scalability claim.; No source-level profile was collected; the performance limiter and capacity remain unknown.; Per-provider operation timings are unavailable; operation counts are derived from returned operation lineage.",
  "measured_scope": "Two-step discrete nominal-forward reachability on two authored scalar analytic fixtures",
  "native_payload_sha256": "043084cd0ad8c381dc349e00756007b36845086b46a5012e39343daca4a31816",
  "payload": {
    "collection": {
      "counts": {
        "failures": 0,
        "measured": 14,
        "missing_or_duplicate": 0,
        "warmups": 2
      },
      "fixture_order": "alternating forward/reverse by repetition",
      "state": "complete"
    },
    "environment": {
      "configured_native_threads": 1,
      "host_load_after": {
        "cpu_percent_over_1s": 0.7,
        "memory_bytes": 34189107200,
        "physical_cpus": 6
      },
      "host_load_before": {
        "cpu_percent_over_1s": 0.1,
        "memory_bytes": 34189107200,
        "physical_cpus": 6
      },
      "logical_cpus": 12,
      "machine": "AMD64",
      "memory_bytes": 34189107200,
      "os": "Windows-11-10.0.22631-SP0",
      "physical_cpus": 6,
      "processor": "Intel64 Family 6 Model 151 Stepping 5, GenuineIntel",
      "requested_workers": 1
    },
    "evidence_limits": [
      "Complete 1-D H-row bounds over returned binary64 data; not an exact real-arithmetic certificate.",
      "Reachability relation assurance remains Unestablished; provider outputs are numerical.",
      "Two tiny analytic scalar fixtures only; no comparator, no speedup, no application-scale or scalability claim.",
      "No source-level profile was collected; the performance limiter and capacity remain unknown.",
      "Per-provider operation timings are unavailable; operation counts are derived from returned operation lineage."
    ],
    "fixture_catalog": {
      "integrator": {
        "expected_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "input": {
          "controls": [
            [
              0,
              1
            ],
            [
              0,
              1
            ]
          ],
          "stages": [
            "x_next=x+u",
            "x_next=x+u"
          ],
          "state_constraints": [
            [
              0,
              0
            ],
            [
              0,
              1
            ],
            [
              0,
              2
            ]
          ],
          "x0": 0
        }
      },
      "ltv": {
        "expected_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "input": {
          "controls": [
            [
              0,
              1
            ],
            [
              0,
              1
            ]
          ],
          "stages": [
            "x_next=2*x+u+1",
            "x_next=-x+2*u-2"
          ],
          "state_constraints": [
            [
              0,
              2
            ],
            [
              3,
              4
            ],
            [
              -5,
              -4
            ]
          ],
          "x0": 1
        }
      }
    },
    "harness_commit": "7d9fd446dd27bb6ce1849daea09b0a746624533a",
    "measurement": {
      "configured_native_threads": 1,
      "fixture_order": "alternating forward/reverse by repetition",
      "kind": "descriptive_single_adapter",
      "measured_repetitions_per_fixture": 7,
      "operation_timing": "unavailable; the public provider seam exposes no per-operation timer",
      "requested_workers": 1,
      "scope": "Two-step discrete nominal-forward reachability on two authored scalar analytic fixtures",
      "timing_scopes": {
        "execute_ns": "driver entry through verified result; includes numerical-policy, execution-context, and effective-settings construction; excludes process startup/build/serialization/collector validation/rendering",
        "oracle_ns": "immediate returned-outcome consumption plus complete 1-D H-row bound verification",
        "setup_ns": "fresh problem construction/resolution and provider registration/selection/preparation",
        "solve_ns": "nominal_forward() call only"
      },
      "warmups_per_fixture": 1
    },
    "provenance": {
      "algorithm_module": {
        "id": "csl.reachability.nominal-forward",
        "version": "0.1.0"
      },
      "build_command": [
        "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\Common7\\IDE\\CommonExtensions\\Microsoft\\CMake\\CMake\\bin\\cmake.exe",
        "--build",
        "BUILD_ROOT",
        "--config",
        "Release",
        "--target",
        "csl_syn01_nominal_forward_report",
        "--parallel",
        "4",
        "--verbose"
      ],
      "build_configuration": {
        "cmake_release_flags": "/O2 /Ob2 /DNDEBUG",
        "cmake_version": "cmake version 3.31.6-msvc6",
        "compiler_executable": "cl.exe",
        "compiler_id": "MSVC",
        "compiler_version": "19.44.35215.0",
        "configuration": "Release",
        "cxx_standard": "c++20",
        "effective_release_flags": [
          "/std:c++20",
          "/O2",
          "/Ob2",
          "/DNDEBUG",
          "/W4",
          "/WX",
          "/permissive-"
        ],
        "evidence_sha256": {
          "CMakeCache.txt": "9cde01e021a4a548d86044acf2ef27ea86d9d4ae49f1e913d5dd27e20863b36e",
          "build_configuration_file": "9021f1bdc7863aed05fd38a7c7db27a4c00c71916b361cb93d3016bf011d371a",
          "release_build_log": "b4376042290e4f6752c2fee3f7404c1ba03b370d913c288acd0ecd4a1cbee48e"
        },
        "generator": "Visual Studio 17 2022",
        "generator_platform": "x64",
        "target_release_properties": {
          "AdditionalIncludeDirectories": "D:\\work\\PhD\\worktrees\\syn01-nominal-forward\\include;%(AdditionalIncludeDirectories)",
          "AdditionalOptions": "%(AdditionalOptions) /external:I \"D:/work/PhD/worktrees/syn01-nominal-forward/build/syn01-accepted-20261013/_deps/csl_json-src/single_include\"",
          "AssemblerListingLocation": "$(IntDir)",
          "BasicRuntimeChecks": "Default",
          "ConformanceMode": "true",
          "DebugInformationFormat": "",
          "ExceptionHandling": "Sync",
          "ExternalWarningLevel": "TurnOffAllWarnings",
          "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"
        }
      },
      "cmake_version": "cmake version 3.31.6-msvc6",
      "compiler_executable": "cl.exe",
      "compiler_id": "MSVC",
      "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",
        "SOURCE_ROOT",
        "-B",
        "BUILD_ROOT",
        "-G",
        "Visual Studio 17 2022",
        "-DCSL_BUILD_SYN01_REPORT=ON",
        "-DBUILD_TESTING=OFF",
        "-DCMAKE_BUILD_TYPE=Release"
      ],
      "dependency_edges": {
        "affine_sum": [
          "hull_reducer",
          "lp_backend",
          "conversion"
        ],
        "conversion": [
          "lp_backend"
        ]
      },
      "driver_sha256": "3397238d810afe971dcccdaae64d5d1456cb104bedf71698a088e2f80220b9bc",
      "driver_source_sha256": "a0f0bbe54e49bf46de9e9911740b495c308d9cd3d2ee01ad55ec6749959096ba",
      "generator": "Visual Studio 17 2022",
      "native_thread_observation": {
        "observed_threads": null,
        "reason": "The driver has no supported runtime API to observe effective native worker threads.",
        "status": "unavailable"
      },
      "providers": {
        "affine_sum": {
          "id": "csl.geometry.affine-sum",
          "version": "1.0.0"
        },
        "conversion": {
          "id": "csl.conversion.qhull",
          "version": "1.0.0+qhull.8.0.2"
        },
        "hull_reducer": {
          "id": "csl.hull.lp-membership",
          "version": "1.0.0"
        },
        "lp_backend": {
          "id": "csl.lp.highs",
          "version": "1.0.0+highs.1.11.0"
        },
        "projection": {
          "id": "csl.geometry.polyhedral-projection",
          "version": "1.0.0"
        }
      },
      "runtime_settings": {
        "affine_sum": {
          "max_candidates": null
        },
        "highs": {
          "allow_unbounded_or_infeasible": false,
          "dual_feasibility_tolerance": 1e-08,
          "infinite_bound": "kHighsInf",
          "infinite_cost": "kHighsInf",
          "large_matrix_value": "kHighsInf",
          "log_to_console": true,
          "output_flag": true,
          "parallel": "off",
          "presolve": "off",
          "primal_feasibility_tolerance": 1e-08,
          "random_seed": 0,
          "simplex_iteration_limit": null,
          "small_matrix_value": 1e-12,
          "solver": "simplex",
          "threads": 1,
          "time_limit": "kHighsInf (no deadline)"
        },
        "hull_reducer": {
          "default_registration": true
        },
        "numerical_policy": {
          "absolute_tolerance": 1e-08,
          "relative_tolerance": 1e-08
        },
        "projection": {
          "max_rows": null,
          "output": "h"
        },
        "qhull": {
          "max_ambient_dimension": null,
          "max_input_rows": null,
          "options": "qhull Qx"
        }
      }
    },
    "report_id": "syn01-nominal-20261013-f7ba310d-48a679cfc0d4",
    "scenario_hashes": {
      "integrator": "d313f7edd71a966fb2fdeaabbc69f300506887839949a93db4c975873e57962a",
      "ltv": "93922d649cac7f17e38a9f2a07f5c52b7c849e9b513e6a24d72d80ca98c4c369"
    },
    "schema": "csl.syn01-nominal-forward-report/2",
    "source_commit": "f7ba310d1eca8020da8f8ca43cbef6ae468747de",
    "summary": [
      {
        "attempts": 7,
        "failed": 0,
        "passed": 7,
        "phases": {
          "execute_ns": {
            "available_trials": 7,
            "coverage": "complete",
            "max_ns": 4605400,
            "median_ns": 4203900,
            "min_ns": 3913300,
            "not_reached_trials": 0,
            "partial_trials": 0,
            "range_ns": 692100,
            "unavailable_trials": 0
          },
          "oracle_ns": {
            "available_trials": 7,
            "coverage": "complete",
            "max_ns": 2400,
            "median_ns": 2100,
            "min_ns": 1800,
            "not_reached_trials": 0,
            "partial_trials": 0,
            "range_ns": 600,
            "unavailable_trials": 0
          },
          "setup_ns": {
            "available_trials": 7,
            "coverage": "complete",
            "max_ns": 42900,
            "median_ns": 40300,
            "min_ns": 39300,
            "not_reached_trials": 0,
            "partial_trials": 0,
            "range_ns": 3600,
            "unavailable_trials": 0
          },
          "solve_ns": {
            "available_trials": 7,
            "coverage": "complete",
            "max_ns": 4519700,
            "median_ns": 4124100,
            "min_ns": 3834000,
            "not_reached_trials": 0,
            "partial_trials": 0,
            "range_ns": 685700,
            "unavailable_trials": 0
          }
        },
        "scenario": "integrator"
      },
      {
        "attempts": 7,
        "failed": 0,
        "passed": 7,
        "phases": {
          "execute_ns": {
            "available_trials": 7,
            "coverage": "complete",
            "max_ns": 4554200,
            "median_ns": 4403900,
            "min_ns": 4052400,
            "not_reached_trials": 0,
            "partial_trials": 0,
            "range_ns": 501800,
            "unavailable_trials": 0
          },
          "oracle_ns": {
            "available_trials": 7,
            "coverage": "complete",
            "max_ns": 2300,
            "median_ns": 2100,
            "min_ns": 1900,
            "not_reached_trials": 0,
            "partial_trials": 0,
            "range_ns": 400,
            "unavailable_trials": 0
          },
          "setup_ns": {
            "available_trials": 7,
            "coverage": "complete",
            "max_ns": 86700,
            "median_ns": 48100,
            "min_ns": 46100,
            "not_reached_trials": 0,
            "partial_trials": 0,
            "range_ns": 40600,
            "unavailable_trials": 0
          },
          "solve_ns": {
            "available_trials": 7,
            "coverage": "complete",
            "max_ns": 4450900,
            "median_ns": 4313000,
            "min_ns": 3958500,
            "not_reached_trials": 0,
            "partial_trials": 0,
            "range_ns": 492400,
            "unavailable_trials": 0
          }
        },
        "scenario": "ltv"
      }
    ],
    "support": "Unestablished",
    "trials": [
      {
        "detail": "",
        "execute_ns": 5545100,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "observed_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "oracle_ns": 6500,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 0,
        "scenario": "integrator",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 188300,
        "setup_state": "available",
        "solve_ns": 5292300,
        "solve_state": "available",
        "status": "passed",
        "warmup": true
      },
      {
        "detail": "",
        "execute_ns": 4477100,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "observed_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "oracle_ns": 2100,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 0,
        "scenario": "ltv",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 46900,
        "setup_state": "available",
        "solve_ns": 4385200,
        "solve_state": "available",
        "status": "passed",
        "warmup": true
      },
      {
        "detail": "",
        "execute_ns": 4403900,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "observed_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "oracle_ns": 2100,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 1,
        "scenario": "ltv",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 46200,
        "setup_state": "available",
        "solve_ns": 4313000,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 4605400,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "observed_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "oracle_ns": 2000,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 1,
        "scenario": "integrator",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 42900,
        "setup_state": "available",
        "solve_ns": 4519700,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 4203900,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "observed_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "oracle_ns": 1800,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 2,
        "scenario": "integrator",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 39300,
        "setup_state": "available",
        "solve_ns": 4124100,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 4346200,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "observed_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "oracle_ns": 1900,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 2,
        "scenario": "ltv",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 48100,
        "setup_state": "available",
        "solve_ns": 4251600,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 4447700,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "observed_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "oracle_ns": 2000,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 3,
        "scenario": "ltv",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 86700,
        "setup_state": "available",
        "solve_ns": 4314900,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 4557000,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "observed_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "oracle_ns": 2000,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 3,
        "scenario": "integrator",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 40300,
        "setup_state": "available",
        "solve_ns": 4471700,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 4442800,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "observed_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "oracle_ns": 2100,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 4,
        "scenario": "integrator",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 39700,
        "setup_state": "available",
        "solve_ns": 4358300,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 4474900,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "observed_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "oracle_ns": 2200,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 4,
        "scenario": "ltv",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 49400,
        "setup_state": "available",
        "solve_ns": 4380000,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 4263900,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "observed_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "oracle_ns": 2100,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 5,
        "scenario": "ltv",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 46100,
        "setup_state": "available",
        "solve_ns": 4177700,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 3930900,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "observed_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "oracle_ns": 2400,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 5,
        "scenario": "integrator",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 39800,
        "setup_state": "available",
        "solve_ns": 3846000,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 3913300,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "observed_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "oracle_ns": 2100,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 6,
        "scenario": "integrator",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 40800,
        "setup_state": "available",
        "solve_ns": 3834000,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 4052400,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "observed_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "oracle_ns": 2100,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 6,
        "scenario": "ltv",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 46600,
        "setup_state": "available",
        "solve_ns": 3958500,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 4554200,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "observed_marginals": [
          [
            1.0,
            1.0
          ],
          [
            3.0,
            4.0
          ],
          [
            -5.0,
            -4.0
          ]
        ],
        "oracle_ns": 2300,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 7,
        "scenario": "ltv",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 53600,
        "setup_state": "available",
        "solve_ns": 4450900,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      },
      {
        "detail": "",
        "execute_ns": 4173300,
        "execute_state": "available",
        "execution_settings": {
          "affine_sum": {
            "max_candidates": null
          },
          "highs": {
            "allow_unbounded_or_infeasible": false,
            "dual_feasibility_tolerance": 1e-08,
            "infinite_bound": "kHighsInf",
            "infinite_cost": "kHighsInf",
            "large_matrix_value": "kHighsInf",
            "log_to_console": true,
            "output_flag": true,
            "parallel": "off",
            "presolve": "off",
            "primal_feasibility_tolerance": 1e-08,
            "random_seed": 0,
            "simplex_iteration_limit": null,
            "small_matrix_value": 1e-12,
            "solver": "simplex",
            "threads": 1,
            "time_limit": "kHighsInf (no deadline)"
          },
          "hull_reducer": {
            "default_registration": true
          },
          "numerical_policy": {
            "absolute_tolerance": 1e-08,
            "relative_tolerance": 1e-08
          },
          "projection": {
            "max_rows": null,
            "output": "h"
          },
          "qhull": {
            "max_ambient_dimension": null,
            "max_input_rows": null,
            "options": "qhull Qx"
          }
        },
        "expected_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "observed_marginals": [
          [
            0.0,
            0.0
          ],
          [
            0.0,
            1.0
          ],
          [
            0.0,
            2.0
          ]
        ],
        "oracle_ns": 2200,
        "oracle_passed": true,
        "oracle_state": "available",
        "outcome": "forward_tube",
        "provider_identities": {
          "affine_sum": {
            "id": "csl.geometry.affine-sum",
            "version": "1.0.0"
          },
          "conversion": {
            "id": "csl.conversion.qhull",
            "version": "1.0.0+qhull.8.0.2"
          },
          "hull_reducer": {
            "id": "csl.hull.lp-membership",
            "version": "1.0.0"
          },
          "lp_backend": {
            "id": "csl.lp.highs",
            "version": "1.0.0+highs.1.11.0"
          },
          "projection": {
            "id": "csl.geometry.polyhedral-projection",
            "version": "1.0.0"
          }
        },
        "provider_operation_counts": {
          "csl.conversion.qhull": 2,
          "csl.geometry.affine-sum": 6,
          "csl.geometry.polyhedral-projection": 6
        },
        "provider_operation_timing_ns": null,
        "repetition": 7,
        "scenario": "integrator",
        "schema": "csl.syn01-nominal-forward-trial/2",
        "setup_ns": 42200,
        "setup_state": "available",
        "solve_ns": 4085500,
        "solve_state": "available",
        "status": "passed",
        "warmup": false
      }
    ]
  },
  "payload_schema": "csl.syn01-nominal-forward-report/2",
  "payload_sha256": "043084cd0ad8c381dc349e00756007b36845086b46a5012e39343daca4a31816",
  "report_id": "syn01-6e207b2ee1f300929f054e679c8cd5707f979c02b173292660520e403ebf2852",
  "report_kind": "syn01-nominal-forward",
  "schema": "csl.algorithm-report-envelope/1",
  "source_commit": "f7ba310d1eca8020da8f8ca43cbef6ae468747de",
  "source_report_id": "syn01-nominal-20261013-f7ba310d-48a679cfc0d4"
}