jyviko de3483ecc5 Kernel rig: five cases outside fillets repeat a kept case's regime and go ...

A square cut is the slanted plane's ordinary crossing; the cam's half turn is the quarter turn's
contact at a symmetric angle; the r15 slab stands inside the same coincidence tolerance as the r10;
the 90 degree unfold and the 40 degree flange repeat the 72 degree and 20 degree cases' formulas.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-10-31 09:33:29 -04:00

..

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

Kernel rig: construction cases, an axis on a straight box edge, and a circular edge refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, an axis on a straight box edge, and a circular edge refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, an axis square to a flat face and to a cylinder through a point, and a point on the axis refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, an axis square to a flat face and to a cylinder through a point, and a point on the axis refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, an axis square to a flat face and to a cylinder through a point, and a point on the axis refused

2026-10-29 21:08:31 -04:00

cov-axis-through-a-circular-edge

Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused

2026-10-29 21:08:31 -04:00

cov-axis-through-a-cylinder

Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused

2026-10-29 21:08:31 -04:00

cov-axis-through-a-torus

Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the line where two planes meet, square and slanted, and parallel planes refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the line where two planes meet, square and slanted, and parallel planes refused

2026-10-29 21:08:31 -04:00

cov-axis-two-planes-slanted

Kernel rig: construction cases, the line where two planes meet, square and slanted, and parallel planes refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, a plane turned about an axis in it, off it and along its own normal

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, a plane turned about an axis in it, off it and along its own normal

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, a plane turned about an axis in it, off it and along its own normal

2026-10-29 21:08:31 -04:00

cov-plane-midplane-between-parallel-planes

Kernel rig: construction cases, the midplane of parallel faces, of a corner, and of a plane with itself

2026-10-29 21:08:31 -04:00

cov-plane-midplane-bisects-a-corner

Kernel rig: construction cases, the midplane of parallel faces, of a corner, and of a plane with itself

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the midplane of parallel faces, of a corner, and of a plane with itself

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, a plane through an edge or axis square to a plane, and a line along the normal refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, a plane through an edge or axis square to a plane, and a line along the normal refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, a plane through an edge or axis square to a plane, and a line along the normal refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused

2026-10-29 21:08:31 -04:00

cov-plane-tangent-to-a-sphere

Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused

2026-10-29 21:08:31 -04:00

cov-plane-three-points-on-vertices

Kernel rig: construction cases, the plane through three points or vertices, and collinear points refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the plane through three points or vertices, and collinear points refused

2026-10-29 21:08:31 -04:00

cov-plane-three-points-slanted

Kernel rig: construction cases, the plane through three points or vertices, and collinear points refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the plane through parallel and meeting edges, and skew edges refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the plane through parallel and meeting edges, and skew edges refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the plane through parallel and meeting edges, and skew edges refused

2026-10-29 21:08:31 -04:00

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

Point and Plane Along Path: exact on the path's curves by arc length, and a t outside 0…1 is refused

2026-10-29 23:17:34 -04:00

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

Point and Plane Along Path: exact on the path's curves by arc length, and a t outside 0…1 is refused

2026-10-29 23:17:34 -04:00

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

Point and Plane Along Path: exact on the path's curves by arc length, and a t outside 0…1 is refused

2026-10-29 23:17:34 -04:00

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

Point and Plane Along Path: exact on the path's curves by arc length, and a t outside 0…1 is refused

2026-10-29 23:17:34 -04:00

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

Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused

2026-10-29 21:08:31 -04:00

cov-point-center-of-a-sphere

Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused

2026-10-29 21:08:31 -04:00

cov-point-center-of-a-torus

Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, where an edge crosses a square and a slanted plane, and a parallel edge refused

2026-10-29 21:08:31 -04:00

cov-point-edge-plane-slanted-plane

Kernel rig: construction cases, where an edge crosses a square and a slanted plane, and a parallel edge refused

2026-10-29 21:08:31 -04:00

cov-point-three-planes-box-corner

Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused

2026-10-29 21:08:31 -04:00

cov-point-three-planes-slanted

Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused

2026-10-29 21:08:31 -04:00

cov-point-two-edges-meeting

Kernel rig: construction cases, where two edges meet or come closest, and parallel edges refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, where two edges meet or come closest, and parallel edges refused

2026-10-29 21:08:31 -04:00

cov-point-two-edges-skew

Kernel rig: construction cases, where two edges meet or come closest, and parallel edges refused

2026-10-29 21:08:31 -04:00

cov-point-vertex-box-corner

Kernel rig: construction cases, a point on a vertex or another construction point, and no body refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, a point on a vertex or another construction point, and no body refused

2026-10-29 21:08:31 -04:00

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

Kernel rig: construction cases, a point on a vertex or another construction point, and no body refused

2026-10-29 21:08:31 -04:00

KNOWN_FAILING

Kernel rig: the construction area, with what reruns it

2026-10-29 21:08:31 -04:00

PATHS

Point and Plane Along Path: exact on the path's curves by arc length, and a t outside 0…1 is refused

2026-10-29 23:17:34 -04:00