Units / surface

surface.surface_p9 partial

Layer

23

Upstream lines

1,252

Functions

3

Rust module

surface::surface::p9

Source: crates/solidcore/src/surface/surface/p9.rs

Upstream: source/SMLib/src/SmSurface.cpp

Notes

3 fns; largest: SmCSIGlobalSolver::LocalSolve, SmSurface::FindTessellationSplits, SmSurface::CreateIsoBoundaries; cycle back-edges (call into later units; stub or co-port): surface.surface_p5(4), surface.surface_p1(3), surface.surface_p7(2), surface.surface_p4(1), surface.surface_p6(1); unit-SCC #22 (220 units); 317 upstream test entry points reach this unit; Follow-up (guard narrowing): 821 cases, 763 bit-identical, 0 failed, 58 deferred (intersect.curve_class_p4 50, surface.surface_p6 8); --perturb 763/763 detected; max_rel_err=0; FFI guard now only requires finite net/domain/chord/max side/line (CSI domains may be disjoint, touching or slivers; any scale; chord heights below 1e-3; max side above 100), keeping the [0,1] split/iso domain, the angle range, revolution-CSI rejection (one-node Rust harness tree does not model BuildTree) and the shim all-degenerate 0<max side<1 guard, plus max|net|/max side <= 1e5 (ULONG split-count conversion; Rust 1e6 split limit); 43 guard-narrowing fixtures (7 CSI crossings deferred on surface.surface_p6); max-side iso degeneracy now dispatches to the typed curve (SmEllipse/SmLine IsDegenerate); no absolute floors; CO-PORTED(surface.surface_p1): extend the existing CsiGlobalSolver with optional borrowed curve/cache/kernel context; preserve its constructor and implement its solves in p9; wire surface_to_evaluate, is_node_valid and is_point_valid; CSI disjoint fixture passes, crossing defers on surface.surface_p6; 16 explicit analytic-plane non-diagonal fixtures pass; latest main SurfOfRevolution delegates iso construction to its virtual implementation; 18 canonical-cylinder cases pass against C++ (16 splits, 2 iso boundaries) [surface.surface_p6 wired (PR #92): 821 cases, 763 pass, 58 deferred (intersect.curve_class_p4 50, surface.surface_p4 8)] Re-run (PR #52, after merging surface_p4/#49 and surface_p5/#50): 821 cases, 763 pass, 58 deferred (intersect.curve_class_p4 50, surface.surface_point_solve_p3 8). Re-run after merging PR #106 (surface.surface_point_solve_p3 wired, 2026-10-15): 821 cases, 769 pass, 52 deferred (intersect.curve_class_p4 50, surface.surface_p2 2), 0 failed, max_rel_err 0. Re-run (PR #118, round 3: implicit_iso over a plane evaluates through the plane): 821 cases, 769 pass, 52 deferred (intersect.curve_class_p4 50, surface.surface_p2 2), 0 failed; --perturb SENSITIVE 769/769.

Difftest

Cases

821

Passed

769

Deferred

52

Failed

0

Both errored

0

Max rel. error

0.0

Tolerance

1e-09 rel.

Seeds

16

Blocked by

Report JSON (per-case results)

Dependencies

Depends on: curve.curve_p2 green geom.extent1d green geom.extent2d green geom.global_solver partial geom.object partial geom.pseudo_box green geom.tol green geom.vector2d green geom.vector3d green nurbs.b_spline_curve_p1 green surface.surface_cache_p1 green surface.surface_p2 partial

Soft dependencies: curve.crv_on_surf partial curve.curve_cache green curve.curve_p1 partial curve.curve_p3 green curve.curve_p4 partial curve.curve_p5 partial curve.curve_p6 green curve.iso_curve green geom.extent3d green geom.solution_array partial geom.tree partial nurbs.b_spline_curve_n_lib green nurbs.b_spline_curve_p2 green

Dependents: surface.surface_p11 partial

Soft dependents: surface.surface_cache_p2 partial

Upstream functions

Upstream tests reaching this unit

prog_test:my_test_surface_closest_point, prog_test:my_test_drop_point, prog_test:my_test_matrix, prog_test:my_test_reversed_line_join, SM_API_test:TestSmCreateRectangle, SM_API_test:TestSmCreateRegularPolygon