Skip to main content

brep_kernel/feature_pipeline/features/
import3d.rs

1//! IMPORT3D — Import 3D Model (STEP). Ported from the retired `Import3dModelFeature`.
2//!
3//! Three headless sources, tried in order:
4//! 0. **`inputParams.nativeBrep`** — a native [`crate::snapshot_solids`] payload
5//!    (`io/snapshot.rs`): the exact solids of an earlier import, already carrying
6//!    their final IMPORT3D names. Tried FIRST and EXCLUSIVE — a feature carrying
7//!    it must not also carry `stepText`/`igesText` (an error, not a precedence
8//!    puzzle). The solids register VERBATIM under their stored names: re-deriving
9//!    them would break every scene-metadata record and every constraint keyed to a
10//!    face name. This is the lane a STEP-assembly part document rides on, and the
11//!    reason the snapshot container is a DURABLE format, not a cache (§6 there,
12//!    and the `io/snapshot.rs` module doc).
13//! 1. **`inputParams.stepText`** — the raw ISO-10303-21 document, baked in by the
14//!    toolbar Import lane ([`crate`]'s host: `EngineState::import_step_feature`).
15//!    Runs the exact Rust STEP importer
16//!    ([`crate::import_step_with_appearance`] — the colour-carrying form).
17//! 2. **`persistentData.importCache`** (`kind == "step-brep"`) — SUPERSEDED by
18//!    `nativeBrep`. The JS-era persisted EXACT BREP records of a previous import
19//!    (`serializeBrepSolid` was the serde `BrepSolid` JSON, so records deserialize
20//!    directly) — verbose and unversioned. NOTHING in the Rust tree writes it; the
21//!    reader stays only so a JS-era saved model still opens. New payloads go in
22//!    `nativeBrep`.
23//!
24//! Name fidelity (contract rule 2, byte-matching `Import3dModelFeature`):
25//! - Body names (`importedSolidNames`): a single body keeps the feature name;
26//!   several get `{feature}_SOLID_{N}` with N 1-based, zero-padded to
27//!   `max(2, digits(count))`.
28//! - Faces (`importedBodyFaceNames` / the single-body fallback): a MULTI-body
29//!   import names EVERY face `{bodyName}_Face_{f}` positionally (shell/face
30//!   order) so faces stay unique across bodies; a SINGLE body prepends the
31//!   (unique) feature name — `{feature}_{stepName}`, or `{feature}_Face_{f}` where
32//!   the STEP file left the face unnamed — so two separate imports never share a
33//!   face name (the cross-solid name-uniqueness guard's collision class). Edge
34//!   names re-derive from the face names, so the derived edges are namespaced too.
35//!
36//! COLOUR rides the same names. What a STEP file's presentation entities assign
37//! (`io/step_import/styles.rs`) is stamped here as a `{"color": "#RRGGBB"}`
38//! scene-metadata record on the FINAL body/face names — see `io/appearance.rs`
39//! for the convention, [`stamp_appearance`] for the write, and
40//! [`native_import_payload_with_appearance`] for the lane that seals it into a
41//! part payload. The stamp is a NON-overwriting merge, so a colour edited in the
42//! caller's info panel survives a history replay.
43//!
44//! ONE convention, ONE implementation: [`stamp_imported_names`] holds it, and
45//! every lane that names imported bodies goes through it — the live import lanes
46//! (via [`add_named_bodies`]) and the payload encoder [`native_import_payload`].
47//! Names are stamped ONCE, at import, and then frozen in the payload; a later
48//! change here does NOT retro-rename already-imported parts, which is the point
49//! (a constraint keyed to a face name survives reload).
50//!
51//! The failed-import base64 retry lane (`persistentData.failedImportFile`) is
52//! not yet migrated — it errors loudly rather than silently skipping.
53
54use crate::feature_pipeline::features::common;
55use crate::feature_pipeline::{
56    scene_metadata, AddedSolid, FeatureContext, FeatureRefusal, FeatureResult,
57};
58use crate::{
59    import_iges, import_step_bodies, restore_solids, BodyAppearance, BrepSolid, ImportedColor,
60    StepBodyError, COLOR_METADATA_KEY,
61};
62
63pub fn execute(ctx: &FeatureContext) -> FeatureResult {
64    match build(ctx) {
65        Ok(result) => result,
66        Err(refusal) => ctx.fail(refusal),
67    }
68}
69
70/// `FeatureRefusal`, not `String`: the STEP lane's shell-closure gate refuses a
71/// body TYPED (`RefusalClass::UnsoundResult { defect: VectorArea }`,
72/// `io/step_import/builder/closure.rs`), and the class has to reach
73/// `FeatureResult::refusal` for the app to show it as more than text. Every
74/// other failure here is still text, and `?` accepts both.
75fn build(ctx: &FeatureContext) -> Result<FeatureResult, FeatureRefusal> {
76    let feature_name = if ctx.id.is_empty() {
77        "IMPORT3D".to_string()
78    } else {
79        ctx.id.clone()
80    };
81
82    // 0. Native payload — the exact solids of an earlier import, names frozen in.
83    //    EXCLUSIVE by design (see the module doc): a document carrying both this
84    //    and a text source is malformed, and answering it with a precedence rule
85    //    would silently drop one of the two. Keyed on PRESENCE, not on a
86    //    successful `as_str`, so a non-string `nativeBrep` errors here instead of
87    //    falling through to a different source.
88    if let Some(native) = ctx.param("nativeBrep").filter(|value| !value.is_null()) {
89        if ctx.param("stepText").is_some() || ctx.param("igesText").is_some() {
90            return Err(
91                "import3d: `nativeBrep` is exclusive — a feature carrying it must not also carry `stepText`/`igesText`"
92                    .into(),
93            );
94        }
95        let payload = native
96            .as_str()
97            .ok_or("import3d: param `nativeBrep` must be a base64 snapshot string")?;
98        return Ok(restore_native_bodies(ctx, payload)?);
99    }
100
101    // 1. Fresh STEP text (baked into `stepText` by the toolbar Import lane).
102    if let Some(step_text) = ctx.param("stepText").and_then(|v| v.as_str()) {
103        if step_text.contains("ISO-10303-21") {
104            let imported = import_step_bodies(step_text).map_err(|error| match error {
105                StepBodyError::Text(text) => {
106                    FeatureRefusal::Text(format!("import3d: STEP import failed: {text}"))
107                }
108                StepBodyError::Refused(refusal) => FeatureRefusal::Typed(
109                    refusal.with_message(|message| format!("import3d: STEP import refused: {message}")),
110                ),
111            })?;
112            if imported.solids.is_empty() {
113                return Err("import3d: STEP file contained no importable solids".into());
114            }
115            let mut result = add_named_bodies(ctx, imported.solids, &imported.appearances, &feature_name);
116            // The closure gate's approximations ride on the feature TYPED,
117            // re-keyed from the file index to the scene name the body was
118            // just given, so the app and the case runner can name the body.
119            for (index, mut approximation) in imported.approximations {
120                if let Some(added) = result.added.get(index) {
121                    approximation.body = added.name.clone();
122                    approximation.message =
123                        format!("{}: {}", added.name, approximation.message);
124                }
125                result.approximations.push(approximation);
126            }
127            return Ok(result);
128        }
129        return Err(
130            "import3d: only STEP (ISO-10303-21) files are supported (STL/3MF mesh import was removed)"
131                .into(),
132        );
133    }
134
135    // 1b. Fresh IGES text (baked into `igesText` by the toolbar Import lane).
136    if let Some(iges_text) = ctx.param("igesText").and_then(|v| v.as_str()) {
137        let solids = import_iges(iges_text)
138            .map_err(|error| format!("import3d: IGES import failed: {error}"))?;
139        if solids.is_empty() {
140            return Err("import3d: IGES file contained no importable solids".into());
141        }
142        return Ok(add_named_bodies(ctx, solids, &[], &feature_name));
143    }
144
145    // 2. Persisted exact-BREP records from a previous import.
146    let cache = ctx.persistent.get("importCache");
147    if let Some(cache) = cache {
148        let kind = cache.get("kind").and_then(|v| v.as_str()).unwrap_or("");
149        if kind == "step-brep" {
150            let records = cache
151                .get("kernelSolidRecords")
152                .and_then(|v| v.as_array())
153                .ok_or("import3d: importCache has no kernelSolidRecords")?;
154            let mut solids = Vec::with_capacity(records.len());
155            for (index, record) in records.iter().enumerate() {
156                let solid: BrepSolid = serde_json::from_value(record.clone()).map_err(|error| {
157                    format!("import3d: kernel record {index} failed to deserialize: {error}")
158                })?;
159                solids.push(solid);
160            }
161            if solids.is_empty() {
162                return Err("import3d: importCache is empty".into());
163            }
164            return Ok(add_named_bodies(ctx, solids, &[], &feature_name));
165        }
166        return Err(format!(
167            "import3d: unsupported importCache kind '{kind}' (only 'step-brep')"
168        )
169        .into());
170    }
171
172    // A failed-import retry payload without a cache is a not-yet-migrated lane.
173    if ctx.persistent.get("failedImportFile").is_some() {
174        return Err(
175            "import3d: the failed-import base64 retry lane is not yet migrated to the Rust pipeline"
176                .into(),
177        );
178    }
179
180    Err(
181        "import3d: no model data (no `nativeBrep`/`stepText` param and no `importCache`)".into(),
182    )
183}
184
185/// Restore a native payload and register its solids VERBATIM — the `nativeBrep`
186/// lane. Nothing about the names is re-derived: they were stamped once, when the
187/// geometry was first imported, and every scene-metadata record and every
188/// constraint attached to a face is keyed to exactly those strings. (This is
189/// `component::create_component`'s phase 2 for the same reason — see its module
190/// doc: "do not `fix` this by routing members through `register_added`".)
191///
192/// The payload's captured metadata records are merged back into the scene store
193/// UN-namespaced, exactly as they were captured: an IMPORT3D feature is not a
194/// component boundary, so there is no instance prefix to apply. The ACOMP lane
195/// namespaces on insert if this document is later used as a part.
196fn restore_native_bodies(ctx: &FeatureContext, payload: &str) -> Result<FeatureResult, String> {
197    let restored = restore_solids(payload)
198        .map_err(|error| format!("import3d: native payload did not decode: {error}"))?;
199    if restored.solids.is_empty() {
200        return Err("import3d: native payload contained no solids".into());
201    }
202    let mut result = FeatureResult::empty(ctx.id.clone(), ctx.feature_type.clone());
203    for solid in restored.solids {
204        result.added.push(register_verbatim(solid.solid, &solid.name));
205    }
206    // Overwriting: the payload's records ARE the part's metadata. The pipeline's
207    // own `sourceFeatureId` seed runs after this feature returns and is
208    // NON-overwriting, so a face keeps the producing-feature id it was imported
209    // with rather than picking up this feature's.
210    for (name, record) in restored.metadata {
211        scene_metadata::merge_record(&name, &record, true);
212    }
213    Ok(result)
214}
215
216/// [`common::register_added`] WITHOUT its two name-deriving passes: collect the
217/// names the solid already carries and make it scene-resident.
218///
219/// The container groups are EMPTY, and that is the right answer rather than a
220/// stub: a group is the un-keyed alias a PROFILE-SWEPT feature publishes for its
221/// per-loop face families (`{cap_base}_START` standing for every
222/// `{cap_base}:L{id}_START` — see [`common::register_added_grouped`]). Imported
223/// geometry has no sketch loops behind it, so there is no family to alias; its
224/// names arrived stamped from outside and are already the final, unique ones.
225fn register_verbatim(solid: BrepSolid, name: &str) -> AddedSolid {
226    let face_names = common::collect_face_names(&solid);
227    let edge_names = common::collect_edge_names(&solid);
228    let handle = crate::register_solid_value(solid);
229    AddedSolid {
230        handle,
231        name: name.to_string(),
232        face_names,
233        edge_names,
234        face_groups: Vec::new(),
235        edge_groups: Vec::new(),
236    }
237}
238
239/// Stamp the established naming convention onto the imported bodies, register
240/// them, and stamp whatever COLOUR the file carried onto those same names.
241///
242/// `appearances` is parallel to `solids` (see [`crate::BodyAppearance`]); pass
243/// `&[]` from a lane whose format has no colour, which stamps nothing.
244fn add_named_bodies(
245    ctx: &FeatureContext,
246    mut solids: Vec<BrepSolid>,
247    appearances: &[BodyAppearance],
248    feature_name: &str,
249) -> FeatureResult {
250    let body_names = stamp_imported_names(&mut solids, feature_name);
251    let mut result = FeatureResult::empty(ctx.id.clone(), ctx.feature_type.clone());
252    for (index, (solid, body_name)) in solids.into_iter().zip(body_names).enumerate() {
253        // Colour is stamped AFTER `register_added`, which is where the names
254        // become final (it dedupes face names before deriving the edge names).
255        let added = common::register_added(solid, &body_name);
256        if let Some(appearance) = appearances.get(index) {
257            stamp_appearance(&added.name, &added.face_names, appearance);
258        }
259        result.added.push(added);
260    }
261    result
262}
263
264/// Write an imported body's colours into the scene-metadata store, keyed by the
265/// FINAL names — the one place the `{"color": "#RRGGBB"}` convention of
266/// `io/appearance.rs` is written.
267///
268/// `face_names` is `(face_id, name)` in shell/face order
269/// ([`common::collect_face_names`]), the same order `appearance.faces` is
270/// indexed by. A length disagreement means the two walks have drifted, so
271/// nothing per-face is stamped rather than colouring the wrong faces — the body
272/// colour, which is not positional, still lands.
273///
274/// Merged NON-overwriting: a history replay re-runs this feature, and a colour
275/// the user has since edited in the info panel must survive it.
276fn stamp_appearance(body_name: &str, face_names: &[(u64, String)], appearance: &BodyAppearance) {
277    if let Some(color) = appearance.body {
278        stamp_color(body_name, color);
279    }
280    if appearance.faces.is_empty() || appearance.faces.len() != face_names.len() {
281        return;
282    }
283    for ((_, face_name), color) in face_names.iter().zip(&appearance.faces) {
284        if let Some(color) = color {
285            stamp_color(face_name, *color);
286        }
287    }
288}
289
290fn stamp_color(name: &str, color: ImportedColor) {
291    let mut record = serde_json::Map::new();
292    record.insert(
293        COLOR_METADATA_KEY.to_string(),
294        serde_json::Value::String(color.to_hex()),
295    );
296    scene_metadata::merge_record(name, &record, false);
297}
298
299/// The naming half of [`add_named_bodies`]: stamp body + face names onto `solids`
300/// IN PLACE and return the body name chosen for each, WITHOUT registering
301/// anything. Shared by the live import lanes and the payload encoder
302/// [`native_import_payload`], so an imported part is named identically however it
303/// arrived.
304fn stamp_imported_names(solids: &mut [BrepSolid], feature_name: &str) -> Vec<String> {
305    let body_names = imported_solid_names(solids.len(), feature_name);
306    let multi_body = solids.len() > 1;
307    let mut chosen = Vec::with_capacity(solids.len());
308    for (index, solid) in solids.iter_mut().enumerate() {
309        let body_name = body_names
310            .get(index)
311            .cloned()
312            .unwrap_or_else(|| feature_name.to_string());
313        let mut face_index = 0usize;
314        for shell in &mut solid.shells {
315            for face in &mut shell.faces {
316                if multi_body {
317                    // Multi-body: EVERY face namespaced under its body.
318                    face.name = Some(format!("{body_name}_Face_{face_index}"));
319                } else {
320                    // Single body: prepend the (unique) feature name so faces never
321                    // collide with ANOTHER import's faces — two single-body imports
322                    // both stamped bare `Face_N` before, which the cross-solid
323                    // name-uniqueness guard flags. Keep any STEP-authored name as the
324                    // stem, else the positional `Face_N` fallback. (`body_name` IS the
325                    // feature name here — see `imported_solid_names`.) Edge names are
326                    // re-derived from these face names downstream, so namespacing the
327                    // faces namespaces the derived edges too.
328                    let stem = face
329                        .name
330                        .as_deref()
331                        .map(str::trim)
332                        .filter(|name| !name.is_empty())
333                        .map(str::to_string)
334                        .unwrap_or_else(|| format!("Face_{face_index}"));
335                    face.name = Some(format!("{body_name}_{stem}"));
336                }
337                face_index += 1;
338            }
339        }
340        chosen.push(body_name);
341    }
342    chosen
343}
344
345/// `importedSolidNames` port: 1 body keeps the feature name; several get a
346/// stable, zero-padded `{feature}_SOLID_0N` suffix.
347pub(crate) fn imported_solid_names(count: usize, feature_name: &str) -> Vec<String> {
348    if count == 0 {
349        return Vec::new();
350    }
351    if count == 1 {
352        return vec![feature_name.to_string()];
353    }
354    let digits = count.to_string().len().max(2);
355    (1..=count)
356        .map(|index| format!("{feature_name}_SOLID_{index:0width$}", width = digits))
357        .collect()
358}
359
360/// Encode `solids` as a native IMPORT3D payload: stamp the names this feature
361/// would stamp under `feature_name`, then seal them into the `io/snapshot`
362/// container. The result is exactly what the `nativeBrep` source above reads
363/// back, so a part is named identically however it arrived — imported live from
364/// a text source, or restored from a payload built here.
365///
366/// GENERIC, not STEP-specific: any producer of finished `BrepSolid`s that wants
367/// them to become an IMPORT3D part document uses this (the STEP-assembly import
368/// lane is the first caller).
369///
370/// The two passes after the stamping are `register_added`'s name-FINALIZING half
371/// ([`common::ensure_unique_face_names`] + [`common::stamp_derived_edge_names`]),
372/// applied HERE rather than at restore time: the `nativeBrep` lane registers
373/// verbatim, so whatever the payload carries IS the final name set. Without them
374/// a payload's edge names would be the importer's raw ones while the `stepText`
375/// lane's are the derived `{faceA}|{faceB}[n]` — the same geometry under two
376/// different name sets, which is exactly what this helper exists to prevent.
377///
378/// The payload is byte-deterministic for identical input (`snapshot_solids`), so
379/// two encodings of the same part collapse to ONE parts-library entry.
380pub fn native_import_payload(feature_name: &str, solids: &[BrepSolid]) -> Result<String, String> {
381    native_import_payload_with_appearance(feature_name, solids, &[])
382}
383
384/// [`native_import_payload`] carrying the import's COLOURS into the payload.
385///
386/// `appearances` is parallel to `solids` (see [`crate::BodyAppearance`]); `&[]`
387/// is the colourless case and makes this identical to [`native_import_payload`].
388///
389/// The colours are stamped into the AMBIENT scene-metadata store just before
390/// `snapshot_solids`, which is exactly how they get INTO the payload — the
391/// snapshot captures each stamped name's own record alongside the geometry. So a
392/// caller that runs this inside a `crate::IsolatedSceneMetadata` bracket (the
393/// STEP-assembly part-document lane does, and must) gets the colours sealed into
394/// the part and discarded from the live document, which is the whole point of
395/// that bracket: the part carries its own metadata, the open document is not
396/// touched.
397pub fn native_import_payload_with_appearance(
398    feature_name: &str,
399    solids: &[BrepSolid],
400    appearances: &[BodyAppearance],
401) -> Result<String, String> {
402    if solids.is_empty() {
403        return Err("import3d: native payload needs at least one solid".into());
404    }
405    let mut bodies = solids.to_vec();
406    let body_names = stamp_imported_names(&mut bodies, feature_name);
407    for solid in &mut bodies {
408        common::ensure_unique_face_names(solid);
409        common::stamp_derived_edge_names(solid);
410    }
411    // Names are FINAL from here, so this is where colour can be keyed to them.
412    for (index, (solid, body_name)) in bodies.iter().zip(&body_names).enumerate() {
413        if let Some(appearance) = appearances.get(index) {
414            stamp_appearance(body_name, &common::collect_face_names(solid), appearance);
415        }
416    }
417    let named: Vec<(&str, &BrepSolid)> = body_names
418        .iter()
419        .map(String::as_str)
420        .zip(bodies.iter())
421        .collect();
422    crate::snapshot_solids(&named)
423}
424
425
426/// Context-bar applicability ([`crate::feature_pipeline::context_offer`]):
427/// never offered from a selection (no reference inputs).
428pub fn context_applicable(_probe: &crate::feature_pipeline::SelectionProbe) -> bool {
429    false
430}
431
432///
433/// Only `id` is exposed: an IMPORT3D feature is created by an import lane that
434/// bakes its payload in — the toolbar Import lane
435/// ([`EngineState::import_step_feature`] / `import_iges_feature`) writes the raw
436/// document text into `inputParams.stepText` / `igesText`, and the native lane
437/// ([`native_import_payload`], the STEP-assembly part document) writes
438/// `inputParams.nativeBrep`. None of the three is form-editable, so none is
439/// exposed. (The former `fileToImport` "file" param was a JS-era vestige: nothing
440/// produced or consumed it and no form builder rendered it.)
441pub fn schema() -> serde_json::Value {
442    serde_json::json!({
443    "type": "IMPORT3D",
444    "shortName": "IMPORT3D",
445    "longName": "Import 3D Model",
446    "ribbonPath": "Home/Modeling/Import 3D Model",
447    "commandSize": "Compact",
448    "displayBuilder": false,
449    "inputParamsSchema": {
450        "id": {
451            "type": "string",
452            "default_value": null,
453            "hint": "unique identifier for the import feature"
454        }
455    }
456})
457}
458