@faicad/faijs 0.13.1 → 0.14.1

package/dist/fcstd/convert.js

@@ -1,8 +1,13 @@
 /**
- * fcstd-port B0 — reusable FCStd → .fai.zip conversion (extracted from
- * scripts/fcstd-to-fai-zip.ts so the batch CLI and the dev script share one
- * pipeline). Returns a structured summary; the caller decides exit codes and
- * output formatting (C4: batch driver must never absorb failures).
+ * B0 — THE FCStd → .fai.zip conversion pipeline (batch CLI and tests share it;
+ * `src/fcstd/cli.ts` is its only CLI). Returns a structured summary; the caller
+ * decides exit codes and output formatting (C4: batch driver must never absorb
+ * failures).
+ *
+ * 2026-09-20: the M5.4-era dev script `scripts/fcstd-to-fai-zip.ts` was a second
+ * implementation of this same pipeline (no C4 audit, no exit-code contract) and
+ * has been deleted. Whether the conversion entry is published or not, this file
+ * is the single implementation.
  *
  * Dispositions (plan §2, C4): translated | python-baked | preserved-only.
  * Any other baked reason = translation gap → result.ok = false, no zip
@@ -17,23 +22,20 @@ import { classifySketch } from './sketch-verify.js';
 import { resolveExternalGeometry } from './external-geo.js';
 import { extractContours } from './contour.js';
 import { generateModel } from './codegen.js';
-import { placementOf } from './placement.js';
+import { effectivePlacement } from './attachment.js';
 import { buildFaiZip } from './build-fai-zip.js';
-import { isOk } from '../vendored/brepjs/core/result.js';
+import { isOk } from '../api/result.js';
 import { zipSync, unzipSync, strToU8 } from 'fflate';
+import { STRUCTURAL_TYPES, STRUCTURAL_TYPES_EXTENDED, isFemStructural, isNonModelingType, } from './structural-types.js';
+// Kept on this module's public surface: these sets are part of the
+// `./fcstd-convert` contract that the batch project and its tests consume. The
+// definitions live in `structural-types.ts` so codegen can share them without
+// a circular import.
+export { STRUCTURAL_TYPES, STRUCTURAL_TYPES_EXTENDED, isFemStructural };
 /** V2 tolerance: solver must reproduce stored geometry (single source). */
 export const SKETCH_T1 = 1e-6;
 /** Dispositions allowed in a conforming container (C4). */
 export const ALLOWED_DISPOSITIONS = new Set(['translated', 'python-baked', 'preserved-only']);
-/** Non-modeling structural/datum types: never translation gaps. They carry
- * no feature semantics (containers, datum planes/lines/origins, groups) —
- * their semantics are consumed by the translator (Body.Group ordering,
- * datum-plane UpToFace anchors), not emitted as cad calls. */
-const STRUCTURAL_TYPES = new Set([
-    'PartDesign::Body', 'App::Origin', 'App::Plane', 'App::Line',
-    'App::DocumentObjectGroup', 'App::Part', 'PartDesign::Plane', 'PartDesign::Line',
-    'PartDesign::CoordinateSystem',
-]);
 /**
  * C4 final check: reclassify `baked` entries. A baked disposition is only
  * legitimate for Python-opaque objects (python-baked), structural/datum
@@ -48,9 +50,11 @@ function auditMapping(mapping) {
             if (o.reason === 'python-opaque') {
                 o.disposition = 'python-baked';
             }
-            else if (STRUCTURAL_TYPES.has(o.type)) {
+            else if (STRUCTURAL_TYPES.has(o.type) || isFemStructural(o.type) || STRUCTURAL_TYPES_EXTENDED.has(o.type)) {
                 o.disposition = 'preserved-only';
-                o.reason = o.reason ?? 'structural';
+                o.reason = o.reason
+                    ?? (isFemStructural(o.type) ? 'fem-simulation'
+                        : STRUCTURAL_TYPES_EXTENDED.has(o.type) ? 'container-link' : 'structural');
             }
             else {
                 gaps.push({ name: o.name, type: o.type, reason: o.reason ?? 'unspecified' });
@@ -59,7 +63,14 @@ function auditMapping(mapping) {
     }
     return gaps;
 }
-export async function convertFcstdFile(input) {
+/**
+ * Convert one FCStd file through the full pipeline (unpack → parse → sketch
+ * solving → codegen → container build) and return a structured summary.
+ * @param input path to the .FCStd file to convert
+ * @param opts optional knobs (see {@link ConvertOptions}); defaults keep the C4 contract
+ * @returns a summary with ok=false (and no zip, unless `keepGappedContainer`) on any pipeline failure or translation gap
+ */
+export async function convertFcstdFile(input, opts) {
     const t0 = Date.now();
     const baseName = input.replace(/^.*[/\\]/, '').replace(/\.fcstd$/i, '');
     const fail = (error) => ({
@@ -134,13 +145,48 @@ export async function convertFcstdFile(input) {
         }
     }
     // M4/M5: translate + codegen
+    // H3: attachment-resolved placements — an attached sketch's stored Placement
+    // is recomputed by FreeCAD from Support ∘ AttachmentOffset; resolve the chain
+    // so non-XY-plane sketches land on their support frame (fall back to the
+    // stored value when the attachment is deactivated or unresolvable).
     const placements = new Map();
     for (const obj of doc.value.objects) {
-        placements.set(obj.name, placementOf(obj));
+        placements.set(obj.name, effectivePlacement(obj, placements));
+    }
+    // H7: objects whose Shape is stored as a ZIP .brp member (pure-Shape
+    // carriers, e.g. Part::Feature) — collected from the archive members so the
+    // translator can record `shape-asset` instead of a translation gap.
+    // H7 follow-up: SubShape carriers (feature result caches in Body-less
+    // PartDesign files) join the same set — the translator only honors SubShape
+    // evidence for features whose SubShape .brp member exists.
+    // GOTCHA (PadTest, 2026-09-21): non-modeling types are EXCLUDED. A
+    // `PartDesign::Plane` also has a Shape .brp — the plane face — so the
+    // generic rule imported it as a solid and the Body chain unioned the datum
+    // plane into the part (a bare face cannot take part in the boolean). A
+    // datum's shape is support geometry for attachment/up-to resolution.
+    const shapeCarriers = new Set();
+    // E4: objects whose Shape/SubShape `file` attribute points at a missing or
+    // ZERO-BYTE member (FC_site_simple-102: `Site.Shape.brp` exists but is 0
+    // bytes). They must surface as an explicit convert-time gap — without this
+    // the object falls through to python-opaque and the broken-asset fact is
+    // silently swallowed into `python-baked` (the product then reports no
+    // geometry instead of naming the defect).
+    const brokenShapeAssets = new Set();
+    for (const obj of doc.value.objects) {
+        if (isNonModelingType(obj.type))
+            continue;
+        const shapeFile = obj.properties.get('Shape')?.children[0]?.attributes['file'];
+        const subShapeFile = obj.properties.get('SubShape')?.children[0]?.attributes['file'];
+        const shapeOk = shapeFile !== undefined && !!memberText(unpacked.value, shapeFile);
+        const subShapeOk = subShapeFile !== undefined && !!memberText(unpacked.value, subShapeFile);
+        if (shapeOk || subShapeOk)
+            shapeCarriers.add(obj.name);
+        else if (shapeFile !== undefined || subShapeFile !== undefined)
+            brokenShapeAssets.add(obj.name);
     }
     let gen;
     try {
-        gen = generateModel(doc.value, sketchVerdict, sketchContours, baseName, placements);
+        gen = generateModel(doc.value, sketchVerdict, sketchContours, baseName, placements, shapeCarriers, brokenShapeAssets);
     }
     catch (e) {
         return fail(`codegen failed: ${e.message}`);
@@ -214,8 +260,13 @@ export async function convertFcstdFile(input) {
     for (const v of sketchVerdict.values())
         sketches[v.level.toLowerCase()]++;
     if (gaps.length > 0) {
-        // C4: translation gaps → no container produced (exit contract: 2)
-        return { file: input, ok: false, gaps, counts, sketches, elapsedMs: Date.now() - t0 };
+        // C4: translation gaps → no container produced (exit contract: 2).
+        // `keepGappedContainer` is a diagnostics-only escape hatch (see ConvertOptions).
+        if (!opts?.keepGappedContainer) {
+            return { file: input, ok: false, gaps, counts, sketches, elapsedMs: Date.now() - t0 };
+        }
+        const gappedZip = zipSync(members, { level: 6 });
+        return { file: input, ok: false, gaps, counts, sketches, zip: gappedZip, elapsedMs: Date.now() - t0 };
     }
     const zip = zipSync(members, { level: 6 });
     return { file: input, ok: true, gaps, counts, sketches, zip, elapsedMs: Date.now() - t0 };

package/dist/fcstd/convert.js.map

@@ -1 +1 @@
-{"version":3,"file":"convert.js","sourceRoot":"","sources":["../../src/fcstd/convert.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAkB,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,IAAI,EAAE,MAAM,mCAAmC,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAErD,2EAA2E;AAC3E,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAC;AAE9B,2DAA2D;AAC3D,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAiB9F;;;8DAG8D;AAC9D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,kBAAkB,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW;IAC5D,0BAA0B,EAAE,WAAW,EAAE,mBAAmB,EAAE,kBAAkB;IAChF,8BAA8B;CAC/B,CAAC,CAAC;AAEH;;;;;GAKG;AACH,SAAS,YAAY,CACnB,OAA4F;IAE5F,MAAM,IAAI,GAA2B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,WAAW,KAAK,OAAO,EAAE,CAAC;YAC9B,+DAA+D;YAC/D,IAAI,CAAC,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;gBACjC,CAAC,CAAC,WAAW,GAAG,cAAc,CAAC;YACjC,CAAC;iBAAM,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,CAAC,CAAC,WAAW,GAAG,gBAAgB,CAAC;gBACjC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,YAAY,CAAC;YACtC,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAAa;IAClD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,CAAC,KAAa,EAAkB,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAChC,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;QACrE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;KAC/E,CAAC,CAAC;IAEH,IAAI,GAAe,CAAC;IACpB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,IAAI,CAAC,gBAAiB,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrF,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IACvD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,sBAAsB,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,iBAAiB,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAElE,2DAA2D;IAC3D,MAAM,MAAM,GAAG,MAAM,oBAAoB,EAAE,CAAC;IAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,EAA8E,CAAC;IAC5G,MAAM,cAAc,GAAG,IAAI,GAAG,EAAqB,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,KAAK,wBAAwB;YAAE,SAAS;QACpD,MAAM,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC;QACvG,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACnC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;oBAClC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACX,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QACH,MAAM,UAAU,GACd,QAAQ,CAAC,CAAC,CAAC,2BAA2B;YACtC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAE,CAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB;gBAC/F,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,UAAU,EAAE,CAAC;YACf,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YACjE,SAAS;QACX,CAAC;QACD,IAAI,QAAuE,CAAC;QAC5E,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,MAAM,uBAAuB,CACvC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CACnG,CAAC;YACF,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;YAChE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;oBAC1B,KAAK,EAAE,IAAI;oBACX,MAAM,EAAE,iCAAiC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,UAAU,EAAE;iBACjF,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC7E,CAAC;QACD,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YACjE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACb,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;gBACrE,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC7D,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9E,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACxE,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;gBAAE,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACrE,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAkB,CAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7G,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACpC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,GAAG,CAAC;IACR,IAAI,CAAC;QACH,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,IAAI,CAAC,mBAAoB,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,kEAAkE;IAClE,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC,2BAA2B,KAAK,CAAC,KAAK,IAAI,SAAS,EAAE,CAAC,CAAC;IACrG,MAAM,OAAO,GAA+B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACjF,OAAO,CAAC,mBAAmB,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE7D,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC;QAClC,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;QACtC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACb,KAAK,CAAC,MAAM,GAAG;gBACb,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO;gBAC/F,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;gBACvB,GAAG,EAAE,CAAC,CAAC,MAAM;aACd,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,KAAK,YAAY,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACrF,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,KAAK,wBAAwB;YAAE,SAAS;QACpD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;YAAE,SAAS;QACjD,MAAM,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC;QACvG,MAAM,KAAK,GAAG;YACZ,MAAM,EAAE,GAAG,CAAC,IAAI;YAChB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,EAAE,CAAC,KAAK;YACf,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;SACjI,CAAC;QACF,MAAM,IAAI,GAAG,UAAU,GAAG,CAAC,IAAI,eAAe,CAAC;QAC/C,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;IAED,wEAAwE;IACxE,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACnC,OAAO,CAAC,cAAc,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAEpE,MAAM,MAAM,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAqB,CAAC,CAAC,gDAAgD;QACnF,IAAI,CAAC,KAAK,YAAY;YAAE,MAAM,CAAC,UAAU,EAAE,CAAC;aACvC,IAAI,CAAC,KAAK,cAAc;YAAE,MAAM,CAAC,WAAW,EAAE,CAAC;aAC/C,IAAI,CAAC,KAAK,gBAAgB;YAAE,MAAM,CAAC,aAAa,EAAE,CAAC;;YACnD,MAAM,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,QAAQ,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;IACpE,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAwB,CAAC,EAAE,CAAC;IAEhG,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,kEAAkE;QAClE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;IACxF,CAAC;IAED,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;AAC5F,CAAC","sourcesContent":["/**\n * fcstd-port B0 — reusable FCStd → .fai.zip conversion (extracted from\n * scripts/fcstd-to-fai-zip.ts so the batch CLI and the dev script share one\n * pipeline). Returns a structured summary; the caller decides exit codes and\n * output formatting (C4: batch driver must never absorb failures).\n *\n * Dispositions (plan §2, C4): translated | python-baked | preserved-only.\n * Any other baked reason = translation gap → result.ok = false, no zip\n * written (final check `auditMapping`).\n */\nimport { readFileSync } from 'node:fs';\nimport { unpackFcstd, memberText } from './unpack.js';\nimport { parseDocumentXml } from './document.js';\nimport { parseSketchObject } from './sketch-parse.js';\nimport { createPlanegcsSolver } from './planegcs-backend.js';\nimport { classifySketch } from './sketch-verify.js';\nimport { resolveExternalGeometry } from './external-geo.js';\nimport { extractContours } from './contour.js';\nimport type { Contour } from './contour.js';\nimport { generateModel } from './codegen.js';\nimport { placementOf, type Placement } from './placement.js';\nimport { buildFaiZip } from './build-fai-zip.js';\nimport { isOk } from '../vendored/brepjs/core/result.js';\nimport { zipSync, unzipSync, strToU8 } from 'fflate';\n\n/** V2 tolerance: solver must reproduce stored geometry (single source). */\nexport const SKETCH_T1 = 1e-6;\n\n/** Dispositions allowed in a conforming container (C4). */\nexport const ALLOWED_DISPOSITIONS = new Set(['translated', 'python-baked', 'preserved-only']);\n\nexport interface ConvertSummary {\n  file: string;\n  /** conversion succeeded AND mapping final check passed */\n  ok: boolean;\n  /** translation gaps (non-Python baked) — empty when ok */\n  gaps: { name: string; type: string; reason: string }[];\n  counts: { translated: number; pythonBaked: number; preservedOnly: number; baked: number };\n  sketches: { total: number; l0: number; l1: number; l2: number };\n  /** container bytes (undefined when ok=false: no zip produced) */\n  zip?: Uint8Array;\n  /** human-readable failure when the pipeline itself failed */\n  error?: string;\n  elapsedMs: number;\n}\n\n/** Non-modeling structural/datum types: never translation gaps. They carry\n * no feature semantics (containers, datum planes/lines/origins, groups) —\n * their semantics are consumed by the translator (Body.Group ordering,\n * datum-plane UpToFace anchors), not emitted as cad calls. */\nconst STRUCTURAL_TYPES = new Set([\n  'PartDesign::Body', 'App::Origin', 'App::Plane', 'App::Line',\n  'App::DocumentObjectGroup', 'App::Part', 'PartDesign::Plane', 'PartDesign::Line',\n  'PartDesign::CoordinateSystem',\n]);\n\n/**\n * C4 final check: reclassify `baked` entries. A baked disposition is only\n * legitimate for Python-opaque objects (python-baked), structural/datum\n * containers (preserved-only), or preserved display members. Everything\n * else is a translation gap.\n */\nfunction auditMapping(\n  mapping: { objects: { name: string; type: string; disposition: string; reason?: string }[] },\n): ConvertSummary['gaps'] {\n  const gaps: ConvertSummary['gaps'] = [];\n  for (const o of mapping.objects) {\n    if (o.disposition === 'baked') {\n      // python-opaque stays legitimate but is renamed for the ledger\n      if (o.reason === 'python-opaque') {\n        o.disposition = 'python-baked';\n      } else if (STRUCTURAL_TYPES.has(o.type)) {\n        o.disposition = 'preserved-only';\n        o.reason = o.reason ?? 'structural';\n      } else {\n        gaps.push({ name: o.name, type: o.type, reason: o.reason ?? 'unspecified' });\n      }\n    }\n  }\n  return gaps;\n}\n\nexport async function convertFcstdFile(input: string): Promise<ConvertSummary> {\n  const t0 = Date.now();\n  const baseName = input.replace(/^.*[/\\\\]/, '').replace(/\\.fcstd$/i, '');\n  const fail = (error: string): ConvertSummary => ({\n    file: input, ok: false, gaps: [],\n    counts: { translated: 0, pythonBaked: 0, preservedOnly: 0, baked: 0 },\n    sketches: { total: 0, l0: 0, l1: 0, l2: 0 }, error, elapsedMs: Date.now() - t0,\n  });\n\n  let raw: Uint8Array;\n  try {\n    raw = new Uint8Array(readFileSync(input));\n  } catch (e) {\n    return fail(`read failed: ${(e as Error).message}`);\n  }\n  const unpacked = unpackFcstd(raw);\n  if (!isOk(unpacked)) return fail(`unpack failed: ${JSON.stringify(unpacked.error)}`);\n  const xml = memberText(unpacked.value, 'Document.xml');\n  if (xml === undefined) return fail('Document.xml missing');\n  const doc = parseDocumentXml(xml);\n  if (!isOk(doc)) return fail(`parse failed: ${doc.error.message}`);\n\n  // M3: solve every sketch (same pipeline as the dev script)\n  const solver = await createPlanegcsSolver();\n  const sketchVerdict = new Map<string, { level: 'L0' | 'L1' | 'L2'; reason?: string; loopCount?: number }>();\n  const sketchContours = new Map<string, Contour[]>();\n  for (const obj of doc.value.objects) {\n    if (obj.type !== 'Sketcher::SketchObject') continue;\n    const sk = parseSketchObject(obj.properties.get('Geometry'), obj.properties.get('Constraints'), false);\n    const offPlane = sk.geoms.some((g) => {\n      const zs = g.kind === 'point' ? [g.z]\n        : g.kind === 'line' ? [g.z1, g.z2]\n        : [g.cz];\n      return zs.some((z) => Math.abs(z) > 1e-9);\n    });\n    const preBlocked =\n      offPlane ? 'sketch-geometry-off-plane'\n      : sk.geoms.some((g) => !Number.isFinite((g as { x?: number }).x ?? 0)) ? 'unsupported-geometry'\n      : undefined;\n    if (preBlocked) {\n      sketchVerdict.set(obj.name, { level: 'L2', reason: preBlocked });\n      continue;\n    }\n    let external: { geoId: number; polyline: [number, number][] }[] | undefined;\n    if (sk.externalGeoIds.length > 0) {\n      const ext = await resolveExternalGeometry(\n        obj.properties.get('ExternalGeometry'), doc.value, unpacked.value, obj.properties.get('Placement'),\n      );\n      const usable = ext.links.filter((l) => l.polyline.length === 2);\n      if (usable.length === 0) {\n        sketchVerdict.set(obj.name, {\n          level: 'L2',\n          reason: `external-geometry-unresolved: ${ext.failures[0]?.reason ?? 'no links'}`,\n        });\n        continue;\n      }\n      external = usable.map((l, i) => ({ geoId: -3 - i, polyline: l.polyline }));\n    }\n    try {\n      const r = await solver.solve(sk.geoms, sk.constraints, external);\n      if (!isOk(r)) {\n        sketchVerdict.set(obj.name, { level: 'L2', reason: 'solver-error' });\n        continue;\n      }\n      const verdict = classifySketch(r.value, sk.geoms, SKETCH_T1);\n      const contours = verdict.level === 'L0' ? extractContours(r.value.geoms) : [];\n      sketchVerdict.set(obj.name, { ...verdict, loopCount: contours.length });\n      if (verdict.level === 'L0') sketchContours.set(obj.name, contours);\n    } catch (e) {\n      sketchVerdict.set(obj.name, { level: 'L2', reason: `solver-throw: ${(e as Error).message.slice(0, 60)}` });\n    }\n  }\n\n  // M4/M5: translate + codegen\n  const placements = new Map<string, Placement>();\n  for (const obj of doc.value.objects) {\n    placements.set(obj.name, placementOf(obj));\n  }\n  let gen;\n  try {\n    gen = generateModel(doc.value, sketchVerdict, sketchContours, baseName, placements);\n  } catch (e) {\n    return fail(`codegen failed: ${(e as Error).message}`);\n  }\n\n  // M2: container with shadow, then inject model/ + updated mapping\n  const built = buildFaiZip(unpacked.value, baseName + '.FCStd');\n  if (built.error || !built.result) return fail(`container build failed: ${built.error ?? 'unknown'}`);\n  const members: Record<string, Uint8Array> = {};\n  for (const [k, v] of Object.entries(unzipSync(built.result.zip))) members[k] = v;\n  members['model/main.fai.js'] = strToU8(gen.code);\n  for (const f of gen.files) members[f.path] = strToU8(f.code);\n\n  const mapping = built.result.mapping;\n  for (const o of gen.objects) {\n    const entry = mapping.objects.find((e) => e.name === o.name);\n    if (!entry) continue;\n    entry.disposition = o.disposition;\n    if (o.reason) entry.reason = o.reason;\n    if (o.sketch) {\n      entry.sketch = {\n        level: o.sketch.level === 'L0' ? 'solved' : o.sketch.level === 'L1' ? 'initial-value' : 'baked',\n        reason: o.sketch.reason,\n        gcs: o.sketch,\n      };\n    }\n    if (o.disposition === 'translated' && !entry.artifacts.includes('model/main.fai.js')) {\n      entry.artifacts.push('model/main.fai.js');\n    }\n  }\n\n  // M11.4 (G9): L1/L2 sketches persist raw geometry as a contour asset\n  for (const obj of doc.value.objects) {\n    if (obj.type !== 'Sketcher::SketchObject') continue;\n    const verdict = sketchVerdict.get(obj.name);\n    if (!verdict || verdict.level === 'L0') continue;\n    const sk = parseSketchObject(obj.properties.get('Geometry'), obj.properties.get('Constraints'), false);\n    const asset = {\n      sketch: obj.name,\n      level: verdict.level,\n      reason: verdict.reason,\n      geoms: sk.geoms,\n      constraints: sk.constraints.map((c) => ({ index: c.index, type: c.type, refs: c.refs, value: c.value, isDriving: c.isDriving })),\n    };\n    const path = `assets/${obj.name}.contour.json`;\n    members[path] = strToU8(JSON.stringify(asset, null, 2));\n    const entry = mapping.objects.find((e) => e.name === obj.name);\n    if (entry && !entry.artifacts.includes(path)) entry.artifacts.push(path);\n  }\n\n  // C4 final check: reclassify python-opaque; everything else baked = gap\n  const gaps = auditMapping(mapping);\n  members['mapping.json'] = strToU8(JSON.stringify(mapping, null, 2));\n\n  const counts = { translated: 0, pythonBaked: 0, preservedOnly: 0, baked: 0 };\n  for (const o of mapping.objects) {\n    const d = o.disposition as string; // auditMapping may rename baked -> python-baked\n    if (d === 'translated') counts.translated++;\n    else if (d === 'python-baked') counts.pythonBaked++;\n    else if (d === 'preserved-only') counts.preservedOnly++;\n    else counts.baked++;\n  }\n  const sketches = { total: sketchVerdict.size, l0: 0, l1: 0, l2: 0 };\n  for (const v of sketchVerdict.values()) sketches[v.level.toLowerCase() as 'l0' | 'l1' | 'l2']++;\n\n  if (gaps.length > 0) {\n    // C4: translation gaps → no container produced (exit contract: 2)\n    return { file: input, ok: false, gaps, counts, sketches, elapsedMs: Date.now() - t0 };\n  }\n\n  const zip = zipSync(members, { level: 6 });\n  return { file: input, ok: true, gaps, counts, sketches, zip, elapsedMs: Date.now() - t0 };\n}\n"]}
+{"version":3,"file":"convert.js","sourceRoot":"","sources":["../../src/fcstd/convert.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AACrD,OAAO,EACL,gBAAgB,EAChB,yBAAyB,EACzB,eAAe,EACf,iBAAiB,GAClB,MAAM,uBAAuB,CAAC;AAE/B,mEAAmE;AACnE,+EAA+E;AAC/E,8EAA8E;AAC9E,qBAAqB;AACrB,OAAO,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,eAAe,EAAE,CAAC;AAExE,2EAA2E;AAC3E,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAC;AAE9B,2DAA2D;AAC3D,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAsC9F;;;;;GAKG;AACH,SAAS,YAAY,CACnB,OAA4F;IAE5F,MAAM,IAAI,GAA2B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,WAAW,KAAK,OAAO,EAAE,CAAC;YAC9B,+DAA+D;YAC/D,IAAI,CAAC,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;gBACjC,CAAC,CAAC,WAAW,GAAG,cAAc,CAAC;YACjC,CAAC;iBAAM,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5G,CAAC,CAAC,WAAW,GAAG,gBAAgB,CAAC;gBACjC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM;uBACd,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB;wBAC5C,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;YACjF,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAAa,EAAE,IAAqB;IACzE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,CAAC,KAAa,EAAkB,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAChC,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;QACrE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;KAC/E,CAAC,CAAC;IAEH,IAAI,GAAe,CAAC;IACpB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,IAAI,CAAC,gBAAiB,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrF,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IACvD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,sBAAsB,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,iBAAiB,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAElE,2DAA2D;IAC3D,MAAM,MAAM,GAAG,MAAM,oBAAoB,EAAE,CAAC;IAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,EAA8E,CAAC;IAC5G,MAAM,cAAc,GAAG,IAAI,GAAG,EAAqB,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,KAAK,wBAAwB;YAAE,SAAS;QACpD,MAAM,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC;QACvG,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACnC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;oBAClC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACX,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QACH,MAAM,UAAU,GACd,QAAQ,CAAC,CAAC,CAAC,2BAA2B;YACtC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAE,CAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB;gBAC/F,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,UAAU,EAAE,CAAC;YACf,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YACjE,SAAS;QACX,CAAC;QACD,IAAI,QAAuE,CAAC;QAC5E,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,MAAM,uBAAuB,CACvC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CACnG,CAAC;YACF,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;YAChE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;oBAC1B,KAAK,EAAE,IAAI;oBACX,MAAM,EAAE,iCAAiC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,UAAU,EAAE;iBACjF,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC7E,CAAC;QACD,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YACjE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACb,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;gBACrE,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC7D,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9E,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACxE,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;gBAAE,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACrE,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAkB,CAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7G,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,6EAA6E;IAC7E,8EAA8E;IAC9E,yEAAyE;IACzE,oEAAoE;IACpE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACpC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,qEAAqE;IACrE,4EAA4E;IAC5E,oEAAoE;IACpE,sEAAsE;IACtE,4EAA4E;IAC5E,2DAA2D;IAC3D,mEAAmE;IACnE,sEAAsE;IACtE,2EAA2E;IAC3E,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,2EAA2E;IAC3E,yEAAyE;IACzE,2EAA2E;IAC3E,yEAAyE;IACzE,sEAAsE;IACtE,0CAA0C;IAC1C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1C,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QAC/E,MAAM,YAAY,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QACrF,MAAM,OAAO,GAAG,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACnF,MAAM,UAAU,GAAG,YAAY,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC5F,IAAI,OAAO,IAAI,UAAU;YAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aAClD,IAAI,SAAS,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS;YAAE,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClG,CAAC;IAED,IAAI,GAAG,CAAC;IACR,IAAI,CAAC;QACH,GAAG,GAAG,aAAa,CACjB,GAAG,CAAC,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAC7E,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,IAAI,CAAC,mBAAoB,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,kEAAkE;IAClE,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC,2BAA2B,KAAK,CAAC,KAAK,IAAI,SAAS,EAAE,CAAC,CAAC;IACrG,MAAM,OAAO,GAA+B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACjF,OAAO,CAAC,mBAAmB,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE7D,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC;QAClC,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;QACtC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACb,KAAK,CAAC,MAAM,GAAG;gBACb,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO;gBAC/F,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;gBACvB,GAAG,EAAE,CAAC,CAAC,MAAM;aACd,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,KAAK,YAAY,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACrF,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,KAAK,wBAAwB;YAAE,SAAS;QACpD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;YAAE,SAAS;QACjD,MAAM,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC;QACvG,MAAM,KAAK,GAAG;YACZ,MAAM,EAAE,GAAG,CAAC,IAAI;YAChB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,EAAE,CAAC,KAAK;YACf,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;SACjI,CAAC;QACF,MAAM,IAAI,GAAG,UAAU,GAAG,CAAC,IAAI,eAAe,CAAC;QAC/C,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;IAED,wEAAwE;IACxE,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACnC,OAAO,CAAC,cAAc,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAEpE,MAAM,MAAM,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAqB,CAAC,CAAC,gDAAgD;QACnF,IAAI,CAAC,KAAK,YAAY;YAAE,MAAM,CAAC,UAAU,EAAE,CAAC;aACvC,IAAI,CAAC,KAAK,cAAc;YAAE,MAAM,CAAC,WAAW,EAAE,CAAC;aAC/C,IAAI,CAAC,KAAK,gBAAgB;YAAE,MAAM,CAAC,aAAa,EAAE,CAAC;;YACnD,MAAM,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,QAAQ,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;IACpE,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAwB,CAAC,EAAE,CAAC;IAEhG,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,mEAAmE;QACnE,iFAAiF;QACjF,IAAI,CAAC,IAAI,EAAE,mBAAmB,EAAE,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;QACxF,CAAC;QACD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;IACxG,CAAC;IAED,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;AAC5F,CAAC","sourcesContent":["/**\n * B0 — THE FCStd → .fai.zip conversion pipeline (batch CLI and tests share it;\n * `src/fcstd/cli.ts` is its only CLI). Returns a structured summary; the caller\n * decides exit codes and output formatting (C4: batch driver must never absorb\n * failures).\n *\n * 2026-09-20: the M5.4-era dev script `scripts/fcstd-to-fai-zip.ts` was a second\n * implementation of this same pipeline (no C4 audit, no exit-code contract) and\n * has been deleted. Whether the conversion entry is published or not, this file\n * is the single implementation.\n *\n * Dispositions (plan §2, C4): translated | python-baked | preserved-only.\n * Any other baked reason = translation gap → result.ok = false, no zip\n * written (final check `auditMapping`).\n */\nimport { readFileSync } from 'node:fs';\nimport { unpackFcstd, memberText } from './unpack.js';\nimport { parseDocumentXml } from './document.js';\nimport { parseSketchObject } from './sketch-parse.js';\nimport { createPlanegcsSolver } from './planegcs-backend.js';\nimport { classifySketch } from './sketch-verify.js';\nimport { resolveExternalGeometry } from './external-geo.js';\nimport { extractContours } from './contour.js';\nimport type { Contour } from './contour.js';\nimport { generateModel } from './codegen.js';\nimport type { Placement } from './placement.js';\nimport { effectivePlacement } from './attachment.js';\nimport { buildFaiZip } from './build-fai-zip.js';\nimport { isOk } from '../api/result.js';\nimport { zipSync, unzipSync, strToU8 } from 'fflate';\nimport {\n  STRUCTURAL_TYPES,\n  STRUCTURAL_TYPES_EXTENDED,\n  isFemStructural,\n  isNonModelingType,\n} from './structural-types.js';\n\n// Kept on this module's public surface: these sets are part of the\n// `./fcstd-convert` contract that the batch project and its tests consume. The\n// definitions live in `structural-types.ts` so codegen can share them without\n// a circular import.\nexport { STRUCTURAL_TYPES, STRUCTURAL_TYPES_EXTENDED, isFemStructural };\n\n/** V2 tolerance: solver must reproduce stored geometry (single source). */\nexport const SKETCH_T1 = 1e-6;\n\n/** Dispositions allowed in a conforming container (C4). */\nexport const ALLOWED_DISPOSITIONS = new Set(['translated', 'python-baked', 'preserved-only']);\n\n/**\n * Optional knobs for `convertFcstdFile`.\n */\nexport interface ConvertOptions {\n  /**\n   * Return the container bytes even when the mapping audit reports gaps.\n   *\n   * Diagnostics only. C4 requires that a gapped document produces **no\n   * product**, and the CLI never sets this — `ok` stays false and the exit\n   * code stays 2 regardless. It exists because everything the pipeline built\n   * before the audit is otherwise unobservable for exactly the documents that\n   * need triage: gaps and non-L0 sketches usually co-occur (a sketch the\n   * solver cannot handle usually starves the features built on it), so\n   * \"which contour assets / mapping entries would this document have had\"\n   * cannot be answered from `gaps[]` alone.\n   */\n  keepGappedContainer?: boolean;\n}\n\n/** Structured result of one FCStd → .fai.zip conversion; the caller decides exit codes and formatting. */\nexport interface ConvertSummary {\n  /** input file path */\n  file: string;\n  /** conversion succeeded AND mapping final check passed */\n  ok: boolean;\n  /** translation gaps (non-Python baked) — empty when ok */\n  gaps: { name: string; type: string; reason: string }[];\n  counts: { translated: number; pythonBaked: number; preservedOnly: number; baked: number };\n  sketches: { total: number; l0: number; l1: number; l2: number };\n  /** container bytes (undefined when ok=false, unless `keepGappedContainer`) */\n  zip?: Uint8Array;\n  /** human-readable failure when the pipeline itself failed */\n  error?: string;\n  elapsedMs: number;\n}\n\n/**\n * C4 final check: reclassify `baked` entries. A baked disposition is only\n * legitimate for Python-opaque objects (python-baked), structural/datum\n * containers (preserved-only), or preserved display members. Everything\n * else is a translation gap.\n */\nfunction auditMapping(\n  mapping: { objects: { name: string; type: string; disposition: string; reason?: string }[] },\n): ConvertSummary['gaps'] {\n  const gaps: ConvertSummary['gaps'] = [];\n  for (const o of mapping.objects) {\n    if (o.disposition === 'baked') {\n      // python-opaque stays legitimate but is renamed for the ledger\n      if (o.reason === 'python-opaque') {\n        o.disposition = 'python-baked';\n      } else if (STRUCTURAL_TYPES.has(o.type) || isFemStructural(o.type) || STRUCTURAL_TYPES_EXTENDED.has(o.type)) {\n        o.disposition = 'preserved-only';\n        o.reason = o.reason\n          ?? (isFemStructural(o.type) ? 'fem-simulation'\n            : STRUCTURAL_TYPES_EXTENDED.has(o.type) ? 'container-link' : 'structural');\n      } else {\n        gaps.push({ name: o.name, type: o.type, reason: o.reason ?? 'unspecified' });\n      }\n    }\n  }\n  return gaps;\n}\n\n/**\n * Convert one FCStd file through the full pipeline (unpack → parse → sketch\n * solving → codegen → container build) and return a structured summary.\n * @param input path to the .FCStd file to convert\n * @param opts optional knobs (see {@link ConvertOptions}); defaults keep the C4 contract\n * @returns a summary with ok=false (and no zip, unless `keepGappedContainer`) on any pipeline failure or translation gap\n */\nexport async function convertFcstdFile(input: string, opts?: ConvertOptions): Promise<ConvertSummary> {\n  const t0 = Date.now();\n  const baseName = input.replace(/^.*[/\\\\]/, '').replace(/\\.fcstd$/i, '');\n  const fail = (error: string): ConvertSummary => ({\n    file: input, ok: false, gaps: [],\n    counts: { translated: 0, pythonBaked: 0, preservedOnly: 0, baked: 0 },\n    sketches: { total: 0, l0: 0, l1: 0, l2: 0 }, error, elapsedMs: Date.now() - t0,\n  });\n\n  let raw: Uint8Array;\n  try {\n    raw = new Uint8Array(readFileSync(input));\n  } catch (e) {\n    return fail(`read failed: ${(e as Error).message}`);\n  }\n  const unpacked = unpackFcstd(raw);\n  if (!isOk(unpacked)) return fail(`unpack failed: ${JSON.stringify(unpacked.error)}`);\n  const xml = memberText(unpacked.value, 'Document.xml');\n  if (xml === undefined) return fail('Document.xml missing');\n  const doc = parseDocumentXml(xml);\n  if (!isOk(doc)) return fail(`parse failed: ${doc.error.message}`);\n\n  // M3: solve every sketch (same pipeline as the dev script)\n  const solver = await createPlanegcsSolver();\n  const sketchVerdict = new Map<string, { level: 'L0' | 'L1' | 'L2'; reason?: string; loopCount?: number }>();\n  const sketchContours = new Map<string, Contour[]>();\n  for (const obj of doc.value.objects) {\n    if (obj.type !== 'Sketcher::SketchObject') continue;\n    const sk = parseSketchObject(obj.properties.get('Geometry'), obj.properties.get('Constraints'), false);\n    const offPlane = sk.geoms.some((g) => {\n      const zs = g.kind === 'point' ? [g.z]\n        : g.kind === 'line' ? [g.z1, g.z2]\n        : [g.cz];\n      return zs.some((z) => Math.abs(z) > 1e-9);\n    });\n    const preBlocked =\n      offPlane ? 'sketch-geometry-off-plane'\n      : sk.geoms.some((g) => !Number.isFinite((g as { x?: number }).x ?? 0)) ? 'unsupported-geometry'\n      : undefined;\n    if (preBlocked) {\n      sketchVerdict.set(obj.name, { level: 'L2', reason: preBlocked });\n      continue;\n    }\n    let external: { geoId: number; polyline: [number, number][] }[] | undefined;\n    if (sk.externalGeoIds.length > 0) {\n      const ext = await resolveExternalGeometry(\n        obj.properties.get('ExternalGeometry'), doc.value, unpacked.value, obj.properties.get('Placement'),\n      );\n      const usable = ext.links.filter((l) => l.polyline.length === 2);\n      if (usable.length === 0) {\n        sketchVerdict.set(obj.name, {\n          level: 'L2',\n          reason: `external-geometry-unresolved: ${ext.failures[0]?.reason ?? 'no links'}`,\n        });\n        continue;\n      }\n      external = usable.map((l, i) => ({ geoId: -3 - i, polyline: l.polyline }));\n    }\n    try {\n      const r = await solver.solve(sk.geoms, sk.constraints, external);\n      if (!isOk(r)) {\n        sketchVerdict.set(obj.name, { level: 'L2', reason: 'solver-error' });\n        continue;\n      }\n      const verdict = classifySketch(r.value, sk.geoms, SKETCH_T1);\n      const contours = verdict.level === 'L0' ? extractContours(r.value.geoms) : [];\n      sketchVerdict.set(obj.name, { ...verdict, loopCount: contours.length });\n      if (verdict.level === 'L0') sketchContours.set(obj.name, contours);\n    } catch (e) {\n      sketchVerdict.set(obj.name, { level: 'L2', reason: `solver-throw: ${(e as Error).message.slice(0, 60)}` });\n    }\n  }\n\n  // M4/M5: translate + codegen\n  // H3: attachment-resolved placements — an attached sketch's stored Placement\n  // is recomputed by FreeCAD from Support ∘ AttachmentOffset; resolve the chain\n  // so non-XY-plane sketches land on their support frame (fall back to the\n  // stored value when the attachment is deactivated or unresolvable).\n  const placements = new Map<string, Placement>();\n  for (const obj of doc.value.objects) {\n    placements.set(obj.name, effectivePlacement(obj, placements));\n  }\n  // H7: objects whose Shape is stored as a ZIP .brp member (pure-Shape\n  // carriers, e.g. Part::Feature) — collected from the archive members so the\n  // translator can record `shape-asset` instead of a translation gap.\n  // H7 follow-up: SubShape carriers (feature result caches in Body-less\n  // PartDesign files) join the same set — the translator only honors SubShape\n  // evidence for features whose SubShape .brp member exists.\n  // GOTCHA (PadTest, 2026-09-21): non-modeling types are EXCLUDED. A\n  // `PartDesign::Plane` also has a Shape .brp — the plane face — so the\n  // generic rule imported it as a solid and the Body chain unioned the datum\n  // plane into the part (a bare face cannot take part in the boolean). A\n  // datum's shape is support geometry for attachment/up-to resolution.\n  const shapeCarriers = new Set<string>();\n  // E4: objects whose Shape/SubShape `file` attribute points at a missing or\n  // ZERO-BYTE member (FC_site_simple-102: `Site.Shape.brp` exists but is 0\n  // bytes). They must surface as an explicit convert-time gap — without this\n  // the object falls through to python-opaque and the broken-asset fact is\n  // silently swallowed into `python-baked` (the product then reports no\n  // geometry instead of naming the defect).\n  const brokenShapeAssets = new Set<string>();\n  for (const obj of doc.value.objects) {\n    if (isNonModelingType(obj.type)) continue;\n    const shapeFile = obj.properties.get('Shape')?.children[0]?.attributes['file'];\n    const subShapeFile = obj.properties.get('SubShape')?.children[0]?.attributes['file'];\n    const shapeOk = shapeFile !== undefined && !!memberText(unpacked.value, shapeFile);\n    const subShapeOk = subShapeFile !== undefined && !!memberText(unpacked.value, subShapeFile);\n    if (shapeOk || subShapeOk) shapeCarriers.add(obj.name);\n    else if (shapeFile !== undefined || subShapeFile !== undefined) brokenShapeAssets.add(obj.name);\n  }\n\n  let gen;\n  try {\n    gen = generateModel(\n      doc.value, sketchVerdict, sketchContours, baseName, placements, shapeCarriers,\n      brokenShapeAssets,\n    );\n  } catch (e) {\n    return fail(`codegen failed: ${(e as Error).message}`);\n  }\n\n  // M2: container with shadow, then inject model/ + updated mapping\n  const built = buildFaiZip(unpacked.value, baseName + '.FCStd');\n  if (built.error || !built.result) return fail(`container build failed: ${built.error ?? 'unknown'}`);\n  const members: Record<string, Uint8Array> = {};\n  for (const [k, v] of Object.entries(unzipSync(built.result.zip))) members[k] = v;\n  members['model/main.fai.js'] = strToU8(gen.code);\n  for (const f of gen.files) members[f.path] = strToU8(f.code);\n\n  const mapping = built.result.mapping;\n  for (const o of gen.objects) {\n    const entry = mapping.objects.find((e) => e.name === o.name);\n    if (!entry) continue;\n    entry.disposition = o.disposition;\n    if (o.reason) entry.reason = o.reason;\n    if (o.sketch) {\n      entry.sketch = {\n        level: o.sketch.level === 'L0' ? 'solved' : o.sketch.level === 'L1' ? 'initial-value' : 'baked',\n        reason: o.sketch.reason,\n        gcs: o.sketch,\n      };\n    }\n    if (o.disposition === 'translated' && !entry.artifacts.includes('model/main.fai.js')) {\n      entry.artifacts.push('model/main.fai.js');\n    }\n  }\n\n  // M11.4 (G9): L1/L2 sketches persist raw geometry as a contour asset\n  for (const obj of doc.value.objects) {\n    if (obj.type !== 'Sketcher::SketchObject') continue;\n    const verdict = sketchVerdict.get(obj.name);\n    if (!verdict || verdict.level === 'L0') continue;\n    const sk = parseSketchObject(obj.properties.get('Geometry'), obj.properties.get('Constraints'), false);\n    const asset = {\n      sketch: obj.name,\n      level: verdict.level,\n      reason: verdict.reason,\n      geoms: sk.geoms,\n      constraints: sk.constraints.map((c) => ({ index: c.index, type: c.type, refs: c.refs, value: c.value, isDriving: c.isDriving })),\n    };\n    const path = `assets/${obj.name}.contour.json`;\n    members[path] = strToU8(JSON.stringify(asset, null, 2));\n    const entry = mapping.objects.find((e) => e.name === obj.name);\n    if (entry && !entry.artifacts.includes(path)) entry.artifacts.push(path);\n  }\n\n  // C4 final check: reclassify python-opaque; everything else baked = gap\n  const gaps = auditMapping(mapping);\n  members['mapping.json'] = strToU8(JSON.stringify(mapping, null, 2));\n\n  const counts = { translated: 0, pythonBaked: 0, preservedOnly: 0, baked: 0 };\n  for (const o of mapping.objects) {\n    const d = o.disposition as string; // auditMapping may rename baked -> python-baked\n    if (d === 'translated') counts.translated++;\n    else if (d === 'python-baked') counts.pythonBaked++;\n    else if (d === 'preserved-only') counts.preservedOnly++;\n    else counts.baked++;\n  }\n  const sketches = { total: sketchVerdict.size, l0: 0, l1: 0, l2: 0 };\n  for (const v of sketchVerdict.values()) sketches[v.level.toLowerCase() as 'l0' | 'l1' | 'l2']++;\n\n  if (gaps.length > 0) {\n    // C4: translation gaps → no container produced (exit contract: 2).\n    // `keepGappedContainer` is a diagnostics-only escape hatch (see ConvertOptions).\n    if (!opts?.keepGappedContainer) {\n      return { file: input, ok: false, gaps, counts, sketches, elapsedMs: Date.now() - t0 };\n    }\n    const gappedZip = zipSync(members, { level: 6 });\n    return { file: input, ok: false, gaps, counts, sketches, zip: gappedZip, elapsedMs: Date.now() - t0 };\n  }\n\n  const zip = zipSync(members, { level: 6 });\n  return { file: input, ok: true, gaps, counts, sketches, zip, elapsedMs: Date.now() - t0 };\n}\n"]}

package/dist/fcstd/document.d.ts

@@ -1,4 +1,5 @@
-import { type Result } from '../vendored/brepjs/core/result.js';
+import { type Result } from '../api/result.js';
+/** One parsed XML node from Document.xml: a property element (or nested value element) with its children. */
 export interface FcstdProperty {
     /** property name attribute ('' for non-property elements like <Geometry>) */
     name: string;
@@ -14,6 +15,7 @@ export interface FcstdProperty {
     children: FcstdProperty[];
     attributes: Record<string, string>;
 }
+/** One object from <ObjectData>: name, resolved type and its property map. */
 export interface FcstdObject {
     /** object name, e.g. "Sketch" or "Pad" */
     name: string;
@@ -21,6 +23,7 @@ export interface FcstdObject {
     type: string;
     properties: Map<string, FcstdProperty>;
 }
+/** Parsed Document.xml: objects, the <Objects> type index and document-level meta. */
 export interface FcstdDocument {
     objects: FcstdObject[];
     /** from <Objects>: name → type (index only, not authoritative) */
@@ -28,6 +31,7 @@ export interface FcstdDocument {
     /** document-level properties (Creator, LastModifiedDate, ...) */
     meta: Map<string, FcstdProperty>;
 }
+/** Parse failure detail; currently only XML-level errors (`kind: 'xml'`). */
 export type ParseError = {
     kind: 'xml';
     message: string;
@@ -36,6 +40,9 @@ export type ParseError = {
  * Parse Document.xml into the object graph. Only `<ObjectData>` entries are
  * returned as objects; `<Objects>` feeds `typeIndex`; document meta from
  * `<Document ...>` attributes' sibling properties.
+ *
+ * @param xml raw Document.xml content
+ * @returns the parsed object graph, or an xml ParseError
  */
 export declare function parseDocumentXml(xml: string): Result<FcstdDocument, ParseError>;
 //# sourceMappingURL=document.d.ts.map

package/dist/fcstd/document.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"document.d.ts","sourceRoot":"","sources":["../../src/fcstd/document.ts"],"names":[],"mappings":"AAQA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,mCAAmC,CAAC;AAEzE,MAAM,WAAW,aAAa;IAC5B,6EAA6E;IAC7E,IAAI,EAAE,MAAM,CAAC;IACb,4DAA4D;IAC5D,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,OAAO,EAAE,MAAM,CAAC;IAChB,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oDAAoD;IACpD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,2EAA2E;IAC3E,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,WAAW;IAC1B,0CAA0C;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CACxC;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,kEAAkE;IAClE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,iEAAiE;IACjE,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAClC;AAED,MAAM,MAAM,UAAU,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AA6C1D;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,CAuE/E"}
+{"version":3,"file":"document.d.ts","sourceRoot":"","sources":["../../src/fcstd/document.ts"],"names":[],"mappings":"AAQA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAExD,6GAA6G;AAC7G,MAAM,WAAW,aAAa;IAC5B,6EAA6E;IAC7E,IAAI,EAAE,MAAM,CAAC;IACb,4DAA4D;IAC5D,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,OAAO,EAAE,MAAM,CAAC;IAChB,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oDAAoD;IACpD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,2EAA2E;IAC3E,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC;AAED,8EAA8E;AAC9E,MAAM,WAAW,WAAW;IAC1B,0CAA0C;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CACxC;AAED,sFAAsF;AACtF,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,kEAAkE;IAClE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,iEAAiE;IACjE,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAClC;AAED,6EAA6E;AAC7E,MAAM,MAAM,UAAU,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AA6C1D;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,CAuE/E"}

package/dist/fcstd/document.js

@@ -6,7 +6,7 @@
  * `_Property` elements are skipped.
  */
 import { DOMParser, XMLSerializer } from '@xmldom/xmldom';
-import { err, ok } from '../vendored/brepjs/core/result.js';
+import { err, ok } from '../api/result.js';
 function attrs(el) {
     const out = {};
     for (let i = 0; i < el.attributes.length; i++) {
@@ -49,6 +49,9 @@ function parseProperty(propEl) {
  * Parse Document.xml into the object graph. Only `<ObjectData>` entries are
  * returned as objects; `<Objects>` feeds `typeIndex`; document meta from
  * `<Document ...>` attributes' sibling properties.
+ *
+ * @param xml raw Document.xml content
+ * @returns the parsed object graph, or an xml ParseError
  */
 export function parseDocumentXml(xml) {
     let doc;

package/dist/fcstd/document.js.map

@@ -1 +1 @@
-{"version":3,"file":"document.js","sourceRoot":"","sources":["../../src/fcstd/document.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,mCAAmC,CAAC;AAoCzE,SAAS,KAAK,CAAC,EAAW;IACxB,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAW;IACpC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;YAAE,OAAO,CAAY,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAAC,EAAW;IAI5B,OAAO,IAAI,aAAa,EAAE,CAAC,iBAAiB,CAAC,EAAwB,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,aAAa,CAAC,MAAe;IACpC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,CAAY,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1C,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE;QACvC,IAAI,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE;QACvC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC;QACzB,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QAClD,SAAS,EAAE,OAAO,EAAE,WAAW,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE;QAC3D,QAAQ;KACT,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAW;IAC1C,IAAI,GAAa,CAAC;IAClB,IAAI,CAAC;QACH,4EAA4E;QAC5E,GAAG,GAAG,IAAI,SAAS,EAAE,CAAC,eAAe,CAAC,GAAG,EAAE,iBAAiB,CAAwB,CAAC;IACvF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,8BAA8B,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnH,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,eAAe,CAAC;IACjC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QACzC,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,oBAAoB,IAAI,EAAE,OAAO,IAAI,MAAM,wBAAwB,EAAE,CAAC,CAAC;IAC5G,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE9C,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACnD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;YAAE,SAAS;QAC/B,MAAM,EAAE,GAAG,CAAY,CAAC;QACxB,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC;YACnB,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;oBACjD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;wBAAE,SAAS;oBAC/B,MAAM,EAAE,GAAG,CAAY,CAAC;oBACxB,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ;wBAAE,SAAS;oBACtC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;oBACrC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;oBACrC,IAAI,IAAI,IAAI,IAAI;wBAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC9C,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;oBACjD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;wBAAE,SAAS;oBAC/B,MAAM,EAAE,GAAG,CAAY,CAAC;oBACxB,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ;wBAAE,SAAS;oBACtC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;oBAC3C,iEAAiE;oBACjE,0DAA0D;oBAC1D,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;oBACpD,iEAAiE;oBACjE,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;wBACjD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;4BAAE,SAAS;wBAC/B,MAAM,EAAE,GAAG,CAAY,CAAC;wBACxB,IAAI,EAAE,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;4BAChC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;gCACjD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;oCAAE,SAAS;gCAC/B,MAAM,EAAE,GAAG,CAAY,CAAC;gCACxB,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW;oCAAE,SAAS,CAAC,YAAY;gCACtD,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;gCAC/B,IAAI,IAAI,CAAC,IAAI;oCAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;4BACjD,CAAC;wBACH,CAAC;6BAAM,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;4BACtC,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;4BAC/B,IAAI,IAAI,CAAC,IAAI;gCAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;wBACjD,CAAC;oBACH,CAAC;oBACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;gBAC3C,CAAC;gBACD,MAAM;YACR,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;gBACR,kEAAkE;gBAClE,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;gBAC/B,IAAI,IAAI,CAAC,IAAI;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAC1C,CAAC","sourcesContent":["/**\n * M1.2 — Document.xml → object graph.\n *\n * Contract per plan §5.5 / 前文 A §3.3: `<ObjectData>` is authoritative\n * (objects + properties); `<Objects>` is only a type index. Transient\n * `_Property` elements are skipped.\n */\nimport { DOMParser, XMLSerializer } from '@xmldom/xmldom';\nimport { err, ok, type Result } from '../vendored/brepjs/core/result.js';\n\nexport interface FcstdProperty {\n  /** property name attribute ('' for non-property elements like <Geometry>) */\n  name: string;\n  /** e.g. \"App::PropertyString\", \"Part::PropertyPartShape\" */\n  type: string;\n  /** serialized element tag, e.g. \"Geometry\", \"Constrain\", \"LineSegment\" */\n  tagName: string;\n  /** raw nested XML content (first element child), serialized */\n  valueXml?: string;\n  /** for simple value properties, the text content */\n  valueText?: string;\n  /** named sub-elements (e.g. <Python .../>, <ExpressionEngine> children) */\n  children: FcstdProperty[];\n  attributes: Record<string, string>;\n}\n\nexport interface FcstdObject {\n  /** object name, e.g. \"Sketch\" or \"Pad\" */\n  name: string;\n  /** e.g. \"Sketcher::SketchObject\", \"PartDesign::Pad\" */\n  type: string;\n  properties: Map<string, FcstdProperty>;\n}\n\nexport interface FcstdDocument {\n  objects: FcstdObject[];\n  /** from <Objects>: name → type (index only, not authoritative) */\n  typeIndex: Map<string, string>;\n  /** document-level properties (Creator, LastModifiedDate, ...) */\n  meta: Map<string, FcstdProperty>;\n}\n\nexport type ParseError = { kind: 'xml'; message: string };\n\nfunction attrs(el: Element): Record<string, string> {\n  const out: Record<string, string> = {};\n  for (let i = 0; i < el.attributes.length; i++) {\n    const a = el.attributes.item(i);\n    if (a) out[a.name] = a.value;\n  }\n  return out;\n}\n\nfunction firstElementChild(el: Element): Element | undefined {\n  for (let c = el.firstChild; c; c = c.nextSibling) {\n    if (c.nodeType === 1) return c as Element;\n  }\n  return undefined;\n}\n\nfunction serialize(el: Element): string {\n  // @xmldom/xmldom ships its own Node/Element types that conflict with lib: DOM;\n  // the parser/serializer boundary is the only place the two universes meet.\n  type SerNode = Parameters<XMLSerializer['serializeToString']>[0];\n  return new XMLSerializer().serializeToString(el as unknown as SerNode);\n}\n\nfunction parseProperty(propEl: Element): FcstdProperty {\n  const children: FcstdProperty[] = [];\n  for (let c = propEl.firstChild; c; c = c.nextSibling) {\n    if (c.nodeType === 1) {\n      const child = c as Element;\n      children.push(parseProperty(child));\n    }\n  }\n  const valueEl = firstElementChild(propEl);\n  return {\n    name: propEl.getAttribute('name') ?? '',\n    type: propEl.getAttribute('type') ?? '',\n    tagName: propEl.tagName,\n    attributes: attrs(propEl),\n    valueXml: valueEl ? serialize(valueEl) : undefined,\n    valueText: valueEl?.textContent ?? propEl.textContent ?? '',\n    children,\n  };\n}\n\n/**\n * Parse Document.xml into the object graph. Only `<ObjectData>` entries are\n * returned as objects; `<Objects>` feeds `typeIndex`; document meta from\n * `<Document ...>` attributes' sibling properties.\n */\nexport function parseDocumentXml(xml: string): Result<FcstdDocument, ParseError> {\n  let doc: Document;\n  try {\n    // xmldom's Document type conflicts with lib: DOM; cast across the boundary.\n    doc = new DOMParser().parseFromString(xml, 'application/xml') as unknown as Document;\n  } catch (e) {\n    return err({ kind: 'xml', message: `Document.xml parse failed: ${e instanceof Error ? e.message : String(e)}` });\n  }\n  const root = doc.documentElement;\n  if (!root || root.tagName !== 'Document') {\n    return err({ kind: 'xml', message: `root element is <${root?.tagName ?? 'none'}>, expected <Document>` });\n  }\n\n  const objects: FcstdObject[] = [];\n  const typeIndex = new Map<string, string>();\n  const meta = new Map<string, FcstdProperty>();\n\n  for (let n = root.firstChild; n; n = n.nextSibling) {\n    if (n.nodeType !== 1) continue;\n    const el = n as Element;\n    switch (el.tagName) {\n      case 'Objects': {\n        for (let c = el.firstChild; c; c = c.nextSibling) {\n          if (c.nodeType !== 1) continue;\n          const oe = c as Element;\n          if (oe.tagName !== 'Object') continue;\n          const name = oe.getAttribute('name');\n          const type = oe.getAttribute('type');\n          if (name && type) typeIndex.set(name, type);\n        }\n        break;\n      }\n      case 'ObjectData': {\n        for (let c = el.firstChild; c; c = c.nextSibling) {\n          if (c.nodeType !== 1) continue;\n          const oe = c as Element;\n          if (oe.tagName !== 'Object') continue;\n          const name = oe.getAttribute('name') ?? '';\n          // ObjectData <Object> carries only `name`; the type lives in the\n          // <Objects> index (plan §3.3: Objects is the type index).\n          const type = oe.getAttribute('type') ?? typeIndex.get(name) ?? '';\n          const properties = new Map<string, FcstdProperty>();\n          // properties live under a <Properties Count=\"N\"> wrapper element\n          for (let p = oe.firstChild; p; p = p.nextSibling) {\n            if (p.nodeType !== 1) continue;\n            const pe = p as Element;\n            if (pe.tagName === 'Properties') {\n              for (let q = pe.firstChild; q; q = q.nextSibling) {\n                if (q.nodeType !== 1) continue;\n                const qe = q as Element;\n                if (qe.tagName === '_Property') continue; // transient\n                const prop = parseProperty(qe);\n                if (prop.name) properties.set(prop.name, prop);\n              }\n            } else if (pe.tagName !== '_Property') {\n              const prop = parseProperty(pe);\n              if (prop.name) properties.set(prop.name, prop);\n            }\n          }\n          objects.push({ name, type, properties });\n        }\n        break;\n      }\n      default: {\n        // document meta properties (Creator, Uuid, LastModifiedDate, ...)\n        const prop = parseProperty(el);\n        if (prop.name) meta.set(prop.name, prop);\n      }\n    }\n  }\n  return ok({ objects, typeIndex, meta });\n}\n"]}
+{"version":3,"file":"document.js","sourceRoot":"","sources":["../../src/fcstd/document.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,kBAAkB,CAAC;AAwCxD,SAAS,KAAK,CAAC,EAAW;IACxB,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAW;IACpC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;YAAE,OAAO,CAAY,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAAC,EAAW;IAI5B,OAAO,IAAI,aAAa,EAAE,CAAC,iBAAiB,CAAC,EAAwB,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,aAAa,CAAC,MAAe;IACpC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,CAAY,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1C,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE;QACvC,IAAI,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE;QACvC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC;QACzB,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QAClD,SAAS,EAAE,OAAO,EAAE,WAAW,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE;QAC3D,QAAQ;KACT,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAW;IAC1C,IAAI,GAAa,CAAC;IAClB,IAAI,CAAC;QACH,4EAA4E;QAC5E,GAAG,GAAG,IAAI,SAAS,EAAE,CAAC,eAAe,CAAC,GAAG,EAAE,iBAAiB,CAAwB,CAAC;IACvF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,8BAA8B,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnH,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,eAAe,CAAC;IACjC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QACzC,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,oBAAoB,IAAI,EAAE,OAAO,IAAI,MAAM,wBAAwB,EAAE,CAAC,CAAC;IAC5G,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE9C,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACnD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;YAAE,SAAS;QAC/B,MAAM,EAAE,GAAG,CAAY,CAAC;QACxB,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC;YACnB,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;oBACjD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;wBAAE,SAAS;oBAC/B,MAAM,EAAE,GAAG,CAAY,CAAC;oBACxB,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ;wBAAE,SAAS;oBACtC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;oBACrC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;oBACrC,IAAI,IAAI,IAAI,IAAI;wBAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC9C,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;oBACjD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;wBAAE,SAAS;oBAC/B,MAAM,EAAE,GAAG,CAAY,CAAC;oBACxB,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ;wBAAE,SAAS;oBACtC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;oBAC3C,iEAAiE;oBACjE,0DAA0D;oBAC1D,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;oBACpD,iEAAiE;oBACjE,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;wBACjD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;4BAAE,SAAS;wBAC/B,MAAM,EAAE,GAAG,CAAY,CAAC;wBACxB,IAAI,EAAE,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;4BAChC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;gCACjD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;oCAAE,SAAS;gCAC/B,MAAM,EAAE,GAAG,CAAY,CAAC;gCACxB,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW;oCAAE,SAAS,CAAC,YAAY;gCACtD,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;gCAC/B,IAAI,IAAI,CAAC,IAAI;oCAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;4BACjD,CAAC;wBACH,CAAC;6BAAM,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;4BACtC,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;4BAC/B,IAAI,IAAI,CAAC,IAAI;gCAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;wBACjD,CAAC;oBACH,CAAC;oBACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;gBAC3C,CAAC;gBACD,MAAM;YACR,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;gBACR,kEAAkE;gBAClE,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;gBAC/B,IAAI,IAAI,CAAC,IAAI;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAC1C,CAAC","sourcesContent":["/**\n * M1.2 — Document.xml → object graph.\n *\n * Contract per plan §5.5 / 前文 A §3.3: `<ObjectData>` is authoritative\n * (objects + properties); `<Objects>` is only a type index. Transient\n * `_Property` elements are skipped.\n */\nimport { DOMParser, XMLSerializer } from '@xmldom/xmldom';\nimport { err, ok, type Result } from '../api/result.js';\n\n/** One parsed XML node from Document.xml: a property element (or nested value element) with its children. */\nexport interface FcstdProperty {\n  /** property name attribute ('' for non-property elements like <Geometry>) */\n  name: string;\n  /** e.g. \"App::PropertyString\", \"Part::PropertyPartShape\" */\n  type: string;\n  /** serialized element tag, e.g. \"Geometry\", \"Constrain\", \"LineSegment\" */\n  tagName: string;\n  /** raw nested XML content (first element child), serialized */\n  valueXml?: string;\n  /** for simple value properties, the text content */\n  valueText?: string;\n  /** named sub-elements (e.g. <Python .../>, <ExpressionEngine> children) */\n  children: FcstdProperty[];\n  attributes: Record<string, string>;\n}\n\n/** One object from <ObjectData>: name, resolved type and its property map. */\nexport interface FcstdObject {\n  /** object name, e.g. \"Sketch\" or \"Pad\" */\n  name: string;\n  /** e.g. \"Sketcher::SketchObject\", \"PartDesign::Pad\" */\n  type: string;\n  properties: Map<string, FcstdProperty>;\n}\n\n/** Parsed Document.xml: objects, the <Objects> type index and document-level meta. */\nexport interface FcstdDocument {\n  objects: FcstdObject[];\n  /** from <Objects>: name → type (index only, not authoritative) */\n  typeIndex: Map<string, string>;\n  /** document-level properties (Creator, LastModifiedDate, ...) */\n  meta: Map<string, FcstdProperty>;\n}\n\n/** Parse failure detail; currently only XML-level errors (`kind: 'xml'`). */\nexport type ParseError = { kind: 'xml'; message: string };\n\nfunction attrs(el: Element): Record<string, string> {\n  const out: Record<string, string> = {};\n  for (let i = 0; i < el.attributes.length; i++) {\n    const a = el.attributes.item(i);\n    if (a) out[a.name] = a.value;\n  }\n  return out;\n}\n\nfunction firstElementChild(el: Element): Element | undefined {\n  for (let c = el.firstChild; c; c = c.nextSibling) {\n    if (c.nodeType === 1) return c as Element;\n  }\n  return undefined;\n}\n\nfunction serialize(el: Element): string {\n  // @xmldom/xmldom ships its own Node/Element types that conflict with lib: DOM;\n  // the parser/serializer boundary is the only place the two universes meet.\n  type SerNode = Parameters<XMLSerializer['serializeToString']>[0];\n  return new XMLSerializer().serializeToString(el as unknown as SerNode);\n}\n\nfunction parseProperty(propEl: Element): FcstdProperty {\n  const children: FcstdProperty[] = [];\n  for (let c = propEl.firstChild; c; c = c.nextSibling) {\n    if (c.nodeType === 1) {\n      const child = c as Element;\n      children.push(parseProperty(child));\n    }\n  }\n  const valueEl = firstElementChild(propEl);\n  return {\n    name: propEl.getAttribute('name') ?? '',\n    type: propEl.getAttribute('type') ?? '',\n    tagName: propEl.tagName,\n    attributes: attrs(propEl),\n    valueXml: valueEl ? serialize(valueEl) : undefined,\n    valueText: valueEl?.textContent ?? propEl.textContent ?? '',\n    children,\n  };\n}\n\n/**\n * Parse Document.xml into the object graph. Only `<ObjectData>` entries are\n * returned as objects; `<Objects>` feeds `typeIndex`; document meta from\n * `<Document ...>` attributes' sibling properties.\n *\n * @param xml raw Document.xml content\n * @returns the parsed object graph, or an xml ParseError\n */\nexport function parseDocumentXml(xml: string): Result<FcstdDocument, ParseError> {\n  let doc: Document;\n  try {\n    // xmldom's Document type conflicts with lib: DOM; cast across the boundary.\n    doc = new DOMParser().parseFromString(xml, 'application/xml') as unknown as Document;\n  } catch (e) {\n    return err({ kind: 'xml', message: `Document.xml parse failed: ${e instanceof Error ? e.message : String(e)}` });\n  }\n  const root = doc.documentElement;\n  if (!root || root.tagName !== 'Document') {\n    return err({ kind: 'xml', message: `root element is <${root?.tagName ?? 'none'}>, expected <Document>` });\n  }\n\n  const objects: FcstdObject[] = [];\n  const typeIndex = new Map<string, string>();\n  const meta = new Map<string, FcstdProperty>();\n\n  for (let n = root.firstChild; n; n = n.nextSibling) {\n    if (n.nodeType !== 1) continue;\n    const el = n as Element;\n    switch (el.tagName) {\n      case 'Objects': {\n        for (let c = el.firstChild; c; c = c.nextSibling) {\n          if (c.nodeType !== 1) continue;\n          const oe = c as Element;\n          if (oe.tagName !== 'Object') continue;\n          const name = oe.getAttribute('name');\n          const type = oe.getAttribute('type');\n          if (name && type) typeIndex.set(name, type);\n        }\n        break;\n      }\n      case 'ObjectData': {\n        for (let c = el.firstChild; c; c = c.nextSibling) {\n          if (c.nodeType !== 1) continue;\n          const oe = c as Element;\n          if (oe.tagName !== 'Object') continue;\n          const name = oe.getAttribute('name') ?? '';\n          // ObjectData <Object> carries only `name`; the type lives in the\n          // <Objects> index (plan §3.3: Objects is the type index).\n          const type = oe.getAttribute('type') ?? typeIndex.get(name) ?? '';\n          const properties = new Map<string, FcstdProperty>();\n          // properties live under a <Properties Count=\"N\"> wrapper element\n          for (let p = oe.firstChild; p; p = p.nextSibling) {\n            if (p.nodeType !== 1) continue;\n            const pe = p as Element;\n            if (pe.tagName === 'Properties') {\n              for (let q = pe.firstChild; q; q = q.nextSibling) {\n                if (q.nodeType !== 1) continue;\n                const qe = q as Element;\n                if (qe.tagName === '_Property') continue; // transient\n                const prop = parseProperty(qe);\n                if (prop.name) properties.set(prop.name, prop);\n              }\n            } else if (pe.tagName !== '_Property') {\n              const prop = parseProperty(pe);\n              if (prop.name) properties.set(prop.name, prop);\n            }\n          }\n          objects.push({ name, type, properties });\n        }\n        break;\n      }\n      default: {\n        // document meta properties (Creator, Uuid, LastModifiedDate, ...)\n        const prop = parseProperty(el);\n        if (prop.name) meta.set(prop.name, prop);\n      }\n    }\n  }\n  return ok({ objects, typeIndex, meta });\n}\n"]}

package/dist/fcstd/expressions.d.ts

@@ -12,14 +12,20 @@
  * treat the property as unknown and degrade (no heuristic fallback, plan §12).
  */
 import type { FcstdProperty } from './document.js';
+/** Evaluated expression result in mm (angles keep their own unit): a number, or undefined when unsupported. */
 export type ExprValue = number | undefined;
 /**
  * Evaluate a constant expression. Returns undefined when the expression is
  * not a bare constant (reference/arithmetic/function) — explicit unsupported,
  * no guessing.
+ *
+ * @param expr raw expression string (e.g. "10 mm")
+ * @returns the value in mm, or undefined when not a constant expression
  */
 export declare function evalConstantExpression(expr: string): ExprValue;
+/** One <Expression path=... expression=...> binding with its optional constant value. */
 export interface ExpressionBinding {
+    /** property path the expression drives (e.g. "Length") */
     path: string;
     /** raw expression string */
     expression: string;
@@ -30,8 +36,15 @@ export interface ExpressionBinding {
  * Extract expression bindings from a parsed ExpressionEngine property.
  * `bindable` = every expression evaluated to a constant (then the property
  * values can be overridden); otherwise the engine is only partially readable.
+ *
+ * @param prop the parsed <ExpressionEngine> property (undefined → no bindings)
+ * @returns one binding per <Expression> child, values evaluated
  */
 export declare function parseExpressionEngine(prop: FcstdProperty | undefined): ExpressionBinding[];
-/** True when all bindings are constants → safe to override property values. */
+/**
+ * True when all bindings are constants → safe to override property values.
+ * @param bindings bindings extracted by parseExpressionEngine
+ * @returns true when there is at least one binding and every value is defined
+ */
 export declare function allConstant(bindings: ExpressionBinding[]): boolean;
 //# sourceMappingURL=expressions.d.ts.map

package/dist/fcstd/expressions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../src/fcstd/expressions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEnD,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,SAAS,CAAC;AAa3C;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAY9D;AAGD,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,4BAA4B;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,mEAAmE;IACnE,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,aAAa,GAAG,SAAS,GAC9B,iBAAiB,EAAE,CAWrB;AAED,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,QAAQ,EAAE,iBAAiB,EAAE,GAAG,OAAO,CAElE"}
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../src/fcstd/expressions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEnD,+GAA+G;AAC/G,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,SAAS,CAAC;AAa3C;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAY9D;AAGD,yFAAyF;AACzF,MAAM,WAAW,iBAAiB;IAChC,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;IACb,4BAA4B;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,mEAAmE;IACnE,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,aAAa,GAAG,SAAS,GAC9B,iBAAiB,EAAE,CAWrB;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,QAAQ,EAAE,iBAAiB,EAAE,GAAG,OAAO,CAElE"}

package/dist/fcstd/expressions.js

@@ -12,6 +12,9 @@ const UNIT_TO_MM = {
  * Evaluate a constant expression. Returns undefined when the expression is
  * not a bare constant (reference/arithmetic/function) — explicit unsupported,
  * no guessing.
+ *
+ * @param expr raw expression string (e.g. "10 mm")
+ * @returns the value in mm, or undefined when not a constant expression
  */
 export function evalConstantExpression(expr) {
     const s = expr.trim();
@@ -34,6 +37,9 @@ export function evalConstantExpression(expr) {
  * Extract expression bindings from a parsed ExpressionEngine property.
  * `bindable` = every expression evaluated to a constant (then the property
  * values can be overridden); otherwise the engine is only partially readable.
+ *
+ * @param prop the parsed <ExpressionEngine> property (undefined → no bindings)
+ * @returns one binding per <Expression> child, values evaluated
  */
 export function parseExpressionEngine(prop) {
     const engineEl = prop?.children[0];
@@ -49,7 +55,11 @@ export function parseExpressionEngine(prop) {
     }
     return out;
 }
-/** True when all bindings are constants → safe to override property values. */
+/**
+ * True when all bindings are constants → safe to override property values.
+ * @param bindings bindings extracted by parseExpressionEngine
+ * @returns true when there is at least one binding and every value is defined
+ */
 export function allConstant(bindings) {
     return bindings.length > 0 && bindings.every((b) => b.value !== undefined);
 }

package/dist/fcstd/expressions.js.map

@@ -1 +1 @@
-{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../src/fcstd/expressions.ts"],"names":[],"mappings":"AAiBA,MAAM,UAAU,GAA2B;IACzC,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;IACpB,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE;IACtB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI;IACpB,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI;IAC/B,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK;IACtB,qEAAqE;IACrE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;IACzB,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,gBAAgB;IAChB,MAAM,CAAC,GAAG,+DAA+D,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClF,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;IACnB,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAC9C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC,CAAC,6BAA6B;IACzE,OAAO,KAAK,GAAG,MAAM,CAAC;AACxB,CAAC;AAWD;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAA+B;IAE/B,MAAM,QAAQ,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzB,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACnC,IAAI,EAAE,CAAC,OAAO,KAAK,YAAY;YAAE,SAAS;QAC1C,MAAM,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACrD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,sBAAsB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,WAAW,CAAC,QAA6B;IACvD,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;AAC7E,CAAC","sourcesContent":["/**\r\n * M6.2 — expression downgrade: <ExpressionEngine> → concrete values.\r\n *\r\n * Format (verified on TwoLengthsPadWithExpression.FCStd):\r\n *   <ExpressionEngine count=\"N\">\r\n *     <Expression path=\"Length\" expression=\"10 mm\" />\r\n *   </ExpressionEngine>\r\n *\r\n * Scope: constant expressions only — number literals with optional unit\r\n * (mm/m/cm/in/deg/rad). Anything else (object references like Sketch.Constraints[3],\r\n * arithmetic with identifiers, functions) is NOT evaluated: the consumer must\r\n * treat the property as unknown and degrade (no heuristic fallback, plan §12).\r\n */\r\nimport type { FcstdProperty } from './document.js';\r\n\r\nexport type ExprValue = number | undefined;\r\n\r\nconst UNIT_TO_MM: Record<string, number> = {\r\n  mm: 1, millimeter: 1,\r\n  cm: 10, centimeter: 10,\r\n  m: 1000, meter: 1000,\r\n  in: 25.4, inch: 25.4, '\"': 25.4,\r\n  ft: 304.8, foot: 304.8,\r\n  // angles: value kept in the expression's own unit; callers interpret\r\n  deg: 1, degree: 1, '°': 1,\r\n  rad: 1, radian: 1,\r\n};\r\n\r\n/**\r\n * Evaluate a constant expression. Returns undefined when the expression is\r\n * not a bare constant (reference/arithmetic/function) — explicit unsupported,\r\n * no guessing.\r\n */\r\nexport function evalConstantExpression(expr: string): ExprValue {\r\n  const s = expr.trim();\r\n  // number [unit]\r\n  const m = /^([-+]?(?:\\d+\\.?\\d*|\\.\\d+)(?:[eE][-+]?\\d+)?)\\s*([A-Za-z°\"]*)$/.exec(s);\r\n  if (!m) return undefined;\r\n  const value = Number(m[1]);\r\n  if (!Number.isFinite(value)) return undefined;\r\n  const unit = m[2]!;\r\n  if (unit === '') return value;\r\n  const factor = UNIT_TO_MM[unit.toLowerCase()];\r\n  if (factor === undefined) return undefined; // unknown unit → unsupported\r\n  return value * factor;\r\n}\r\n\r\n\r\nexport interface ExpressionBinding {\r\n  path: string;\r\n  /** raw expression string */\r\n  expression: string;\r\n  /** evaluated constant; undefined when not a constant expression */\r\n  value?: number;\r\n}\r\n\r\n/**\r\n * Extract expression bindings from a parsed ExpressionEngine property.\r\n * `bindable` = every expression evaluated to a constant (then the property\r\n * values can be overridden); otherwise the engine is only partially readable.\r\n */\r\nexport function parseExpressionEngine(\r\n  prop: FcstdProperty | undefined,\r\n): ExpressionBinding[] {\r\n  const engineEl = prop?.children[0];\r\n  if (!engineEl) return [];\r\n  const out: ExpressionBinding[] = [];\r\n  for (const el of engineEl.children) {\r\n    if (el.tagName !== 'Expression') continue;\r\n    const path = el.attributes['path'] ?? '';\r\n    const expression = el.attributes['expression'] ?? '';\r\n    out.push({ path, expression, value: evalConstantExpression(expression) });\r\n  }\r\n  return out;\r\n}\r\n\r\n/** True when all bindings are constants → safe to override property values. */\r\nexport function allConstant(bindings: ExpressionBinding[]): boolean {\r\n  return bindings.length > 0 && bindings.every((b) => b.value !== undefined);\r\n}\r\n"]}
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../src/fcstd/expressions.ts"],"names":[],"mappings":"AAkBA,MAAM,UAAU,GAA2B;IACzC,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;IACpB,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE;IACtB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI;IACpB,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI;IAC/B,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK;IACtB,qEAAqE;IACrE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;IACzB,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,gBAAgB;IAChB,MAAM,CAAC,GAAG,+DAA+D,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClF,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;IACnB,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAC9C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC,CAAC,6BAA6B;IACzE,OAAO,KAAK,GAAG,MAAM,CAAC;AACxB,CAAC;AAaD;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAA+B;IAE/B,MAAM,QAAQ,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzB,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACnC,IAAI,EAAE,CAAC,OAAO,KAAK,YAAY;YAAE,SAAS;QAC1C,MAAM,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACrD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,sBAAsB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,QAA6B;IACvD,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;AAC7E,CAAC","sourcesContent":["/**\r\n * M6.2 — expression downgrade: <ExpressionEngine> → concrete values.\r\n *\r\n * Format (verified on TwoLengthsPadWithExpression.FCStd):\r\n *   <ExpressionEngine count=\"N\">\r\n *     <Expression path=\"Length\" expression=\"10 mm\" />\r\n *   </ExpressionEngine>\r\n *\r\n * Scope: constant expressions only — number literals with optional unit\r\n * (mm/m/cm/in/deg/rad). Anything else (object references like Sketch.Constraints[3],\r\n * arithmetic with identifiers, functions) is NOT evaluated: the consumer must\r\n * treat the property as unknown and degrade (no heuristic fallback, plan §12).\r\n */\r\nimport type { FcstdProperty } from './document.js';\r\n\r\n/** Evaluated expression result in mm (angles keep their own unit): a number, or undefined when unsupported. */\nexport type ExprValue = number | undefined;\r\n\r\nconst UNIT_TO_MM: Record<string, number> = {\r\n  mm: 1, millimeter: 1,\r\n  cm: 10, centimeter: 10,\r\n  m: 1000, meter: 1000,\r\n  in: 25.4, inch: 25.4, '\"': 25.4,\r\n  ft: 304.8, foot: 304.8,\r\n  // angles: value kept in the expression's own unit; callers interpret\r\n  deg: 1, degree: 1, '°': 1,\r\n  rad: 1, radian: 1,\r\n};\r\n\r\n/**\r\n * Evaluate a constant expression. Returns undefined when the expression is\r\n * not a bare constant (reference/arithmetic/function) — explicit unsupported,\r\n * no guessing.\r\n *\r\n * @param expr raw expression string (e.g. \"10 mm\")\r\n * @returns the value in mm, or undefined when not a constant expression\r\n */\r\nexport function evalConstantExpression(expr: string): ExprValue {\r\n  const s = expr.trim();\r\n  // number [unit]\r\n  const m = /^([-+]?(?:\\d+\\.?\\d*|\\.\\d+)(?:[eE][-+]?\\d+)?)\\s*([A-Za-z°\"]*)$/.exec(s);\r\n  if (!m) return undefined;\r\n  const value = Number(m[1]);\r\n  if (!Number.isFinite(value)) return undefined;\r\n  const unit = m[2]!;\r\n  if (unit === '') return value;\r\n  const factor = UNIT_TO_MM[unit.toLowerCase()];\r\n  if (factor === undefined) return undefined; // unknown unit → unsupported\r\n  return value * factor;\r\n}\r\n\r\n\r\n/** One <Expression path=... expression=...> binding with its optional constant value. */\r\nexport interface ExpressionBinding {\r\n  /** property path the expression drives (e.g. \"Length\") */\r\n  path: string;\r\n  /** raw expression string */\r\n  expression: string;\r\n  /** evaluated constant; undefined when not a constant expression */\r\n  value?: number;\r\n}\r\n\r\n/**\r\n * Extract expression bindings from a parsed ExpressionEngine property.\r\n * `bindable` = every expression evaluated to a constant (then the property\r\n * values can be overridden); otherwise the engine is only partially readable.\r\n *\r\n * @param prop the parsed <ExpressionEngine> property (undefined → no bindings)\r\n * @returns one binding per <Expression> child, values evaluated\r\n */\r\nexport function parseExpressionEngine(\r\n  prop: FcstdProperty | undefined,\r\n): ExpressionBinding[] {\r\n  const engineEl = prop?.children[0];\r\n  if (!engineEl) return [];\r\n  const out: ExpressionBinding[] = [];\r\n  for (const el of engineEl.children) {\r\n    if (el.tagName !== 'Expression') continue;\r\n    const path = el.attributes['path'] ?? '';\r\n    const expression = el.attributes['expression'] ?? '';\r\n    out.push({ path, expression, value: evalConstantExpression(expression) });\r\n  }\r\n  return out;\r\n}\r\n\r\n/**\n * True when all bindings are constants → safe to override property values.\r\n * @param bindings bindings extracted by parseExpressionEngine\r\n * @returns true when there is at least one binding and every value is defined\r\n */\r\nexport function allConstant(bindings: ExpressionBinding[]): boolean {\r\n  return bindings.length > 0 && bindings.every((b) => b.value !== undefined);\r\n}\r\n"]}

package/dist/fcstd/external-geo.d.ts

@@ -1,5 +1,8 @@
 import { type FcstdArchive } from './unpack.js';
-import type { FcstdDocument, FcstdProperty } from './document.js';
+import type { FcstdDocument, FcstdObject, FcstdProperty } from './document.js';
+/**
+ * One resolved external-geometry link of a sketch.
+ */
 export interface ExternalLink {
     /** source object name, e.g. "Chamfer002" */
     obj: string;
@@ -8,6 +11,10 @@ export interface ExternalLink {
     /** resolved sketch-local 2D polyline */
     polyline: [number, number][];
 }
+/**
+ * Result of external-geometry resolution: successfully projected links plus
+ * per-link failures (with a human-readable reason) for the caller to report.
+ */
 export interface ExternalGeoResult {
     links: ExternalLink[];
     failures: {
@@ -16,9 +23,27 @@ export interface ExternalGeoResult {
         reason: string;
     }[];
 }
+/**
+ * The `.brp` member holding an object's shape: the `Shape` property when
+ * present, else `SubShape` (GOTCHA, hole_puzzle corpus 2026-09-20: PartDesign
+ * features like Chamfer002/Pocket002 store their result cache in SubShape and
+ * have NO Shape property — external links pointing at them failed with
+ * "source shape not loadable" before the fallback existed).
+ *
+ * @param obj - the FCStd object to inspect.
+ * @returns the .brp member file name, or undefined when neither Shape nor SubShape carries one.
+ */
+export declare function shapeBrpFile(obj: FcstdObject): string | undefined;
 /**
  * Resolve every external link of a sketch to sketch-local 2D polylines.
- * `externalGeoProp` is the sketch's ExternalGeometry property.
+ *
+ * @param externalGeoProp - the sketch's ExternalGeometry property.
+ * @param doc - the parsed FCStd document, used to locate source objects and their shapes.
+ * @param archive - the FCStd container, used to read the source `.brp` shape files.
+ * @param sketchPlacement - the sketch's Placement property, whose inverse maps
+ *   source geometry into sketch-local coordinates.
+ * @returns the resolved sketch-local polylines per link, plus a failure entry
+ *   (with reason) for every link that could not be resolved.
  */
 export declare function resolveExternalGeometry(externalGeoProp: FcstdProperty | undefined, doc: FcstdDocument, archive: FcstdArchive, sketchPlacement: FcstdProperty | undefined): Promise<ExternalGeoResult>;
 //# sourceMappingURL=external-geo.d.ts.map

package/dist/fcstd/external-geo.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"external-geo.d.ts","sourceRoot":"","sources":["../../src/fcstd/external-geo.ts"],"names":[],"mappings":"AAWA,OAAO,EAAc,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAe,aAAa,EAAE,MAAM,eAAe,CAAC;AAE/E,MAAM,WAAW,YAAY;IAC3B,4CAA4C;IAC5C,GAAG,EAAE,MAAM,CAAC;IACZ,sCAAsC;IACtC,GAAG,EAAE,MAAM,CAAC;IACZ,wCAAwC;IACxC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,QAAQ,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC1D;AAiCD;;;GAGG;AACH,wBAAsB,uBAAuB,CAC3C,eAAe,EAAE,aAAa,GAAG,SAAS,EAC1C,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,YAAY,EACrB,eAAe,EAAE,aAAa,GAAG,SAAS,GACzC,OAAO,CAAC,iBAAiB,CAAC,CA4E5B"}
+{"version":3,"file":"external-geo.d.ts","sourceRoot":"","sources":["../../src/fcstd/external-geo.ts"],"names":[],"mappings":"AAWA,OAAO,EAAc,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE/E;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,4CAA4C;IAC5C,GAAG,EAAE,MAAM,CAAC;IACZ,sCAAsC;IACtC,GAAG,EAAE,MAAM,CAAC;IACZ,wCAAwC;IACxC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,QAAQ,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC1D;AAiCD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAGjE;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,uBAAuB,CAC3C,eAAe,EAAE,aAAa,GAAG,SAAS,EAC1C,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,YAAY,EACrB,eAAe,EAAE,aAAa,GAAG,SAAS,GACzC,OAAO,CAAC,iBAAiB,CAAC,CA4E5B"}

package/dist/fcstd/external-geo.js

@@ -39,9 +39,30 @@ function placementOf(obj) {
         q: [Number(a['Q0'] ?? 0), Number(a['Q1'] ?? 0), Number(a['Q2'] ?? 0), Number(a['Q3'] ?? 1)],
     };
 }
+/**
+ * The `.brp` member holding an object's shape: the `Shape` property when
+ * present, else `SubShape` (GOTCHA, hole_puzzle corpus 2026-09-20: PartDesign
+ * features like Chamfer002/Pocket002 store their result cache in SubShape and
+ * have NO Shape property — external links pointing at them failed with
+ * "source shape not loadable" before the fallback existed).
+ *
+ * @param obj - the FCStd object to inspect.
+ * @returns the .brp member file name, or undefined when neither Shape nor SubShape carries one.
+ */
+export function shapeBrpFile(obj) {
+    return obj.properties.get('Shape')?.children[0]?.attributes['file']
+        ?? obj.properties.get('SubShape')?.children[0]?.attributes['file'];
+}
 /**
  * Resolve every external link of a sketch to sketch-local 2D polylines.
- * `externalGeoProp` is the sketch's ExternalGeometry property.
+ *
+ * @param externalGeoProp - the sketch's ExternalGeometry property.
+ * @param doc - the parsed FCStd document, used to locate source objects and their shapes.
+ * @param archive - the FCStd container, used to read the source `.brp` shape files.
+ * @param sketchPlacement - the sketch's Placement property, whose inverse maps
+ *   source geometry into sketch-local coordinates.
+ * @returns the resolved sketch-local polylines per link, plus a failure entry
+ *   (with reason) for every link that could not be resolved.
  */
 export async function resolveExternalGeometry(externalGeoProp, doc, archive, sketchPlacement) {
     const links = [];
@@ -57,7 +78,7 @@ export async function resolveExternalGeometry(externalGeoProp, doc, archive, ske
         if (brpCache.has(objName))
             return brpCache.get(objName);
         const src = doc.objects.find((o) => o.name === objName);
-        const brpFile = src?.properties.get('Shape')?.children[0]?.attributes['file'];
+        const brpFile = src ? shapeBrpFile(src) : undefined;
         if (!brpFile) {
             brpCache.set(objName, undefined);
             return undefined;