[DarkBiscuits]

run currently drops cutter shape from the IR, so verify --mesh requires a separate --tool and applies that single cutter to the whole program.

Preserve optional flat, ball, bull and V-bit geometry on IR tools, and let verify --mesh select the cutter for each cutting move. Tool changes within a path are honored. --tool remains a global override and is identified in the diagnostic output. Existing IR without shape metadata still loads; mesh verification of its cuts requires an override.

Chamfer operations keep their existing V-bit fields and copy their geometry onto the tool. Conflicting angles or tip diameters for one tool ID, or an explicit tool shape conflicting with chamfer geometry, fail before output is written. V-bit metadata is supported; V-bit mesh verification explicitly returns “not supported yet” instead of skipping cuts or substituting another shape.

Validation on Linux with Rust 1.95:

• Focused tests cover shape validation and serialization, old IR, mixed cutters and repeated tool changes, indexed views, conflict diagnostics, V-bit rejection, and overrides.
• The dome example verifies without --tool; the chamfer example emits V-bit metadata.
• Complete scripts/check.sh passed: formatting, workspace Clippy, 1,103 passing tests (one existing ignored), wasm library checks, and licenses.

Fixes #146.

DarkBiscuits, co-authored with Codex. Implementation and tests use CAMpanion's own sources and synthetic inputs, following the clean-room contribution rules. No physical controller testing was performed.

[mountainarcwelding]

Thanks for these, really appreciate the quick turnaround and the tests. I've kicked off CI and will review once it's green. One small ask: could you change "Fixes #146" to "Refs #146"? I keep issues open until a fix has been run on a real machine, so I'd rather they not auto-close on merge.