{
  "schema": 1,
  "captured_on": "2026-07-31",
  "checkpoint": "compact-curve-region2-shared-carrier",
  "source_revision": "d73002f5e878bc2115aa8f94783307820b8ece39",
  "paired_control_revision": "96eb056e3720193a678445b2bafc67291b9633df",
  "frozen_baseline_revision": "dfc4ec5f9546560765bd33d4a88292581869adb8",
  "baseline": "../baselines/2026-07-31/baseline.json",
  "semantic_evidence": {
    "curve_region2_bytes_control": 112,
    "curve_region2_bytes_candidate": 8,
    "curve_region2_size_change_percent": -92.8571,
    "curve_region2_is_one_word": true,
    "empty_data_is_process_shared": true,
    "nonempty_clone_is_constant_time_shared": true,
    "lazy_exact_area_cache_is_shared_across_clones": true,
    "consuming_a_shared_clone_preserves_source_geometry": true,
    "curve_region_boolean_results2_inline_bytes": 40,
    "curve_region_boolean_results2_boxed_region_payload_bytes_control": 448,
    "curve_region_boolean_results2_boxed_region_payload_bytes_candidate": 32,
    "partial_eq_has_shared_identity_fast_path": true
  },
  "verification": {
    "cargo_test_all_features": "pass",
    "exact_curve_region2_fuzz_seconds": 173.86,
    "pathological_operations": "268/268 decided with no blockers",
    "cargo_clippy_all_features_all_targets_deny_warnings": "pass",
    "cargo_check_no_default_features_all_targets": "pass",
    "cargo_clippy_no_default_features_lib_tests_deny_warnings": "pass",
    "cargo_check_fuzz_all_targets": "pass",
    "standalone_ui_tests": "37/37 pass",
    "standalone_ui_exhaustive_boolean_seconds": 333.28,
    "standalone_ui_clippy_deny_warnings": "pass",
    "standalone_ui_release_wasm_build": "pass",
    "cargo_doc_all_features_deny_warnings": "pass",
    "cargo_fmt_hypercurve_package": "pass",
    "git_diff_check": "pass",
    "no_default_test_matrix": {
      "candidate": "pre-existing failures in predicate-dependent rational-moment and arc assertions",
      "paired_control": "same focused failure reproduced at 96eb056",
      "interpretation": "not introduced by the carrier; no-default compilation and warning-denied Clippy pass"
    }
  },
  "carrier_release_benchmark": {
    "command": "HYPERCURVE_BEZIER_REGION_CARRIER_ONLY=1 target/release/deps/bezier_region-*",
    "method": "fifteen interleaved process pairs with execution order reversed on alternate pairs",
    "iterations_per_case": 1000000,
    "clone_checksum": 1000000,
    "empty_checksum": 0,
    "control_clone_ms": [
      382.260116,
      328.222642,
      306.931712,
      306.134626,
      295.593450,
      295.389834,
      324.704543,
      391.909125,
      314.899135,
      335.371742,
      298.233118,
      303.821205,
      289.987954,
      364.726909,
      349.695090
    ],
    "candidate_clone_ms": [
      3.727914,
      4.109509,
      3.646890,
      3.666649,
      3.389708,
      3.920061,
      3.669828,
      4.018184,
      3.633181,
      3.901233,
      3.625152,
      4.050263,
      3.666099,
      3.737084,
      3.754163
    ],
    "control_clone_median_ms": 314.899135,
    "candidate_clone_median_ms": 3.727914,
    "clone_median_change_percent": -98.8162,
    "clone_speedup": 84.4706,
    "control_empty_ms": [
      152.709728,
      116.633722,
      119.231914,
      114.501408,
      114.645608,
      127.696683,
      180.026874,
      122.171312,
      115.601123,
      116.254678,
      112.151440,
      116.204911,
      137.040632,
      165.717826,
      119.479206
    ],
    "candidate_empty_ms": [
      3.057110,
      3.135885,
      3.078249,
      3.070909,
      3.139484,
      3.275735,
      3.032283,
      4.399169,
      3.541457,
      3.036951,
      3.052031,
      3.141534,
      3.128025,
      3.098398,
      3.224849
    ],
    "control_empty_median_ms": 119.231914,
    "candidate_empty_median_ms": 3.128025,
    "empty_median_change_percent": -97.3765,
    "empty_speedup": 38.1173
  },
  "carrier_heaptrack": {
    "command": "HYPERCURVE_BEZIER_REGION_CARRIER_ONLY=1 heaptrack --record-only target/release/deps/bezier_region-*",
    "control_allocation_calls": 12000166,
    "candidate_allocation_calls": 151,
    "eliminated_allocation_calls": 12000015,
    "control_peak_heap_kib": 89.53,
    "candidate_peak_heap_kib": 89.50,
    "interpretation": "the candidate count is process and fixture setup; the one million clones and one million empty constructions add no heap allocations"
  },
  "pathological_curve_region2": {
    "command": "HYPERCURVE_PATHOLOGICAL_MODE=boolean target/release/deps/pathological_regions-*",
    "method": "nine interleaved process pairs with execution order reversed on alternate pairs",
    "cells": 67,
    "operations": 268,
    "completed_operations": 268,
    "blockers": 0,
    "checksum": 6,
    "candidate_pairs": 603,
    "retained_fragments": 3248,
    "point_classifications": 134,
    "control_all_four_native_booleans_ms": [
      467.240583,
      465.088071,
      474.558571,
      476.329080,
      469.819296,
      470.010013,
      472.032785,
      473.284058,
      470.502890
    ],
    "candidate_all_four_native_booleans_ms": [
      474.063855,
      466.784134,
      468.243124,
      464.572835,
      468.030838,
      480.995440,
      473.040715,
      473.965472,
      476.402105
    ],
    "control_median_ms": 470.502890,
    "candidate_median_ms": 473.040715,
    "median_change_percent": 0.5394,
    "interpretation": "overlapping ranges and a sub-percent median movement with identical deterministic topology"
  },
  "pathological_build": {
    "method": "eleven interleaved process pairs with execution order reversed on alternate pairs",
    "control_median_ms": 79.136743,
    "candidate_median_ms": 76.649554,
    "median_change_percent": -3.1429,
    "control_observed_rss_delta_mib_median": 35.8,
    "candidate_observed_rss_delta_mib_median": 35.8,
    "interpretation": "timing ranges overlap; RSS resolution is too coarse to expose the allocation-count reduction"
  },
  "pathological_heaptrack": {
    "control_allocation_calls": 8250415,
    "candidate_allocation_calls": 8248405,
    "eliminated_allocation_calls": 2010,
    "allocation_change_percent": -0.0244,
    "control_temporary_allocations": 1382612,
    "candidate_temporary_allocations": 1382612,
    "control_peak_heap_mib": 36.22,
    "candidate_peak_heap_mib": 36.20,
    "control_peak_rss_with_profiler_mib": 66.42,
    "candidate_peak_rss_with_profiler_mib": 66.39
  },
  "release_pathological_binary": {
    "control_bytes": 5535425,
    "candidate_bytes": 5531345,
    "delta_bytes": -4080,
    "delta_percent": -0.0737,
    "frozen_baseline_bytes": 5531293,
    "delta_from_frozen_baseline_bytes": 52,
    "delta_from_frozen_baseline_percent": 0.0009,
    "interpretation": "the carrier repays all but 52 bytes of the one-byte-context checkpoint's native size debt"
  },
  "static_callgraph": {
    "command": "hyper-callgraph --crate-name hypercurve --include-examples --include-tests --include-bench --include-fuzz --format json",
    "control_nodes": 22191,
    "candidate_nodes": 22213,
    "control_edges": 37852,
    "candidate_edges": 37877,
    "interpretation": "the compact carrier adds explicit construction/sharing helpers and regressions; production binary size nevertheless falls"
  }
}