{
  "backend": "native stored-binary64 expression, support and V enumeration",
  "build": {
    "architecture": "x64",
    "build_log_sha256": "203c2472da7e770a199d0393edecf95bda2b73f6cfcc2d0388ce56276ae93b78",
    "cmake_cache_sha256": "16467affa28034f69f0140daa0efef989655538d5ad3e2c32994661c7c1195c2",
    "cmake_compiler_sha256": "973dc46656533678ce89e0466044f298fd10869e3784248787223046f9ce9ba5",
    "cmake_options": {
      "BUILD_TESTING": "OFF",
      "CSL_BUILD_GEO08_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": "0e55a2422edda2b7bd326c5a570425b4243d8477d9dcaa4cd852820754370718",
    "driver_source_sha256": "82b2b382220ce79408fa18bf26c7cb998c33e8e933771c845cb4fd49bbbc9587",
    "executable_sha256": "c3205100ee1cd624d983d63b79a0b2ad675f0583b7dae5db0799d866e8c68122",
    "provenance_sanitization": "Public receipts replace absolute source and build directories with <SOURCE_DIR> and <BUILD_DIR>; unredacted capture remains local"
  },
  "environment": {
    "architecture": "AMD64",
    "collected_utc": "2026-10-19T10:31:05.650947+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": "64ace8666a0e6ca1fc6ba5a5d44d6cd0dd1df33d",
    "source_status": [],
    "source_tree": "4867abe773b3cf566eb6784e4bd7bc527fbe7584"
  },
  "fixture": {
    "affine_map": [
      [
        2,
        0
      ],
      [
        0,
        1
      ]
    ],
    "affine_offset": [
      1,
      -1
    ],
    "dimension": 2,
    "expected_maximizer": [
      4,
      1
    ],
    "expected_support": 5,
    "expected_v_rows": {
      "rays": 0,
      "vertices": 16
    },
    "input_sha256": "bcc7258528adaaa9d05ce65d5b1e74bd3c440bf673ccbbd8ae71044a05289b21",
    "materialization_budget": {
      "max_rays": 0,
      "max_vertices": 16
    },
    "rays": [],
    "source_id": "geo08-square",
    "sum": "independent Minkowski sum of the affine image and source square",
    "support_direction": [
      1,
      1
    ],
    "vertices": [
      [
        0,
        0
      ],
      [
        1,
        0
      ],
      [
        0,
        1
      ],
      [
        1,
        1
      ]
    ]
  },
  "limits": [
    "The fixture and returned V rows are stored binary64 values.",
    "Equivalent relation is mathematical; rounding and coverage are unestablished.",
    "Direction samples do not constitute a complete set or inclusion certificate.",
    "No comparator, speedup, source-mapped limiter or scalability claim is supported."
  ],
  "measurement": {
    "clock": "std::chrono::steady_clock",
    "excludes": [
      "fixture and provider registration",
      "CSV serialization",
      "process launch",
      "HTML rendering"
    ],
    "failures": 0,
    "internal_counters": "unavailable",
    "interval": "Each checked public expression, support and materialization call, including fresh workspaces and literal result checks; per-call intervals summed within a 100-call batch",
    "measured_order": "seven sequential 100-call batches",
    "native_threads_actual": "not applicable: no native solver backend",
    "native_threads_requested": "not applicable: no native solver backend",
    "random_seed": "not applicable: deterministic fixture and driver",
    "raw_measure_sha256": "7ebd9bc67b4169d83149d02727ec18e4717f87ee9ec31c134187853e391d6d18",
    "raw_smoke_sha256": "ec0b044d65a12aef2275d7b0cdfdcf4bd57914645de678ffdc0b000b8e3eb7a1",
    "result_comparison": "literal exact equality for finite binary64 support, evidence, growth and all 16 returned V rows; no numerical tolerance",
    "summary": {
      "batches": 7,
      "calls_per_batch": 100,
      "failures": 0,
      "max_batch_ns": 3627900,
      "median_batch_ns": 3592100,
      "min_batch_ns": 3576300,
      "successes": 700
    },
    "trials": [
      {
        "attempted": "100",
        "calls": "100",
        "completed": "100",
        "elapsed_ns": "3684400",
        "phase": "warmup",
        "rays": "0",
        "repetition": "0",
        "status": "completed",
        "support": "5",
        "verified": "true",
        "vertices": "16"
      },
      {
        "attempted": "100",
        "calls": "100",
        "completed": "100",
        "elapsed_ns": "3627900",
        "phase": "trial",
        "rays": "0",
        "repetition": "0",
        "status": "completed",
        "support": "5",
        "verified": "true",
        "vertices": "16"
      },
      {
        "attempted": "100",
        "calls": "100",
        "completed": "100",
        "elapsed_ns": "3612100",
        "phase": "trial",
        "rays": "0",
        "repetition": "1",
        "status": "completed",
        "support": "5",
        "verified": "true",
        "vertices": "16"
      },
      {
        "attempted": "100",
        "calls": "100",
        "completed": "100",
        "elapsed_ns": "3582700",
        "phase": "trial",
        "rays": "0",
        "repetition": "2",
        "status": "completed",
        "support": "5",
        "verified": "true",
        "vertices": "16"
      },
      {
        "attempted": "100",
        "calls": "100",
        "completed": "100",
        "elapsed_ns": "3603500",
        "phase": "trial",
        "rays": "0",
        "repetition": "3",
        "status": "completed",
        "support": "5",
        "verified": "true",
        "vertices": "16"
      },
      {
        "attempted": "100",
        "calls": "100",
        "completed": "100",
        "elapsed_ns": "3592100",
        "phase": "trial",
        "rays": "0",
        "repetition": "4",
        "status": "completed",
        "support": "5",
        "verified": "true",
        "vertices": "16"
      },
      {
        "attempted": "100",
        "calls": "100",
        "completed": "100",
        "elapsed_ns": "3576300",
        "phase": "trial",
        "rays": "0",
        "repetition": "5",
        "status": "completed",
        "support": "5",
        "verified": "true",
        "vertices": "16"
      },
      {
        "attempted": "100",
        "calls": "100",
        "completed": "100",
        "elapsed_ns": "3578800",
        "phase": "trial",
        "rays": "0",
        "repetition": "6",
        "status": "completed",
        "support": "5",
        "verified": "true",
        "vertices": "16"
      }
    ],
    "warmup": "one excluded 100-call batch",
    "workers_actual": 1,
    "workers_requested": 1,
    "workspace_reuse": "fresh expression/support/conversion workspace per call; source and selected providers reused"
  },
  "module": "CSL::lazy_geometry 1.0.0",
  "report_id": "geo08-lazy-6dbdd6b2f9235837",
  "schema": "csl.geo08-lazy-geometry/1",
  "scope": "One planar affine-image plus independent-sum public route",
  "source_commit": "64ace8666a0e6ca1fc6ba5a5d44d6cd0dd1df33d",
  "source_receipts": {
    "postrun": {
      "commit": "64ace8666a0e6ca1fc6ba5a5d44d6cd0dd1df33d",
      "executable_sha256": "c3205100ee1cd624d983d63b79a0b2ad675f0583b7dae5db0799d866e8c68122",
      "observed_utc": "2026-10-19T10:31:05.556984+00:00",
      "phase": "postrun",
      "schema": "csl.geo08-source-receipt/1",
      "status": [],
      "tracked_count": 1948,
      "tree": "4867abe773b3cf566eb6784e4bd7bc527fbe7584"
    },
    "prebuild": {
      "commit": "64ace8666a0e6ca1fc6ba5a5d44d6cd0dd1df33d",
      "observed_utc": "2026-10-19T10:30:28.145316+00:00",
      "phase": "prebuild",
      "schema": "csl.geo08-source-receipt/1",
      "status": [],
      "tracked_count": 1948,
      "tree": "4867abe773b3cf566eb6784e4bd7bc527fbe7584"
    }
  },
  "source_tree": "4867abe773b3cf566eb6784e4bd7bc527fbe7584"
}