@faicad/faijs-fcstd 0.17.0

package/dist/expressions.d.ts

@@ -0,0 +1,79 @@
+/**
+ * M6.2 — expression downgrade: <ExpressionEngine> → concrete values.
+ *
+ * Format (verified on TwoLengthsPadWithExpression.FCStd):
+ *   <ExpressionEngine count="N">
+ *     <Expression path="Length" expression="10 mm" />
+ *   </ExpressionEngine>
+ *
+ * Scope: constant expressions only — number literals with optional unit
+ * (mm/m/cm/in/deg/rad). Anything else (object references like Sketch.Constraints[3],
+ * arithmetic with identifiers, functions) is NOT evaluated: the consumer must
+ * 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;
+import type { FcstdObject } from './document.js';
+/**
+ * 三跳解析：`<<Label>>.Alias` / `Object.Alias` → 数据源对象 → 别名单元格 → 去掉
+ * 前导 `=` 后交给 evalConstantExpression。同表地址（`=B2*2` 里的 `B2`）再跳一次。
+ *
+ * @param docObjects 全文档对象（按 Label 或 name 匹配数据源）
+ * @param label 数据源标识（`<<Label>>` 内的 Label，或裸对象名）
+ * @param alias 单元格别名
+ * @returns 单元格值（mm），不可解析 → undefined
+ */
+export declare function spreadsheetAliasValue(docObjects: readonly FcstdObject[], label: string, alias: string): ExprValue;
+/**
+ * 带文档上下文的表达式求值：引用（`<<L>>.A` / `L.A` / 同表地址 `B2`）替换为
+ * 数值后，求值仅含常数与 + - * / ( ) 的算术。任何残留标识符 / 函数 → undefined
+ * （no heuristic fallback）。返回值单位跟随单元格（mm 语境，角度单元格调用方解释）。
+ *
+ * @param expr 待求值表达式原文。
+ * @param docObjects 文档对象表，用于解析引用（`<<L>>.A` / `L.A`）。
+ * @param self 调用方对象（Spreadsheet::Sheet 时启用同表地址 `B2` 解析）。可选。
+ * @returns 求值结果数值；含残留标识符 / 无法解析引用时返回 undefined。
+ */
+/**
+ * Evaluate a FreeCAD expression against the document objects.
+ * @param expr - the expression text (without the leading `=`).
+ * @param docObjects - the document objects visible to the expression.
+ * @param self - the object the expression is evaluated on, if any.
+ * @returns the evaluated expression value.
+ */
+export declare function evalWithDoc(expr: string, docObjects: readonly FcstdObject[], self?: FcstdObject): 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;
+    /** evaluated constant; undefined when not a constant expression */
+    value?: number;
+}
+/**
+ * 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.
+ * @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/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../src/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;AAUD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEjD;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,SAAS,WAAW,EAAE,EAClC,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACZ,SAAS,CAiBX;AAQD;;;;;;;;;GASG;AACH;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,SAAS,WAAW,EAAE,EAClC,IAAI,CAAC,EAAE,WAAW,GACjB,SAAS,CAuBX;AA6BD,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/expressions.js

@@ -0,0 +1,162 @@
+const UNIT_TO_MM = {
+    mm: 1, millimeter: 1,
+    cm: 10, centimeter: 10,
+    m: 1000, meter: 1000,
+    in: 25.4, inch: 25.4, '"': 25.4,
+    ft: 304.8, foot: 304.8,
+    // angles: value kept in the expression's own unit; callers interpret
+    deg: 1, degree: 1, '°': 1,
+    rad: 1, radian: 1,
+};
+/**
+ * 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();
+    // number [unit]
+    const m = /^([-+]?(?:\d+\.?\d*|\.\d+)(?:[eE][-+]?\d+)?)\s*([A-Za-z°"]*)$/.exec(s);
+    if (!m)
+        return undefined;
+    const value = Number(m[1]);
+    if (!Number.isFinite(value))
+        return undefined;
+    const unit = m[2];
+    if (unit === '')
+        return value;
+    const factor = UNIT_TO_MM[unit.toLowerCase()];
+    if (factor === undefined)
+        return undefined; // unknown unit → unsupported
+    return value * factor;
+}
+/**
+ * 三跳解析：`<<Label>>.Alias` / `Object.Alias` → 数据源对象 → 别名单元格 → 去掉
+ * 前导 `=` 后交给 evalConstantExpression。同表地址（`=B2*2` 里的 `B2`）再跳一次。
+ *
+ * @param docObjects 全文档对象（按 Label 或 name 匹配数据源）
+ * @param label 数据源标识（`<<Label>>` 内的 Label，或裸对象名）
+ * @param alias 单元格别名
+ * @returns 单元格值（mm），不可解析 → undefined
+ */
+export function spreadsheetAliasValue(docObjects, label, alias) {
+    const src = docObjects.find((o) => o.type === 'Spreadsheet::Sheet' &&
+        (objectLabel(o) === label || o.name === label));
+    if (!src)
+        return undefined;
+    // cells 属性（Spreadsheet::PropertySheet）的 <Cell address alias content/> 子元素
+    const cells = src.properties.get('cells') ?? [...src.properties.values()].find((p) => p.children.some((c) => c.tagName === 'Cell' || c.children.some((g) => g.tagName === 'Cell')));
+    if (!cells)
+        return undefined;
+    const cell = [...cells.children].flatMap((c) => (c.tagName === 'Cell' ? [c] : c.children))
+        .find((c) => c.tagName === 'Cell' && c.attributes['alias'] === alias);
+    if (!cell)
+        return undefined;
+    const content = cell.attributes['content'] ?? '';
+    // 去掉前导 =（同表地址/算术再走一次带上下文的求值，一跳深度足够语料头部）
+    return evalWithDoc(content.startsWith('=') ? content.slice(1) : content, docObjects, src);
+}
+/** 对象的 Label 属性（FreeCAD 引用 `<<Label>>` 用的是它，不是 name）。 */
+function objectLabel(o) {
+    const el = o.properties.get('Label')?.children[0];
+    return el?.attributes['value'] ?? (el?.valueText || undefined);
+}
+/**
+ * 带文档上下文的表达式求值：引用（`<<L>>.A` / `L.A` / 同表地址 `B2`）替换为
+ * 数值后，求值仅含常数与 + - * / ( ) 的算术。任何残留标识符 / 函数 → undefined
+ * （no heuristic fallback）。返回值单位跟随单元格（mm 语境，角度单元格调用方解释）。
+ *
+ * @param expr 待求值表达式原文。
+ * @param docObjects 文档对象表，用于解析引用（`<<L>>.A` / `L.A`）。
+ * @param self 调用方对象（Spreadsheet::Sheet 时启用同表地址 `B2` 解析）。可选。
+ * @returns 求值结果数值；含残留标识符 / 无法解析引用时返回 undefined。
+ */
+/**
+ * Evaluate a FreeCAD expression against the document objects.
+ * @param expr - the expression text (without the leading `=`).
+ * @param docObjects - the document objects visible to the expression.
+ * @param self - the object the expression is evaluated on, if any.
+ * @returns the evaluated expression value.
+ */
+export function evalWithDoc(expr, docObjects, self) {
+    let s = expr.trim();
+    // 引用替换：<<Label>>.Alias | Label.Alias | Object.Alias（标识符.标识符）
+    s = s.replace(/<<([^>]+)>>\.([A-Za-z_][A-Za-z0-9_]*)|([A-Za-z_][A-Za-z0-9_]*)\.([A-Za-z_][A-Za-z0-9_]*)/g, (whole, brLabel, brAlias, plLabel, plAlias) => {
+        const label = brLabel ?? plLabel;
+        const alias = brAlias ?? plAlias;
+        const v = spreadsheetAliasValue(docObjects, label, alias);
+        return v === undefined ? whole : `(${v})`;
+    });
+    // 同表地址（self 表内 address→alias 值，如 `B2` / `B2*2`）：仅当 self 是表
+    if (self?.type === 'Spreadsheet::Sheet') {
+        s = s.replace(/\b([A-Z]+[0-9]+)\b/g, (whole, addr) => {
+            const v = spreadsheetAddressValue(self, addr, docObjects);
+            return v === undefined ? whole : `(${v})`;
+        });
+    }
+    // 单元格值自带单位（=5.9mm）——先按「常数+单位」求值（evalConstantExpression
+    // 的既有口径），再进纯算术；单位记号在算术前剥离（返回值跟随 mm 语境）。
+    const constant = evalConstantExpression(s);
+    if (constant !== undefined)
+        return constant;
+    s = s.replace(/\b(mm|millimeter|cm|centimeter|m|meter|in|inch|"|ft|foot|deg|degree|°|rad|radian)\b/g, '');
+    return evalArithmetic(s);
+}
+/** 同表地址取值：address → 该单元格 content（递归经 evalWithDoc，一跳深度）。 */
+function spreadsheetAddressValue(sheet, address, docObjects) {
+    const cells = sheet.properties.get('cells');
+    if (!cells)
+        return undefined;
+    const cell = [...cells.children].flatMap((c) => (c.tagName === 'Cell' ? [c] : c.children))
+        .find((c) => c.tagName === 'Cell' && c.attributes['address'] === address);
+    if (!cell)
+        return undefined;
+    const content = cell.attributes['content'] ?? '';
+    return evalWithDoc(content.startsWith('=') ? content.slice(1) : content, docObjects, sheet);
+}
+/** 仅含数字与 + - * / ( ) 空格的算术求值；任何其它字符 → undefined。 */
+function evalArithmetic(s) {
+    if (!/^[-+*/(). 0-9eE]*$/.test(s))
+        return undefined;
+    try {
+        const v = Function(`"use strict"; return (${s});`)();
+        return typeof v === 'number' && Number.isFinite(v) ? v : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+/**
+ * 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];
+    if (!engineEl)
+        return [];
+    const out = [];
+    for (const el of engineEl.children) {
+        if (el.tagName !== 'Expression')
+            continue;
+        const path = el.attributes['path'] ?? '';
+        const expression = el.attributes['expression'] ?? '';
+        out.push({ path, expression, value: evalConstantExpression(expression) });
+    }
+    return out;
+}
+/**
+ * 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);
+}
+//# sourceMappingURL=expressions.js.map

package/dist/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../src/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;AAYD;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAkC,EAClC,KAAa,EACb,KAAa;IAEb,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oBAAoB;QACpC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CACjD,CAAC;IACF,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,0EAA0E;IAC1E,MAAM,KAAK,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACnF,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAC7F,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;SACvF,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;IACxE,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;IACjD,wCAAwC;IACxC,OAAO,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;AAC5F,CAAC;AAED,yDAAyD;AACzD,SAAS,WAAW,CAAC,CAAc;IACjC,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,EAAE,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,IAAI,SAAS,CAAC,CAAC;AACjE,CAAC;AAED;;;;;;;;;GASG;AACH;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CACzB,IAAY,EACZ,UAAkC,EAClC,IAAkB;IAElB,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACpB,6DAA6D;IAC7D,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,2FAA2F,EACvG,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE;QAC5C,MAAM,KAAK,GAAG,OAAO,IAAI,OAAO,CAAC;QACjC,MAAM,KAAK,GAAG,OAAO,IAAI,OAAO,CAAC;QACjC,MAAM,CAAC,GAAG,qBAAqB,CAAC,UAAU,EAAE,KAAM,EAAE,KAAM,CAAC,CAAC;QAC5D,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;IAC5C,CAAC,CAAC,CAAC;IACL,2DAA2D;IAC3D,IAAI,IAAI,EAAE,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACxC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,CAAC,KAAK,EAAE,IAAY,EAAE,EAAE;YAC3D,MAAM,CAAC,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YAC1D,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC;IACD,uDAAuD;IACvD,wCAAwC;IACxC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,sFAAsF,EAAE,EAAE,CAAC,CAAC;IAC1G,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,2DAA2D;AAC3D,SAAS,uBAAuB,CAC9B,KAAkB,EAClB,OAAe,EACf,UAAkC;IAElC,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;SACvF,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,OAAO,CAAC,CAAC;IAC5E,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;IACjD,OAAO,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;AAC9F,CAAC;AAED,oDAAoD;AACpD,SAAS,cAAc,CAAC,CAAS;IAC/B,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,QAAQ,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAa,CAAC;QAChE,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,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":["/**\n * M6.2 — expression downgrade: <ExpressionEngine> → concrete values.\n *\n * Format (verified on TwoLengthsPadWithExpression.FCStd):\n *   <ExpressionEngine count=\"N\">\n *     <Expression path=\"Length\" expression=\"10 mm\" />\n *   </ExpressionEngine>\n *\n * Scope: constant expressions only — number literals with optional unit\n * (mm/m/cm/in/deg/rad). Anything else (object references like Sketch.Constraints[3],\n * arithmetic with identifiers, functions) is NOT evaluated: the consumer must\n * treat the property as unknown and degrade (no heuristic fallback, plan §12).\n */\nimport type { FcstdProperty } from './document.js';\n\n/** Evaluated expression result in mm (angles keep their own unit): a number, or undefined when unsupported. */\nexport type ExprValue = number | undefined;\n\nconst UNIT_TO_MM: Record<string, number> = {\n  mm: 1, millimeter: 1,\n  cm: 10, centimeter: 10,\n  m: 1000, meter: 1000,\n  in: 25.4, inch: 25.4, '\"': 25.4,\n  ft: 304.8, foot: 304.8,\n  // angles: value kept in the expression's own unit; callers interpret\n  deg: 1, degree: 1, '°': 1,\n  rad: 1, radian: 1,\n};\n\n/**\n * Evaluate a constant expression. Returns undefined when the expression is\n * not a bare constant (reference/arithmetic/function) — explicit unsupported,\n * no guessing.\n *\n * @param expr raw expression string (e.g. \"10 mm\")\n * @returns the value in mm, or undefined when not a constant expression\n */\nexport function evalConstantExpression(expr: string): ExprValue {\n  const s = expr.trim();\n  // number [unit]\n  const m = /^([-+]?(?:\\d+\\.?\\d*|\\.\\d+)(?:[eE][-+]?\\d+)?)\\s*([A-Za-z°\"]*)$/.exec(s);\n  if (!m) return undefined;\n  const value = Number(m[1]);\n  if (!Number.isFinite(value)) return undefined;\n  const unit = m[2]!;\n  if (unit === '') return value;\n  const factor = UNIT_TO_MM[unit.toLowerCase()];\n  if (factor === undefined) return undefined; // unknown unit → unsupported\n  return value * factor;\n}\n\n// ── P1-1 参数载体（2026-09-23）：Spreadsheet 别名三跳解析 + 引用算术 ──\n//\n// 语料实测（B2 / probe-param-cells，见 2026-09-21 方案 §3.9）：<Expression> 的\n// 绝对头部是 `<<Label>>.Alias`（1,377 条）与引用参与的算术（657 条），而带别名\n// 的参数单元格 84.8% 就是「=5.9mm」形态——现有 evalConstantExpression 已能算值，\n// 缺的只是三跳：<<Data>> → 按 Label 找对象 → 按 alias 找单元格 → 去掉前导 =。\n// 函数族 / cells[...] 区间仍不猜（no heuristic fallback，方案 §12）。\n\nimport type { FcstdObject } from './document.js';\n\n/**\n * 三跳解析：`<<Label>>.Alias` / `Object.Alias` → 数据源对象 → 别名单元格 → 去掉\n * 前导 `=` 后交给 evalConstantExpression。同表地址（`=B2*2` 里的 `B2`）再跳一次。\n *\n * @param docObjects 全文档对象（按 Label 或 name 匹配数据源）\n * @param label 数据源标识（`<<Label>>` 内的 Label，或裸对象名）\n * @param alias 单元格别名\n * @returns 单元格值（mm），不可解析 → undefined\n */\nexport function spreadsheetAliasValue(\n  docObjects: readonly FcstdObject[],\n  label: string,\n  alias: string,\n): ExprValue {\n  const src = docObjects.find(\n    (o) => o.type === 'Spreadsheet::Sheet' &&\n      (objectLabel(o) === label || o.name === label),\n  );\n  if (!src) return undefined;\n  // cells 属性（Spreadsheet::PropertySheet）的 <Cell address alias content/> 子元素\n  const cells = src.properties.get('cells') ?? [...src.properties.values()].find((p) =>\n    p.children.some((c) => c.tagName === 'Cell' || c.children.some((g) => g.tagName === 'Cell')),\n  );\n  if (!cells) return undefined;\n  const cell = [...cells.children].flatMap((c) => (c.tagName === 'Cell' ? [c] : c.children))\n    .find((c) => c.tagName === 'Cell' && c.attributes['alias'] === alias);\n  if (!cell) return undefined;\n  const content = cell.attributes['content'] ?? '';\n  // 去掉前导 =（同表地址/算术再走一次带上下文的求值，一跳深度足够语料头部）\n  return evalWithDoc(content.startsWith('=') ? content.slice(1) : content, docObjects, src);\n}\n\n/** 对象的 Label 属性（FreeCAD 引用 `<<Label>>` 用的是它，不是 name）。 */\nfunction objectLabel(o: FcstdObject): string | undefined {\n  const el = o.properties.get('Label')?.children[0];\n  return el?.attributes['value'] ?? (el?.valueText || undefined);\n}\n\n/**\n * 带文档上下文的表达式求值：引用（`<<L>>.A` / `L.A` / 同表地址 `B2`）替换为\n * 数值后，求值仅含常数与 + - * / ( ) 的算术。任何残留标识符 / 函数 → undefined\n * （no heuristic fallback）。返回值单位跟随单元格（mm 语境，角度单元格调用方解释）。\n *\n * @param expr 待求值表达式原文。\n * @param docObjects 文档对象表，用于解析引用（`<<L>>.A` / `L.A`）。\n * @param self 调用方对象（Spreadsheet::Sheet 时启用同表地址 `B2` 解析）。可选。\n * @returns 求值结果数值；含残留标识符 / 无法解析引用时返回 undefined。\n */\n/**\n * Evaluate a FreeCAD expression against the document objects.\n * @param expr - the expression text (without the leading `=`).\n * @param docObjects - the document objects visible to the expression.\n * @param self - the object the expression is evaluated on, if any.\n * @returns the evaluated expression value.\n */\nexport function evalWithDoc(\n  expr: string,\n  docObjects: readonly FcstdObject[],\n  self?: FcstdObject,\n): ExprValue {\n  let s = expr.trim();\n  // 引用替换：<<Label>>.Alias | Label.Alias | Object.Alias（标识符.标识符）\n  s = s.replace(/<<([^>]+)>>\\.([A-Za-z_][A-Za-z0-9_]*)|([A-Za-z_][A-Za-z0-9_]*)\\.([A-Za-z_][A-Za-z0-9_]*)/g,\n    (whole, brLabel, brAlias, plLabel, plAlias) => {\n      const label = brLabel ?? plLabel;\n      const alias = brAlias ?? plAlias;\n      const v = spreadsheetAliasValue(docObjects, label!, alias!);\n      return v === undefined ? whole : `(${v})`;\n    });\n  // 同表地址（self 表内 address→alias 值，如 `B2` / `B2*2`）：仅当 self 是表\n  if (self?.type === 'Spreadsheet::Sheet') {\n    s = s.replace(/\\b([A-Z]+[0-9]+)\\b/g, (whole, addr: string) => {\n      const v = spreadsheetAddressValue(self, addr, docObjects);\n      return v === undefined ? whole : `(${v})`;\n    });\n  }\n  // 单元格值自带单位（=5.9mm）——先按「常数+单位」求值（evalConstantExpression\n  // 的既有口径），再进纯算术；单位记号在算术前剥离（返回值跟随 mm 语境）。\n  const constant = evalConstantExpression(s);\n  if (constant !== undefined) return constant;\n  s = s.replace(/\\b(mm|millimeter|cm|centimeter|m|meter|in|inch|\"|ft|foot|deg|degree|°|rad|radian)\\b/g, '');\n  return evalArithmetic(s);\n}\n\n/** 同表地址取值：address → 该单元格 content（递归经 evalWithDoc，一跳深度）。 */\nfunction spreadsheetAddressValue(\n  sheet: FcstdObject,\n  address: string,\n  docObjects: readonly FcstdObject[],\n): ExprValue {\n  const cells = sheet.properties.get('cells');\n  if (!cells) return undefined;\n  const cell = [...cells.children].flatMap((c) => (c.tagName === 'Cell' ? [c] : c.children))\n    .find((c) => c.tagName === 'Cell' && c.attributes['address'] === address);\n  if (!cell) return undefined;\n  const content = cell.attributes['content'] ?? '';\n  return evalWithDoc(content.startsWith('=') ? content.slice(1) : content, docObjects, sheet);\n}\n\n/** 仅含数字与 + - * / ( ) 空格的算术求值；任何其它字符 → undefined。 */\nfunction evalArithmetic(s: string): ExprValue {\n  if (!/^[-+*/(). 0-9eE]*$/.test(s)) return undefined;\n  try {\n    const v = Function(`\"use strict\"; return (${s});`)() as unknown;\n    return typeof v === 'number' && Number.isFinite(v) ? v : undefined;\n  } catch {\n    return undefined;\n  }\n}\n\n\n/** One <Expression path=... expression=...> binding with its optional constant value. */\nexport interface ExpressionBinding {\n  /** property path the expression drives (e.g. \"Length\") */\n  path: string;\n  /** raw expression string */\n  expression: string;\n  /** evaluated constant; undefined when not a constant expression */\n  value?: number;\n}\n\n/**\n * Extract expression bindings from a parsed ExpressionEngine property.\n * `bindable` = every expression evaluated to a constant (then the property\n * values can be overridden); otherwise the engine is only partially readable.\n *\n * @param prop the parsed <ExpressionEngine> property (undefined → no bindings)\n * @returns one binding per <Expression> child, values evaluated\n */\nexport function parseExpressionEngine(\n  prop: FcstdProperty | undefined,\n): ExpressionBinding[] {\n  const engineEl = prop?.children[0];\n  if (!engineEl) return [];\n  const out: ExpressionBinding[] = [];\n  for (const el of engineEl.children) {\n    if (el.tagName !== 'Expression') continue;\n    const path = el.attributes['path'] ?? '';\n    const expression = el.attributes['expression'] ?? '';\n    out.push({ path, expression, value: evalConstantExpression(expression) });\n  }\n  return out;\n}\n\n/**\n * True when all bindings are constants → safe to override property values.\n * @param bindings bindings extracted by parseExpressionEngine\n * @returns true when there is at least one binding and every value is defined\n */\nexport function allConstant(bindings: ExpressionBinding[]): boolean {\n  return bindings.length > 0 && bindings.every((b) => b.value !== undefined);\n}\n"]}

package/dist/external-geo.d.ts

@@ -0,0 +1,49 @@
+import { type FcstdArchive } from './unpack.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;
+    /** sub-element name, e.g. "Edge13" */
+    sub: string;
+    /** 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: {
+        obj: string;
+        sub: string;
+        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.
+ *
+ * @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/external-geo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-geo.d.ts","sourceRoot":"","sources":["../src/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/external-geo.js

@@ -0,0 +1,140 @@
+/**
+ * M6.3 — external geometry resolution: decode ExternalGeometry links
+ * (App::PropertyLinkSubList), load the source object's .brp via OCCT,
+ * extract the named edge polyline (TopExp::MapShapes + IndexedMap order —
+ * Edge13 = wireframe edgeGroups[12], verified against hole_puzzle.fcstd),
+ * and project it into sketch-local 2D via the sketch Placement inverse.
+ *
+ * Result: fixed 2D segments/points that the solver treats as immutable
+ * constraints targets (geoId -3, -4, ... in link order).
+ */
+import { initOcctWasm } from '@faicad/faijs/occt-kernel/occtKernel';
+import { memberText } from './unpack.js';
+/** Quaternion (x,y,z,w) inverse-rotate + translate into sketch-local frame. */
+function makeInverseTransformer(q, p) {
+    const n = Math.hypot(q[0], q[1], q[2], q[3]);
+    const [qx, qy, qz, qw] = [-q[0] / n, -q[1] / n, -q[2] / n, q[3] / n]; // conjugate
+    return (w) => {
+        // local = R⁻¹ · (world − P): subtract the translation FIRST, then rotate
+        // by the conjugate quaternion. GOTCHA (probe-hole-ext.ts): rotating first
+        // and subtracting after (R⁻¹·v − P) is only correct for identity rotation
+        // — with Sketch005's 90° placement it shifted projected points by the
+        // rotated translation (−140,30 instead of (−40,40)) and the solver chased
+        // the wrong frame (delta 1.0e2).
+        const [vx, vy, vz] = [w[0] - p[0], w[1] - p[1], w[2] - p[2]];
+        const tx = 2 * (qy * vz - qz * vy);
+        const ty = 2 * (qz * vx - qx * vz);
+        const tz = 2 * (qx * vy - qy * vx);
+        const rx = vx + qw * tx + (qy * tz - qz * ty);
+        const ry = vy + qw * ty + (qz * tx - qx * tz);
+        const rz = vz + qw * tz + (qx * ty - qy * tx);
+        return [rx, ry, rz];
+    };
+}
+function placementOf(obj) {
+    const el = obj.properties.get('Placement')?.children[0];
+    const a = el?.attributes ?? {};
+    return {
+        p: [Number(a['Px'] ?? 0), Number(a['Py'] ?? 0), Number(a['Pz'] ?? 0)],
+        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.
+ *
+ * @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 = [];
+    const failures = [];
+    const listEl = externalGeoProp?.children[0];
+    if (!listEl)
+        return { links, failures };
+    const skPl = placementOf({ name: '', type: '', properties: new Map([['Placement', sketchPlacement ?? { name: 'Placement', type: '', tagName: 'Property', children: [], valueXml: '', valueText: '', attributes: {} }]]) });
+    const toLocal = makeInverseTransformer(skPl.q, skPl.p);
+    const kernel = (await initOcctWasm());
+    const brpCache = new Map();
+    const wireframeOf = (objName) => {
+        if (brpCache.has(objName))
+            return brpCache.get(objName);
+        const src = doc.objects.find((o) => o.name === objName);
+        const brpFile = src ? shapeBrpFile(src) : undefined;
+        if (!brpFile) {
+            brpCache.set(objName, undefined);
+            return undefined;
+        }
+        const brp = memberText(archive, brpFile);
+        if (!brp) {
+            brpCache.set(objName, undefined);
+            return undefined;
+        }
+        try {
+            const shape = kernel.fromBREP(brp);
+            const wf = kernel.wireframe(shape, 0.01);
+            brpCache.set(objName, wf);
+            return wf;
+        }
+        catch {
+            brpCache.set(objName, undefined);
+            return undefined;
+        }
+    };
+    for (const link of listEl.children) {
+        const obj = link.attributes['obj'] ?? '';
+        const sub = link.attributes['sub'] ?? '';
+        const ord = Number(sub.replace('Edge', ''));
+        if (!obj || !sub.startsWith('Edge') || !Number.isInteger(ord) || ord < 1) {
+            failures.push({ obj, sub, reason: `unsupported sub-element: ${sub}` });
+            continue;
+        }
+        const wf = wireframeOf(obj);
+        if (!wf) {
+            failures.push({ obj, sub, reason: 'source shape not loadable' });
+            continue;
+        }
+        const idx = ord - 1; // Edge13 → edgeGroups[12]
+        const g0 = wf.edgeGroups[idx * 3];
+        const g1 = wf.edgeGroups[idx * 3 + 1];
+        if (g0 === undefined || g1 === undefined) {
+            failures.push({ obj, sub, reason: `edge ordinal out of range (${wf.edgeGroups.length / 3} edges)` });
+            continue;
+        }
+        const n = Math.floor(g1 / 3);
+        const polyline = [];
+        for (let p = 0; p < n; p++) {
+            const w = [
+                wf.points[g0 + p * 3], wf.points[g0 + p * 3 + 1], wf.points[g0 + p * 3 + 2],
+            ];
+            const l = toLocal(w);
+            polyline.push([l[0], l[1]]);
+        }
+        // drop consecutive duplicates
+        const deduped = polyline.filter((pt, i) => i === 0 || Math.hypot(pt[0] - polyline[i - 1][0], pt[1] - polyline[i - 1][1]) > 1e-9);
+        if (deduped.length >= 2)
+            links.push({ obj, sub, polyline: deduped });
+        else
+            failures.push({ obj, sub, reason: 'degenerate polyline' });
+    }
+    return { links, failures };
+}
+//# sourceMappingURL=external-geo.js.map

package/dist/external-geo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-geo.js","sourceRoot":"","sources":["../src/external-geo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,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 '@faicad/faijs/occt-kernel/occtKernel';\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"]}