{ "schema": "hypercurve.performance-checkpoint.v1", "captured_on": "2026-08-05", "checkpoint": "selected-algebraic CurveRegion2 round-offset carrier and arrangement", "implementation_revision": "78ee1379ed04a0cf3802e6b51e078c4d3efcf053", "semantic_revision": "21e0824", "benchmark_revision": "1545874", "optimization_revision": "78ee137", "validation_revision": "fc1dd80", "historical_semantic_control_revision": "dc98de0", "first_complete_control_revision": "1545874", "preceding_checkpoint": "2026-08-05-exact-orthogonal-algebraic-erosion.json", "dependency_revisions": { "hyperreal": "492882c16ec6f649051285a5e215371750b3c967", "hyperlattice": "a475bb752c1e0fb0cfdb80f4db74a56caa6962c0", "hyperlimit": "b0418bddff50183fa782e5caa6da6974a2b969a1", "hypertri": "210a66c01f1f53f7ffb035a9643d57f81ee19171", "hypersolve": "f3cf7467219abdf5c6a27459e330ed158bbc590e", "hyperbrep": "6336697cd124ef6ef8384166b1f90ef2fceb6663", "hypermesh_modified_or_benchmarked": false }, "scope": { "completed": [ "positive round expansion of an axis-aligned retained-algebraic rectangle whose two right-hand vertices remain selected rational images", "one exact selected-field circle carrier shared with the existing algebraic-cusp evaluation, splitting, winding, and arrangement machinery", "exact-rational centers continue to lower to the smaller native rational circular-conic carrier", "authored algebraic circle endpoints are proved once and then retained as shared immutable point evidence", "certified axis-aligned translated chords retain their traversal proof instead of rediscovering two selected-coordinate signs", "adjacent algebraic chord and retained native circular-conic tangency is discharged from full-circle exact incidence and tangent-axis evidence", "a selected algebraic supporting circle is rejected against an exact rational-curve AABB only after strict full-circle separation", "STRICT and APPROXIMATE_512 traverse the same round-offset, arrangement, winding, and point-classification graph", "the no-default feature matrix compiles again after selected-circle-only helpers were correctly feature-gated", "historical, first-complete, exact-miter, competitive floating, deterministic perf, allocation, peak-memory, linked-size, and static-callgraph evidence" ], "remaining": [ "general retained algebraic circle/chord intersections after the adjacent tangent and strict bounds fast paths", "transformed direct algebraic circles whose current cardinal-normal certificate is intentionally cleared", "diagonal selected-field round centers and exact diagonal retained chord parallels", "round joins centered at correlated AlgebraicChordPair evidence", "offset re-entry for retained algebraic circle fragments", "general retained-algebraic fillets using the same circle carrier and corner solver", "coupled material/hole orthogonal wavefront events", "general non-orthogonal post-collapse scheduling" ] }, "authority": { "route": "CurveRegion2::offset -> offset_raw -> offset_exact_general_raw -> exact_axis_aligned_algebraic_offset_loop -> append_exact_axis_aligned_algebraic_round_join -> regularized_region_raw -> CurveRegionBooleanContext", "carrier_reuse": "The selected-field circle is represented by the existing BezierAlgebraicCuspSemicircle2 frame/fragment machinery; no second public round-offset or Boolean engine was added.", "exact_center": "A directly framed circle retains the original RationalBezierAlgebraicPointImage2 center while its polynomial frame remains authoritative for general evaluation and intersection.", "endpoint_identity": "Once exact circle evaluation proves an authored endpoint, the fragment cache stores that authored immutable image. Arc storage identity is then a constant-time positive equality certificate; distinct storage still enters the full exact geometric predicate.", "approximate_geometry_added": false, "compatibility_shim_added": false, "duplicate_region_or_offset_engine_added": false }, "policy_evidence": { "strict": "Every tested selected-algebraic round result, topology decision, and inside/outside/boundary query is Certified. A missing exact general pair proof remains explicit uncertainty.", "approximate_512": "The same fixture is Certified under APPROXIMATE_512 without consuming the terminal. The policy remains available only as the shared terminal 512-bit equality/sign decision and never constructs approximate geometry.", "dispatch_trace_per_policy": { "algebraic_chord_pair_adjacent_circular_endpoint_only": 2, "algebraic_chord_pair_general_rational": 0, "algebraic_circle_rational_pair_bounds_disjoint": 4, "algebraic_circle_rational_pair_nonadjacent_solver_survivors": 0 } }, "benchmark_method": { "cpu": 11, "fixture": "A unit-height rectangle of width sqrt(1/2), with its right endpoints retained as selected images of alpha^2-1/2=0 on [0,1], offset outward by exactly 1/10.", "wall_command": "taskset -c 11 env HYPERCURVE_COMPARE_SAMPLES=11 HYPERCURVE_COMPARE_SAMPLE_MS=100 HYPERCURVE_COMPARE_GROUP=algebraic_round_offset/rectangle ", "perf_command": "taskset -c 11 perf stat -r 5 -e instructions:u,cycles:u,branches:u,branch-misses:u env HYPERCURVE_COMPARE_SAMPLES=1 HYPERCURVE_COMPARE_ITERS=100 HYPERCURVE_COMPARE_GROUP=algebraic_round_offset/rectangle HYPERCURVE_COMPARE_IMPL=hypercurve_exact_round ", "timing_scope": "Fixture construction is outside the benchmark's timed loop. Perf process totals additionally include one warm operation and fixed process setup.", "first_complete_executable": "/tmp/hypercurve-round-preopt-target/release/deps/comparative-68819996ab3fdf67", "candidate_executable": "target/release/deps/comparative-68819996ab3fdf67" }, "matched_wall_performance": { "samples": 11, "target_milliseconds_per_sample": 100, "first_complete_1545874": { "hypercurve_exact_round_median_ns": 969788.2, "hypercurve_exact_miter_median_ns": 215579.0, "cavalier_f64_median_ns": 1115.3 }, "optimized_78ee137": { "hypercurve_exact_round_median_ns": 254910.2, "hypercurve_exact_miter_median_ns": 175498.7, "cavalier_f64_median_ns": 1140.9 }, "exact_round_speedup": 3.804431, "exact_round_time_reduction_percent": 73.714859, "exact_miter_speedup": 1.228379, "exact_miter_time_reduction_percent": 18.591931, "optimized_round_over_optimized_miter": 1.452491, "optimized_round_over_cavalier_f64": 223.429047, "interpretation": "The miter lane is an exact same-fixture Hypercurve control. Cavalier is a finite f64/bulge-topology throughput sentinel, not a correctness-equivalent peer: it does not retain selected algebraic fields or Hyper's policy evidence." }, "deterministic_perf": { "repetitions": 5, "fixed_timed_operations_per_process": 100, "first_complete_1545874": { "instructions": 793075952, "cycles": 420522485, "branches": 159859787, "branch_misses": 3068823 }, "optimized_78ee137": { "instructions": 208449105, "cycles": 110510226, "branches": 41577987, "branch_misses": 606612 }, "instruction_reduction_percent": 73.716376, "cycle_reduction_percent": 73.720733, "branch_reduction_percent": 73.990966, "branch_miss_reduction_percent": 80.233073 }, "allocation_evidence": { "method": "Heaptrack release processes with 100 timed operations plus identical fixture construction and warmup. Counts are complete process totals; round-minus-miter is the most conservative estimate of incremental round machinery.", "first_complete": { "round": { "allocation_calls": 1197865, "temporary_allocations": 124656, "peak_heap_kib": 293.77, "peak_rss_mib": 15.47 }, "miter": { "allocation_calls": 462641, "temporary_allocations": 42647, "peak_heap_kib": 235.11, "peak_rss_mib": 14.86 } }, "optimized": { "round": { "allocation_calls": 368924, "temporary_allocations": 42664, "peak_heap_kib": 163.23, "peak_rss_mib": 14.38 }, "miter": { "allocation_calls": 349873, "temporary_allocations": 30139, "peak_heap_kib": 162.15, "peak_rss_mib": 14.25 } }, "absolute_round_reduction_percent": { "allocation_calls": 69.201538, "temporary_allocations": 65.774612, "peak_heap": 44.436123, "peak_rss": 7.045895 }, "round_minus_miter_reduction_percent": { "allocation_calls": 97.408817, "temporary_allocations": 84.727286, "peak_heap": 98.158882 }, "optimized_round_over_miter_percent": { "allocation_calls": 5.445119, "temporary_allocations": 41.55745, "peak_heap": 0.66605, "peak_rss": 0.912281 } }, "linked_size": { "semantic_control": { "revision": "dc98de0", "behavior": "The selected-algebraic-center round offset returned Unsupported.", "benchmark": "curve_region_boolean_batch", "all_features": { "control_sha256": "1556fc73773761ef4b11770a1068844d1b702fcb22dc803c4a8f0b380a33a4d4", "candidate_sha256": "8a7608e10477f837125b9b7d2b06aaa0d126e508a0deb822fd925afd68366d62", "control_file_bytes": 8992328, "candidate_file_bytes": 9015624, "file_change_bytes": 23296, "file_change_percent": 0.259065, "control_stripped_bytes": 7164104, "candidate_stripped_bytes": 7180120, "stripped_change_bytes": 16016, "stripped_change_percent": 0.223559, "control_text_bytes": 6885934, "candidate_text_bytes": 6901638, "text_change_bytes": 15704, "text_change_percent": 0.228059 }, "no_default_features": { "control_sha256": "7132c01806eb0dc2611bb145f7c46603ad7fe9edd7276458f2ee717999960a80", "candidate_sha256": "0c5c68478603812c4aa2724ac6d724ba21ddb0798291f62e8cd8b1a071d6a211", "control_file_bytes": 8005712, "candidate_file_bytes": 8015632, "file_change_bytes": 9920, "file_change_percent": 0.123912, "control_stripped_bytes": 6360280, "candidate_stripped_bytes": 6366568, "stripped_change_bytes": 6288, "stripped_change_percent": 0.098864, "control_text_bytes": 6087861, "candidate_text_bytes": 6093945, "text_change_bytes": 6084, "text_change_percent": 0.099937 } }, "optimization_delta": { "control_revision": "1545874", "candidate_revision": "78ee137", "benchmark": "comparative", "control_sha256": "6770d3d088f1f24afb55499734ea7996ffc9345da97b7f1d468f3ef682be5bdf", "candidate_sha256": "235729a0ba1b2bbb8ec99b5bba7f02b39e1584f1ec64ef509b943fd1f581a352", "control_file_bytes": 12554168, "candidate_file_bytes": 12565536, "file_change_bytes": 11368, "file_change_percent": 0.090552, "control_stripped_bytes": 9851336, "candidate_stripped_bytes": 9856904, "stripped_change_bytes": 5568, "stripped_change_percent": 0.05652, "control_text_bytes": 9540411, "candidate_text_bytes": 9545223, "text_change_bytes": 4812, "text_change_percent": 0.050438, "data_change_bytes": 760, "bss_change_bytes": -1464 } }, "static_callgraph": { "command": "tools/hyper-callgraph/target/release/hyper-callgraph --root . --out-dir /tmp/hypercurve-selected-algebraic-round-optimized-callgraph --crate-name hypercurve --include-examples --include-tests --include-bench --include-fuzz --format json", "artifact": "/tmp/hypercurve-selected-algebraic-round-optimized-callgraph/callgraph.json", "libraries_discovered": 20, "nodes": 29162, "edges": 56262, "pre_optimization_nodes": 29118, "pre_optimization_edges": 56180, "node_change": 44, "edge_change": 82, "authoritative_route_confirmed": true, "duplicate_public_engine_found": false }, "rejected_optimization": { "candidate": "generic progressive endpoint-bound refinement at 2, 4, 8, 16, and 32 steps", "reason": "It preserved exactness but raised the round median from about 582 microseconds to about 660 microseconds and increased allocation traffic. Structural selected-field bounds and retained proof evidence replaced it." }, "verification": { "cargo_test_all_features_lib": "469 passed", "cargo_test_all_features_hypercurve_curve_region_promotion": "57 passed", "cargo_test_all_features_hypercurve_curve_region_boolean": "29 passed", "cargo_check_no_default_features": "pass", "cargo_clippy_all_features_all_targets_no_deps_deny_warnings": "pass", "cargo_clippy_no_default_features_all_targets_no_deps_deny_warnings": "pass after fc1dd80 gates one predicate-only test fixture", "cargo_fmt_check": "pass", "git_diff_check": "pass", "all_features_comparative_benchmark_build": "pass", "all_features_and_no_default_representative_size_builds": "pass", "full_all_target_fuzz_matrix": "not claimed at this checkpoint; the earlier aggregate run reached the known multi-hour fuzz targets and was interrupted after the ordinary suites completed" }, "next_priority": { "correctness": "Generalize the retained circle/chord pair kernel beyond authored adjacent tangency and strict bounds separation, then preserve direct-circle tangent evidence through exact similarities and implement diagonal selected-field centers.", "performance_and_memory": "Keep structural topology and selected-field proofs operation-local and shared. Profile every newly admitted general pair before adding caches; do not reintroduce generic interval-refinement ladders on authored fast paths.", "fillet_unification": "Feed retained-algebraic fillet centers and contacts into this same circle carrier, arrangement, and corner solver rather than creating a fillet-specific arc representation.", "size": "Mechanically rename or collapse the historical cusp-semicircle carrier only when all analytic-cusp and direct-circle callers share one implementation, and keep linked all-feature/minimal guards at each tranche." } }