smlib: solidcore's new opt-in fixes are on: sliver iso curves degenerate, Coons corner patches tangent to their sides, a fillet's own edge kept at a corner patch, the corner ball centred where the axes meet, one solution for a seam point, 2D boolean covers of far faces, area only between solid and void, a coincident definition split across the split point, the tight box from the interval's knots, overlapping bands refused, and the SSI tangent-curve tracer

Each is in the fork at develop's SMLIB_REV 1ccd4612 (tangency-labs/smlib 8088f5e, cae8618,
1072d1b, bc6ddf9, 577f7be, 67b8a1e, d2d9586, f11d0ac, 02fc29b, c0d74ee, and ef4ab25, e9fde8f,
d8c61db, 1693c9d), so solidcore stays with SolidCraft's C++.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MNXLXkZLQ6T7TSi4wswcmk

crates/smlib/src/core.rs

@@ -164,6 +164,17 @@ pub(crate) fn fixes() -> UpstreamFixes {
     f.shell_edges_on_analytics_exact = true;
     f.ssi_no_reverse_of_empty_trace = true;
     f.ssi_pole_point_keeps_its_tangent = true;
+    f.iso_curve_sliver_domain_is_degenerate = true;
+    f.corner_blend_coons_patch_tangent_to_sides = true;
+    f.fillet_patch_keeps_fillet_edges = true;
+    f.fillet_corner_ball_center_from_axes = true;
+    f.seam_point_solutions_are_one = true;
+    f.boolean2d_plane_covers_far_faces = true;
+    f.brep_area_between_solid_and_void = true;
+    f.boolean_splits_definition_across_split = true;
+    f.curve_tight_box_interval_knots = true;
+    f.fillet_refuse_overlapping_bands = true;
+    f.ssi_tangent_curve_tracer = true;
     f
 }