solidcore: move the pin to 15e72dff9 (main, with solidcore#1752, #1495, #1796)

Merged since bba8d8798:
- #1752 opt-in two-sided closure test for a new face (WR-584, fork 69c5198)
- #1495 opt-in linear sweep of an arc square to its plane makes a cylinder (#1477, fork 12918e9)
- #1758 opt-in offset closes loop gaps between offset faces (WR-578)
- #1571 opt-in plane within a face's zone tolerance of a cylinder wall touches it along one line
  (#1525, WR-510)
- #1811 opt-in trimmed face's tight box is found inside its trim (#1799, WR-588)
- #1796 test: an offset surface exports through ApproximateSurface (#1441)
- #1751 test for stitch_solid_nests_cavities (WR-569)
- #1738 ResolveOverlappingProtoEdges sets point-class parameters on lent B-reps
- #1803 resolve_overlapping_proto_edges stops an overlap group that re-forms forever (HANG-51)
- #1820 screw sweep with exact walls and axial cylinders (#1162, #1163)
- #1706 SmOffsetSurface and SmSrfInVolume AssertValid
- #1358 the brep_p3 runner refuses the HANG-16 regime on the Rust side too
- #1791 curve_class/point_class dispatch gaps are not unported
- tests and difftests: #1719, #1824, #1373; plan: #1780; CI: #1810, #1802

main's CI test job passed on 15e72dff9.

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

Cargo.lock

@@ -4054,7 +4054,7 @@ dependencies = [
 [[package]]
 name = "solidcore"
 version = "1.0.1"
-source = "git+https://github.com/tangency-labs/solidcore?rev=bba8d8798122e9e5adc69c9ba153b8411dca24be#bba8d8798122e9e5adc69c9ba153b8411dca24be"
+source = "git+https://github.com/tangency-labs/solidcore?rev=15e72dff9f45c477d19a91be6e031fc89da32b1f#15e72dff9f45c477d19a91be6e031fc89da32b1f"
 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 = "bba8d8798122e9e5adc69c9ba153b8411dca24be" }
+solidcore = { git = "https://github.com/tangency-labs/solidcore", rev = "15e72dff9f45c477d19a91be6e031fc89da32b1f" }
 
 # foundation
 thiserror = "2"