{ "schema": 1, "captured_on": "2026-07-31", "checkpoint": "materialized-boundary-policy", "source_revision": "3f6a13b35312446f8707f9559f0080cca3f4a0aa", "parent_revision": "ee237c33bac08db739ae6faa5d8c496ffcf67866", "implementation_revisions": [ "489a1505e3762cd90540c34f04c8f35a8893afaf", "ce3881491d7dcad31927589acd777eeb3a3bb6ab", "3f6a13b35312446f8707f9559f0080cca3f4a0aa" ], "frozen_baseline_revision": "dfc4ec5f9546560765bd33d4a88292581869adb8", "baseline": "../baselines/2026-07-31/baseline.json", "semantic_evidence": { "policy_explicit_public_api": "CurveRegion2::materialized_boundary_paths", "return_contract": "ExactCurveResult>>>", "internal_composition_uses_raw_policy_kernel": true, "complete_public_operation_observes_terminal_consumption_once": true, "materialized_loops_preserve_exact_curve_carriers": true, "nonmaterializable_algebraic_loops_remain_explicit_Unsupported_uncertainty": true, "strict_revalidates_a_loop_admitted_only_by_approximate_512": true, "strict_symbolic_closure_result": "Certified outer outcome containing Classification::Uncertain(RealSign)", "approximate_512_symbolic_closure_result": "exact quadratic CurvePath2 with Approximate512Consumed", "repeated_approximate_512_replay_reports_terminal_consumption": true, "later_strict_replay_preserves_RealSign_uncertainty": true, "returned_geometry_is_not_sampled_or_rounded": true, "compatibility_overload_deref_or_implicit_value_shim_added": false, "hypermesh_modified": false }, "layout_and_memory_evidence": { "CurvePath2_bytes": 8, "CurvePathData2_parent_bytes": 160, "CurvePathData2_candidate_bytes": 160, "CurveRegion2_bytes": 8, "CurveRegionData2_parent_bytes": 424, "CurveRegionData2_candidate_bytes": 424, "strict_path_closure_flag_uses_existing_padding": true, "strict_region_materialized_connectivity_flag_uses_existing_padding": true, "heap_allocations_or_cache_buffers_added": 0, "strict_structural_fast_path_predicates_per_materialization": 0, "approximate_derived_loops_use_full_policy_revalidation": true, "exact_closure_evidence_survives_path_reversal_and_similarity": true }, "matched_finite_projection_benchmarks": { "command": "eleven interleaved parent/candidate executions of matched default-feature release finite_projection artifacts pinned to CPU 9 with HYPERCURVE_PROJECTION_BENCH_ITERATIONS=200, reversing execution order on alternate pairs", "benchmark_harness": "benches/finite_projection.rs", "parent_revision": "ee237c33bac08db739ae6faa5d8c496ffcf67866", "candidate_revision": "3f6a13b35312446f8707f9559f0080cca3f4a0aa", "curve_path_rational_projection": { "iterations_per_process": 200, "parent_samples_ns_per_iteration": [ 2791726, 2743259, 2797365, 2819631, 2814349, 2809983, 2768931, 2786217, 2776901, 2795366, 2777157 ], "candidate_samples_ns_per_iteration": [ 2830953, 2796250, 2908035, 2804088, 2852720, 2835175, 2861385, 2817037, 2795253, 2773354, 2791858 ], "parent_median_ns_per_iteration": 2791726, "candidate_median_ns_per_iteration": 2817037, "median_change_percent": 0.9066, "paired_geomean_change_percent": 1.2499 }, "curve_region_exact_profile_projection": { "iterations_per_process": 1000, "parent_samples_ns_per_iteration": [ 569435, 567831, 572428, 576420, 566860, 577789, 576489, 569629, 574878, 579345, 566406 ], "candidate_samples_ns_per_iteration": [ 568631, 573652, 590959, 569178, 584449, 573836, 570098, 577187, 567867, 578072, 573664 ], "parent_median_ns_per_iteration": 572428, "candidate_median_ns_per_iteration": 573664, "median_change_percent": 0.2159, "paired_geomean_change_percent": 0.4738 }, "curve_region_materialized_boundary_paths": { "iterations_per_process": 1000000, "parent_samples_ns_per_iteration": [ 553, 554, 566, 560, 567, 561, 550, 555, 558, 561, 589 ], "candidate_samples_ns_per_iteration": [ 479, 488, 462, 460, 483, 493, 482, 472, 461, 488, 462 ], "parent_median_ns_per_iteration": 560, "candidate_median_ns_per_iteration": 479, "median_change_percent": -14.4643, "paired_geomean_change_percent": -15.3030 }, "curve_region_curve_path_projection": { "iterations_per_process": 1000000, "parent_samples_ns_per_iteration": [ 503, 527, 531, 518, 513, 495, 498, 504, 512, 509, 503 ], "candidate_samples_ns_per_iteration": [ 500, 492, 503, 483, 532, 513, 524, 509, 495, 504, 491 ], "parent_median_ns_per_iteration": 509, "candidate_median_ns_per_iteration": 503, "median_change_percent": -1.1788, "paired_geomean_change_percent": -1.2087 }, "interpretation": "retaining strict cyclic connectivity turns the policy-correct public materialization cut into a 14.46 percent median improvement; both neighboring region projection rows are neutral and the unrelated rational row remains within 1.25 percent paired geometric mean" }, "complete_finite_projection_instruction_control": { "command": "seven interleaved perf stat -e instructions executions of matched default-feature release finite_projection artifacts pinned to CPU 9 with HYPERCURVE_PROJECTION_BENCH_ITERATIONS=200", "parent_instructions": [ 24401567601, 24399563117, 24399566231, 24399568052, 24401565565, 24399571733, 24399563243 ], "candidate_instructions": [ 22938569786, 22936569127, 22938572873, 22936566302, 22938570252, 22934565285, 22938568096 ], "parent_median": 24399568052, "candidate_median": 22938568096, "median_change_percent": -5.9878, "paired_geomean_change_percent": -5.9947 }, "matched_pathological_curve_region2": { "command": "one warm-up pair followed by eight measured interleaved parent/candidate executions of matched default-feature release pathological_regions artifacts pinned to CPU 9 with HYPERCURVE_PATHOLOGICAL_MODE=boolean and HYPERCURVE_PATHOLOGICAL_CELL_LIMIT=67", "cells": 67, "operations": 268, "completed_operations": 268, "blockers": 0, "checksum": 6, "candidate_pairs": 603, "retained_fragments": 3248, "point_classifications": 134, "parent_build_ms": [ 73.177107, 72.686140, 72.218373, 73.935784, 74.827193, 72.825401, 72.026406, 77.508389 ], "candidate_build_ms": [ 72.405780, 72.844700, 75.533384, 82.002130, 73.201715, 73.936995, 73.186846, 72.123149 ], "parent_build_median_ms": 73.001254, "candidate_build_median_ms": 73.194281, "build_median_change_percent": 0.2644, "build_paired_geomean_change_percent": 0.9693, "parent_boolean_ms": [ 467.190416, 462.615922, 466.409070, 474.006928, 467.910767, 466.563670, 468.126322, 471.637601 ], "candidate_boolean_ms": [ 464.487353, 469.322500, 465.799582, 466.773895, 467.335496, 468.550843, 466.905856, 469.866663 ], "parent_boolean_median_ms": 467.550592, "candidate_boolean_median_ms": 467.120676, "boolean_median_change_percent": -0.0920, "boolean_paired_geomean_change_percent": -0.1430, "parent_flattened_control_ms": [ 16.677623, 16.433030, 16.810854, 16.629816, 16.348966, 16.676333, 16.673713, 16.746638 ], "candidate_flattened_control_ms": [ 16.511274, 16.574320, 16.547072, 16.345835, 16.596989, 16.379714, 16.464688, 17.072616 ], "parent_flattened_control_median_ms": 16.675023, "candidate_flattened_control_median_ms": 16.529173, "flattened_control_median_change_percent": -0.8747, "flattened_control_paired_geomean_change_percent": -0.3834, "parent_observed_rss_delta_mib": [ 34.2, 34.5, 34.5, 34.5, 34.5, 34.5, 34.4, 34.5 ], "candidate_observed_rss_delta_mib": [ 34.6, 34.5, 34.5, 34.5, 34.5, 34.5, 34.6, 34.6 ], "parent_observed_rss_delta_mib_median": 34.5, "candidate_observed_rss_delta_mib_median": 34.5, "interpretation": "all topology and checksums are identical; exact Boolean execution is neutral and process-scale RSS is unchanged" }, "comparative_release_medians_ns": { "command": "HYPERCURVE_COMPARE_SAMPLES=7 HYPERCURVE_COMPARE_SAMPLE_MS=75 matched default-feature plus comparative-benchmarks release executions pinned to CPU 9", "rectangle_union": { "parent_hypercurve": 4781.8, "candidate_hypercurve": 4955.4, "hypercurve_contours": 4910.9, "hypercurve_loops": 5461.9, "cavalier_contours": 942.6, "i_overlay": 1033.1, "geo": 1271.6, "change_from_parent_percent": 3.6304 }, "star64_intersection": { "parent_hypercurve": 36353.3, "candidate_hypercurve": 37337.2, "hypercurve_contours": 36018.8, "hypercurve_loops": 100610.9, "cavalier_contours": 28008.2, "i_overlay": 34212.5, "geo": 36668.7, "change_from_parent_percent": 2.7065 }, "star256_intersection": { "parent_hypercurve": 450576.5, "candidate_hypercurve": 432851.6, "hypercurve_contours": 298226.2, "hypercurve_loops": 848514.7, "cavalier_contours": 485827.8, "i_overlay": 510122.2, "geo": 512409.2, "change_from_parent_percent": -3.9338 }, "star1024_intersection": { "parent_hypercurve": 5119722.5, "candidate_hypercurve": 5254207.9, "hypercurve_contours": 3950068.0, "hypercurve_loops": 10832497.7, "cavalier_contours": 19735927.5, "i_overlay": 10072733.4, "geo": 10117470.4, "change_from_parent_percent": 2.6268 }, "inward_capsule_offset": { "parent_hypercurve": 19022.3, "candidate_hypercurve": 19288.9, "cavalier_contours": 920.0, "change_from_parent_percent": 1.4015 }, "certified_open_cubic_offset": { "parent_hypercurve": 29816566.0, "candidate_hypercurve": 30037570.7, "curvo_heuristic": 8223.5, "change_from_parent_percent": 0.7412 }, "source_chord_cubic_fallback": { "parent_hypercurve": 923086.4, "candidate_hypercurve": 933236.3, "change_from_parent_percent": 1.0996 }, "rational_cubic_nurbs_evaluation": { "parent_hypercurve": 1512.5, "candidate_hypercurve": 1517.9, "curvo": 57.8, "change_from_parent_percent": 0.3570 }, "interpretation": "every exact Hypercurve lane remains within 4 percent of the matched parent; the 256- and 1024-vertex exact lanes remain faster than Cavalier, i_overlay, and Geo in this harness, while offset and NURBS peers retain explicitly non-equivalent guarantees" }, "release_pathological_binary": { "measurement": "matched default-feature release executables measured with GNU size and copied then stripped with strip --strip-all", "parent_text_bytes": 5232841, "candidate_text_bytes": 5233697, "text_delta_bytes": 856, "text_delta_percent": 0.0164, "parent_data_bytes": 266656, "candidate_data_bytes": 266656, "parent_bss_bytes": 3168, "candidate_bss_bytes": 2320, "parent_total_loadable_bytes": 5502665, "candidate_total_loadable_bytes": 5502673, "total_loadable_delta_bytes": 8, "total_loadable_delta_percent": 0.0001, "parent_stripped_bytes": 5503376, "candidate_stripped_bytes": 5504224, "stripped_delta_bytes": 848, "stripped_delta_percent": 0.0154, "frozen_baseline_total_loadable_bytes": 5531293, "delta_from_frozen_baseline_total_loadable_bytes": -28620, "delta_from_frozen_baseline_total_loadable_percent": -0.5174, "frozen_baseline_stripped_bytes": 5532504, "delta_from_frozen_baseline_stripped_bytes": -28280, "delta_from_frozen_baseline_stripped_percent": -0.5112, "interpretation": "policy-explicit materialization and both structural certificates are effectively loadable-size neutral and remain more than 28 kilobytes below the frozen artifact" }, "static_callgraph": { "command": "/home/tim/Documents/GitHub/workspace/tools/hyper-callgraph/target/release/hyper-callgraph --root /home/tim/Documents/GitHub/workspace --out-dir /tmp/hypercurve-materialized-boundary-callgraph --crate-name hypercurve --include-examples --include-tests --include-bench --include-fuzz --format json", "nodes": 22575, "edges": 38676, "artifact": "/tmp/hypercurve-materialized-boundary-callgraph/callgraph.json", "public_materialized_boundary_node_present": true, "raw_materialized_boundary_composition_node_present": true, "strict_structural_connectivity_fast_path_node_present": true, "shared_closed_path_policy_validator_node_present": true }, "caller_audit": { "hypercurve_tests_benches_and_examples": "all migrated and warning-clean", "workspace_old_signature_search": "four old zero-argument calls remain in Hypercircuit; no other non-Hypermesh workspace crate contains the old materialized-boundary call", "hypercircuit_old_signature_calls": 4, "csgrs_all_feature_check": "pass", "hypercurve_ui_all_target_check_and_warning_denied_clippy": "pass", "caller_cutover_deferred_until_remaining_phase_1_public_policy_surfaces_stabilize": true, "compatibility_shim_added": false, "hypermesh_modified": false }, "remaining_policy_audit": { "public_curve_region_materialized_boundary_paths_is_a_strict_wrapper": false, "spline_reconstruction_and_subcurve_policy_cut_is_incomplete": true, "next_action": "propagate CurveContext and CurveOutcome through spline subcurve and reconstruction surfaces" }, "verification": { "cargo_test_all_features": "pass", "unit_tests": 260, "all_integration_tests": "pass except two explicitly ignored release-scale PCB performance corpora", "generated_curve_region_boolean_corpus_seconds": 163.01, "pathological_operations": "268/268 decided with no blockers", "terminal_policy_integration_test": "pass", "cargo_check_all_features_all_targets": "pass", "cargo_check_no_default_features_all_targets": "pass", "cargo_clippy_all_features_all_targets_deny_warnings": "pass", "cargo_clippy_no_default_features_all_targets_deny_warnings": "pass", "cargo_check_fuzz_all_targets": "pass", "cargo_doc_all_features_deny_warnings": "pass", "csgrs_cargo_check_all_features": "pass", "hypercurve_ui_cargo_check_all_targets": "pass", "hypercurve_ui_cargo_clippy_all_targets_deny_warnings": "pass", "cargo_fmt_all_check": "pass", "git_diff_check": "pass" } }