From c13d760faa7867e73f5fe87e1d9895d517055288 Mon Sep 17 00:00:00 2001 From: Brett Lawson Date: Thu, 29 Oct 2026 23:02:13 +0100 Subject: [PATCH] smlib: a copy queried under the arena's identities is a port-side invariant (solidcore#1452) solidcore#1452 reports a port-side failure as SolidError::PortInvariant with no SMLib status, where it was InvalidInput. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01MNXLXkZLQ6T7TSi4wswcmk --- crates/smlib/src/core/offset_tests.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/crates/smlib/src/core/offset_tests.rs b/crates/smlib/src/core/offset_tests.rs index f692cca068..e1b26ddc72 100644 --- a/crates/smlib/src/core/offset_tests.rs +++ b/crates/smlib/src/core/offset_tests.rs @@ -520,10 +520,11 @@ fn faces_are_picked_on_the_box_and_on_its_working_copy() { box_face_distances_are_exact(what, &face_distances(k, x, &proven.identity(), p)?); } // The copy under its naming scheme alone (the arena's identities): no face's geometry - // owner resolves, and the query says so rather than answering from the vertices. + // owner resolves, and the query says so rather than answering from the vertices. Since + // solidcore#1452 that is a port-side invariant, not an SMLib status. let arena = BrepIdentity::of_naming_with_id(solidcore::topology::BrepId::from_index(0), &w); match face_distances(k, &mut w, &arena, p) { - Err(SolidError::InvalidInput { .. }) => {} + Err(e @ SolidError::PortInvariant { .. }) if e.sm_status().is_none() => {} other => panic!("the copy under the arena's identities: {other:?}"), } Ok(())