masi/solvecraft
1
0
Fork 0
mirror of https://github.com/bherbruck/solidcraft.git synced 2026-11-03 10:35:58 +00:00
Code Issues Packages Projects Releases 1 Wiki Activity

Tests: the tapered bosses' volume in closed form, not truck's measure

Browse Source 
fillets_on_tapered_bosses_saved_before_still_find_their_edges compared the part with
69454.885209 mm³, what the truck build that saved it measured. In closed form: the 80 × 40 × 20
block (64000); the 20 × 20 boss 10 high tapered 5° in, a frustum to a 20 − 20 tan 5° square
(3660.251034); the Ø16 boss tapered alike, a cone frustum to radius 8 − 10 tan 5° (1798.751833);
less the R1 round on a sloping corner, the corner's section r²(cot φ/2 − (π − φ)/2) at its
dihedral angle φ = 90.435° times its length between z = 20 and 30 (2.124401), and the R0.5
round all round the cone's top, the section at the rim's 95° turned about the axis by Pappus
(1.928463): 69454.950004. SMLib's part measures 69454.950004.

The test still fails before that check: Fillet2's saved edge `F4:side:c1#1|F4:top#[F4:side:c1]`
names a half of the cone wall truck built, which SMLib builds whole, so it is found with a
"was split" warning (a persistent-name question, see the PR).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
jyviko
2026-10-29 22:55:46 -04:00
committed by Irakli Kourtis
parent 1a5a3b5ebb
commit a3f150257f
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/engine/src/cmd/features_more_tests.rs
+8 -2
View File
@@ -1870,8 +1870,14 @@ fn fillets_on_tapered_bosses_saved_before_still_find_their_edges() {
let r = s.model.result(id).unwrap();
assert!(r.error.is_none() && r.warning.is_none(), "{name}: {:?} {:?}", r.error, r.warning);
}
// The build that saved it measured 69454.885209 mm³.
assert!((volume - 69454.8852092132).abs() < 1e-3, "{volume}");
// In closed form: the 80 × 40 × 20 block, the 20 × 20 boss 10 high tapered 5° in (a frustum,
// top 20 − 20 tan 5° square: 3660.251034), the Ø16 boss tapered alike (a cone frustum, top
// radius 8 − 10 tan 5°: 1798.751833); less the R1 round along a sloping corner (the corner's
// section, r²(cot φ/2 − (π − φ)/2) at its dihedral angle φ = 90.435°, times its length
// between z = 20 and 30: 2.124401) and the R0.5 round all round the cone's top (the section
// at the rim's 95°, turned about the axis by Pappus: 1.928463). The build that saved it,
// with truck, measured 69454.885209.
assert!((volume - 69454.950004).abs() < 1e-3, "{volume}");
assert_eq!(s.world_state().unwrap().bodies.len(), 1);
}