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

Tests: the high-degree line prism_curve certifies is written at the record's highest degree

Browse Source 
genuine_curves_and_oriented_traversal_are_certified built its degree-elevated line at degree
17. A B-rep record holds splines up to degree 16 (MAX_SPLINE_DEGREE, Brep::validate, #8618), so
no such edge reaches the certifier, and the evaluator refuses to build it. The line is now
written at MAX_SPLINE_DEGREE: still a line of the highest degree a record can carry.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
jyviko
2026-10-29 00:01:16 -04:00
committed by Irakli Kourtis
parent c1ead0fef7
commit 6387be309f
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/kernel/src/prism_curve.rs
+2 -1
View File
@@ -649,7 +649,8 @@ mod tests {
assert!((sweep.abs() - std::f64::consts::FRAC_PI_2).abs() < 1e-8);
assert_eq!(sweep > 0., forward);
}
let line = curve(&[0., 10.], &[0.], &[1.], 17);
// A line written at the highest degree a B-rep record holds (MAX_SPLINE_DEGREE).
let line = curve(&[0., 10.], &[0.], &[1.], solidcraft_geom::bspline::MAX_SPLINE_DEGREE);
assert!(matches!(segment(&run(&line, true), &Plane::XY, 1e-5, &mut 2_000_000).unwrap()[0], Seg2::Line { .. }));
// The longitudinal derivative is negative at t=1/3, independently
// establishing genuine retracing rather than a stationary tangent.