solidcore: move the pin to 2a47645e (main, with solidcore#1435: precise properties split at the surface's knots)

Turns on the new flag precise_properties_split_at_surface_knots.

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

Cargo.lock

@@ -4054,7 +4054,7 @@ dependencies = [
 [[package]]
 name = "solidcore"
 version = "0.0.1"
-source = "git+https://github.com/tangency-labs/solidcore?rev=1958744587b73f29bf561f61b530f5e8cf6d61ce#1958744587b73f29bf561f61b530f5e8cf6d61ce"
+source = "git+https://github.com/tangency-labs/solidcore?rev=2a47645e9c289f35619bf97401857b5aafa67fc0#2a47645e9c289f35619bf97401857b5aafa67fc0"
 dependencies = [
  "thiserror 2.0.21",
 ]

Cargo.toml

@@ -35,7 +35,7 @@ solidcraft-3dx-client = { path = "crates/threedx-client" }
 # they reach parity (crates/smlib/src/route.rs). Pinned; move the rev on its own commit. For a
 # local checkout, add `[patch."https://github.com/tangency-labs/solidcore"] solidcore = { path =
 # "../solidcore/crates/solidcore" }` to a `.cargo/config.toml` outside the repository.
-solidcore = { git = "https://github.com/tangency-labs/solidcore", rev = "1958744587b73f29bf561f61b530f5e8cf6d61ce" }
+solidcore = { git = "https://github.com/tangency-labs/solidcore", rev = "2a47645e9c289f35619bf97401857b5aafa67fc0" }
 
 # foundation
 thiserror = "2"

crates/smlib/src/core.rs

@@ -89,6 +89,7 @@ pub(crate) fn fixes() -> UpstreamFixes {
     f.offset_resolve_crossing_loops = true;
     f.offset_walls_touch_refused = true;
     f.offset_analytic_mate_edges = true;
+    f.precise_properties_split_at_surface_knots = true;
     f.offset_collapsed_rounds_mated = true;
     f.offset_missing_surface_fails = true;
     f.fillet_nx1_end_rib_global_merge = true;