From eae709b3c0751a9d7b759b3e5bced0ddcd812806 Mon Sep 17 00:00:00 2001
From: jyviko <2501648+jyviko@users.noreply.github.com>
Date: Fri, 16 Oct 2026 07:55:59 -0400
Subject: [PATCH] mesh: a body the user's partitions cut is not meshed by
 symmetry (#473)

With a user's partition on a symmetric body, applying the whole body's plan cut it again by its
symmetry plane and mirrored one cell, leaving the other half unmeshed ("the mirror images do not
reach cell Base/b/a"). Such a body is its cells: the symmetry is not used and the plan is refused
with the cells named, as the replay of the saved Pi 5 model shows.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01UhhZMBTviDQxZvwnyP89fo
---
 crates/engine/src/cmd/plan.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/crates/engine/src/cmd/plan.rs b/crates/engine/src/cmd/plan.rs
index 79932e3..a7c1e5d 100644
--- a/crates/engine/src/cmd/plan.rs
+++ b/crates/engine/src/cmd/plan.rs
@@ -1222,6 +1222,10 @@ fn apply_symmetric(s: &mut Session, name: &str, plan: &MeshPlan) -> Result<Optio
     }
     let design = s.design.as_deref().ok_or_else(|| EngineError::Params("open a design first".into()))?;
     let (Some(shape), Some(d)) = (design.source_body(&plan.body), plan.direction) else { return Ok(None) };
+    // A body other partitions have cut already is its cells (the whole body's plan is refused).
+    if plan_cut_names(s, name).is_empty() && design.body(&plan.body).is_none() {
+        return Ok(None);
+    }
     let planes = symmetry_planes(shape, d, &plan.rings)?;
     if planes.is_empty() {
         return Ok(None);
@@ -1724,6 +1728,9 @@ mod tests {
         assert_eq!(cell["rings"].as_array().map(Vec::len), Some(1), "{cell}");
         let whole = s.execute("mesh.plan", &json!({"body": "Plate"})).unwrap();
         assert_eq!(whole["body"], "Plate", "{whole}");
+        // The plate is symmetric too, but the user's partition has cut it: refused, not mirrored.
+        let e = s.execute("mesh.plan.apply", &json!({"plan": whole["name"]})).unwrap_err().to_string();
+        assert!(e.contains("cut into the cells"), "{e}");
         s.execute("mesh.plan.apply", &json!({"plan": cell["name"]})).unwrap();
     }