{ "backend": "native stored-binary64 generator construction and independent admission", "build": { "architecture": "x64", "build_log_sha256": "0e80be7827f6be2215f18e4e866614858154f0d003698a22a9baf298e128ab25", "cmake_cache_sha256": "52ba712f4e748a24c558330542474560f432d5f91d24d8cc1dba2932a564de08", "cmake_compiler_sha256": "33bebcb486c4fc42c67f633fb5ff363392744fda1fcfed6ccf6230a10ed09cbf", "cmake_options": { "BUILD_TESTING": "OFF", "CSL_BUILD_APP03_REPORT": "ON", "CSL_ENABLE_HIGHS": "OFF", "CSL_ENABLE_QHULL": "OFF" }, "compiler_receipt": "set(CMAKE_CXX_COMPILER \"C:/Program Files/Microsoft Visual Studio/2022/Community/VC/Tools/MSVC/14.44.35207/bin/Hostx64/x64/cl.exe\")\nset(CMAKE_CXX_COMPILER_ARG1 \"\")\nset(CMAKE_CXX_COMPILER_ID \"MSVC\")\nset(CMAKE_CXX_COMPILER_VERSION \"19.44.35215.0\")\nset(CMAKE_CXX_COMPILER_VERSION_INTERNAL \"\")\nset(CMAKE_CXX_COMPILER_WRAPPER \"\")\nset(CMAKE_CXX_STANDARD_COMPUTED_DEFAULT \"14\")\nset(CMAKE_CXX_EXTENSIONS_COMPUTED_DEFAULT \"OFF\")\nset(CMAKE_CXX_STANDARD_LATEST \"23\")\nset(CMAKE_CXX_COMPILE_FEATURES \"cxx_std_98;cxx_template_template_parameters;cxx_std_11;cxx_alias_templates;cxx_alignas;cxx_alignof;cxx_attributes;cxx_auto_type;cxx_constexpr;cxx_decltype;cxx_decltype_incomplete_return_types;cxx_default_function_template_args;cxx_defaulted_functions;cxx_defaulted_move_initializers;cxx_delegating_constructors;cxx_deleted_functions;cxx_enum_forward_declarations;cxx_explicit_conversions;cxx_extended_friend_declarations;cxx_extern_templates;cxx_final;cxx_func_identifier;cxx_generalized_initializers;cxx_inheriting_constructors;cxx_inline_namespaces;cxx_lambdas;cxx_local_type_template_args;cxx_long_long_type;cxx_noexcept;cxx_nonstatic_member_init;cxx_nullptr;cxx_override;cxx_range_for;cxx_raw_string_literals;cxx_reference_qualified_functions;cxx_right_angle_brackets;cxx_rvalue_references;cxx_sizeof_member;cxx_static_assert;cxx_strong_enums;cxx_thread_local;cxx_trailing_return_types;cxx_unicode_literals;cxx_uniform_initialization;cxx_unrestricted_unions;cxx_user_literals;cxx_variadic_macros;cxx_variadic_templates;cxx_std_14;cxx_aggregate_default_initializers;cxx_attribute_deprecated;cxx_binary_literals;cxx_contextual_conversions;cxx_decltype_auto;cxx_digit_separators;cxx_generic_lambdas;cxx_lambda_init_captures;cxx_relaxed_constexpr;cxx_return_type_deduction;cxx_variable_templates;cxx_std_17;cxx_std_20;cxx_std_23\")\nset(CMAKE_CXX98_COMPILE_FEATURES \"cxx_std_98;cxx_template_template_parameters\")\nset(CMAKE_CXX11_COMPILE_FEATURES \"cxx_std_11;cxx_alias_templates;cxx_alignas;cxx_alignof;cxx_attributes;cxx_auto_type;cxx_constexpr;cxx_decltype;cxx_decltype_incomplete_return_types;cxx_default_function_template_args;cxx_defaulted_functions;cxx_defaulted_move_initializers;cxx_delegating_constructors;cxx_deleted_functions;cxx_enum_forward_declarations;cxx_explicit_conversions;cxx_extended_friend_declarations;cxx_extern_templates;cxx_final;cxx_func_identifier;cxx_generalized_initializers;cxx_inheriting_constructors;cxx_inline_namespaces;cxx_lambdas;cxx_local_type_template_args;cxx_long_long_type;cxx_noexcept;cxx_nonstatic_member_init;cxx_nullptr;cxx_override;cxx_range_for;cxx_raw_string_literals;cxx_reference_qualified_functions;cxx_right_angle_brackets;cxx_rvalue_references;cxx_sizeof_member;cxx_static_assert;cxx_strong_enums;cxx_thread_local;cxx_trailing_return_types;cxx_unicode_literals;cxx_uniform_initialization;cxx_unrestricted_unions;cxx_user_literals;cxx_variadic_macros;cxx_variadic_templates\")\nset(CMAKE_CXX14_COMPILE_FEATURES \"cxx_std_14;cxx_aggregate_default_initializers;cxx_attribute_deprecated;cxx_binary_literals;cxx_contextual_conversions;cxx_decltype_auto;cxx_digit_separators;cxx_generic_lambdas;cxx_lambda_init_captures;cxx_relaxed_constexpr;cxx_return_type_deduction;cxx_variable_templates\")\nset(CMAKE_CXX17_COMPILE_FEATURES \"cxx_std_17\")\nset(CMAKE_CXX20_COMPILE_FEATURES \"cxx_std_20\")\nset(CMAKE_CXX23_COMPILE_FEATURES \"cxx_std_23\")\nset(CMAKE_CXX26_COMPILE_FEATURES \"\")\n\nset(CMAKE_CXX_PLATFORM_ID \"Windows\")\nset(CMAKE_CXX_SIMULATE_ID \"\")\nset(CMAKE_CXX_COMPILER_FRONTEND_VARIANT \"MSVC\")\nset(CMAKE_CXX_SIMULATE_VERSION \"\")\nset(CMAKE_CXX_COMPILER_ARCHITECTURE_ID x64)\n\nset(MSVC_CXX_ARCHITECTURE_ID x64)\n\nset(CMAKE_AR \"C:/Program Files/Microsoft Visual Studio/2022/Community/VC/Tools/MSVC/14.44.35207/bin/Hostx64/x64/lib.exe\")\nset(CMAKE_CXX_COMPILER_AR \"\")\nset(CMAKE_RANLIB \":\")\nset(CMAKE_CXX_COMPILER_RANLIB \"\")\nset(CMAKE_LINKER \"C:/Program Files/Microsoft Visual Studio/2022/Community/VC/Tools/MSVC/14.44.35207/bin/Hostx64/x64/link.exe\")\nset(CMAKE_LINKER_LINK \"C:/Program Files/Microsoft Visual Studio/2022/Community/VC/Tools/MSVC/14.44.35207/bin/Hostx64/x64/link.exe\")\nset(CMAKE_LINKER_LLD \"lld-link\")\nset(CMAKE_CXX_COMPILER_LINKER \"C:/Program Files/Microsoft Visual Studio/2022/Community/VC/Tools/MSVC/14.44.35207/bin/HostX64/x64/link.exe\")\nset(CMAKE_CXX_COMPILER_LINKER_ID \"MSVC\")\nset(CMAKE_CXX_COMPILER_LINKER_VERSION 14.44.35215.0)\nset(CMAKE_CXX_COMPILER_LINKER_FRONTEND_VARIANT MSVC)\nset(CMAKE_MT \"CMAKE_MT-NOTFOUND\")\nset(CMAKE_TAPI \"\")\nset(CMAKE_COMPILER_IS_GNUCXX )\nset(CMAKE_CXX_COMPILER_LOADED 1)\nset(CMAKE_CXX_COMPILER_WORKS TRUE)\nset(CMAKE_CXX_ABI_COMPILED TRUE)\n\nset(CMAKE_CXX_COMPILER_ENV_VAR \"CXX\")\n\nset(CMAKE_CXX_COMPILER_ID_RUN 1)\nset(CMAKE_CXX_SOURCE_FILE_EXTENSIONS C;M;c++;cc;cpp;cxx;m;mm;mpp;CPP;ixx;cppm;ccm;cxxm;c++m)\nset(CMAKE_CXX_IGNORE_EXTENSIONS inl;h;hpp;HPP;H;o;O;obj;OBJ;def;DEF;rc;RC)\n\nforeach (lang IN ITEMS C OBJC OBJCXX)\n if (CMAKE_${lang}_COMPILER_ID_RUN)\n foreach(extension IN LISTS CMAKE_${lang}_SOURCE_FILE_EXTENSIONS)\n list(REMOVE_ITEM CMAKE_CXX_SOURCE_FILE_EXTENSIONS ${extension})\n endforeach()\n endif()\nendforeach()\n\nset(CMAKE_CXX_LINKER_PREFERENCE 30)\nset(CMAKE_CXX_LINKER_PREFERENCE_PROPAGATES 1)\nset(CMAKE_CXX_LINKER_DEPFILE_SUPPORTED )\n\n# Save compiler ABI information.\nset(CMAKE_CXX_SIZEOF_DATA_PTR \"8\")\nset(CMAKE_CXX_COMPILER_ABI \"\")\nset(CMAKE_CXX_BYTE_ORDER \"LITTLE_ENDIAN\")\nset(CMAKE_CXX_LIBRARY_ARCHITECTURE \"\")\n\nif(CMAKE_CXX_SIZEOF_DATA_PTR)\n set(CMAKE_SIZEOF_VOID_P \"${CMAKE_CXX_SIZEOF_DATA_PTR}\")\nendif()\n\nif(CMAKE_CXX_COMPILER_ABI)\n set(CMAKE_INTERNAL_PLATFORM_ABI \"${CMAKE_CXX_COMPILER_ABI}\")\nendif()\n\nif(CMAKE_CXX_LIBRARY_ARCHITECTURE)\n set(CMAKE_LIBRARY_ARCHITECTURE \"\")\nendif()\n\nset(CMAKE_CXX_CL_SHOWINCLUDES_PREFIX \"\")\nif(CMAKE_CXX_CL_SHOWINCLUDES_PREFIX)\n set(CMAKE_CL_SHOWINCLUDES_PREFIX \"${CMAKE_CXX_CL_SHOWINCLUDES_PREFIX}\")\nendif()\n\n\n\n\n\nset(CMAKE_CXX_IMPLICIT_INCLUDE_DIRECTORIES \"\")\nset(CMAKE_CXX_IMPLICIT_LINK_LIBRARIES \"\")\nset(CMAKE_CXX_IMPLICIT_LINK_DIRECTORIES \"\")\nset(CMAKE_CXX_IMPLICIT_LINK_FRAMEWORK_DIRECTORIES \"\")\nset(CMAKE_CXX_COMPILER_CLANG_RESOURCE_DIR \"\")\n\nset(CMAKE_CXX_COMPILER_IMPORT_STD \"\")\n### Imported target for C++23 standard library\nset(CMAKE_CXX23_COMPILER_IMPORT_STD_NOT_FOUND_MESSAGE \"Unsupported generator: Visual Studio 17 2022\")\n\n\n\n", "configuration": "Release", "configure_log_sha256": "538a11d8f0e28b742321864f96752bc0317efbc9778821d74f9906462ba6e481", "driver_source_sha256": "4d9381458d96ddeaeaabe274294360929bc10d912eb20c748bf2510331c1cf51", "executable_sha256": "b74278681072d985a8f7dbc2c412fcefb241866bed059ef098ff6f1574885a74" }, "environment": { "architecture": "AMD64", "collected_utc": "2026-10-19T08:36:46.050317+00:00", "host": "DESKTOP-S9O3F6S", "logical_processors": 12, "os": "Windows-11-10.0.22631-SP0", "processor": "Intel64 Family 6 Model 151 Stepping 5, GenuineIntel", "python": "3.13.5", "source_commit": "e105a86b8e2ab7d09b1e7042fc5f0d5bc0ce5c40", "source_status": [], "source_tree": "14663e7b8c55e27faf8b417b289058a4210bc482" }, "fixtures": { "constrained-axis-cover": { "budget": 3, "center": [ 0, 0 ], "expected_basis": "generator-axis-cover", "expected_count": 3, "expected_generators": [ [ 2, 0.75, 0 ], [ 0, 0, 1.75 ] ], "input_equality_value": [ 0 ], "input_factor_equality": [ [ 0, 1, 0, 0 ] ], "input_factor_ids": [ "shared", "vertical", "diagonal", "small" ], "input_generators": [ [ 2, 0, 0.5, 0.25 ], [ 0, 1, 0.5, 0.25 ] ], "input_sha256": "f9155362f2bf110305b7fa4d5103ca6d25007dd2ce4b19cd00e698363827e3eb", "relation": "outer", "relaxation": "The input factor equality is omitted by the outer cover." }, "diamond-axis-cover": { "analytic_support_1_minus_1": { "input": 2, "output": 3 }, "budget": 2, "center": [ 0, 0 ], "expected_basis": "generator-axis-cover", "expected_count": 2, "expected_generators": [ [ 1.5, 0 ], [ 0, 1.5 ] ], "input_factor_ids": [ "x", "y", "diagonal" ], "input_generators": [ [ 1, 0, 0.5 ], [ 0, 1, 0.5 ] ], "input_sha256": "4e85b3d43d32b55639f8880658d672b935049bd29df24f811c28d40afc4315a0", "relation": "outer" }, "zero-column-exact": { "center": [ 1, 2 ], "expected_basis": "physical-equivalence", "expected_count": 2, "expected_factor_ids": [ "x", "y" ], "expected_generators": [ [ 2, 0 ], [ 0, 3 ] ], "input_factor_ids": [ "x", "zero", "y" ], "input_generators": [ [ 2, 0, 0 ], [ 0, 0, 3 ] ], "input_sha256": "58313a2dfdbdfb870691bf3e182955a9c470cff5c57ce39742303e2d5317ae68", "relation": "equivalent" } }, "limits": [ "The outer inclusion check covers stored binary64 generator coefficients.", "Input factor equalities are relaxed for the constrained outer case.", "No finite approximation error bound or validated real-arithmetic guarantee is supplied.", "No optimizer, competitor, speedup, source-mapped limiter or scalability claim is supported." ], "measurement": { "clock": "std::chrono::steady_clock", "excludes": [ "fixture and registry construction", "post-call literal oracle", "CSV serialization", "process launch", "HTML rendering" ], "failures": 0, "internal_counters": "unavailable", "interval": "Each public registered operation, including selection, fresh workspace, construction and independent admission for outer cases; per-call intervals summed within a 100-call batch", "measured_order": "seven rotated three-case rounds, 100 calls per case per round", "native_threads_actual": 1, "native_threads_requested": 1, "raw_measure_sha256": "c8339d0bab8542d48f2c63f0a411dc31dbdc679ff85dc098e92cc0b07bcfd159", "raw_smoke_sha256": "4b9f14675c2f8b32a5b59eef9c48b5f0d4547623092a7c012f4802e37a20c03c", "summary": [ { "batches": 7, "calls_per_batch": 100, "case": "diamond-axis-cover", "failures": 0, "max_batch_ns": 859600, "median_batch_ns": 794000, "min_batch_ns": 788600, "successes": 700 }, { "batches": 7, "calls_per_batch": 100, "case": "constrained-axis-cover", "failures": 0, "max_batch_ns": 954100, "median_batch_ns": 924700, "min_batch_ns": 919500, "successes": 700 }, { "batches": 7, "calls_per_batch": 100, "case": "zero-column-exact", "failures": 0, "max_batch_ns": 280500, "median_batch_ns": 275100, "min_batch_ns": 266500, "successes": 700 } ], "trials": [ { "basis": "generator-axis-cover", "calls": "100", "case": "diamond-axis-cover", "elapsed_ns": "891600", "output_generators": "2", "phase": "warmup", "repetition": "0", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "constrained-axis-cover", "elapsed_ns": "1001700", "output_generators": "3", "phase": "warmup", "repetition": "0", "status": "completed", "verified": "true" }, { "basis": "physical-equivalence", "calls": "100", "case": "zero-column-exact", "elapsed_ns": "292900", "output_generators": "2", "phase": "warmup", "repetition": "0", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "diamond-axis-cover", "elapsed_ns": "859600", "output_generators": "2", "phase": "trial", "repetition": "0", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "constrained-axis-cover", "elapsed_ns": "940100", "output_generators": "3", "phase": "trial", "repetition": "0", "status": "completed", "verified": "true" }, { "basis": "physical-equivalence", "calls": "100", "case": "zero-column-exact", "elapsed_ns": "274700", "output_generators": "2", "phase": "trial", "repetition": "0", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "constrained-axis-cover", "elapsed_ns": "954100", "output_generators": "3", "phase": "trial", "repetition": "1", "status": "completed", "verified": "true" }, { "basis": "physical-equivalence", "calls": "100", "case": "zero-column-exact", "elapsed_ns": "280500", "output_generators": "2", "phase": "trial", "repetition": "1", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "diamond-axis-cover", "elapsed_ns": "798500", "output_generators": "2", "phase": "trial", "repetition": "1", "status": "completed", "verified": "true" }, { "basis": "physical-equivalence", "calls": "100", "case": "zero-column-exact", "elapsed_ns": "277500", "output_generators": "2", "phase": "trial", "repetition": "2", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "diamond-axis-cover", "elapsed_ns": "794000", "output_generators": "2", "phase": "trial", "repetition": "2", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "constrained-axis-cover", "elapsed_ns": "924700", "output_generators": "3", "phase": "trial", "repetition": "2", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "diamond-axis-cover", "elapsed_ns": "796100", "output_generators": "2", "phase": "trial", "repetition": "3", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "constrained-axis-cover", "elapsed_ns": "919500", "output_generators": "3", "phase": "trial", "repetition": "3", "status": "completed", "verified": "true" }, { "basis": "physical-equivalence", "calls": "100", "case": "zero-column-exact", "elapsed_ns": "276500", "output_generators": "2", "phase": "trial", "repetition": "3", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "constrained-axis-cover", "elapsed_ns": "921200", "output_generators": "3", "phase": "trial", "repetition": "4", "status": "completed", "verified": "true" }, { "basis": "physical-equivalence", "calls": "100", "case": "zero-column-exact", "elapsed_ns": "275100", "output_generators": "2", "phase": "trial", "repetition": "4", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "diamond-axis-cover", "elapsed_ns": "792100", "output_generators": "2", "phase": "trial", "repetition": "4", "status": "completed", "verified": "true" }, { "basis": "physical-equivalence", "calls": "100", "case": "zero-column-exact", "elapsed_ns": "272900", "output_generators": "2", "phase": "trial", "repetition": "5", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "diamond-axis-cover", "elapsed_ns": "789100", "output_generators": "2", "phase": "trial", "repetition": "5", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "constrained-axis-cover", "elapsed_ns": "922300", "output_generators": "3", "phase": "trial", "repetition": "5", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "diamond-axis-cover", "elapsed_ns": "788600", "output_generators": "2", "phase": "trial", "repetition": "6", "status": "completed", "verified": "true" }, { "basis": "generator-axis-cover", "calls": "100", "case": "constrained-axis-cover", "elapsed_ns": "943700", "output_generators": "3", "phase": "trial", "repetition": "6", "status": "completed", "verified": "true" }, { "basis": "physical-equivalence", "calls": "100", "case": "zero-column-exact", "elapsed_ns": "266500", "output_generators": "2", "phase": "trial", "repetition": "6", "status": "completed", "verified": "true" } ], "warmup": "one excluded 100-call batch per case", "workers_actual": 1, "workers_requested": 1, "workspace_reuse": "fresh provider workspace per call; authored input and registry reused" }, "module": "CSL::approximation zonotope reduction adapters", "report_id": "app03-zonotope-4522855018fa9b0b", "schema": "csl.app03-zonotope-reduction/1", "scope": "Two planar outer covers and one planar exact zero-column reduction", "source_commit": "e105a86b8e2ab7d09b1e7042fc5f0d5bc0ce5c40", "source_receipts": { "postrun": { "commit": "e105a86b8e2ab7d09b1e7042fc5f0d5bc0ce5c40", "executable_sha256": "b74278681072d985a8f7dbc2c412fcefb241866bed059ef098ff6f1574885a74", "observed_utc": "2026-10-19T08:36:45.958288+00:00", "phase": "postrun", "schema": "csl.app03-source-receipt/1", "status": [], "tracked_count": 1889, "tree": "14663e7b8c55e27faf8b417b289058a4210bc482" }, "prebuild": { "commit": "e105a86b8e2ab7d09b1e7042fc5f0d5bc0ce5c40", "observed_utc": "2026-10-19T08:36:03.976828+00:00", "phase": "prebuild", "schema": "csl.app03-source-receipt/1", "status": [], "tracked_count": 1889, "tree": "14663e7b8c55e27faf8b417b289058a4210bc482" } }, "source_tree": "14663e7b8c55e27faf8b417b289058a4210bc482" }