masi/solvecraft
1
0
Fork 0
mirror of https://github.com/bherbruck/solidcraft.git synced 2026-11-04 02:55:54 +00:00
Code Issues Packages Projects Releases 1 Wiki Activity

smlib: a copy queried under the arena's identities is a port-side invariant (solidcore#1452)

Browse Source 
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 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MNXLXkZLQ6T7TSi4wswcmk
This commit is contained in:
Brett Lawson
2026-10-29 23:02:13 +01:00
parent 41e902eaa3
commit c13d760faa
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/smlib/src/core/offset_tests.rs
+3 -2
View File
@@ -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(())