jyviko c5ccb9201d Wave 43/45: smlib: rustfmt after the C++ kernel's removal (and 1 more) ...

2 commits, squashed; the originals stay reachable from branch jyviko/merge-main-develop-solidcore (#11360).

- 19db2d7c0 jyviko: Docs and comments: solidcore is the kernel
- f1ee045de jyviko: smlib: rustfmt after the C++ kernel's removal

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01DtL5M41G8Nua7HvuFPZkmJ

2026-11-02 18:09:38 -05:00

..

cov-axis-edge-on-a-box-edge

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-axis-edge-refuses-a-circular-edge

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-axis-normal-to-a-cylinder-refuses-a-point-on-its-axis

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-axis-normal-to-a-cylinder-through-an-outside-point

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-axis-normal-to-a-flat-face

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-axis-through-a-circular-edge

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-axis-through-a-cylinder

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-axis-through-a-torus

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-axis-through-cylinder-refuses-a-flat-face

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-axis-two-planes-box-top-and-side

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-axis-two-planes-refuses-parallel-planes

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-axis-two-planes-slanted

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-at-angle-about-its-own-normal

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-at-angle-face-off-the-axis

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-at-angle-xy-about-x-30

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-axis-point-box-edge-and-far-corner

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-axis-point-refuses-a-point-on-the-axis

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-midplane-between-parallel-planes

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-midplane-bisects-a-corner

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-midplane-of-a-plane-with-itself

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-perpendicular-refuses-a-line-square-to-the-plane

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-perpendicular-through-a-box-edge

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-perpendicular-through-a-diagonal-axis

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-tangent-refuses-a-point-on-the-axis

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-tangent-to-a-cylinder-at-a-point

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-tangent-to-a-sphere

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-three-points-on-vertices

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-three-points-refuses-collinear-points

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-three-points-slanted

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-two-edges-meeting-at-a-corner

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-two-edges-opposite-box-edges

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-plane-two-edges-refuses-skew-edges

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-along-path-a-third-of-an-arc

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-along-path-middle-of-a-symmetric-spline

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-along-path-past-the-end

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-along-path-quarter-of-a-line

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-center-of-a-circular-edge

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-center-of-a-sketch-arc

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-center-of-a-sphere

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-center-of-a-torus

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-center-refuses-a-flat-face

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-edge-plane-refuses-a-parallel-edge

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-edge-plane-slanted-plane

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-three-planes-box-corner

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-three-planes-refuses-planes-through-one-line

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-three-planes-refuses-two-parallel

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-three-planes-slanted

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-two-edges-meeting

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-two-edges-refuses-parallel-edges

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-two-edges-skew

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-vertex-box-corner

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-vertex-of-a-construction-point

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

cov-point-vertex-refuses-with-no-body

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00

KNOWN_FAILING

Wave 43/45: smlib: rustfmt after the C++ kernel's removal (and 1 more)

2026-11-02 18:09:38 -05:00

PATHS

Merge develop into main: SolidCraft on the SMLib kernel (v1.1.0-alpha) (#11351)

2026-11-02 22:53:32 +00:00