3 commits, squashed; the originals stay reachable from tag archive/merge-main-develop. -5e348ae2ajyviko: Tests: rustfmt the board fixture example and the coplanar asserts -033d1a122jyviko: Kernel rig: the two 3871 cone cases were byte-for-byte the 258 cases; the 258 cases carry their sources -780a0652djyviko: Kernel rig: a volume or area can be graded as a hand-derived range where analysis only bounds it Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01DtL5M41G8Nua7HvuFPZkmJ