jyvikoandClaude Opus 5.5 b10cd4b8e0 Wave 372/509: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused (and 3 more) ...

4 commits, squashed; the originals stay reachable from tag archive/merge-main-develop.

- 1ac12ba72 jyviko: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused
- f72108895 jyviko: Kernel rig: construction cases, where two edges meet or come closest, and parallel edges refused
- 1acbf1e9c jyviko: Kernel rig: construction cases, a point on a vertex or another construction point, and no body refused
- 33e3b6379 jyviko: Kernel rig: the inspect area, what reruns it, and the analyses that only draw

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

2026-10-29 17:10:20 -04:00

..

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

Wave 368/509: Kernel rig: thicken a sheet into a slab and a tube, trim by a plane and by a circle, and refuse a stray keep_with (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 368/509: Kernel rig: thicken a sheet into a slab and a tube, trim by a plane and by a circle, and refuse a stray keep_with (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-axis-through-a-circular-edge

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-axis-through-a-cylinder

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-axis-through-a-torus

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-axis-two-planes-slanted

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 369/509: Kernel rig: construction cases, the axis of a cylinder, a torus and a circular edge, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-plane-midplane-between-parallel-planes

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-plane-midplane-bisects-a-corner

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-plane-tangent-to-a-sphere

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-plane-three-points-on-vertices

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-plane-three-points-slanted

Wave 370/509: Kernel rig: construction cases, the tangent plane to a cylinder and a sphere, and a point on the axis refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-point-center-of-a-sphere

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-point-center-of-a-torus

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

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

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-point-edge-plane-slanted-plane

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-point-edge-plane-square-cut

Wave 371/509: Kernel rig: construction cases, the centre of a circular edge, sphere, torus and sketch arc, and a flat face refused (and 3 more)

2026-10-29 17:10:12 -04:00

cov-point-three-planes-box-corner

Wave 372/509: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused (and 3 more)

2026-10-29 17:10:20 -04:00

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

Wave 372/509: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused (and 3 more)

2026-10-29 17:10:20 -04:00

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

Wave 372/509: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused (and 3 more)

2026-10-29 17:10:20 -04:00

cov-point-three-planes-slanted

Wave 372/509: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused (and 3 more)

2026-10-29 17:10:20 -04:00

cov-point-two-edges-meeting

Wave 372/509: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused (and 3 more)

2026-10-29 17:10:20 -04:00

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

Wave 372/509: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused (and 3 more)

2026-10-29 17:10:20 -04:00

cov-point-two-edges-skew

Wave 372/509: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused (and 3 more)

2026-10-29 17:10:20 -04:00

cov-point-vertex-box-corner

Wave 372/509: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused (and 3 more)

2026-10-29 17:10:20 -04:00

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

Wave 372/509: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused (and 3 more)

2026-10-29 17:10:20 -04:00

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

Wave 372/509: Kernel rig: construction cases, where three planes meet, and parallel planes or planes through one line refused (and 3 more)

2026-10-29 17:10:20 -04:00

KNOWN_FAILING

Wave 368/509: Kernel rig: thicken a sheet into a slab and a tube, trim by a plane and by a circle, and refuse a stray keep_with (and 3 more)

2026-10-29 17:10:12 -04:00

PATHS

Wave 368/509: Kernel rig: thicken a sheet into a slab and a tube, trim by a plane and by a circle, and refuse a stray keep_with (and 3 more)

2026-10-29 17:10:12 -04:00