Units / boolean

boolean.topology_intersector_p1 partial

Layer

50

Upstream lines

2,491

Functions

38

Rust module

boolean::topology_intersector::p1

Source: crates/solidcore/src/boolean/topology_intersector/p1.rs

Upstream: source/SMLib/inc/SmTopologyIntersector.h, source/SMLib/src/SmTopologyIntersector.cpp

Notes

partial (PR #146, builds on #121 and #150): after the maintainer review and the swarm pre-review, difftest 827 cases (8 upstream-derived fixtures + 19 edge cases built in code + 800 generated two-B-rep scripts, each run up to its first unrunnable op), 653 pass bit-identical (max_rel_err 0), 0 fail, 174 deferred (topology.face_p2 82: SmFace::GetTolerance via SmSurface::DropPoint of a face-owned surface; topology.brep_p1 74: GetVertices/GetEdges/GetTolerance; topology.face_p4 11: SmFace::GetVertices/GetEdges; query.face_p1 7: SmFace::CalculateBoundingBox), 3 cases_both_errored (scripts cut at op 0), 32 passes compare one refused op's status only; --perturb SENSITIVE 653/653. Ops with zero passing cases: sm_IntersectShellVertices and sm_IntersectWireLaminaEdges (all reach topology.brep_p1). UNPORTED stubs: topology.brep_p1/p3/p5/p7/p9, topology.face_p1/p3/p4, query.face_p1, intersect.curve_class_p4; surface.surface_p8, intersect.curve_class_p5 and _p6 are wired. Registered SSI curves of the script are plain B-splines (a line/conic registered there is never compared). CO-PORTED here: the two SmTopologyIntersector constructors (boolean.topology_intersector_p2) -> boolean::topology_intersector::p1::TopologyIntersector::{new, with_context}; SmTol::UpdateObjectTolerance (geom.tol) -> geom::tol::update_object_tolerance. 38 fns; largest: SmTopologyIntersector::EdgeFaceIntersect, SmTopologyIntersector::FaceFaceIntersect, SmTopologyIntersector::FixupMidPointClassMates, SmTopologyIntersector::FaceFaceCoincidence; unit-SCC #22 (220 units); hazards: ptr-hash,ptr-iter; 317 upstream test entry points reach this unit CO-PORTED in boolean.merge_p1 (PR #163): m_pBToO/m_pOToB edge/vertex storage and bidirectional lookups -> boolean::topology_intersector::p1::{MateMap,Relations}; record() checks conflicting established pairs atomically. Relate of a new merge vertex (SmMerge::MergeVertex, boolean.merge_p1) is wired to boolean::topology_intersector::p1::Relations::relate_vertices (Relate's vertex branch on Brep ids, including the SM_USE_OLDTOL tolerance propagation; merge_vertex and merge_p5's process_wires_and_shell_vertices now take the other B-rep mutably). Maintainer merge of main (PR #146): SmFace::CalculateUVDomainFromUVTrimCurves wired to topology.face_p1 (PR #148) through IntersectorBrep::face_uv_domain_from_uv_trim_curves (bLimitDomain TRUE, no gaps); every call site is still reached only after an UNPORTED query.face_p1 / topology.face_p4 call, and face_p1 itself defers on CreateUVTrimCurves (topology.face_p3). Upstream issue WR-102 renumbered WR-157.

Difftest

Cases

827

Passed

653

Deferred

174

Failed

0

Both errored

3

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.extent3d green geom.object partial geom.solution_array partial geom.tol green geom.vector2d green geom.vector3d green intersect.curve_class_p1 partial intersect.point_class partial topology.edge partial topology.face_p2 partial topology.face_p4 claimed topology.proto_topology_p1 partial topology.proto_topology_p2 partial topology.proto_topology_p3 partial topology.vertex partial

Soft dependencies: curve.curve_p6 green curve.curve_p8 green geom.context green intersect.curve_class_p4 claimed intersect.curve_class_p5 partial intersect.curve_class_p6 partial intersect.topology_solver_p2 partial nurbs.b_spline_curve_p1 green query.edge partial query.face_p1 claimed query.face_p2 partial surface.surface_p2 partial surface.surface_p5 green surface.surface_p7 partial surface.surface_p8 partial topology.brep_p1 claimed topology.brep_p3 claimed topology.brep_p5 claimed topology.brep_p7 claimed topology.brep_p9 claimed topology.edgeuse_p1 partial topology.face_p1 partial topology.face_p3 claimed

Dependents: blend.fillet_executive_p3 todo boolean.merge_p1 partial boolean.merge_p2 todo boolean.merge_p3 todo boolean.merge_p4 todo boolean.merge_p5 partial boolean.topology_intersector_p2 claimed boolean.topology_intersector_p3 claimed

Soft dependents: blend.fillet_executive_p1 todo blend.fillet_executive_p2 todo blend.fillet_geom_p6 todo

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