@faicad/faijs 0.13.2 → 0.16.0

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

@@ -1,5 +1,5 @@
 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.
  */
@@ -23,6 +23,17 @@ 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.
  *

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;;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;;;;;;;;;;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"}
+{"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,6 +39,20 @@ 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.
  *
@@ -64,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;

package/dist/fcstd/external-geo.js.map

@@ -1 +1 @@
-{"version":3,"file":"external-geo.js","sourceRoot":"","sources":["../../src/fcstd/external-geo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAqB,MAAM,aAAa,CAAC;AAwB5D,+EAA+E;AAC/E,SAAS,sBAAsB,CAAC,CAAmC,EAAE,CAA2B;IAC9F,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY;IAClF,OAAO,CAAC,CAA2B,EAA4B,EAAE;QAC/D,yEAAyE;QACzE,0EAA0E;QAC1E,0EAA0E;QAC1E,sEAAsE;QACtE,0EAA0E;QAC1E,iCAAiC;QACjC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9C,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACtB,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,GAAgB;IACnC,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,CAAC,GAAG,EAAE,EAAE,UAAU,IAAI,EAAE,CAAC;IAC/B,OAAO;QACL,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACrE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,eAA0C,EAC1C,GAAkB,EAClB,OAAqB,EACrB,eAA0C;IAE1C,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAkC,EAAE,CAAC;IACnD,MAAM,MAAM,GAAG,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAExC,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,eAAe,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAmB,CAAC,CAAC,CAAU,EAAE,CAAC,CAAC;IACrP,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAEvD,MAAM,MAAM,GAGR,CAAC,MAAM,YAAY,EAAE,CAAU,CAAC;IAEpC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsE,CAAC;IAC/F,MAAM,WAAW,GAAG,CAAC,OAAe,EAAE,EAAE;QACtC,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QAC9E,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACjC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACjC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACnC,MAAM,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACzC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC1B,OAAO,EAAE,CAAC;QACZ,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACjC,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5C,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;YACzE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,4BAA4B,GAAG,EAAE,EAAE,CAAC,CAAC;YACvE,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC,CAAC;YACjE,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,0BAA0B;QAC/C,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;YACrG,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7B,MAAM,QAAQ,GAAuB,EAAE,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAA6B;gBAClC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAE,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAE,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAE;aAC/E,CAAC;YACF,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;QACD,8BAA8B;QAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAClG,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;;YAChE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC","sourcesContent":["/**\n * M6.3 — external geometry resolution: decode ExternalGeometry links\n * (App::PropertyLinkSubList), load the source object's .brp via OCCT,\n * extract the named edge polyline (TopExp::MapShapes + IndexedMap order —\n * Edge13 = wireframe edgeGroups[12], verified against hole_puzzle.fcstd),\n * and project it into sketch-local 2D via the sketch Placement inverse.\n *\n * Result: fixed 2D segments/points that the solver treats as immutable\n * constraints targets (geoId -3, -4, ... in link order).\n */\nimport { initOcctWasm } from '../occt-kernel/occtKernel.js';\nimport { memberText, type FcstdArchive } from './unpack.js';\nimport type { FcstdDocument, FcstdObject, FcstdProperty } from './document.js';\n\n/**\n * One resolved external-geometry link of a sketch.\n */\nexport interface ExternalLink {\n  /** source object name, e.g. \"Chamfer002\" */\n  obj: string;\n  /** sub-element name, e.g. \"Edge13\" */\n  sub: string;\n  /** resolved sketch-local 2D polyline */\n  polyline: [number, number][];\n}\n\n/**\n * Result of external-geometry resolution: successfully projected links plus\n * per-link failures (with a human-readable reason) for the caller to report.\n */\nexport interface ExternalGeoResult {\n  links: ExternalLink[];\n  failures: { obj: string; sub: string; reason: string }[];\n}\n\n/** Quaternion (x,y,z,w) inverse-rotate + translate into sketch-local frame. */\nfunction makeInverseTransformer(q: [number, number, number, number], p: [number, number, number]) {\n  const n = Math.hypot(q[0], q[1], q[2], q[3]);\n  const [qx, qy, qz, qw] = [-q[0] / n, -q[1] / n, -q[2] / n, q[3] / n]; // conjugate\n  return (w: [number, number, number]): [number, number, number] => {\n    // local = R⁻¹ · (world − P): subtract the translation FIRST, then rotate\n    // by the conjugate quaternion. GOTCHA (probe-hole-ext.ts): rotating first\n    // and subtracting after (R⁻¹·v − P) is only correct for identity rotation\n    // — with Sketch005's 90° placement it shifted projected points by the\n    // rotated translation (−140,30 instead of (−40,40)) and the solver chased\n    // the wrong frame (delta 1.0e2).\n    const [vx, vy, vz] = [w[0] - p[0], w[1] - p[1], w[2] - p[2]];\n    const tx = 2 * (qy * vz - qz * vy);\n    const ty = 2 * (qz * vx - qx * vz);\n    const tz = 2 * (qx * vy - qy * vx);\n    const rx = vx + qw * tx + (qy * tz - qz * ty);\n    const ry = vy + qw * ty + (qz * tx - qx * tz);\n    const rz = vz + qw * tz + (qx * ty - qy * tx);\n    return [rx, ry, rz];\n  };\n}\n\nfunction placementOf(obj: FcstdObject): { q: [number, number, number, number]; p: [number, number, number] } {\n  const el = obj.properties.get('Placement')?.children[0];\n  const a = el?.attributes ?? {};\n  return {\n    p: [Number(a['Px'] ?? 0), Number(a['Py'] ?? 0), Number(a['Pz'] ?? 0)],\n    q: [Number(a['Q0'] ?? 0), Number(a['Q1'] ?? 0), Number(a['Q2'] ?? 0), Number(a['Q3'] ?? 1)],\n  };\n}\n\n/**\n * Resolve every external link of a sketch to sketch-local 2D polylines.\n *\n * @param externalGeoProp - the sketch's ExternalGeometry property.\n * @param doc - the parsed FCStd document, used to locate source objects and their shapes.\n * @param archive - the FCStd container, used to read the source `.brp` shape files.\n * @param sketchPlacement - the sketch's Placement property, whose inverse maps\n *   source geometry into sketch-local coordinates.\n * @returns the resolved sketch-local polylines per link, plus a failure entry\n *   (with reason) for every link that could not be resolved.\n */\nexport async function resolveExternalGeometry(\n  externalGeoProp: FcstdProperty | undefined,\n  doc: FcstdDocument,\n  archive: FcstdArchive,\n  sketchPlacement: FcstdProperty | undefined,\n): Promise<ExternalGeoResult> {\n  const links: ExternalLink[] = [];\n  const failures: ExternalGeoResult['failures'] = [];\n  const listEl = externalGeoProp?.children[0];\n  if (!listEl) return { links, failures };\n\n  const skPl = placementOf({ name: '', type: '', properties: new Map([['Placement', sketchPlacement ?? { name: 'Placement', type: '', tagName: 'Property', children: [], valueXml: '', valueText: '', attributes: {} } as FcstdProperty]]) as never });\n  const toLocal = makeInverseTransformer(skPl.q, skPl.p);\n\n  const kernel: {\n    fromBREP: (s: string) => unknown;\n    wireframe: (s: unknown, deflection: number) => { points: Float32Array; edgeGroups: number[] };\n  } = (await initOcctWasm()) as never;\n\n  const brpCache = new Map<string, { points: Float32Array; edgeGroups: number[] } | undefined>();\n  const wireframeOf = (objName: string) => {\n    if (brpCache.has(objName)) return brpCache.get(objName);\n    const src = doc.objects.find((o) => o.name === objName);\n    const brpFile = src?.properties.get('Shape')?.children[0]?.attributes['file'];\n    if (!brpFile) {\n      brpCache.set(objName, undefined);\n      return undefined;\n    }\n    const brp = memberText(archive, brpFile);\n    if (!brp) {\n      brpCache.set(objName, undefined);\n      return undefined;\n    }\n    try {\n      const shape = kernel.fromBREP(brp);\n      const wf = kernel.wireframe(shape, 0.01);\n      brpCache.set(objName, wf);\n      return wf;\n    } catch {\n      brpCache.set(objName, undefined);\n      return undefined;\n    }\n  };\n\n  for (const link of listEl.children) {\n    const obj = link.attributes['obj'] ?? '';\n    const sub = link.attributes['sub'] ?? '';\n    const ord = Number(sub.replace('Edge', ''));\n    if (!obj || !sub.startsWith('Edge') || !Number.isInteger(ord) || ord < 1) {\n      failures.push({ obj, sub, reason: `unsupported sub-element: ${sub}` });\n      continue;\n    }\n    const wf = wireframeOf(obj);\n    if (!wf) {\n      failures.push({ obj, sub, reason: 'source shape not loadable' });\n      continue;\n    }\n    const idx = ord - 1; // Edge13 → edgeGroups[12]\n    const g0 = wf.edgeGroups[idx * 3];\n    const g1 = wf.edgeGroups[idx * 3 + 1];\n    if (g0 === undefined || g1 === undefined) {\n      failures.push({ obj, sub, reason: `edge ordinal out of range (${wf.edgeGroups.length / 3} edges)` });\n      continue;\n    }\n    const n = Math.floor(g1 / 3);\n    const polyline: [number, number][] = [];\n    for (let p = 0; p < n; p++) {\n      const w: [number, number, number] = [\n        wf.points[g0 + p * 3]!, wf.points[g0 + p * 3 + 1]!, wf.points[g0 + p * 3 + 2]!,\n      ];\n      const l = toLocal(w);\n      polyline.push([l[0], l[1]]);\n    }\n    // drop consecutive duplicates\n    const deduped = polyline.filter(\n      (pt, i) => i === 0 || Math.hypot(pt[0] - polyline[i - 1]![0], pt[1] - polyline[i - 1]![1]) > 1e-9,\n    );\n    if (deduped.length >= 2) links.push({ obj, sub, polyline: deduped });\n    else failures.push({ obj, sub, reason: 'degenerate polyline' });\n  }\n  return { links, failures };\n}\n"]}
+{"version":3,"file":"external-geo.js","sourceRoot":"","sources":["../../src/fcstd/external-geo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAqB,MAAM,aAAa,CAAC;AAwB5D,+EAA+E;AAC/E,SAAS,sBAAsB,CAAC,CAAmC,EAAE,CAA2B;IAC9F,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY;IAClF,OAAO,CAAC,CAA2B,EAA4B,EAAE;QAC/D,yEAAyE;QACzE,0EAA0E;QAC1E,0EAA0E;QAC1E,sEAAsE;QACtE,0EAA0E;QAC1E,iCAAiC;QACjC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9C,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACtB,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,GAAgB;IACnC,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,CAAC,GAAG,EAAE,EAAE,UAAU,IAAI,EAAE,CAAC;IAC/B,OAAO;QACL,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACrE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,GAAgB;IAC3C,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC;WAC9D,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;AACvE,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,eAA0C,EAC1C,GAAkB,EAClB,OAAqB,EACrB,eAA0C;IAE1C,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAkC,EAAE,CAAC;IACnD,MAAM,MAAM,GAAG,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAExC,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,eAAe,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAmB,CAAC,CAAC,CAAU,EAAE,CAAC,CAAC;IACrP,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAEvD,MAAM,MAAM,GAGR,CAAC,MAAM,YAAY,EAAE,CAAU,CAAC;IAEpC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsE,CAAC;IAC/F,MAAM,WAAW,GAAG,CAAC,OAAe,EAAE,EAAE;QACtC,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACjC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACjC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACnC,MAAM,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACzC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC1B,OAAO,EAAE,CAAC;QACZ,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACjC,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5C,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;YACzE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,4BAA4B,GAAG,EAAE,EAAE,CAAC,CAAC;YACvE,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC,CAAC;YACjE,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,0BAA0B;QAC/C,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;YACrG,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7B,MAAM,QAAQ,GAAuB,EAAE,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAA6B;gBAClC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAE,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAE,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAE;aAC/E,CAAC;YACF,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;QACD,8BAA8B;QAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAClG,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;;YAChE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC","sourcesContent":["/**\n * M6.3 — external geometry resolution: decode ExternalGeometry links\n * (App::PropertyLinkSubList), load the source object's .brp via OCCT,\n * extract the named edge polyline (TopExp::MapShapes + IndexedMap order —\n * Edge13 = wireframe edgeGroups[12], verified against hole_puzzle.fcstd),\n * and project it into sketch-local 2D via the sketch Placement inverse.\n *\n * Result: fixed 2D segments/points that the solver treats as immutable\n * constraints targets (geoId -3, -4, ... in link order).\n */\nimport { initOcctWasm } from '../occt-kernel/occtKernel.js';\nimport { memberText, type FcstdArchive } from './unpack.js';\nimport type { FcstdDocument, FcstdObject, FcstdProperty } from './document.js';\n\n/**\n * One resolved external-geometry link of a sketch.\n */\nexport interface ExternalLink {\n  /** source object name, e.g. \"Chamfer002\" */\n  obj: string;\n  /** sub-element name, e.g. \"Edge13\" */\n  sub: string;\n  /** resolved sketch-local 2D polyline */\n  polyline: [number, number][];\n}\n\n/**\n * Result of external-geometry resolution: successfully projected links plus\n * per-link failures (with a human-readable reason) for the caller to report.\n */\nexport interface ExternalGeoResult {\n  links: ExternalLink[];\n  failures: { obj: string; sub: string; reason: string }[];\n}\n\n/** Quaternion (x,y,z,w) inverse-rotate + translate into sketch-local frame. */\nfunction makeInverseTransformer(q: [number, number, number, number], p: [number, number, number]) {\n  const n = Math.hypot(q[0], q[1], q[2], q[3]);\n  const [qx, qy, qz, qw] = [-q[0] / n, -q[1] / n, -q[2] / n, q[3] / n]; // conjugate\n  return (w: [number, number, number]): [number, number, number] => {\n    // local = R⁻¹ · (world − P): subtract the translation FIRST, then rotate\n    // by the conjugate quaternion. GOTCHA (probe-hole-ext.ts): rotating first\n    // and subtracting after (R⁻¹·v − P) is only correct for identity rotation\n    // — with Sketch005's 90° placement it shifted projected points by the\n    // rotated translation (−140,30 instead of (−40,40)) and the solver chased\n    // the wrong frame (delta 1.0e2).\n    const [vx, vy, vz] = [w[0] - p[0], w[1] - p[1], w[2] - p[2]];\n    const tx = 2 * (qy * vz - qz * vy);\n    const ty = 2 * (qz * vx - qx * vz);\n    const tz = 2 * (qx * vy - qy * vx);\n    const rx = vx + qw * tx + (qy * tz - qz * ty);\n    const ry = vy + qw * ty + (qz * tx - qx * tz);\n    const rz = vz + qw * tz + (qx * ty - qy * tx);\n    return [rx, ry, rz];\n  };\n}\n\nfunction placementOf(obj: FcstdObject): { q: [number, number, number, number]; p: [number, number, number] } {\n  const el = obj.properties.get('Placement')?.children[0];\n  const a = el?.attributes ?? {};\n  return {\n    p: [Number(a['Px'] ?? 0), Number(a['Py'] ?? 0), Number(a['Pz'] ?? 0)],\n    q: [Number(a['Q0'] ?? 0), Number(a['Q1'] ?? 0), Number(a['Q2'] ?? 0), Number(a['Q3'] ?? 1)],\n  };\n}\n\n/**\n * The `.brp` member holding an object's shape: the `Shape` property when\n * present, else `SubShape` (GOTCHA, hole_puzzle corpus 2026-09-20: PartDesign\n * features like Chamfer002/Pocket002 store their result cache in SubShape and\n * have NO Shape property — external links pointing at them failed with\n * \"source shape not loadable\" before the fallback existed).\n *\n * @param obj - the FCStd object to inspect.\n * @returns the .brp member file name, or undefined when neither Shape nor SubShape carries one.\n */\nexport function shapeBrpFile(obj: FcstdObject): string | undefined {\n  return obj.properties.get('Shape')?.children[0]?.attributes['file']\n    ?? obj.properties.get('SubShape')?.children[0]?.attributes['file'];\n}\n\n/**\n * Resolve every external link of a sketch to sketch-local 2D polylines.\n *\n * @param externalGeoProp - the sketch's ExternalGeometry property.\n * @param doc - the parsed FCStd document, used to locate source objects and their shapes.\n * @param archive - the FCStd container, used to read the source `.brp` shape files.\n * @param sketchPlacement - the sketch's Placement property, whose inverse maps\n *   source geometry into sketch-local coordinates.\n * @returns the resolved sketch-local polylines per link, plus a failure entry\n *   (with reason) for every link that could not be resolved.\n */\nexport async function resolveExternalGeometry(\n  externalGeoProp: FcstdProperty | undefined,\n  doc: FcstdDocument,\n  archive: FcstdArchive,\n  sketchPlacement: FcstdProperty | undefined,\n): Promise<ExternalGeoResult> {\n  const links: ExternalLink[] = [];\n  const failures: ExternalGeoResult['failures'] = [];\n  const listEl = externalGeoProp?.children[0];\n  if (!listEl) return { links, failures };\n\n  const skPl = placementOf({ name: '', type: '', properties: new Map([['Placement', sketchPlacement ?? { name: 'Placement', type: '', tagName: 'Property', children: [], valueXml: '', valueText: '', attributes: {} } as FcstdProperty]]) as never });\n  const toLocal = makeInverseTransformer(skPl.q, skPl.p);\n\n  const kernel: {\n    fromBREP: (s: string) => unknown;\n    wireframe: (s: unknown, deflection: number) => { points: Float32Array; edgeGroups: number[] };\n  } = (await initOcctWasm()) as never;\n\n  const brpCache = new Map<string, { points: Float32Array; edgeGroups: number[] } | undefined>();\n  const wireframeOf = (objName: string) => {\n    if (brpCache.has(objName)) return brpCache.get(objName);\n    const src = doc.objects.find((o) => o.name === objName);\n    const brpFile = src ? shapeBrpFile(src) : undefined;\n    if (!brpFile) {\n      brpCache.set(objName, undefined);\n      return undefined;\n    }\n    const brp = memberText(archive, brpFile);\n    if (!brp) {\n      brpCache.set(objName, undefined);\n      return undefined;\n    }\n    try {\n      const shape = kernel.fromBREP(brp);\n      const wf = kernel.wireframe(shape, 0.01);\n      brpCache.set(objName, wf);\n      return wf;\n    } catch {\n      brpCache.set(objName, undefined);\n      return undefined;\n    }\n  };\n\n  for (const link of listEl.children) {\n    const obj = link.attributes['obj'] ?? '';\n    const sub = link.attributes['sub'] ?? '';\n    const ord = Number(sub.replace('Edge', ''));\n    if (!obj || !sub.startsWith('Edge') || !Number.isInteger(ord) || ord < 1) {\n      failures.push({ obj, sub, reason: `unsupported sub-element: ${sub}` });\n      continue;\n    }\n    const wf = wireframeOf(obj);\n    if (!wf) {\n      failures.push({ obj, sub, reason: 'source shape not loadable' });\n      continue;\n    }\n    const idx = ord - 1; // Edge13 → edgeGroups[12]\n    const g0 = wf.edgeGroups[idx * 3];\n    const g1 = wf.edgeGroups[idx * 3 + 1];\n    if (g0 === undefined || g1 === undefined) {\n      failures.push({ obj, sub, reason: `edge ordinal out of range (${wf.edgeGroups.length / 3} edges)` });\n      continue;\n    }\n    const n = Math.floor(g1 / 3);\n    const polyline: [number, number][] = [];\n    for (let p = 0; p < n; p++) {\n      const w: [number, number, number] = [\n        wf.points[g0 + p * 3]!, wf.points[g0 + p * 3 + 1]!, wf.points[g0 + p * 3 + 2]!,\n      ];\n      const l = toLocal(w);\n      polyline.push([l[0], l[1]]);\n    }\n    // drop consecutive duplicates\n    const deduped = polyline.filter(\n      (pt, i) => i === 0 || Math.hypot(pt[0] - polyline[i - 1]![0], pt[1] - polyline[i - 1]![1]) > 1e-9,\n    );\n    if (deduped.length >= 2) links.push({ obj, sub, polyline: deduped });\n    else failures.push({ obj, sub, reason: 'degenerate polyline' });\n  }\n  return { links, failures };\n}\n"]}

package/dist/fcstd/feature-translate.d.ts

@@ -27,6 +27,14 @@ export interface CadCall {
     literals?: unknown[];
     /** FCStd object this call came from */
     source: string;
+    /**
+     * When true, `inputs` is bookkeeping-only (dependency tracking / variable
+     * remapping / consumed-set) and must NOT be rendered as positional args —
+     * the real args come from `params`. Used by params-only ops like
+     * `cad.compound` whose members live in `params.members` (rendering `inputs`
+     * positionally would shadow `params`).
+     */
+    noPositionalArgs?: boolean;
 }
 /**
  * A raw JS expression argument that M5 renders verbatim instead of JSON-encoding.
@@ -69,6 +77,14 @@ export type TranslateVerdict = {
     kind: 'preserved-only';
     reason: string;
 };
+/**
+ * H7 (hole_puzzle corpus, 2026-09-20): marker input for a subtract whose base
+ * is implied by the Body's feature order (no explicit BaseFeature property).
+ * Codegen retargets this at the chain head when folding the feature into its
+ * Body chain. Never a legal variable name (contains `::`), so it cannot be
+ * confused with a real input.
+ */
+export declare const BODY_CHAIN_BASE = "::body-chain-base::";
 /**
  * True when the object type is on the M4.1 translation whitelist.
  *
@@ -161,9 +177,13 @@ export declare function placementPos(obj: FcstdObject): [number, number, number]
  *   its geometry (sketch contours or prior solid).
  * @param docObjects - the full document object list, needed by the UpToFace
  *   datum-plane path; optional.
+ * @param shapeCarriers - objects whose Shape is stored as a .brp member; optional.
+ * @param brokenShapeAssets - objects whose Shape `file` attribute points at a missing/empty member (explicit gap); optional.
  * @returns the cad-op call plan, or an explicit bake/preserve verdict with reason.
  */
 export declare function translateObject(obj: FcstdObject, inputVar: (depName: string) => string | undefined, docObjects?: readonly FcstdObject[], 
 /** H7: names of objects whose Shape is stored as a .brp member (probed from the ZIP). */
-shapeCarriers?: ReadonlySet<string>): TranslateVerdict;
+shapeCarriers?: ReadonlySet<string>, 
+/** E4: objects whose Shape `file` attribute points at a missing/empty member. */
+brokenShapeAssets?: ReadonlySet<string>): TranslateVerdict;
 //# sourceMappingURL=feature-translate.d.ts.map

package/dist/fcstd/feature-translate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"feature-translate.d.ts","sourceRoot":"","sources":["../../src/fcstd/feature-translate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAyB,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGjF;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,kCAAkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,gFAAgF;IAChF,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,gFAAgF;IAChF,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC;IACrB,uCAAuC;IACvC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,MAAM;IACrB,qDAAqD;IACrD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE3C;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,MAAM,CAEhD;AAED;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,OAAO,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAuB/C;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEnD;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAMxD;AAeD;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAKjG;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAG7E;AAoBD;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GACnB,QAAQ,GAAG,YAAY,GAAG,UAAU,GAAG,WAAW,GAAG,UAAU,GAAG,YAAY,GAAG,SAAS,CAAC;AAW/F;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,GAAG,QAAQ,GAAG,WAAW,CAMnF;AAwED;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG;IAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,SAAS,CAYxI;AAWD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,WAAW,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CASvE;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EACjD,UAAU,CAAC,EAAE,SAAS,WAAW,EAAE;AACnC,yFAAyF;AACzF,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAClC,gBAAgB,CAkgBlB"}
+{"version":3,"file":"feature-translate.d.ts","sourceRoot":"","sources":["../../src/fcstd/feature-translate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAsC,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAI9F;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,kCAAkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,gFAAgF;IAChF,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,gFAAgF;IAChF,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC;IACrB,uCAAuC;IACvC,MAAM,EAAE,MAAM,CAAC;IACf;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,MAAM;IACrB,qDAAqD;IACrD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE3C;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,MAAM,CAEhD;AAED;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,OAAO,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/C;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,wBAAwB,CAAC;AAuBrD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEnD;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAMxD;AAeD;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAYjG;AAKD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAG7E;AAoBD;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GACnB,QAAQ,GAAG,YAAY,GAAG,UAAU,GAAG,WAAW,GAAG,UAAU,GAAG,YAAY,GAAG,SAAS,CAAC;AAW/F;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,GAAG,QAAQ,GAAG,WAAW,CAMnF;AAwED;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG;IAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,SAAS,CAYxI;AAWD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,WAAW,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CASvE;AAqCD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EACjD,UAAU,CAAC,EAAE,SAAS,WAAW,EAAE;AACnC,yFAAyF;AACzF,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC;AACnC,iFAAiF;AACjF,iBAAiB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GACtC,gBAAgB,CA4jBlB"}

package/dist/fcstd/feature-translate.js

@@ -1,5 +1,6 @@
-import { parseExpressionEngine } from './expressions.js';
+import { parseExpressionEngine, evalWithDoc } from './expressions.js';
 import { placementOf, quatToMatrix } from './placement.js';
+import { shapeBrpFile } from './external-geo.js';
 /**
  * Wrap raw JS source as a verbatim argument (`JsExpr`).
  *
@@ -18,6 +19,14 @@ export function jsExpr(code) {
 export function isJsExpr(v) {
     return typeof v === 'object' && v !== null && typeof v.__jsExpr === 'string';
 }
+/**
+ * H7 (hole_puzzle corpus, 2026-09-20): marker input for a subtract whose base
+ * is implied by the Body's feature order (no explicit BaseFeature property).
+ * Codegen retargets this at the chain head when folding the feature into its
+ * Body chain. Never a legal variable name (contains `::`), so it cannot be
+ * confused with a real input.
+ */
+export const BODY_CHAIN_BASE = '::body-chain-base::';
 /** M4.1 whitelist (plan §5.5.5 measurable types only). */
 const WHITELIST = new Set([
     'Part::Box',
@@ -95,8 +104,18 @@ export function expressionBindingOf(obj, name) {
     if (bindings.length === 0)
         return undefined;
     const norm = (p) => (p.startsWith('.') ? p.slice(1) : p);
-    return bindings.find((b) => norm(b.path) === name);
+    const b = bindings.find((b) => norm(b.path) === name);
+    // P1-1（参数载体）：非常量绑定尝试三跳解析（<<Label>>.Alias → 单元格值）。
+    // docObjects 由 translateObject 入口注入（模块级上下文，见 docContext）。
+    if (b && b.value === undefined && docContext) {
+        const v = evalWithDoc(b.expression, docContext);
+        if (v !== undefined)
+            return { ...b, value: v };
+    }
+    return b;
 }
+/** P1-1: translateObject 入口注入的文档对象上下文（表达式的引用解析需要全文档）。 */
+let docContext;
 /**
  * M11.2: detect a non-constant expression binding on a property.
  *
@@ -278,6 +297,40 @@ export function placementPos(obj) {
         Number(pp.attributes['Pz'] ?? 0),
     ];
 }
+/**
+ * A frozen `.brp` shape delivered through the container's `assets/` becomes an
+ * addressable Shape via `cad.import_brep` — the **platform** BREP-asset import
+ * op (`api/import-brep.ts`), which reads through the host asset resolver and
+ * returns a BREP-backed Shape the rest of the chain can consume.
+ *
+ * GOTCHA (2026-09-21, found while verifying ArchDetail): the shape-asset rounds
+ * used to emit a made-up `cad.import_shape`, which is **not** in the cad
+ * namespace. 42 of the 50 corpus products therefore parsed clean but could not
+ * RUN — `cliCheck` validates syntax and script-local references, never the
+ * callee's existence, so only a real `run --mode brep` exposes this.
+ *
+ * Contract details:
+ * - asset: the asset file name WITHOUT extension — that is the key rule of the
+ *   documented directory mode of `FsAssetResolver` (`key = basename(file)`),
+ *   which is how a container's `assets/` directory is exposed.
+ *
+ * C6 (non-solid first-class): `cad.import_brep` always imports with
+ * `allowNonSolid` (wire/face/shell are first-class). There is no `format`
+ * hint — the op goes straight to `loadBrep` on the OCCT kernel, which needs
+ * no format detection. Booleans / up-to targets that require a solid still
+ * fail at the **use site**, never at the import site.
+ *
+ * @param obj - the FCStd object whose frozen shape is being imported.
+ * @param assetFile - the `.brp` member name recorded on the object's Shape/SubShape property.
+ * @returns the `cad.import_brep` call binding `obj.name` to the imported geometry.
+ */
+function shapeAssetCall(obj, assetFile) {
+    const asset = assetFile.replace(/^.*[/\\]/, '').replace(/\.brp$/i, '');
+    return {
+        out: obj.name, op: 'cad.import_brep', source: obj.name, inputs: [],
+        params: { asset },
+    };
+}
 /**
  * M4 translate one object. `inputVar` maps a dependency object name to the
  * variable holding its geometry (sketch contours or prior solid).
@@ -291,12 +344,59 @@ export function placementPos(obj) {
  *   its geometry (sketch contours or prior solid).
  * @param docObjects - the full document object list, needed by the UpToFace
  *   datum-plane path; optional.
+ * @param shapeCarriers - objects whose Shape is stored as a .brp member; optional.
+ * @param brokenShapeAssets - objects whose Shape `file` attribute points at a missing/empty member (explicit gap); optional.
  * @returns the cad-op call plan, or an explicit bake/preserve verdict with reason.
  */
 export function translateObject(obj, inputVar, docObjects, 
 /** H7: names of objects whose Shape is stored as a .brp member (probed from the ZIP). */
-shapeCarriers) {
+shapeCarriers, 
+/** E4: objects whose Shape `file` attribute points at a missing/empty member. */
+brokenShapeAssets) {
+    // P1-1（参数载体）：注入文档上下文，让 expressionBindingOf 能做
+    // <<Label>>.Alias 三跳解析（引用算术需要全文档找 Spreadsheet 数据源）。
+    if (docObjects)
+        docContext = docObjects;
+    // E4 (H12): a Shape/SubShape `file` attribute whose member is missing or
+    // zero-bytes in the archive is a BROKEN asset, not a shape-asset — surface
+    // it as an explicit convert-time gap instead of letting the object fall
+    // through to python-opaque (which would silently swallow the defect).
+    if (brokenShapeAssets?.has(obj.name)) {
+        return { kind: 'baked', reason: 'shape-asset-broken: frozen .brp member missing or empty' };
+    }
+    // H7 follow-up (Body-less CAM corpus, 2026-09-20): a SubShape property whose
+    // .brp member exists is the feature's own RESULT cache — the pocketed/
+    // filleted geometry is already a fact delivered via assets/. shape-asset
+    // beats an honest-but-useless dependency gap for Body-less files. Only
+    // SubShape qualifies (Pads also carry Shape in these files — they must keep
+    // the normal translation path).
+    if (shapeCarriers?.has(obj.name) && obj.properties.has('SubShape')) {
+        // The result cache is a real, addressable solid: downstream features
+        // (Fillet Base→Pocket, Cut Base→…) must resolve it as a variable, so the
+        // verdict emits a real load call instead of zero calls (hole_puzzle
+        // GOTCHA: zero-call objects got no codegen variable and consumers gapped
+        // with fillet-missing-base / cut-missing-dependency).
+        const assetFile = obj.properties.get('SubShape')?.children[0]?.attributes['file'] ?? `${obj.name}.SubShape.brp`;
+        return {
+            kind: 'translated',
+            calls: [shapeAssetCall(obj, assetFile)],
+            reason: 'shape-asset',
+        };
+    }
     if (!isWhitelisted(obj.type)) {
+        // GOTCHA (EngineBlock corpus, 2026-09-20): Shape-asset evidence PRECEDES
+        // python-opaque. Draft circles carry Proxy (python evidence) AND a real
+        // Shape .brp member; python-opaque baked them silently and downstream
+        // Part::Extrusion gapped with extrusion-missing-base. Geometry is an
+        // existing fact — import it.
+        if (shapeCarriers?.has(obj.name)) {
+            const assetFile = shapeBrpFile(obj) ?? `${obj.name}.Shape.brp`;
+            return {
+                kind: 'translated',
+                calls: [shapeAssetCall(obj, assetFile)],
+                reason: 'shape-asset',
+            };
+        }
         // H10: property-evidenced Python features bake legitimately (C4) —
         // auditMapping renames this reason to `python-baked`. Everything else is
         // a plain translation gap.
@@ -361,11 +461,16 @@ shapeCarriers) {
             if (vars.length === 0 || vars.some((v) => v === undefined)) {
                 return { kind: 'baked', reason: 'compound-missing-members' };
             }
+            // `Part::Compound` 是几何对象（`Part::Feature` 子类，带 Shape + Placement）。
+            // 用平台几何 compound（`cad.compound`，内核 `makeCompound`，持 OCCT 句柄，
+            // 可变换/可导出），不再借用 ../3d_editor 的结构分组 op `cad.group`。
+            // members 经 `params.members` 传递；`inputs` 仅作依赖登记（consumed / 变量重映射），
+            // 由 `noPositionalArgs` 保证不被 renderArgs 当作位置参数渲染。
             return {
                 kind: 'translated',
                 calls: [{
-                        out, op: 'cad.group', source: obj.name, inputs: vars,
-                        params: { members: vars },
+                        out, op: 'cad.compound', source: obj.name, inputs: vars,
+                        noPositionalArgs: true, params: { members: vars },
                     }],
             };
         }
@@ -593,7 +698,13 @@ shapeCarriers) {
             const midplane = propBool(obj, 'Midplane');
             const base = propLink(obj, 'BaseFeature');
             const profileVar = profile ? inputVar(profile) : undefined;
-            const baseVar = base ? inputVar(base) : undefined;
+            // GOTCHA (hole_puzzle corpus, 2026-09-20): FreeCAD 0.20+ PartDesign
+            // files routinely OMIT BaseFeature on interior features — the base is
+            // implied by the Body's feature order (chain head). A MISSING property
+            // is "no explicit base" → emit the subtract with the BODY_CHAIN_BASE
+            // marker; codegen retargets it at the chain head when folding. Only an
+            // EXPLICIT base that fails to resolve is a dependency gap.
+            const baseVar = base ? inputVar(base) : BODY_CHAIN_BASE;
             if (!profileVar || !baseVar)
                 return { kind: 'baked', reason: 'pocket-missing-dependency' };
             if (hasNonConstantBinding(obj, 'Length')) {
@@ -664,14 +775,19 @@ shapeCarriers) {
                 ];
                 return { kind: 'translated', reason: 'pocket-uptofirst-via-baseFeature', calls };
             }
-            if (ftype !== 'Length' && ftype !== 'TwoLengths') {
+            if (ftype !== 'Length' && ftype !== 'TwoLengths' && ftype !== 'ThroughAll') {
                 return { kind: 'baked', reason: `pocket-type-${ftype}-unsupported` };
             }
             if (midplane)
                 return { kind: 'baked', reason: 'pocket-midplane-unsupported' };
             // Pocket cuts INTO the material: extrude the profile opposite the normal
             // (or along it when Reversed), then subtract from base.
-            const signed = reversed ? len : -len;
+            // ThroughAll (hole_puzzle corpus, 2026-09-20): FreeCAD truncates the
+            // prism against the base solid, so a depth far beyond any realistic
+            // base extent is safe — the subtract is exact either way.
+            const THROUGH_ALL_DEPTH = 1e6;
+            const depth = ftype === 'ThroughAll' ? THROUGH_ALL_DEPTH : len;
+            const signed = reversed ? depth : -depth;
             const cutVar = `${out}_cut`;
             const calls = [{
                     out: cutVar, op: 'cad.extrude', source: obj.name, inputs: [profileVar], literals: [[0, 0, signed]], params: {},