{ "schema": 1, "captured_on": "2026-07-31", "checkpoint": "spline-construction-interpolation-policy", "source_revision": "62048c621a6a3fe9be1023c7c9652ee0b395ce28", "parent_revision": "6dfcfe19e0f44890da6e0e5d19a085a22b91238b", "implementation_revisions": [ "62048c621a6a3fe9be1023c7c9652ee0b395ce28" ], "frozen_baseline_revision": "dfc4ec5f9546560765bd33d4a88292581869adb8", "baseline": "../baselines/2026-07-31/baseline.json", "semantic_evidence": { "policy_explicit_public_constructors": [ "NurbsCurve2::{try_new,try_new_periodic}", "PolynomialSplineCurve2::{try_new,try_new_periodic}", "Curve2::{try_nurbs,try_periodic_nurbs,try_polynomial_bspline,try_periodic_polynomial_bspline}" ], "policy_explicit_public_interpolators": [ "NurbsCurve2::interpolate_global", "NurbsCurve2::interpolate_uniform", "NurbsCurve2::interpolate_chord_length", "NurbsCurve2::interpolate_centripetal", "NurbsCurve2::interpolate_with_parameters_and_knots" ], "return_contract": "ExactCurveResult>", "complete_public_operation_observes_terminal_consumption_once": true, "internal_composition_uses_raw_policy_kernels": true, "constructor_policy_propagation": [ "weight-sign validation", "knot ordering", "active-domain endpoint selection", "periodic expansion", "period positivity", "periodic seam validation" ], "interpolation_policy_propagation": [ "parameter ordering and endpoint validation", "averaged-knot construction", "basis span selection", "rational denominator signs", "determinant sign", "constructed-carrier validation", "exact authored-point replay" ], "terminal_expression": "1 + ((pi + e) - (e + pi))", "strict_constructor_terminal_result": "typed Construction/Ordering blocker", "approximate_512_constructor_terminal_result": "exact NURBS and polynomial-spline carriers with Approximate512Consumed", "strict_interpolation_terminal_result": "typed Interpolation/Ordering blocker", "approximate_512_interpolation_terminal_result": "exact interpolated NURBS carrier with Approximate512Consumed", "symbolic_knot_is_retained_without_replacement": true, "returned_geometry_is_not_sampled_or_rounded": true, "curve2_wrapper_preserves_certainty": true, "compatibility_overload_deref_or_implicit_value_shim_added": false, "hypermesh_modified": false }, "hypersolve_boundary": { "interpolation_solver": "hypersolve Bareiss exact dense solve with exact residual replay", "hypersolve_applies_geometry_policy": false, "supportable_approximate_512_endpoint_and_ordering_terminal_cases_covered": true, "supportable_approximate_512_undecided_pivot_continuation_covered": false, "remaining_requirement": "add a caller-authorized pivot proposal/certification bridge without letting Hypersolve silently own Hyperlimit geometry policy" }, "layout_and_memory_evidence": { "NurbsCurve2_bytes": 8, "NurbsData2_bytes": 512, "PolynomialSplineCurve2_bytes": 8, "PolynomialSplineData2_bytes": 288, "CurveContext_bytes": 1, "touched_carrier_layout_change": "none", "heap_cache_or_buffer_added": false }, "matched_bspline_benchmarks": { "command": "eleven interleaved parent/candidate executions of matched default-feature release bspline artifacts pinned to CPU 9", "benchmark_harness": "benches/bspline.rs", "parent_revision": "6dfcfe19e0f44890da6e0e5d19a085a22b91238b", "candidate_revision": "62048c621a6a3fe9be1023c7c9652ee0b395ce28", "periodic_nurbs_exact_construction": { "iterations_per_process": 2000, "parent_ns_per_iteration": [7863, 7827, 7777, 8473, 7725, 7739, 7958, 7499, 7707, 7693, 7777], "candidate_ns_per_iteration": [7543, 7901, 7858, 8322, 7702, 7480, 9201, 7643, 7507, 8021, 7763], "parent_median_ns_per_iteration": 7777, "candidate_median_ns_per_iteration": 7763, "median_change_percent": -0.1800, "paired_geomean_change_percent": 0.9227 }, "uniform_global_interpolation": { "curves_per_process": 1000, "parent_ns_per_curve": [14649, 14313, 14473, 16185, 14538, 14239, 14367, 14107, 14220, 14424, 15117], "candidate_ns_per_curve": [14343, 14191, 14173, 14857, 14322, 14081, 14217, 14382, 14980, 13903, 14345], "parent_median_ns_per_curve": 14424, "candidate_median_ns_per_curve": 14322, "median_change_percent": -0.7072, "paired_geomean_change_percent": -1.7186 }, "symbolic_centripetal_interpolation": { "curves_per_process": 100, "parent_ns_per_curve": [273693, 279632, 287453, 288283, 281061, 272271, 275575, 283560, 279848, 270474, 292160], "candidate_ns_per_curve": [270952, 278457, 276519, 303952, 278990, 272051, 279504, 275727, 268950, 269889, 271149], "parent_median_ns_per_curve": 279848, "candidate_median_ns_per_curve": 275727, "median_change_percent": -1.4726, "paired_geomean_change_percent": -1.2531 }, "cached_general_rational_evaluation_control": { "iterations_per_process": 20000, "parent_ns_per_iteration": [896, 912, 904, 951, 904, 906, 884, 894, 893, 883, 876], "candidate_ns_per_iteration": [875, 891, 947, 964, 884, 854, 893, 902, 917, 875, 947], "parent_median_ns_per_iteration": 896, "candidate_median_ns_per_iteration": 893, "median_change_percent": -0.3348, "paired_geomean_change_percent": 0.4186 }, "large_cold_decomposition_control": { "controls": 256, "iterations_per_process": 50, "parent_ns_per_iteration": [1876442, 1897545, 1904521, 2045853, 1868360, 1902161, 1889312, 1885046, 1880238, 1887812, 2300648], "candidate_ns_per_iteration": [1878071, 1885171, 1948165, 2163700, 1906561, 1909145, 1870955, 1882846, 1860354, 1870051, 1885937], "parent_median_ns_per_iteration": 1889312, "candidate_median_ns_per_iteration": 1885171, "median_change_percent": -0.2192, "paired_geomean_change_percent": -1.2008 }, "interpretation": "constructor, exact interpolation, evaluation, and large-decomposition controls are neutral to slightly faster; the periodic-construction paired mean remains a sub-one-percent noise sentinel" }, "competitive_nurbs_snapshot": { "command": "eleven one-sample comparative NURBS processes with 50000 fixed iterations pinned to CPU 9", "group": "nurbs_evaluation/rational_cubic_three_parameters", "hypercurve_ns_per_iteration": [1184.5, 1182.9, 1143.9, 1142.9, 1340.4, 1255.7, 1161.4, 1169.3, 1315.3, 1141.3, 1149.8], "curvo_ns_per_iteration": [61.0, 61.1, 59.1, 59.1, 62.2, 58.4, 58.9, 60.1, 60.6, 59.4, 58.4], "hypercurve_median_ns_per_iteration": 1169.3, "curvo_median_ns_per_iteration": 59.4, "median_ratio": 19.6852, "interpretation": "Curvo remains much faster under a finite heuristic and numerically different contract; this is an optimization target, not an exactness-parity comparison" }, "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": [74.998245, 75.721685, 110.631840, 75.139885, 79.478108, 74.367048, 79.969883, 74.322261], "candidate_build_ms": [80.807926, 86.086924, 74.195140, 75.105547, 73.964666, 74.434603, 73.356798, 73.565423], "parent_build_median_ms": 75.430785, "candidate_build_median_ms": 74.314872, "build_median_change_percent": -1.4794, "parent_boolean_ms": [477.489651, 487.249431, 487.614856, 479.248150, 475.825855, 475.032669, 470.711956, 477.343222], "candidate_boolean_ms": [478.886185, 500.851828, 480.971713, 475.890381, 476.026601, 477.831287, 480.766136, 473.768866], "parent_boolean_median_ms": 477.416437, "candidate_boolean_median_ms": 478.358736, "boolean_median_change_percent": 0.1974, "boolean_paired_geomean_change_percent": 0.3709, "parent_peak_rss_mib": [34.6, 34.5, 34.3, 34.3, 34.6, 34.5, 34.3, 34.5], "candidate_peak_rss_mib": [34.5, 34.7, 34.7, 34.6, 34.5, 34.7, 34.6, 34.6], "parent_median_peak_rss_mib": 34.5, "candidate_median_peak_rss_mib": 34.6, "interpretation": "topology and checksums are identical; Boolean time and process-scale RSS remain within run-to-run noise" }, "release_artifact_size": { "measurement": "matched default-feature release pathological_regions executables measured with GNU size and strip, plus matched bspline strip controls", "parent_text_bytes": 5234749, "candidate_text_bytes": 5239781, "text_delta_bytes": 5032, "parent_data_bytes": 264936, "candidate_data_bytes": 264984, "data_delta_bytes": 48, "parent_bss_bytes": 2968, "candidate_bss_bytes": 1992, "bss_delta_bytes": -976, "parent_total_loadable_bytes": 5502653, "candidate_total_loadable_bytes": 5506757, "total_loadable_delta_bytes": 4104, "total_loadable_delta_percent": 0.0746, "parent_file_bytes": 6927816, "candidate_file_bytes": 6936944, "file_delta_bytes": 9128, "parent_stripped_bytes": 5503576, "candidate_stripped_bytes": 5508648, "stripped_delta_bytes": 5072, "stripped_delta_percent": 0.0922, "parent_bspline_stripped_bytes": 3186368, "candidate_bspline_stripped_bytes": 3188512, "bspline_stripped_delta_bytes": 2144, "frozen_baseline_total_loadable_bytes": 5531293, "delta_from_frozen_baseline_total_loadable_bytes": -24536, "delta_from_frozen_baseline_total_loadable_percent": -0.4436, "frozen_baseline_stripped_bytes": 5532504, "delta_from_frozen_baseline_stripped_bytes": -23856, "delta_from_frozen_baseline_stripped_percent": -0.4312, "interpretation": "explicit policy/outcome entry points add about five kilobytes to the representative stripped artifact while remaining below the frozen consolidation baseline" }, "caller_audit": { "hypercurve_source_tests_benches_fuzz_and_ui_example": "all migrated and warning-clean", "external_caller_cutover_deferred_until_remaining_phase_1_public_policy_surfaces_stabilize": true, "compatibility_shim_added": false, "hypermesh_modified": false }, "remaining_policy_audit": { "public_spline_construction_is_a_strict_wrapper": false, "public_spline_interpolation_is_a_strict_wrapper": false, "public_spline_evaluation_decomposition_and_exact_edit_strict_surfaces_remain": true, "approximate_512_hypersolve_pivot_continuation_remains": true, "next_action": "make spline evaluation and direct decomposition policy-explicit under one observation, then close exact-edit caches and the Hypersolve pivot proposal boundary" }, "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-construction-policy-callgraph --crate-name hypercurve --include-examples --include-tests --include-bench --include-fuzz --format json", "nodes": 22656, "edges": 38865, "artifact": "/tmp/hypercurve-construction-policy-callgraph/callgraph.json", "public_constructor_nodes_present": true, "raw_constructor_nodes_present": true, "interpolation_composition_nodes_present": true, "single_policy_observation_node_present": true }, "verification": { "cargo_test_all_features": "pass", "unit_tests": 262, "all_integration_tests": "pass except two explicitly ignored release-scale PCB performance corpora", "generated_curve_region_boolean_tests": 7, "pathological_operations": "268/268 decided with no blockers", "terminal_nurbs_constructor_policy_test": "pass", "terminal_polynomial_constructor_policy_test": "pass", "terminal_interpolation_policy_test": "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", "hypercurve_ui_cargo_clippy_all_targets_deny_warnings": "pass", "cargo_fmt_all_check": "pass", "git_diff_check": "pass" } }