SMLib: pin 1ccd461, the batch of 2026-10-30 (tangency-labs/smlib#58–#62)

- #58: a fillet's tangent-point step no longer depends on the blends before it (solidcore #1173).
- #59: the fillet clean-up keeps the target's edges and faces by a mark, not by address (#1176).
- #60: capi test, a line projected through a sphere's poles meets itself smoothly at each pole.
- #61: offset faces removes a step wall the move closes to nothing and merges the two tops, so
  shell/cov-replace-face-step-onto-the-higher-face builds.
- #62: thicken puts a flat side wall on its plane (solidcore #1599), so a cylinder sheet's end
  rings are planes: surfaces/cov-thicken-cylinder-sheet-symmetric-tube passes.

Both cases leave KNOWN_FAILING.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
jyviko
2026-10-29 21:33:53 -04:00
committed by Irakli Kourtis
parent 322ac2592a
commit 2937d9e889
4 changed files with 9 additions and 11 deletions
+8 -8
View File
@@ -1,10 +1,10 @@
# Rust target, SHA-256 of smlib-<target>.tar.gz in the release prebuilt-<SMLIB_REV> of
# tangency-labs/smlib. Written by scripts/fetch-smlib.sh --pin; never edited by hand.
aarch64-apple-darwin 0288998e1d7e0bc14149f7abc2cd7e44852a66af43b187a700981cffdfbc89dc
aarch64-pc-windows-msvc 51992eb16f529c0969a22d9c852c65c582dd48a8ca5febf28a5f28186dbec000
aarch64-unknown-linux-gnu 9d0b96bbaf7ae255c0bcd8828fb3cbb0b3ffda053de47bca73edf8429efcffad
i686-pc-windows-msvc 26f130fc69f57bd0aa0552b653dde5120a6526525145f4f1cf91b8c0914de95f
wasm32-unknown-unknown a5a0b287078e4d1f216e8d78194cbb839fcd65a2ad9cb93b491ee5aa46902f7d
x86_64-apple-darwin 83768b97779df83aa11319668be3c78dad1d84f21e20ea6d923ff2a7bf352889
x86_64-pc-windows-msvc 21f688d0d3d4c5d9e1e3cb33fb2991701a1172299d36bb6342238836a11cb85e
x86_64-unknown-linux-gnu 5c6145e288a3e7cd741d1f3f2b96a5a39016c9ceac950b1e05ae75a5f4cb5f53
aarch64-apple-darwin 0cc77e26edf71fdd25881bc2b27a37d7eae6e4983939ce7769e47cdd88b7d142
aarch64-pc-windows-msvc f6802ecb6d21bad7c8e23a0371aaa4d79cac9d75f271f00900067a1777353b39
aarch64-unknown-linux-gnu 0c9b9f8fe3522e1baab52d04f8f003da94b73b7837c60d8ec4d7bd8b34d32889
i686-pc-windows-msvc 1a430d114c38010eefbbd0b89cd060d36abc5262dbfafbbb08f09fefc1258c30
wasm32-unknown-unknown 53f03772528182d2cc9398eaaebcae1c643ca6d2ff5553b19db69e713a84579e
x86_64-apple-darwin 26cfc2cd85d049159893972c2dbdcdf08ad4f88e57d54a9e23146e86d4d3b8ca
x86_64-pc-windows-msvc ec9b082bb11a00b25c967a3f4cf8f497d5e69cf6a7f009ecff387d41697f162f
x86_64-unknown-linux-gnu d75936dadf5553e5d3e45b9b8136323285b1ee040fcaf1d6e2df6754c99e02c6
+1 -1
View File
@@ -1 +1 @@
90aabff7937853f94ab1ddb9115382844f369793
1ccd461266aa36470d29a5e2634cf6c622830dc8
-1
View File
@@ -2,4 +2,3 @@
# rig gate (.github/workflows/kernel-rig.yml) fails on a case that fails and is not listed here,
# and on a listed case that passes: a fix removes its line in the same pull request.
# Baseline: 45f69c0e5 with SMLib 60b1c6a, aarch64 Linux.
cov-replace-face-step-onto-the-higher-face not supported yet: SMLib's offset of faces refuses (Unsupported) a move that closes a neighbouring face (the step wall) to nothing
@@ -4,4 +4,3 @@
# line in the same pull request.
# Baseline: rig-cases-surfaces 45f69c0e5 with SMLib 60b1c6a, aarch64 Linux.
cov-fair-single-span-face-has-nothing-free-to-move surface.fair refuses a face of degree 1 one way ("a fairness term does not fit the net's degrees"): kernel/src/fair.rs checks its second-derivative terms against the net's degrees instead of fairing only the direction that has them
cov-thicken-cylinder-sheet-symmetric-tube the tube's two flat end rings come back as B-spline faces, not planes (surface_types bspline, cylinder): volume, faces and box are right; the exact plane is lost in SMLib's thicken or in its record conversion