{ "evidence_limits": "No comparator or speedup claim; binary64 numerical fixtures without exact validated geometry; no application-scale or scalability claim; HiGHS reduction remains incomplete and retains all rows; CPU profile and per-trial resource counters unavailable", "measured_scope": "28 measured trials across 4 analytic polyhedral-intersection fixtures", "native_payload_sha256": "c37852bcc80d264084118446f5676d3f41c311d55456a8a661c00c62fff3bfc5", "payload": { "algorithm": { "api": "CSL public polyhedral intersection and halfspace-reduction APIs", "harness_commit": "b83b8dc415dbe5811371b8446931ae4c6f3d2e28", "id": "GEO-04", "source_commit": "9579f9e936d85d66c59003b2a04157c153df6b63" }, "collection": { "aborted_or_timed_out": false, "actual_trials": 28, "expected_trials": 28, "failures": 0, "fresh_input_workspace_and_provider_per_trial": true, "measured_repetitions": 7, "order": "forward on even repetitions, reverse on odd repetitions", "parse_error": null, "process_return_code": 0, "seed": { "reason": "the implementations have no user-configurable random seed", "value": null }, "state": "complete", "timings": "steady-clock nanoseconds; phase intervals as named in driver CSV", "warmups_per_scenario": 1 }, "drivers": { "converter": { "id": "csl.conversion.qhull", "version": "1.0.0+qhull.8.0.2" }, "lp_backend": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" } }, "environment": { "architecture": "AMD64", "compiler_and_release_flags": "see build-provenance.json and build-provenance.txt", "cpu_model": "Intel64 Family 6 Model 151 Stepping 5, GenuineIntel", "load_percent_after": [ 8 ], "load_percent_before": [ 9 ], "logical_cpu_count": 12, "machine_load": { "after": { "cpu": "12th Gen Intel(R) Core(TM) i5-12400F", "load_percent": [ 8 ], "logical_processors": 12, "os": "Windows-11-10.0.22631-SP0", "python": "3.13.5", "ram_bytes": 34189107200, "utc": "2026-10-12T22:49:44Z" }, "before": { "cpu": "12th Gen Intel(R) Core(TM) i5-12400F", "load_percent": [ 9 ], "logical_processors": 12, "os": "Windows-11-10.0.22631-SP0", "python": "3.13.5", "ram_bytes": 34189107200, "utc": "2026-10-12T22:49:41Z" }, "process_cpu_deltas": { "available": true, "scope": "matching observed processes only; no arguments/paths, new/exited processes omitted", "unit": "process CPU seconds over collection interval", "values": { "Adobe Crash Processor": 0.0, "AdobeIPCBroker": 0.0, "ApplicationFrameHost": 0.0, "AvastUI": 0.0, "CCXProcess": 0, "ChatGPT": 0.015625, "DTShellHlp": 0.0, "DataExchangeHost": 0.0, "FLPService": 0.0, "LockApp": 0.0, "MSBuild": 0.0, "OpenConsole": 0.0, "PhoneExperienceHost": 0.0, "RuntimeBroker": 0.0, "SearchHost": 0.0, "SecurityHealthSystray": 0.0, "ShellExperienceHost": 0.0, "StartMenuExperienceHost": 0.0, "SystemSettings": 0.0, "SystemSettingsBroker": 0.0, "Telegram": 0.03125, "TextInputHost": 0.0, "WebKitNetworkProcess": 0.0, "WidgetService": 0.0, "Widgets": 0.0, "WindowsTerminal": 0.0, "cbservice": 0.046875, "chrome": 0.015625, "cmd": 0, "cnqtbapp": 0.0, "codex": 0.0, "codex-code-mode-host": 0.0, "codex-command-runner-0.162.0-alpha.17.2": 0.0, "codex-computer-use-swift": 0.015625, "conhost": 0.0, "ctfmon": 0.0, "dllhost": 0.0, "explorer": 0.0, "node": 0.0, "node_repl": 0.0, "opencode": 0.0, "pdf24": 0.0, "pwsh": 0.0, "python": 0.0, "rhinomcp": 0, "sihost": 0.0, "sketchup-mcp": 0, "svchost": 0.0, "tailscale-ipn": 0.0, "taskhostw": 0.0, "uv": 0.0 } } }, "machine_observations": { "after": { "cpu": "12th Gen Intel(R) Core(TM) i5-12400F", "load_percent": [ 8 ], "logical_processors": 12, "os": "Windows-11-10.0.22631-SP0", "python": "3.13.5", "ram_bytes": 34189107200, "utc": "2026-10-12T22:49:44Z" }, "before": { "cpu": "12th Gen Intel(R) Core(TM) i5-12400F", "load_percent": [ 9 ], "logical_processors": 12, "os": "Windows-11-10.0.22631-SP0", "python": "3.13.5", "ram_bytes": 34189107200, "utc": "2026-10-12T22:49:41Z" } }, "native_threads_observed": { "reason": "not sampled by the phase-1 harness", "value": null }, "native_threads_requested": 1, "os": "Windows-11-10.0.22631-SP0", "outer_workers": 1, "per_trial_cpu": { "reason": "not observed by the phase-1 harness", "value": null }, "per_trial_peak_memory": { "reason": "not observed by the phase-1 harness", "value": null }, "physical_memory_after_bytes": 34189107200, "physical_memory_before_bytes": 34189107200, "python": "3.13.5", "resources": { "memory_bytes": { "reason": "no memory limit requested", "value": null }, "outer_workers": 1, "threads_per_worker": 1, "total_threads": 1 }, "threads_per_worker": 1 }, "evidence": { "essential_row_result": "HiGHS currently returns no supported objective bounds; production reduction must remain incomplete and retain all rows.", "fixed_bound_unit_fixture_is_benchmark_backend": false, "limitations": [ "small analytic fixtures only", "no competitor or speedup claim", "no application-scale or scalability claim", "LP query internal phase timings and OS-observed thread counts unavailable" ], "limiter_profile": { "file": "profile-evidence.txt", "timing_trials_profiled": false }, "scope": "numerical binary64 fixture checks; no exact validated geometry claim" }, "expected": { "affine_equality": { "equalities": 2, "inequalities": 4, "inputs": { "A": [ [ 1, 0 ], [ -1, 0 ] ], "E": [ [ 0, 1 ] ], "b": [ 2, 0 ], "f": [ 1 ] }, "vertices": [ [ 0, 1 ], [ 2, 1 ] ] }, "crossing_octagon": { "equalities": 0, "inequalities": 8, "inputs": { "left_A": [ [ 1, 0 ], [ -1, 0 ], [ 0, 1 ], [ 0, -1 ] ], "left_b": [ 1, 1, 1, 1 ], "right_A": [ [ 1, 1 ], [ 1, -1 ], [ -1, 1 ], [ -1, -1 ] ], "right_b": [ 1.5, 1.5, 1.5, 1.5 ] }, "vertices": [ [ 1, 0.5 ], [ 1, -0.5 ], [ -1, 0.5 ], [ -1, -0.5 ], [ 0.5, 1 ], [ -0.5, 1 ], [ 0.5, -1 ], [ -0.5, -1 ] ] }, "empty_intersection": { "inequalities": 2, "inputs": { "left_A": [ [ 1, 0 ] ], "left_b": [ 0 ], "right_A": [ [ -1, 0 ] ], "right_b": [ -1 ] }, "vertices": [] }, "essential_rows_highs": { "equalities": 1, "inequalities": 3, "inputs": { "A": [ [ 1, 0 ], [ -1, 0 ], [ 0, 1 ] ], "E": [ [ 0, 1 ] ], "b": [ 1, 0, 0 ], "f": [ 0 ] }, "lp_calls": 3, "reduction_status": "incomplete", "removed_inequalities": [] } }, "inputs": { "executable_name": "csl_geo04_intersection_report.exe", "executable_sha256": "c266bf24aefcb2a66cd3b44c19224cfb634766b0ff9ad4f25ac794dcf70e5806", "scenario_catalog_sha256": "91e4cf9b3f072fd189b025a8e6dec5422a7cc12aa5d8958123235bd628e7904c", "scenario_catalog_version": "geo04-analytic-v1" }, "payload_hash_scope": "canonical JSON payload excluding report_id, payload_sha256, and payload_hash_scope", "payload_sha256": "c37852bcc80d264084118446f5676d3f41c311d55456a8a661c00c62fff3bfc5", "report_id": "geo04-20261012T224946Z-c37852bcc80d", "schema": "csl.geo04-polyhedral-report/1", "summary": { "affine_equality": { "attempts": 7, "failures": 0, "passed": 7, "phases": { "conversion_run_ns": { "max": 1117800, "median": 1060500, "min": 1001500, "range": 116300, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "intersection_ns": { "max": 2400, "median": 2000, "min": 1900, "range": 500, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "lp_workspace_ns": { "max": 0, "median": 0, "min": 0, "range": 0, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "prepare_ns": { "max": 3100, "median": 2700, "min": 2300, "range": 800, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "reduction_ns": { "max": 0, "median": 0, "min": 0, "range": 0, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "total_ns": { "max": 1135500, "median": 1079900, "min": 1021400, "range": 114100, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "workspace_ns": { "max": 700, "median": 700, "min": 600, "range": 100, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" } } }, "crossing_octagon": { "attempts": 7, "failures": 0, "passed": 7, "phases": { "conversion_run_ns": { "max": 1801900, "median": 1698400, "min": 1568100, "range": 233800, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "intersection_ns": { "max": 2000, "median": 1800, "min": 1500, "range": 500, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "lp_workspace_ns": { "max": 0, "median": 0, "min": 0, "range": 0, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "prepare_ns": { "max": 3600, "median": 3400, "min": 1800, "range": 1800, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "reduction_ns": { "max": 0, "median": 0, "min": 0, "range": 0, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "total_ns": { "max": 1837600, "median": 1733100, "min": 1597500, "range": 240100, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "workspace_ns": { "max": 800, "median": 600, "min": 400, "range": 400, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" } } }, "empty_intersection": { "attempts": 7, "failures": 0, "passed": 7, "phases": { "conversion_run_ns": { "max": 293700, "median": 241100, "min": 204700, "range": 89000, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "intersection_ns": { "max": 2000, "median": 1800, "min": 1500, "range": 500, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "lp_workspace_ns": { "max": 0, "median": 0, "min": 0, "range": 0, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "prepare_ns": { "max": 3900, "median": 3400, "min": 3100, "range": 800, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "reduction_ns": { "max": 0, "median": 0, "min": 0, "range": 0, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "total_ns": { "max": 313200, "median": 261700, "min": 221200, "range": 92000, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "workspace_ns": { "max": 700, "median": 700, "min": 500, "range": 200, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" } } }, "essential_rows_highs": { "attempts": 7, "failures": 0, "passed": 7, "phases": { "conversion_run_ns": { "max": 0, "median": 0, "min": 0, "range": 0, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "intersection_ns": { "max": 0, "median": 0, "min": 0, "range": 0, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "lp_workspace_ns": { "max": 2400, "median": 1800, "min": 1600, "range": 800, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "prepare_ns": { "max": 0, "median": 0, "min": 0, "range": 0, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "reduction_ns": { "max": 459300, "median": 436500, "min": 407000, "range": 52300, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "total_ns": { "max": 495800, "median": 478400, "min": 456800, "range": 39000, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" }, "workspace_ns": { "max": 0, "median": 0, "min": 0, "range": 0, "successful_trials": 7, "trials_excluded_from_summary": 0, "unit": "ns" } } } }, "tolerances": { "analytic_output_oracle": { "absolute": 1e-07, "relative": 0.0 }, "arithmetic": "binary64", "numerical_policy": { "absolute": 1e-08, "relative": 1e-08 } }, "trials": [ { "conversion_run_ns": 1698400, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1800, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 3500, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 0, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1733100, "vertices": 8, "vertices_json": [ [ -1.0000000000000002, -0.5000000000000001 ], [ -0.5000000000000001, -1.0000000000000002 ], [ 1.0000000000000002, -0.5000000000000001 ], [ 0.5000000000000001, -1.0000000000000002 ], [ -1.0000000000000002, 0.5000000000000001 ], [ -0.5000000000000001, 1.0000000000000002 ], [ 1.0000000000000002, 0.5000000000000001 ], [ 0.5000000000000001, 1.0000000000000002 ] ], "workspace_ns": 600 }, { "conversion_run_ns": 257500, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1800, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3500, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 0, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 285100, "vertices": 0, "vertices_json": [], "workspace_ns": 700 }, { "conversion_run_ns": 1089800, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 2400, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2700, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 0, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1108400, "vertices": 2, "vertices_json": [ [ 0, 1 ], [ 2, 1 ] ], "workspace_ns": 700 }, { "conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 1600, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 436500, "reduction_status": "incomplete", "repetition": 0, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 478400, "vertices": 0, "vertices_json": [], "workspace_ns": 0 }, { "conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 2400, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 442500, "reduction_status": "incomplete", "repetition": 1, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 481800, "vertices": 0, "vertices_json": [], "workspace_ns": 0 }, { "conversion_run_ns": 1032700, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 1900, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2700, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 1, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1051600, "vertices": 2, "vertices_json": [ [ 0, 1 ], [ 2, 1 ] ], "workspace_ns": 700 }, { "conversion_run_ns": 218700, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1700, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3100, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 1, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 234000, "vertices": 0, "vertices_json": [], "workspace_ns": 700 }, { "conversion_run_ns": 1631600, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1500, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 1900, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 1, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1661400, "vertices": 8, "vertices_json": [ [ -1.0000000000000002, -0.5000000000000001 ], [ -0.5000000000000001, -1.0000000000000002 ], [ 1.0000000000000002, -0.5000000000000001 ], [ 0.5000000000000001, -1.0000000000000002 ], [ -1.0000000000000002, 0.5000000000000001 ], [ -0.5000000000000001, 1.0000000000000002 ], [ 1.0000000000000002, 0.5000000000000001 ], [ 0.5000000000000001, 1.0000000000000002 ] ], "workspace_ns": 600 }, { "conversion_run_ns": 1706900, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1900, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 3500, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 2, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1743900, "vertices": 8, "vertices_json": [ [ -1.0000000000000002, -0.5000000000000001 ], [ -0.5000000000000001, -1.0000000000000002 ], [ 1.0000000000000002, -0.5000000000000001 ], [ 0.5000000000000001, -1.0000000000000002 ], [ -1.0000000000000002, 0.5000000000000001 ], [ -0.5000000000000001, 1.0000000000000002 ], [ 1.0000000000000002, 0.5000000000000001 ], [ 0.5000000000000001, 1.0000000000000002 ] ], "workspace_ns": 700 }, { "conversion_run_ns": 259500, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1800, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3900, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 2, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 276300, "vertices": 0, "vertices_json": [], "workspace_ns": 700 }, { "conversion_run_ns": 1117800, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 2300, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2300, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 2, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1135500, "vertices": 2, "vertices_json": [ [ 0, 1 ], [ 2, 1 ] ], "workspace_ns": 700 }, { "conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 1800, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 459300, "reduction_status": "incomplete", "repetition": 2, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 495800, "vertices": 0, "vertices_json": [], "workspace_ns": 0 }, { "conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 2200, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 445600, "reduction_status": "incomplete", "repetition": 3, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 483000, "vertices": 0, "vertices_json": [], "workspace_ns": 0 }, { "conversion_run_ns": 1001500, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 2000, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2800, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 3, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1021400, "vertices": 2, "vertices_json": [ [ 0, 1 ], [ 2, 1 ] ], "workspace_ns": 700 }, { "conversion_run_ns": 204700, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 2000, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3100, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 3, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 221200, "vertices": 0, "vertices_json": [], "workspace_ns": 600 }, { "conversion_run_ns": 1568100, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1600, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 1800, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 3, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1597500, "vertices": 8, "vertices_json": [ [ -1.0000000000000002, -0.5000000000000001 ], [ -0.5000000000000001, -1.0000000000000002 ], [ 1.0000000000000002, -0.5000000000000001 ], [ 0.5000000000000001, -1.0000000000000002 ], [ -1.0000000000000002, 0.5000000000000001 ], [ -0.5000000000000001, 1.0000000000000002 ], [ 1.0000000000000002, 0.5000000000000001 ], [ 0.5000000000000001, 1.0000000000000002 ] ], "workspace_ns": 400 }, { "conversion_run_ns": 1709400, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 2000, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 3600, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 4, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1746600, "vertices": 8, "vertices_json": [ [ -1.0000000000000002, -0.5000000000000001 ], [ -0.5000000000000001, -1.0000000000000002 ], [ 1.0000000000000002, -0.5000000000000001 ], [ 0.5000000000000001, -1.0000000000000002 ], [ -1.0000000000000002, 0.5000000000000001 ], [ -0.5000000000000001, 1.0000000000000002 ], [ 1.0000000000000002, 0.5000000000000001 ], [ 0.5000000000000001, 1.0000000000000002 ] ], "workspace_ns": 800 }, { "conversion_run_ns": 241100, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1800, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3400, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 4, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 261700, "vertices": 0, "vertices_json": [], "workspace_ns": 700 }, { "conversion_run_ns": 1032100, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 1900, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2300, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 4, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1051900, "vertices": 2, "vertices_json": [ [ 0, 1 ], [ 2, 1 ] ], "workspace_ns": 700 }, { "conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 1600, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 417500, "reduction_status": "incomplete", "repetition": 4, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 463100, "vertices": 0, "vertices_json": [], "workspace_ns": 0 }, { "conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 2100, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 407000, "reduction_status": "incomplete", "repetition": 5, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 456800, "vertices": 0, "vertices_json": [], "workspace_ns": 0 }, { "conversion_run_ns": 1060500, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 2200, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2600, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 5, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1079900, "vertices": 2, "vertices_json": [ [ 0, 1 ], [ 2, 1 ] ], "workspace_ns": 600 }, { "conversion_run_ns": 221200, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1500, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3300, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 5, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 236800, "vertices": 0, "vertices_json": [], "workspace_ns": 500 }, { "conversion_run_ns": 1695600, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1600, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 1800, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 5, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1726400, "vertices": 8, "vertices_json": [ [ -1.0000000000000002, -0.5000000000000001 ], [ -0.5000000000000001, -1.0000000000000002 ], [ 1.0000000000000002, -0.5000000000000001 ], [ 0.5000000000000001, -1.0000000000000002 ], [ -1.0000000000000002, 0.5000000000000001 ], [ -0.5000000000000001, 1.0000000000000002 ], [ 1.0000000000000002, 0.5000000000000001 ], [ 0.5000000000000001, 1.0000000000000002 ] ], "workspace_ns": 500 }, { "conversion_run_ns": 1801900, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1900, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 3400, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 6, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1837600, "vertices": 8, "vertices_json": [ [ -1.0000000000000002, -0.5000000000000001 ], [ -0.5000000000000001, -1.0000000000000002 ], [ 1.0000000000000002, -0.5000000000000001 ], [ 0.5000000000000001, -1.0000000000000002 ], [ -1.0000000000000002, 0.5000000000000001 ], [ -0.5000000000000001, 1.0000000000000002 ], [ 1.0000000000000002, 0.5000000000000001 ], [ 0.5000000000000001, 1.0000000000000002 ] ], "workspace_ns": 700 }, { "conversion_run_ns": 293700, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1800, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3400, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 6, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 313200, "vertices": 0, "vertices_json": [], "workspace_ns": 700 }, { "conversion_run_ns": 1068200, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 1900, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 3100, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 6, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1088800, "vertices": 2, "vertices_json": [ [ 0, 1 ], [ 2, 1 ] ], "workspace_ns": 600 }, { "conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 1700, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 413600, "reduction_status": "incomplete", "repetition": 6, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 461200, "vertices": 0, "vertices_json": [], "workspace_ns": 0 } ] }, "payload_schema": "csl.geo04-polyhedral-report/1", "payload_sha256": "961fa1b4019a35863dc2969d70d4ca7e3f31521379695d40dd5285569192f369", "report_id": "geo04-20261012T224946Z-30606c76deb657567eb86a451c474c5aa796827651262a550b15fa4cb4ece549", "report_kind": "geo04-intersection", "schema": "csl.algorithm-report-envelope/1", "source_commit": "9579f9e936d85d66c59003b2a04157c153df6b63", "source_report_id": "geo04-20261012T224946Z-c37852bcc80d" }