@faicad/faijs 0.13.2 → 0.16.0

package/dist/api/surface/projection-overrides.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"projection-overrides.d.ts","sourceRoot":"","sources":["../../../src/api/surface/projection-overrides.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,QAAQ;IACvB,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAA;IACrD,IAAI,CAAC,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,QAAQ,CAAA;IAC1C,SAAS,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,SAAS,CAAA;IACtE,qCAAqC;IACrC,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,4BAA4B;IAC5B,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,sBAAsB;IACtB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,sBAAsB;IACtB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,sBAAsB;IACtB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,sBAAsB;IACtB,IAAI,EAAE,MAAM,CAAA;CACb;AAED;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAmJ9C,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAG,SAAkB,CAAA"}
+{"version":3,"file":"projection-overrides.d.ts","sourceRoot":"","sources":["../../../src/api/surface/projection-overrides.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,QAAQ;IACvB,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAA;IACrD,IAAI,CAAC,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,QAAQ,CAAA;IAC1C,SAAS,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,SAAS,CAAA;IACtE,qCAAqC;IACrC,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,4BAA4B;IAC5B,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,sBAAsB;IACtB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,sBAAsB;IACtB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,sBAAsB;IACtB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,sBAAsB;IACtB,IAAI,EAAE,MAAM,CAAA;CACb;AAED;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAyJ9C,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAG,SAAkB,CAAA"}

package/dist/api/surface/projection-overrides.js

@@ -113,6 +113,12 @@ export const OVERRIDES = {
         semantics: 'ok',
         note: '§5.3: multi-product op but in current 27 — do not exclude by "single Shape" rule',
     },
+    transformCopy: {
+        kind: 'pure',
+        scriptFace: false,
+        semantics: 'ok',
+        note: 'scriptFace: ComposedTransform holds a kernel WASM handle — not constructible in .fai.js, so the script-face op is dead. Covered by clone+translate/rotate chains and locate. TS library surface keeps the plain re-export (non-op). Mirrors arg-spec skip.',
+    },
     // ── §1.3 A 类规则漏洞 ──
     io: {
         kind: 'skip',

package/dist/api/surface/projection-overrides.js.map

@@ -1 +1 @@
-{"version":3,"file":"projection-overrides.js","sourceRoot":"","sources":["../../../src/api/surface/projection-overrides.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAoBH;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAA6B;IACjD,yBAAyB;IACzB,GAAG,EAAE;QACH,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,aAAa;QACtB,MAAM,EAAE,0BAA0B;QAClC,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,+CAA+C;KACtD;IACD,MAAM,EAAE;QACN,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,gBAAgB;QACzB,MAAM,EAAE,0BAA0B;QAClC,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,oFAAoF;KAC3F;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,KAAK;QACX,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,6DAA6D;KACpE;IACD,MAAM,EAAE;QACN,IAAI,EAAE,KAAK;QACX,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,wCAAwC;KAC/C;IAED,uDAAuD;IACvD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,QAAQ,CAAC;QAC/C,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gDAAgD;KACvD;IACD,KAAK,EAAE;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC;QACtC,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gBAAgB;KACvB;IACD,SAAS,EAAE;QACT,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;QAC1B,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gBAAgB;KACvB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,6CAA6C;KACpD;IACD,GAAG,EAAE;QACH,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,OAAO,EAAE;QACP,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,OAAO,EAAE;QACP,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4DAA4D;KACnE;IACD,SAAS,EAAE;QACT,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4EAA4E;KACnF;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mDAAmD;KAC1D;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,iBAAiB,EAAE;QACjB,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,MAAM,EAAE;QACN,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IAED,+BAA+B;IAC/B,KAAK,EAAE;QACL,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,kFAAkF;KACzF;IAED,qBAAqB;IACrB,EAAE,EAAE;QACF,IAAI,EAAE,MAAM;QACZ,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,+DAA+D;KACtE;IAED,qEAAqE;IACrE,kBAAkB,EAAE;QAClB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4DAA4D;KACnE;IACD,gBAAgB,EAAE;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,2CAA2C;KAClD;IACD,UAAU,EAAE;QACV,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,2DAA2D;KAClE;IACD,gBAAgB,EAAE;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4DAA4D;KACnE;IAED,6EAA6E;IAC7E,OAAO,EAAE;QACP,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,wEAAwE;KAC/E;IACD,QAAQ,EAAE;QACR,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,uBAAuB;KAC9B;IACD,UAAU,EAAE;QACV,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4BAA4B;KACnC;IACD,gBAAgB,EAAE;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,kDAAkD;KACzD;CACF,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,SAAkB,CAAA","sourcesContent":["/**\n * projection-overrides — P2 例外覆盖表（唯一人工维护点）。\n *\n * 设计文档：docs/plans/2026-09-07-compat-surface-unified-projection.md §5.4 / §9.1\n *\n * 规模目标：约 60~80 条（对比现状 866 条手工表，维护量下降 ~90%）。\n * 每条 `exported` 条目必须有非 `unknown` 的 `semantics` 值（§8 验收 9）。\n */\n\nexport interface Override {\n  kind?: 'type' | 'pure' | 'query' | 'brep-op' | 'skip'\n  wrap?: 'raw' | 'guard' | 'dual' | 'custom'\n  semantics?: 'S1' | 'S2' | 'S3' | 'S4' | 'S5' | 'S6' | 'ok' | 'unknown'\n  /** wrap === 'custom' 时必填：手写适配器模块名 */\n  adapter?: string\n  /** D11 参数名表（对象形态 → 位置形态） */\n  params?: string[]\n  /** 脚本面准入（§5.3 第四层） */\n  scriptFace?: boolean\n  /** faijs 同名冲突时的导出名 */\n  rename?: string\n  /** 指定 vendored 源文件 */\n  source?: string\n  /** 必填：为什么这条不能被规则推导 */\n  note: string\n}\n\n/**\n * The exception override table (§5.4). Each entry overrides the classifier's\n * automatic derivation for a specific symbol. Keys are symbol names.\n * Entries with `semantics: 'unknown'` are forbidden from `exported` status (§8 ⑨).\n */\nexport const OVERRIDES: Record<string, Override> = {\n  // ── §3.6 手写面独有逻辑（4 类）──\n  box: {\n    wrap: 'custom',\n    adapter: 'box-adapter',\n    source: 'topology/primitiveFns.js',\n    semantics: 'ok',\n    note: '§3.6: {size} object form + custom E_ARGS_FORM',\n  },\n  rotate: {\n    wrap: 'custom',\n    adapter: 'rotate-adapter',\n    source: 'topology/transformFns.js',\n    semantics: 'ok',\n    note: '§3.6: upstream-18 {at,axis} options adapter (not transformFns four-arg positional)',\n  },\n  cylinder: {\n    wrap: 'raw',\n    semantics: 'ok',\n    note: 'P25: library authors want raw morph form (no kernel assert)',\n  },\n  sphere: {\n    wrap: 'raw',\n    semantics: 'ok',\n    note: 'P25: same as cylinder — raw morph form',\n  },\n\n  // ── §2.2 包装项（15 个已由 P1 从 compat-ast 解析，覆盖表只补充语义分级） ──\n  cone: {\n    wrap: 'dual',\n    params: ['bottomRadius', 'topRadius', 'height'],\n    semantics: 'ok',\n    note: '§2.2: wrapDual — kernel assert + D11 dual form',\n  },\n  torus: {\n    wrap: 'dual',\n    params: ['majorRadius', 'minorRadius'],\n    semantics: 'ok',\n    note: '§2.2: wrapDual',\n  },\n  ellipsoid: {\n    wrap: 'dual',\n    params: ['rx', 'ry', 'rz'],\n    semantics: 'ok',\n    note: '§2.2: wrapDual',\n  },\n  fuse: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded — kernel assert + forward',\n  },\n  cut: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  extrude: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  revolve: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  loft: {\n    wrap: 'guard',\n    scriptFace: false,\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded; Wire[] input — library face only (§3.7)',\n  },\n  intersect: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded; vendored intersect is Result contract, compat face only',\n  },\n  makeExternalGear: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded — library builder factory (P24)',\n  },\n  makeInternalGear: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  makePlanetaryGear: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  thread: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n\n  // ── §5.3 第四层 scriptFace 覆盖 ──\n  split: {\n    scriptFace: true,\n    semantics: 'ok',\n    note: '§5.3: multi-product op but in current 27 — do not exclude by \"single Shape\" rule',\n  },\n\n  // ── §1.3 A 类规则漏洞 ──\n  io: {\n    kind: 'skip',\n    semantics: 'unknown',\n    note: '§1.3: ns.io forwards byte-type API, module field is ns not io',\n  },\n\n  // ── §9.1 S3: global side-effects (destructive / singleton state) ──\n  resetDisposalStats: {\n    semantics: 'S3',\n    note: '§9.1: destructive global state — clears faijs handle stats',\n  },\n  getDisposalStats: {\n    semantics: 'S3',\n    note: '§9.1: reads module-level singleton _stats',\n  },\n  kernelCall: {\n    semantics: 'S3',\n    note: '§9.1: raw kernel call bypass — global OCCT state mutation',\n  },\n  kernelCallScoped: {\n    semantics: 'S3',\n    note: '§9.1: scoped kernel call — still mutates global OCCT state',\n  },\n\n  // ── §9.1 S4: host-injected resource dependency (fonts / files / network) ──\n  getFont: {\n    semantics: 'S4',\n    note: '§9.1: depends on font source (host-injected vs vendored internal path)',\n  },\n  loadFont: {\n    semantics: 'S4',\n    note: '§9.1: same as getFont',\n  },\n  sketchText: {\n    semantics: 'S4',\n    note: '§9.1: same font dependency',\n  },\n  surfaceFromImage: {\n    semantics: 'S4',\n    note: '§9.1: depends on image file loading (host ports)',\n  },\n}\n\n/**\n * Default semantics for symbols not in the override table.\n * The generator fills this in, then P2 requires manual review to upgrade\n * from 'unknown' to a specific S1-S6 or 'ok' before the symbol can be exported.\n */\nexport const DEFAULT_SEMANTICS = 'unknown' as const\n"]}
+{"version":3,"file":"projection-overrides.js","sourceRoot":"","sources":["../../../src/api/surface/projection-overrides.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAoBH;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAA6B;IACjD,yBAAyB;IACzB,GAAG,EAAE;QACH,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,aAAa;QACtB,MAAM,EAAE,0BAA0B;QAClC,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,+CAA+C;KACtD;IACD,MAAM,EAAE;QACN,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,gBAAgB;QACzB,MAAM,EAAE,0BAA0B;QAClC,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,oFAAoF;KAC3F;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,KAAK;QACX,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,6DAA6D;KACpE;IACD,MAAM,EAAE;QACN,IAAI,EAAE,KAAK;QACX,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,wCAAwC;KAC/C;IAED,uDAAuD;IACvD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,QAAQ,CAAC;QAC/C,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gDAAgD;KACvD;IACD,KAAK,EAAE;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC;QACtC,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gBAAgB;KACvB;IACD,SAAS,EAAE;QACT,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;QAC1B,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gBAAgB;KACvB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,6CAA6C;KACpD;IACD,GAAG,EAAE;QACH,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,OAAO,EAAE;QACP,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,OAAO,EAAE;QACP,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4DAA4D;KACnE;IACD,SAAS,EAAE;QACT,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4EAA4E;KACnF;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mDAAmD;KAC1D;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,iBAAiB,EAAE;QACjB,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,MAAM,EAAE;QACN,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IAED,+BAA+B;IAC/B,KAAK,EAAE;QACL,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,kFAAkF;KACzF;IACD,aAAa,EAAE;QACb,IAAI,EAAE,MAAM;QACZ,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4PAA4P;KACnQ;IAED,qBAAqB;IACrB,EAAE,EAAE;QACF,IAAI,EAAE,MAAM;QACZ,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,+DAA+D;KACtE;IAED,qEAAqE;IACrE,kBAAkB,EAAE;QAClB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4DAA4D;KACnE;IACD,gBAAgB,EAAE;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,2CAA2C;KAClD;IACD,UAAU,EAAE;QACV,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,2DAA2D;KAClE;IACD,gBAAgB,EAAE;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4DAA4D;KACnE;IAED,6EAA6E;IAC7E,OAAO,EAAE;QACP,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,wEAAwE;KAC/E;IACD,QAAQ,EAAE;QACR,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,uBAAuB;KAC9B;IACD,UAAU,EAAE;QACV,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4BAA4B;KACnC;IACD,gBAAgB,EAAE;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,kDAAkD;KACzD;CACF,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,SAAkB,CAAA","sourcesContent":["/**\n * projection-overrides — P2 例外覆盖表（唯一人工维护点）。\n *\n * 设计文档：docs/plans/2026-09-07-compat-surface-unified-projection.md §5.4 / §9.1\n *\n * 规模目标：约 60~80 条（对比现状 866 条手工表，维护量下降 ~90%）。\n * 每条 `exported` 条目必须有非 `unknown` 的 `semantics` 值（§8 验收 9）。\n */\n\nexport interface Override {\n  kind?: 'type' | 'pure' | 'query' | 'brep-op' | 'skip'\n  wrap?: 'raw' | 'guard' | 'dual' | 'custom'\n  semantics?: 'S1' | 'S2' | 'S3' | 'S4' | 'S5' | 'S6' | 'ok' | 'unknown'\n  /** wrap === 'custom' 时必填：手写适配器模块名 */\n  adapter?: string\n  /** D11 参数名表（对象形态 → 位置形态） */\n  params?: string[]\n  /** 脚本面准入（§5.3 第四层） */\n  scriptFace?: boolean\n  /** faijs 同名冲突时的导出名 */\n  rename?: string\n  /** 指定 vendored 源文件 */\n  source?: string\n  /** 必填：为什么这条不能被规则推导 */\n  note: string\n}\n\n/**\n * The exception override table (§5.4). Each entry overrides the classifier's\n * automatic derivation for a specific symbol. Keys are symbol names.\n * Entries with `semantics: 'unknown'` are forbidden from `exported` status (§8 ⑨).\n */\nexport const OVERRIDES: Record<string, Override> = {\n  // ── §3.6 手写面独有逻辑（4 类）──\n  box: {\n    wrap: 'custom',\n    adapter: 'box-adapter',\n    source: 'topology/primitiveFns.js',\n    semantics: 'ok',\n    note: '§3.6: {size} object form + custom E_ARGS_FORM',\n  },\n  rotate: {\n    wrap: 'custom',\n    adapter: 'rotate-adapter',\n    source: 'topology/transformFns.js',\n    semantics: 'ok',\n    note: '§3.6: upstream-18 {at,axis} options adapter (not transformFns four-arg positional)',\n  },\n  cylinder: {\n    wrap: 'raw',\n    semantics: 'ok',\n    note: 'P25: library authors want raw morph form (no kernel assert)',\n  },\n  sphere: {\n    wrap: 'raw',\n    semantics: 'ok',\n    note: 'P25: same as cylinder — raw morph form',\n  },\n\n  // ── §2.2 包装项（15 个已由 P1 从 compat-ast 解析，覆盖表只补充语义分级） ──\n  cone: {\n    wrap: 'dual',\n    params: ['bottomRadius', 'topRadius', 'height'],\n    semantics: 'ok',\n    note: '§2.2: wrapDual — kernel assert + D11 dual form',\n  },\n  torus: {\n    wrap: 'dual',\n    params: ['majorRadius', 'minorRadius'],\n    semantics: 'ok',\n    note: '§2.2: wrapDual',\n  },\n  ellipsoid: {\n    wrap: 'dual',\n    params: ['rx', 'ry', 'rz'],\n    semantics: 'ok',\n    note: '§2.2: wrapDual',\n  },\n  fuse: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded — kernel assert + forward',\n  },\n  cut: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  extrude: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  revolve: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  loft: {\n    wrap: 'guard',\n    scriptFace: false,\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded; Wire[] input — library face only (§3.7)',\n  },\n  intersect: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded; vendored intersect is Result contract, compat face only',\n  },\n  makeExternalGear: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded — library builder factory (P24)',\n  },\n  makeInternalGear: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  makePlanetaryGear: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  thread: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n\n  // ── §5.3 第四层 scriptFace 覆盖 ──\n  split: {\n    scriptFace: true,\n    semantics: 'ok',\n    note: '§5.3: multi-product op but in current 27 — do not exclude by \"single Shape\" rule',\n  },\n  transformCopy: {\n    kind: 'pure',\n    scriptFace: false,\n    semantics: 'ok',\n    note: 'scriptFace: ComposedTransform holds a kernel WASM handle — not constructible in .fai.js, so the script-face op is dead. Covered by clone+translate/rotate chains and locate. TS library surface keeps the plain re-export (non-op). Mirrors arg-spec skip.',\n  },\n\n  // ── §1.3 A 类规则漏洞 ──\n  io: {\n    kind: 'skip',\n    semantics: 'unknown',\n    note: '§1.3: ns.io forwards byte-type API, module field is ns not io',\n  },\n\n  // ── §9.1 S3: global side-effects (destructive / singleton state) ──\n  resetDisposalStats: {\n    semantics: 'S3',\n    note: '§9.1: destructive global state — clears faijs handle stats',\n  },\n  getDisposalStats: {\n    semantics: 'S3',\n    note: '§9.1: reads module-level singleton _stats',\n  },\n  kernelCall: {\n    semantics: 'S3',\n    note: '§9.1: raw kernel call bypass — global OCCT state mutation',\n  },\n  kernelCallScoped: {\n    semantics: 'S3',\n    note: '§9.1: scoped kernel call — still mutates global OCCT state',\n  },\n\n  // ── §9.1 S4: host-injected resource dependency (fonts / files / network) ──\n  getFont: {\n    semantics: 'S4',\n    note: '§9.1: depends on font source (host-injected vs vendored internal path)',\n  },\n  loadFont: {\n    semantics: 'S4',\n    note: '§9.1: same as getFont',\n  },\n  sketchText: {\n    semantics: 'S4',\n    note: '§9.1: same font dependency',\n  },\n  surfaceFromImage: {\n    semantics: 'S4',\n    note: '§9.1: depends on image file loading (host ports)',\n  },\n}\n\n/**\n * Default semantics for symbols not in the override table.\n * The generator fills this in, then P2 requires manual review to upgrade\n * from 'unknown' to a specific S1-S6 or 'ok' before the symbol can be exported.\n */\nexport const DEFAULT_SEMANTICS = 'unknown' as const\n"]}

package/dist/api/topo-resolve.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"topo-resolve.d.ts","sourceRoot":"","sources":["../../src/api/topo-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAE1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAEtD,OAAO,EAML,KAAK,WAAW,EAChB,KAAK,iBAAiB,EAEtB,KAAK,QAAQ,EAEb,KAAK,SAAS,EACf,MAAM,oBAAoB,CAAA;AAE3B,kFAAkF;AAClF,MAAM,WAAW,oBAAoB;IACnC,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,8CAA8C;IAC9C,IAAI,CAAC,EAAE,QAAQ,CAAA;CAChB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,aAAa,GAAG,IAAI,EAC5B,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,iBAAiB,GAAG,SAAS,CAoB/B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,iBAAiB,GAAG,SAAS,CAwC/B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,SAAS,CAAC,EAAE,SAAS,GACpB,iBAAiB,CAyBnB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,aAAa,GAAG,IAAI,EAC5B,KAAK,EAAE,KAAK,EACZ,GAAG,EAAE,WAAW,GACf,oBAAoB,CAqCtB;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,WAAW,CAE1D"}
+{"version":3,"file":"topo-resolve.d.ts","sourceRoot":"","sources":["../../src/api/topo-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAG1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAKtD,OAAO,EAML,KAAK,WAAW,EAChB,KAAK,iBAAiB,EAEtB,KAAK,QAAQ,EAEb,KAAK,SAAS,EACf,MAAM,oBAAoB,CAAA;AAE3B,kFAAkF;AAClF,MAAM,WAAW,oBAAoB;IACnC,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,8CAA8C;IAC9C,IAAI,CAAC,EAAE,QAAQ,CAAA;CAChB;AA2CD;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,aAAa,GAAG,IAAI,EAC5B,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,iBAAiB,GAAG,SAAS,CAsB/B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,iBAAiB,GAAG,SAAS,CA0C/B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,SAAS,CAAC,EAAE,SAAS,GACpB,iBAAiB,CAyBnB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,aAAa,GAAG,IAAI,EAC5B,KAAK,EAAE,KAAK,EACZ,GAAG,EAAE,WAAW,GACf,oBAAoB,CAoDtB;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,WAAW,CAE1D"}

package/dist/api/topo-resolve.js

@@ -13,8 +13,51 @@
  * 任何一步定不了案 → 抛 TopoRefError（三态错误码），绝不静默拿序号硬取。
  */
 import { getSlot } from '../shape.js';
+import { nameOf } from '../runtime-state.js';
 import { HASH_UPPER_BOUND } from '../brep/face-evolution.js';
+import { runtimeLineage } from '../topology/naming/lineage.js';
+import { resolveViaLineage } from '../topology/naming/lineage-resolve.js';
+import { asStmtId } from '../identity.js';
 import { resolveTopoRef, captureFaceHint, captureEdgeHint, faceRowToHint, TopoRefError, } from '../topology/naming/index.js';
+/**
+ * roleTable miss 时沿血缘回走重算（1.10 前置③：缓存降级）。
+ *
+ * 「产物上的 roleTable 不再是身份的唯一来源」的落点：精确解析读不到
+ * `roleTable[origin][role]` 时，按血缘 DAG 从 origin 语句回走推进到当前 part，
+ * 产出该 role 的 hash 集合并**回填缓存**——miss 可恢复，不再是无名错误。
+ * 回走失败（链断 / 无演化）返回 undefined，调用方落到几何兜底（既有三态语义不变）。
+ *
+ * @param ref - the face TopoRef being resolved.
+ * @param shape - the live part shape being resolved against.
+ * @param kernel - the OCCT kernel (hash 换算需要；null 时回走不可用).
+ * @returns the recomputed hash list, or undefined when lineage re-walk cannot produce one.
+ */
+function recomputeViaLineage(ref, shape, kernel) {
+    if (!kernel)
+        return undefined;
+    const part = nameOf(shape);
+    if (!part)
+        return undefined;
+    const result = resolveViaLineage(runtimeLineage, asStmtId(ref.origin), ref.role, part, {
+        // 回走链上的中间产物句柄：优先血缘图旁挂（本仓 op 执行时记录），
+        // 兜底读 runtime 全局 nameOf 反查（slot.solid）。
+        brepOf: (p) => {
+            const stmt = runtimeLineage.stmtOf(p);
+            const h = stmt ? runtimeLineage.outputHandleOf(stmt) : undefined;
+            if (h !== undefined)
+                return h;
+            return undefined;
+        },
+        faceHashes: (handle) => Array.from(kernel.subShapeHashes(handle, 'face', HASH_UPPER_BOUND)),
+        roleTableOf: (p) => {
+            const stmt = runtimeLineage.stmtOf(p);
+            return stmt ? runtimeLineage.outputTableOf(stmt) : undefined;
+        },
+    });
+    if (!('hashes' in result))
+        return undefined;
+    return result.hashes;
+}
 /**
  * 从活 Shape 的组装槽构建 ResolutionContext（BREAK 或 mesh/primitive 两条路）。
  *
@@ -33,7 +76,9 @@ export function buildShapeResolutionContext(kernel, shape) {
     const slot = getSlot(shape);
     if (!slot)
         return undefined;
-    const roleTable = slot.roleTable;
+    // 1.10 前置③：roleTable 权威落点在血缘图旁挂（part 键），slot 缓存字段已删。
+    const part = nameOf(shape);
+    const roleTable = (part ? runtimeLineage.tableOfPart(part) : undefined);
     const solid = slot.solid;
     if (kernel && solid) {
         const handles = kernel.getSubShapes(solid, 'face');
@@ -70,7 +115,9 @@ export function buildEdgeResolutionContext(kernel, shape) {
     const slot = getSlot(shape);
     if (!slot)
         return undefined;
-    const roleTable = slot.roleTable;
+    // 1.10 前置③：roleTable 权威落点在血缘图旁挂（part 键），slot 缓存字段已删。
+    const edgePart = nameOf(shape);
+    const roleTable = (edgePart ? runtimeLineage.tableOfPart(edgePart) : undefined);
     const solid = slot.solid;
     if (!solid)
         return undefined;
@@ -154,10 +201,25 @@ export function buildEdgeContextFromSolid(kernel, solid, roleTable) {
  * @returns the current face geometry (center/normal/surfaceType).
  */
 export function resolveFaceGeometry(kernel, shape, ref) {
-    const ctx = buildShapeResolutionContext(kernel, shape);
+    // 1.10 前置③：roleTable 是解析缓存。origin/role 条目 miss 时先沿血缘回走
+    // 重算并回填（miss 可恢复），再进解析——不再是"缓存 miss = 无名"。
+    let ctx = buildShapeResolutionContext(kernel, shape);
     if (!ctx) {
         throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', `no naming context on input shape (origin=${ref.origin}, role=${ref.role})`);
     }
+    // 1.10 前置③：roleTable 是解析缓存。origin/role 条目 miss 时先沿血缘回走
+    // 重算并回填（miss 可恢复），再进解析——不再是"缓存 miss = 无名"。
+    if (ctx.roleTable && kernel) {
+        const entry0 = ctx.roleTable.get(ref.origin)?.get(ref.role);
+        if (entry0 === undefined) {
+            const recomputed = recomputeViaLineage(ref, shape, kernel);
+            if (recomputed) {
+                const merged = new Map(ctx.roleTable);
+                merged.set(ref.origin, new Map([...(ctx.roleTable.get(ref.origin) ?? new Map()), [ref.role, recomputed]]));
+                ctx = { ...ctx, roleTable: merged };
+            }
+        }
+    }
     const entity = resolveTopoRef(ref, ctx);
     const entry = ctx.faces[entity.ordinal - 1];
     if (!entry) {

package/dist/api/topo-resolve.js.map

@@ -1 +1 @@
-{"version":3,"file":"topo-resolve.js","sourceRoot":"","sources":["../../src/api/topo-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAGlC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AACzD,OAAO,EACL,cAAc,EACd,eAAe,EACf,eAAe,EACf,aAAa,EACb,YAAY,GAOb,MAAM,oBAAoB,CAAA;AAW3B;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAA4B,EAC5B,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAkC,CAAA;IAEzD,MAAM,KAAK,GAAG,IAAI,CAAC,KAA+B,CAAA;IAClD,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QAClD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;QACjF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;QAC5F,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IACrC,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,SAAmC,CAAA;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;QAC9D,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IAC3C,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAAqB,EACrB,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAkC,CAAA;IACzD,MAAM,KAAK,GAAG,IAAI,CAAC,KAA+B,CAAA;IAClD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IACrF,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAEpG,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAyB,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC;QACd,MAAM;QACN,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAC,CAAC,CAAA;IACH,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoD,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;IAE/G,iEAAiE;IACjE,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAEnF,MAAM,iBAAiB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,OAAO,GAAG;aACP,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACrD,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;gBAClF,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACrB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAqB,EACrB,KAAiB,EACjB,SAAqB;IAErB,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAC3F,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAyB,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC;QACd,MAAM;QACN,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAC,CAAC,CAAA;IACH,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoD,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;IAC/G,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IACnF,MAAM,iBAAiB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,OAAO,GAAG;aACP,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACrD,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACxG,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAA4B,EAC5B,KAAY,EACZ,GAAgB;IAEhB,MAAM,GAAG,GAAG,2BAA2B,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACtD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,4CAA4C,GAAG,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,CAC5E,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACvC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,CAAA;IAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,oBAAoB,MAAM,CAAC,OAAO,wCAAwC,GAAG,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,CAC1G,CAAA;IACH,CAAC;IACD,mCAAmC;IACnC,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;QACtD,OAAO;YACL,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1C,CAAA;IACH,CAAC;IACD,4CAA4C;IAC5C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;IACrB,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACjD,OAAO;QACL,WAAW,EAAE,IAAI,EAAE,WAAW;QAC9B,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3C,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,CAAU;IACtC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAK,CAAwB,CAAC,IAAI,KAAK,MAAM,CAAA;AAClF,CAAC","sourcesContent":["/**\n * topo-resolve — 运行期 TopoRef 解析（装配/钻孔等面引用 op 共享，§6.2）\n *\n * 与 core/topology/naming 的分工：\n * - naming（core）负责纯解析：给 ReactsContext + FaceTopoRef → ordinal/handle；\n * - 本模块（stdlib）是「活 Shape → React块(ResolutionContext)」的引擎胶水：\n *   从 Shape 身份槽读出运行期数据（BREP 活句柄 + RoleTable，或 setTopology 注入的\n *   面 hint 快照），并把解析结果还原成求解需要的几何（center/normal/surfaceType）。\n *\n * 这样 drill（面 → 法向）与 compound/assembly（约束固定/移动面 → 几何）共用同一\n * 条「TopoRef 执行期派生」通道，且不动 core 的纯 naming 层职责。\n *\n * 任何一步定不了案 → 抛 TopoRefError（三态错误码），绝不静默拿序号硬取。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { getSlot } from '../shape'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { HASH_UPPER_BOUND } from '../brep/face-evolution'\nimport {\n  resolveTopoRef,\n  captureFaceHint,\n  captureEdgeHint,\n  faceRowToHint,\n  TopoRefError,\n  type FaceTopoRef,\n  type ResolutionContext,\n  type FaceHint,\n  type AxisHint,\n  type EdgeCandidateEntry,\n  type RoleTable,\n} from '../topology/naming'\n\n/** 求解面需要的当前几何（执行期派生）：与旧契约 fixedFace/movingFace 的 surfaceType/center/normal 同形。 */\nexport interface ResolvedFaceGeometry {\n  surfaceType?: string\n  center: [number, number, number]\n  normal: [number, number, number]\n  /** 圆柱/回转面的轴（装配轴约束用；平面/球面缺省，mesh 行快照由宿主注入）。 */\n  axis?: AxisHint\n}\n\n/**\n * 从活 Shape 的组装槽构建 ResolutionContext（BREAK 或 mesh/primitive 两条路）。\n *\n * - BREAK：`slot.solid` + `slot.roleTable` → 内核现场句柄 + hash（exact 路径）；\n * - mesh/primitive：`slot.faceHints`（setTopology 注入时提炼写入）→ 行快照（geometric 路径）。\n *\n * 无命名槽 → undefined（调用方按 not-found 抛错）。\n *\n * @param kernel - the OCCT kernel (null on the mesh/primitive path).\n * @param shape - the live input shape whose naming slot is read.\n * @returns the resolution context (live BREP or hint rows), or undefined when the shape has no naming slot.\n */\nexport function buildShapeResolutionContext(\n  kernel: BrepEngineApi | null,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  if (!slot) return undefined\n  const roleTable = slot.roleTable as RoleTable | undefined\n\n  const solid = slot.solid as BrepHandle | undefined\n  if (kernel && solid) {\n    const handles = kernel.getSubShapes(solid, 'face')\n    const hashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND))\n    const faces = handles.map((handle, i) => ({ ordinal: i + 1, hash: hashes[i] ?? 0, handle }))\n    return { kernel, faces, roleTable }\n  }\n\n  const hints = slot.faceHints as FaceHint[] | undefined\n  if (Array.isArray(hints) && hints.length > 0) {\n    const faces = hints.map((row, i) => ({ ordinal: i + 1, row }))\n    return { kernel: null, faces, roleTable }\n  }\n  return undefined\n}\n\n/**\n * 为 BREP 现场构建带边候选与邻接表的 ResolutionContext（edge TopoRef 解析用）。\n *\n * 与 `buildBrepResolutionContext` 的面候选同源（同一枚举序），并补充：\n * - `edges`：边候选表（ordinal 1 起，含活句柄 + length/midpoint hint）；\n * - `faceEdgeAdjacency` / `edgeFaceAdjacency`：邻接表（edge lineage 解析用，M3）。\n *\n * 只支持 BREP 现场（edge lineage 需要 face→edge 邻接）；mesh/primitive 路径\n * 没有邻接能力（build-mesh-topology.ts:262，§5.3）→ 返回 undefined，调用方\n * 按 E_TOPO_NOT_FOUND 处理。\n *\n * @param kernel - the OCCT kernel.\n * @param shape - the live input shape whose naming slot is read.\n * @returns the edge-enabled resolution context, or undefined when the shape has\n *   no BREP naming slot.\n */\nexport function buildEdgeResolutionContext(\n  kernel: BrepEngineApi,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  if (!slot) return undefined\n  const roleTable = slot.roleTable as RoleTable | undefined\n  const solid = slot.solid as BrepHandle | undefined\n  if (!solid) return undefined\n\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  const faceHashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND))\n  const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: faceHashes[i] ?? 0, handle }))\n\n  const edgeHandles = kernel.getSubShapes(solid, 'edge')\n  const edges: EdgeCandidateEntry[] = edgeHandles.map((handle, i) => ({\n    ordinal: i + 1,\n    handle,\n    hint: captureEdgeHint(kernel, handle),\n  }))\n  const liveEdges = edges.filter((e): e is EdgeCandidateEntry & { handle: BrepHandle } => e.handle !== undefined)\n\n  // face → 邻接 edges（ordinal 1 起）。mesh 无 face→edge 邻接，这里 BREP 现场直取。\n  const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }))\n\n  const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {\n    const sub = kernel.getSubShapes(handle, 'edge')\n    return sub\n      .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)\n      .filter((v): v is number => v !== undefined)\n  })\n  const edgeFaceAdjacency = liveEdges.map(({ handle }) => {\n    const adj: number[] = []\n    for (const f of faceHandlesArr) {\n      if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle))) {\n        adj.push(f.ordinal)\n      }\n    }\n    return adj\n  })\n\n  return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency }\n}\n\n/**\n * 从 BREP 现场句柄建带边候选/邻接的 ResolutionContext（twoDistances 逐边重建用）。\n *\n * 与 `buildEdgeResolutionContext` 相同，但直接接收 live solid 句柄而非 Shape 槽——\n * 用于真机逐边构建后，输入已从上一次结果演化，Shape 槽里的 roleTable/hash 不再\n * 与当前句柄对应（§3.6 逐边构建，后续边要重新 resolve）。\n *\n * @param kernel - the OCCT kernel.\n * @param solid - the live BREP solid handle.\n * @param roleTable - optional role table to carry over (not used for strict matching).\n * @returns the edge-enabled resolution context (faces/edges/adjacency live from `solid`).\n */\nexport function buildEdgeContextFromSolid(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  roleTable?: RoleTable,\n): ResolutionContext {\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: undefined, handle }))\n  const edgeHandles = kernel.getSubShapes(solid, 'edge')\n  const edges: EdgeCandidateEntry[] = edgeHandles.map((handle, i) => ({\n    ordinal: i + 1,\n    handle,\n    hint: captureEdgeHint(kernel, handle),\n  }))\n  const liveEdges = edges.filter((e): e is EdgeCandidateEntry & { handle: BrepHandle } => e.handle !== undefined)\n  const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }))\n  const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {\n    const sub = kernel.getSubShapes(handle, 'edge')\n    return sub\n      .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)\n      .filter((v): v is number => v !== undefined)\n  })\n  const edgeFaceAdjacency = liveEdges.map(({ handle }) => {\n    const adj: number[] = []\n    for (const f of faceHandlesArr) {\n      if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle))) adj.push(f.ordinal)\n    }\n    return adj\n  })\n  return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency }\n}\n\n/**\n * 解析一个 face TopoRef 到「当前几何」，并从解析出的候选面派生求解几何。\n *\n * 结果与命名行的 surfaceType/center/normal 同口径（BREAK 现场 captureFaceHint /\n * mesh 行快照），保证两侧派生值一致。\n *\n * @param kernel - the OCCT kernel (can be null on the mesh/primitive path).\n * @param shape - the live input shape whose naming slot is being resolved.\n * @param ref - the FaceTopoRef captured earlier.\n * @returns the current face geometry (center/normal/surfaceType).\n */\nexport function resolveFaceGeometry(\n  kernel: BrepEngineApi | null,\n  shape: Shape,\n  ref: FaceTopoRef,\n): ResolvedFaceGeometry {\n  const ctx = buildShapeResolutionContext(kernel, shape)\n  if (!ctx) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'face',\n      `no naming context on input shape (origin=${ref.origin}, role=${ref.role})`,\n    )\n  }\n  const entity = resolveTopoRef(ref, ctx)\n  const entry = ctx.faces[entity.ordinal - 1]\n  if (!entry) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'face',\n      `resolved ordinal ${entity.ordinal} has no candidate in context (origin=${ref.origin}, role=${ref.role})`,\n    )\n  }\n  // BREAK 现场：capture 出当前法向/中心（圆柱面含轴）\n  if (entry.handle && ctx.kernel) {\n    const hint = captureFaceHint(ctx.kernel, entry.handle)\n    return {\n      surfaceType: hint.surfaceType,\n      center: hint.center ?? [0, 0, 0],\n      normal: hint.normal ?? [0, 0, 1],\n      ...(hint.axis ? { axis: hint.axis } : {}),\n    }\n  }\n  // mesh/行快照：直接用行几何（axis 由宿主行注入，缺省 undefined）\n  const ext = entry.row\n  const hint = ext ? faceRowToHint(ext) : undefined\n  return {\n    surfaceType: hint?.surfaceType,\n    center: hint?.center ?? [0, 0, 0],\n    normal: hint?.normal ?? [0, 0, 1],\n    ...(hint?.axis ? { axis: hint.axis } : {}),\n  }\n}\n\n/**\n * FaceMateConstraint 面的等价重载：face 参数对象（`{topoRef}` 或旧快照）的守卫。\n *\n * @param v - the value to test.\n * @returns true when the value is a FaceTopoRef (kind === 'face').\n */\nexport function isFaceTopoRef(v: unknown): v is FaceTopoRef {\n  return !!v && typeof v === 'object' && (v as { kind?: unknown }).kind === 'face'\n}"]}
+{"version":3,"file":"topo-resolve.js","sourceRoot":"","sources":["../../src/api/topo-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAClC,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAGzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAA;AACtE,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AACtC,OAAO,EACL,cAAc,EACd,eAAe,EACf,eAAe,EACf,aAAa,EACb,YAAY,GAOb,MAAM,oBAAoB,CAAA;AAW3B;;;;;;;;;;;;GAYG;AACH,SAAS,mBAAmB,CAC1B,GAAgB,EAChB,KAAa,EACb,MAA4B;IAE5B,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAA;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC1B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,MAAM,MAAM,GAAG,iBAAiB,CAAC,cAAc,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE;QACrF,oCAAoC;QACpC,wCAAwC;QACxC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;YACZ,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YAChE,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,CAAC,CAAA;YAC7B,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CACrB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,MAAoB,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;QACnF,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE;YACjB,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YACrC,OAAO,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC9D,CAAC;KACF,CAAC,CAAA;IACF,IAAI,CAAC,CAAC,QAAQ,IAAI,MAAM,CAAC;QAAE,OAAO,SAAS,CAAA;IAC3C,OAAO,MAAM,CAAC,MAAM,CAAA;AACtB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAA4B,EAC5B,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,qDAAqD;IACrD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC1B,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAA0B,CAAA;IAEhG,MAAM,KAAK,GAAG,IAAI,CAAC,KAA+B,CAAA;IAClD,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QAClD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;QACjF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;QAC5F,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IACrC,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,SAAmC,CAAA;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;QAC9D,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IAC3C,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAAqB,EACrB,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,qDAAqD;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC9B,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAA0B,CAAA;IACxG,MAAM,KAAK,GAAG,IAAI,CAAC,KAA+B,CAAA;IAClD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IACrF,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAEpG,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAyB,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC;QACd,MAAM;QACN,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAC,CAAC,CAAA;IACH,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoD,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;IAE/G,iEAAiE;IACjE,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAEnF,MAAM,iBAAiB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,OAAO,GAAG;aACP,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACrD,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;gBAClF,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACrB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAqB,EACrB,KAAiB,EACjB,SAAqB;IAErB,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAC3F,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAyB,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC;QACd,MAAM;QACN,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAC,CAAC,CAAA;IACH,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoD,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;IAC/G,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IACnF,MAAM,iBAAiB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,OAAO,GAAG;aACP,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACrD,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACxG,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAA4B,EAC5B,KAAY,EACZ,GAAgB;IAEhB,uDAAuD;IACvD,2CAA2C;IAC3C,IAAI,GAAG,GAAG,2BAA2B,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACpD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,4CAA4C,GAAG,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,CAC5E,CAAA;IACH,CAAC;IACD,uDAAuD;IACvD,2CAA2C;IAC3C,IAAI,GAAG,CAAC,SAAS,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC3D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;YAC1D,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAwE,CAAC,CAAA;gBACpG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;gBAC1G,GAAG,GAAG,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,MAAyC,EAAE,CAAA;YACxE,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACvC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,CAAA;IAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,oBAAoB,MAAM,CAAC,OAAO,wCAAwC,GAAG,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,CAC1G,CAAA;IACH,CAAC;IACD,mCAAmC;IACnC,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;QACtD,OAAO;YACL,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1C,CAAA;IACH,CAAC;IACD,4CAA4C;IAC5C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;IACrB,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACjD,OAAO;QACL,WAAW,EAAE,IAAI,EAAE,WAAW;QAC9B,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3C,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,CAAU;IACtC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAK,CAAwB,CAAC,IAAI,KAAK,MAAM,CAAA;AAClF,CAAC","sourcesContent":["/**\n * topo-resolve — 运行期 TopoRef 解析（装配/钻孔等面引用 op 共享，§6.2）\n *\n * 与 core/topology/naming 的分工：\n * - naming（core）负责纯解析：给 ReactsContext + FaceTopoRef → ordinal/handle；\n * - 本模块（stdlib）是「活 Shape → React块(ResolutionContext)」的引擎胶水：\n *   从 Shape 身份槽读出运行期数据（BREP 活句柄 + RoleTable，或 setTopology 注入的\n *   面 hint 快照），并把解析结果还原成求解需要的几何（center/normal/surfaceType）。\n *\n * 这样 drill（面 → 法向）与 compound/assembly（约束固定/移动面 → 几何）共用同一\n * 条「TopoRef 执行期派生」通道，且不动 core 的纯 naming 层职责。\n *\n * 任何一步定不了案 → 抛 TopoRefError（三态错误码），绝不静默拿序号硬取。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { getSlot } from '../shape'\nimport { nameOf } from '../runtime-state'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { HASH_UPPER_BOUND } from '../brep/face-evolution'\nimport { runtimeLineage } from '../topology/naming/lineage'\nimport { resolveViaLineage } from '../topology/naming/lineage-resolve'\nimport { asStmtId } from '../identity'\nimport {\n  resolveTopoRef,\n  captureFaceHint,\n  captureEdgeHint,\n  faceRowToHint,\n  TopoRefError,\n  type FaceTopoRef,\n  type ResolutionContext,\n  type FaceHint,\n  type AxisHint,\n  type EdgeCandidateEntry,\n  type RoleTable,\n} from '../topology/naming'\n\n/** 求解面需要的当前几何（执行期派生）：与旧契约 fixedFace/movingFace 的 surfaceType/center/normal 同形。 */\nexport interface ResolvedFaceGeometry {\n  surfaceType?: string\n  center: [number, number, number]\n  normal: [number, number, number]\n  /** 圆柱/回转面的轴（装配轴约束用；平面/球面缺省，mesh 行快照由宿主注入）。 */\n  axis?: AxisHint\n}\n\n/**\n * roleTable miss 时沿血缘回走重算（1.10 前置③：缓存降级）。\n *\n * 「产物上的 roleTable 不再是身份的唯一来源」的落点：精确解析读不到\n * `roleTable[origin][role]` 时，按血缘 DAG 从 origin 语句回走推进到当前 part，\n * 产出该 role 的 hash 集合并**回填缓存**——miss 可恢复，不再是无名错误。\n * 回走失败（链断 / 无演化）返回 undefined，调用方落到几何兜底（既有三态语义不变）。\n *\n * @param ref - the face TopoRef being resolved.\n * @param shape - the live part shape being resolved against.\n * @param kernel - the OCCT kernel (hash 换算需要；null 时回走不可用).\n * @returns the recomputed hash list, or undefined when lineage re-walk cannot produce one.\n */\nfunction recomputeViaLineage(\n  ref: FaceTopoRef,\n  shape: object,\n  kernel: BrepEngineApi | null,\n): readonly number[] | undefined {\n  if (!kernel) return undefined\n  const part = nameOf(shape)\n  if (!part) return undefined\n  const result = resolveViaLineage(runtimeLineage, asStmtId(ref.origin), ref.role, part, {\n    // 回走链上的中间产物句柄：优先血缘图旁挂（本仓 op 执行时记录），\n    // 兜底读 runtime 全局 nameOf 反查（slot.solid）。\n    brepOf: (p) => {\n      const stmt = runtimeLineage.stmtOf(p)\n      const h = stmt ? runtimeLineage.outputHandleOf(stmt) : undefined\n      if (h !== undefined) return h\n      return undefined\n    },\n    faceHashes: (handle) =>\n      Array.from(kernel.subShapeHashes(handle as BrepHandle, 'face', HASH_UPPER_BOUND)),\n    roleTableOf: (p) => {\n      const stmt = runtimeLineage.stmtOf(p)\n      return stmt ? runtimeLineage.outputTableOf(stmt) : undefined\n    },\n  })\n  if (!('hashes' in result)) return undefined\n  return result.hashes\n}\n\n/**\n * 从活 Shape 的组装槽构建 ResolutionContext（BREAK 或 mesh/primitive 两条路）。\n *\n * - BREAK：`slot.solid` + `slot.roleTable` → 内核现场句柄 + hash（exact 路径）；\n * - mesh/primitive：`slot.faceHints`（setTopology 注入时提炼写入）→ 行快照（geometric 路径）。\n *\n * 无命名槽 → undefined（调用方按 not-found 抛错）。\n *\n * @param kernel - the OCCT kernel (null on the mesh/primitive path).\n * @param shape - the live input shape whose naming slot is read.\n * @returns the resolution context (live BREP or hint rows), or undefined when the shape has no naming slot.\n */\nexport function buildShapeResolutionContext(\n  kernel: BrepEngineApi | null,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  if (!slot) return undefined\n  // 1.10 前置③：roleTable 权威落点在血缘图旁挂（part 键），slot 缓存字段已删。\n  const part = nameOf(shape)\n  const roleTable = (part ? runtimeLineage.tableOfPart(part) : undefined) as RoleTable | undefined\n\n  const solid = slot.solid as BrepHandle | undefined\n  if (kernel && solid) {\n    const handles = kernel.getSubShapes(solid, 'face')\n    const hashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND))\n    const faces = handles.map((handle, i) => ({ ordinal: i + 1, hash: hashes[i] ?? 0, handle }))\n    return { kernel, faces, roleTable }\n  }\n\n  const hints = slot.faceHints as FaceHint[] | undefined\n  if (Array.isArray(hints) && hints.length > 0) {\n    const faces = hints.map((row, i) => ({ ordinal: i + 1, row }))\n    return { kernel: null, faces, roleTable }\n  }\n  return undefined\n}\n\n/**\n * 为 BREP 现场构建带边候选与邻接表的 ResolutionContext（edge TopoRef 解析用）。\n *\n * 与 `buildBrepResolutionContext` 的面候选同源（同一枚举序），并补充：\n * - `edges`：边候选表（ordinal 1 起，含活句柄 + length/midpoint hint）；\n * - `faceEdgeAdjacency` / `edgeFaceAdjacency`：邻接表（edge lineage 解析用，M3）。\n *\n * 只支持 BREP 现场（edge lineage 需要 face→edge 邻接）；mesh/primitive 路径\n * 没有邻接能力（build-mesh-topology.ts:262，§5.3）→ 返回 undefined，调用方\n * 按 E_TOPO_NOT_FOUND 处理。\n *\n * @param kernel - the OCCT kernel.\n * @param shape - the live input shape whose naming slot is read.\n * @returns the edge-enabled resolution context, or undefined when the shape has\n *   no BREP naming slot.\n */\nexport function buildEdgeResolutionContext(\n  kernel: BrepEngineApi,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  if (!slot) return undefined\n  // 1.10 前置③：roleTable 权威落点在血缘图旁挂（part 键），slot 缓存字段已删。\n  const edgePart = nameOf(shape)\n  const roleTable = (edgePart ? runtimeLineage.tableOfPart(edgePart) : undefined) as RoleTable | undefined\n  const solid = slot.solid as BrepHandle | undefined\n  if (!solid) return undefined\n\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  const faceHashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND))\n  const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: faceHashes[i] ?? 0, handle }))\n\n  const edgeHandles = kernel.getSubShapes(solid, 'edge')\n  const edges: EdgeCandidateEntry[] = edgeHandles.map((handle, i) => ({\n    ordinal: i + 1,\n    handle,\n    hint: captureEdgeHint(kernel, handle),\n  }))\n  const liveEdges = edges.filter((e): e is EdgeCandidateEntry & { handle: BrepHandle } => e.handle !== undefined)\n\n  // face → 邻接 edges（ordinal 1 起）。mesh 无 face→edge 邻接，这里 BREP 现场直取。\n  const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }))\n\n  const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {\n    const sub = kernel.getSubShapes(handle, 'edge')\n    return sub\n      .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)\n      .filter((v): v is number => v !== undefined)\n  })\n  const edgeFaceAdjacency = liveEdges.map(({ handle }) => {\n    const adj: number[] = []\n    for (const f of faceHandlesArr) {\n      if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle))) {\n        adj.push(f.ordinal)\n      }\n    }\n    return adj\n  })\n\n  return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency }\n}\n\n/**\n * 从 BREP 现场句柄建带边候选/邻接的 ResolutionContext（twoDistances 逐边重建用）。\n *\n * 与 `buildEdgeResolutionContext` 相同，但直接接收 live solid 句柄而非 Shape 槽——\n * 用于真机逐边构建后，输入已从上一次结果演化，Shape 槽里的 roleTable/hash 不再\n * 与当前句柄对应（§3.6 逐边构建，后续边要重新 resolve）。\n *\n * @param kernel - the OCCT kernel.\n * @param solid - the live BREP solid handle.\n * @param roleTable - optional role table to carry over (not used for strict matching).\n * @returns the edge-enabled resolution context (faces/edges/adjacency live from `solid`).\n */\nexport function buildEdgeContextFromSolid(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  roleTable?: RoleTable,\n): ResolutionContext {\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: undefined, handle }))\n  const edgeHandles = kernel.getSubShapes(solid, 'edge')\n  const edges: EdgeCandidateEntry[] = edgeHandles.map((handle, i) => ({\n    ordinal: i + 1,\n    handle,\n    hint: captureEdgeHint(kernel, handle),\n  }))\n  const liveEdges = edges.filter((e): e is EdgeCandidateEntry & { handle: BrepHandle } => e.handle !== undefined)\n  const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }))\n  const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {\n    const sub = kernel.getSubShapes(handle, 'edge')\n    return sub\n      .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)\n      .filter((v): v is number => v !== undefined)\n  })\n  const edgeFaceAdjacency = liveEdges.map(({ handle }) => {\n    const adj: number[] = []\n    for (const f of faceHandlesArr) {\n      if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle))) adj.push(f.ordinal)\n    }\n    return adj\n  })\n  return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency }\n}\n\n/**\n * 解析一个 face TopoRef 到「当前几何」，并从解析出的候选面派生求解几何。\n *\n * 结果与命名行的 surfaceType/center/normal 同口径（BREAK 现场 captureFaceHint /\n * mesh 行快照），保证两侧派生值一致。\n *\n * @param kernel - the OCCT kernel (can be null on the mesh/primitive path).\n * @param shape - the live input shape whose naming slot is being resolved.\n * @param ref - the FaceTopoRef captured earlier.\n * @returns the current face geometry (center/normal/surfaceType).\n */\nexport function resolveFaceGeometry(\n  kernel: BrepEngineApi | null,\n  shape: Shape,\n  ref: FaceTopoRef,\n): ResolvedFaceGeometry {\n  // 1.10 前置③：roleTable 是解析缓存。origin/role 条目 miss 时先沿血缘回走\n  // 重算并回填（miss 可恢复），再进解析——不再是\"缓存 miss = 无名\"。\n  let ctx = buildShapeResolutionContext(kernel, shape)\n  if (!ctx) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'face',\n      `no naming context on input shape (origin=${ref.origin}, role=${ref.role})`,\n    )\n  }\n  // 1.10 前置③：roleTable 是解析缓存。origin/role 条目 miss 时先沿血缘回走\n  // 重算并回填（miss 可恢复），再进解析——不再是\"缓存 miss = 无名\"。\n  if (ctx.roleTable && kernel) {\n    const entry0 = ctx.roleTable.get(ref.origin)?.get(ref.role)\n    if (entry0 === undefined) {\n      const recomputed = recomputeViaLineage(ref, shape, kernel)\n      if (recomputed) {\n        const merged = new Map(ctx.roleTable as ReadonlyMap<string, ReadonlyMap<string, readonly number[]>>)\n        merged.set(ref.origin, new Map([...(ctx.roleTable.get(ref.origin) ?? new Map()), [ref.role, recomputed]]))\n        ctx = { ...ctx, roleTable: merged as unknown as typeof ctx.roleTable }\n      }\n    }\n  }\n  const entity = resolveTopoRef(ref, ctx)\n  const entry = ctx.faces[entity.ordinal - 1]\n  if (!entry) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'face',\n      `resolved ordinal ${entity.ordinal} has no candidate in context (origin=${ref.origin}, role=${ref.role})`,\n    )\n  }\n  // BREAK 现场：capture 出当前法向/中心（圆柱面含轴）\n  if (entry.handle && ctx.kernel) {\n    const hint = captureFaceHint(ctx.kernel, entry.handle)\n    return {\n      surfaceType: hint.surfaceType,\n      center: hint.center ?? [0, 0, 0],\n      normal: hint.normal ?? [0, 0, 1],\n      ...(hint.axis ? { axis: hint.axis } : {}),\n    }\n  }\n  // mesh/行快照：直接用行几何（axis 由宿主行注入，缺省 undefined）\n  const ext = entry.row\n  const hint = ext ? faceRowToHint(ext) : undefined\n  return {\n    surfaceType: hint?.surfaceType,\n    center: hint?.center ?? [0, 0, 0],\n    normal: hint?.normal ?? [0, 0, 1],\n    ...(hint?.axis ? { axis: hint.axis } : {}),\n  }\n}\n\n/**\n * FaceMateConstraint 面的等价重载：face 参数对象（`{topoRef}` 或旧快照）的守卫。\n *\n * @param v - the value to test.\n * @returns true when the value is a FaceTopoRef (kind === 'face').\n */\nexport function isFaceTopoRef(v: unknown): v is FaceTopoRef {\n  return !!v && typeof v === 'object' && (v as { kind?: unknown }).kind === 'face'\n}"]}

package/dist/api/transform.d.ts

@@ -40,6 +40,7 @@ export declare function assertScale3dParams(params: Record<string, unknown>): vo
  * @async false
  * @qual ok
  * @name translate
+ * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。
  * @returns Shape 平移后的几何，装配的相对位置靠成员的变换语句表达。
  * @param input - 目标几何。type:Shape required:true
  * @param params.offset - 平移向量（mm）。type:[x,y,z] required:true
@@ -56,6 +57,7 @@ export declare const translate: ((input: Shape, params: Record<string, unknown>)
  * @async false
  * @qual ok
  * @name rotate_euler
+ * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。
  * @returns Shape 旋转后的几何。
  * @param input - 目标几何。type:Shape required:true
  * @param params.anglesDeg - 欧拉角（度，XYZ 顺序）。type:[x,y,z] required:true
@@ -75,6 +77,7 @@ export declare const rotate_euler: ((input: Shape, params: Record<string, unknow
  * @async false
  * @qual ok
  * @name scale
+ * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。
  * @returns Shape 缩放后的几何。
  * @param input - 目标几何。type:Shape required:true
  * @param params.factor - 等比缩放系数（> 0）。type:number required:true
@@ -94,6 +97,7 @@ export declare const scale: ((input: Shape, params: Record<string, unknown>) =>
  * @async false
  * @qual ok
  * @name scale3d
+ * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。
  * @returns Shape 缩放后的几何。
  * @param input - 目标几何。type:Shape required:true
  * @param params.factor - 三轴缩放系数（均 > 0）。type:[x,y,z] required:true

package/dist/api/transform.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"transform.d.ts","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAQ,MAAM,eAAe,CAAA;AAahD,oDAAoD;AAEpD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAE3E;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAKxE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQvE;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQzE;AAkCD;;;;;;;;;;;;IAYI;AACJ,eAAO,MAAM,SAAS;;CAepB,CAAA;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,YAAY;;CAcvB,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,KAAK;;CAiBhB,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,OAAO;;CAiBlB,CAAA"}
+{"version":3,"file":"transform.d.ts","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAQ,MAAM,eAAe,CAAA;AAoBhD,oDAAoD;AAEpD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAE3E;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAKxE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQvE;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQzE;AA+DD;;;;;;;;;;;;;IAaI;AACJ,eAAO,MAAM,SAAS;;CAgBpB,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,YAAY;;CAevB,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,KAAK;;CAkBhB,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,OAAO;;CAkBlB,CAAA"}

package/dist/api/transform.js

@@ -6,10 +6,10 @@
  * BREP 路径用 brepOf(input) 取输入实体、fromBrep 登记输出实体。
  */
 import { cad } from '../mesh/index.js';
-import { translateBrep, rotateBrep, scaleBrep, solidToShape } from '../brep/brep-ops.js';
-import { identityEvolution, identityHashEvolution } from '../brep/face-evolution.js';
+import { rotateBrep, scaleBrep, solidToShape } from '../brep/brep-ops.js';
+import { identityEvolution, identityHashEvolution, scaleWithHashEvolution, translateWithHashEvolution, } from '../brep/face-evolution.js';
 import { getBackends } from '../runtime-state.js';
-import { fromBrep, brepOf, getSlot } from '../shape.js';
+import { fromBrep, brepOf, inputRoleTable } from '../shape.js';
 import { propagateAllOrigins } from '../topology/naming/roles.js';
 import { defineOp } from '../sdk.js';
 import { assertVec3, assertPositiveNumber } from './assert.js';
@@ -59,7 +59,18 @@ export function assertScale3dParams(params) {
     }
     assertVec3(params.factor, 'scale3d.factor');
 }
-/** BREP 路径：变换 solid + 恒等面演化 + 恒等 roleTable 传播 + 三角化 + fromBrep 登记。 */
+/**
+ * BREP 路径：变换 solid + 面演化 + roleTable 传播 + 三角化 + fromBrep 登记。
+ *
+ * Phase 0.3：优先走内核**权威**面演化（`translateWithHistory` / `scaleWithHistory`）；
+ * 内核无法单次表达的（`rotate_euler` 任意欧拉+pivot、`scale3d` 非等比）退回
+ * `identityHashEvolution`，其"面枚举序号在变换后保持"的假设由
+ * `brep/face-evolution.ordering.test.ts` 实测钉住。
+ * @param op - the transform operation name.
+ * @param input - the input geometry.
+ * @param params - the operation parameters.
+ * @returns the transformed Shape.
+ */
 function transformBrep(op, input, params) {
     const kernel = getBackends().kernel.brep;
     if (!kernel)
@@ -68,21 +79,34 @@ function transformBrep(op, input, params) {
     if (!inputSolid)
         throw new Error('[stdlib/transform] input is not BREP');
     let resultSolid;
+    let hashEvolution;
     if (op === 'translate') {
-        resultSolid = translateBrep(kernel, inputSolid, params.offset);
+        // 权威映射：内核 translateWithHistory（1:1 全覆盖，实测见 evolution-bindings.test.ts）
+        const r = translateWithHashEvolution(kernel, inputSolid, params.offset);
+        resultSolid = r.result;
+        hashEvolution = r.evolution;
     }
-    else if (op === 'rotate_euler') {
-        resultSolid = rotateBrep(kernel, inputSolid, params.anglesDeg, params.pivot);
+    else if (op === 'scale') {
+        // 权威映射：内核 scaleWithHistory（仅均匀 —— assertScaleParams 已保证 factor 是 number）
+        const r = scaleWithHashEvolution(kernel, inputSolid, params.center ?? [0, 0, 0], params.factor);
+        resultSolid = r.result;
+        hashEvolution = r.evolution;
     }
     else {
-        // op is 'scale' | 'scale3d'：统一走 带不动点的 scaleBrep（factor number|Vec3）。
-        resultSolid = scaleBrep(kernel, inputSolid, params.factor, params.center);
+        // rotate_euler（任意欧拉角+pivot）/ scale3d（非等比）：内核无单次 WithHistory 可表达
+        if (op === 'rotate_euler') {
+            resultSolid = rotateBrep(kernel, inputSolid, params.anglesDeg, params.pivot);
+        }
+        else {
+            resultSolid = scaleBrep(kernel, inputSolid, params.factor, params.center);
+        }
+        hashEvolution = identityHashEvolution(kernel, inputSolid, resultSolid);
     }
-    // §2.4/§3.3：刚体变换面 1:1 保留——hash 恒等传播 roleTable（所有 origin）
-    const inputTable = getSlot(input)?.roleTable;
+    // §2.4/§3.3：刚体变换面 1:1 保留 —— 沿演化传播 roleTable（所有 origin）
+    const inputTable = inputRoleTable(input);
     let roleTable;
     if (inputTable && inputTable.size > 0) {
-        roleTable = propagateAllOrigins(inputTable, identityHashEvolution(kernel, inputSolid, resultSolid));
+        roleTable = propagateAllOrigins(inputTable, hashEvolution);
     }
     return fromBrep(solidToShape(kernel, resultSolid), {
         solid: resultSolid,
@@ -98,6 +122,7 @@ function transformBrep(op, input, params) {
  * @async false
  * @qual ok
  * @name translate
+ * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。
  * @returns Shape 平移后的几何，装配的相对位置靠成员的变换语句表达。
  * @param input - 目标几何。type:Shape required:true
  * @param params.offset - 平移向量（mm）。type:[x,y,z] required:true
@@ -121,6 +146,7 @@ export const translate = defineOp({
     // D11: `translate(p, 10, 0, 0)` == `translate(p, { offset: [10, 0, 0] })`;
     // `offset` is a vec3 slot sitting after the single leading Shape argument.
     slotMap: { keys: ['offset'], vec3Keys: ['offset'], shapeArity: 1 },
+    naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
 });
 /**
  * 绕轴旋转几何体。anglesDeg 为欧拉角（度，XYZ 顺序）。
@@ -129,6 +155,7 @@ export const translate = defineOp({
  * @async false
  * @qual ok
  * @name rotate_euler
+ * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。
  * @returns Shape 旋转后的几何。
  * @param input - 目标几何。type:Shape required:true
  * @param params.anglesDeg - 欧拉角（度，XYZ 顺序）。type:[x,y,z] required:true
@@ -153,6 +180,7 @@ export const rotate_euler = defineOp({
     },
     // D11: `rotate_euler(p, 0, 0, 45)` == `rotate_euler(p, { anglesDeg: [0, 0, 45] })`.
     slotMap: { keys: ['anglesDeg'], vec3Keys: ['anglesDeg'], shapeArity: 1 },
+    naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
 });
 /**
  * 等比缩放几何体（brepjs 契约，§4.6 裁决 2）。factor 只收 number；不动点默认
@@ -162,6 +190,7 @@ export const rotate_euler = defineOp({
  * @async false
  * @qual ok
  * @name scale
+ * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。
  * @returns Shape 缩放后的几何。
  * @param input - 目标几何。type:Shape required:true
  * @param params.factor - 等比缩放系数（> 0）。type:number required:true
@@ -189,6 +218,7 @@ export const scale = defineOp({
     // D11（§4.6）：`scale(p, 2)` == `scale(p, { factor: 2 })`（标量槽）；尾参 options
     // （{center}）经 dual-form-args 尾参合并并入。
     slotMap: { keys: ['factor'], shapeArity: 1 },
+    naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
 });
 /**
  * 非等比缩放几何体（faijs 语义，§1.4.4 裁决 2）。factor 定死 vec3 — 等比缩放请用
@@ -198,6 +228,7 @@ export const scale = defineOp({
  * @async false
  * @qual ok
  * @name scale3d
+ * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。
  * @returns Shape 缩放后的几何。
  * @param input - 目标几何。type:Shape required:true
  * @param params.factor - 三轴缩放系数（均 > 0）。type:[x,y,z] required:true
@@ -225,5 +256,6 @@ export const scale3d = defineOp({
     // D11（裁决 2）：`scale3d(p, [1,2,3])` == `scale3d(p, { factor: [1,2,3] })`；
     // 标量 factor（如 `scale(p, 2)`）由 assertScale3dParams 拒绝并提示 `scale`。
     slotMap: { keys: ['factor'], vec3Keys: ['factor'], shapeArity: 1 },
+    naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
 });
 //# sourceMappingURL=transform.js.map

package/dist/api/transform.js.map

@@ -1 +1 @@
-{"version":3,"file":"transform.js","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACrF,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AACjF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAE9D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAA;AAI3D,oDAAoD;AAEpD;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAA+B;IACnE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAA;IACtD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACxD,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAA;IAChD,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAA+B;IAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,yEAAyE;YACzE,2EAA2E,CAC5E,CAAA;IACH,CAAC;IACD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACb,sEAAsE;YACtE,mDAAmD,CACpD,CAAA;IACH,CAAC;IACD,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;AAC7C,CAAC;AAED,sEAAsE;AACtE,SAAS,aAAa,CAAC,EAAU,EAAE,KAAY,EAAE,MAA+B;IAC9E,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAA4B,CAAA;IAChE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;IACjE,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;IAExE,IAAI,WAAuB,CAAA;IAC3B,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACvB,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;IACxE,CAAC;SAAM,IAAI,EAAE,KAAK,cAAc,EAAE,CAAC;QACjC,WAAW,GAAG,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,SAAiB,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;IAC1G,CAAC;SAAM,CAAC;QACN,qEAAqE;QACrE,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAuB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IAChH,CAAC;IAED,yDAAyD;IACzD,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,SAAkC,CAAA;IACrE,IAAI,SAAgC,CAAA;IACpC,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACtC,SAAS,GAAG,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAA;IACrG,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE;QACjD,KAAK,EAAE,WAAW;QAClB,+BAA+B;QAC/B,aAAa,EAAE,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC;QACrD,SAAS;KACV,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;IAYI;AACJ,MAAM,CAAC,MAAM,SAAS,GAAG,QAAQ,CAAC;IAChC,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;QACnE,qBAAqB,CAAC,MAAM,CAAC,CAAA;QAC7B,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;IACpD,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;QACnE,qBAAqB,CAAC,MAAM,CAAC,CAAA;QAC7B,OAAO,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAClD,CAAC;IACD,2EAA2E;IAC3E,2EAA2E;IAC3E,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;CACnE,CAAC,CAAA;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;IACnC,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QACtE,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,SAAiB,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;IAC5F,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QACtE,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,aAAa,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IACrD,CAAC;IACD,oFAAoF;IACpF,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;CACzE,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;QAC/D,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAgB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IACrF,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;QAC/D,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC9C,CAAC;IACD,kDAAkD;IAClD,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE;IAC7C,uEAAuE;IACvE,qCAAqC;IACrC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;CAC7C,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;QACjE,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,OAAO,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IACrF,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;QACjE,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,OAAO,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAChD,CAAC;IACD,kDAAkD;IAClD,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE;IAC3C,wEAAwE;IACxE,iEAAiE;IACjE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;CACnE,CAAC,CAAA","sourcesContent":["/**\n * stdlib transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）\n *\n *\n * dispatchPath 静态判定 brep/mesh，\n * BREP 路径用 brepOf(input) 取输入实体、fromBrep 登记输出实体。\n */\n\nimport type { Shape, Vec3 } from '../mesh/types'\nimport { cad } from '../mesh'\nimport { translateBrep, rotateBrep, scaleBrep, solidToShape } from '../brep/brep-ops'\nimport { identityEvolution, identityHashEvolution } from '../brep/face-evolution'\nimport { getBackends } from '../runtime-state'\nimport { fromBrep, brepOf, getSlot } from '../shape'\nimport { propagateAllOrigins } from '../topology/naming/roles'\nimport type { RoleTable } from '../topology/naming/types'\nimport { defineOp } from '../sdk'\nimport { assertVec3, assertPositiveNumber } from './assert'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\n\n/** BREP 路径：变换 solid + 恒等面演化 + 三角化 + fromBrep 登记。 */\n\n/**\n * Validate translate parameters: `offset` must be a vec3.\n * @param params - the raw translate operation parameters.\n */\nexport function assertTranslateParams(params: Record<string, unknown>): void {\n  assertVec3(params.offset, 'translate.offset')\n}\n\n/**\n * Validate rotate_euler parameters: `anglesDeg` must be a vec3, and `pivot`\n * (if provided) must also be a vec3.\n * @param params - the raw rotate_euler operation parameters.\n */\nexport function assertRotateParams(params: Record<string, unknown>): void {\n  assertVec3(params.anglesDeg, 'rotate_euler.anglesDeg')\n  if (params.pivot !== undefined && params.pivot !== null) {\n    assertVec3(params.pivot, 'rotate_euler.pivot')\n  }\n}\n\n/**\n * Validate scale parameters (brepjs contract, §4.6 裁决 2): `factor` must be a\n * positive number (uniform). The non-uniform array form belongs to `scale3d` —\n * any `scale(p, { factor: [x,y,z] })` call throws an explicit `E_ARGS_FORM`\n * error pointing at `scale3d` (error hint ≠ compatibility).\n * @param params - the raw scale operation parameters.\n */\nexport function assertScaleParams(params: Record<string, unknown>): void {\n  if (Array.isArray(params.factor)) {\n    throw new Error(\n      '[faijs/args] scale: E_ARGS_FORM: uniform scaling takes a single number ' +\n      '(scale(p, s, { center? })). Non-uniform scaling uses scale3d(p, [x,y,z]).',\n    )\n  }\n  assertPositiveNumber(params.factor, 'scale.factor')\n}\n\n/**\n * Validate scale3d parameters (P6: factor locked to Vec3): `factor` must be a\n * vec3. The uniform scalar form belongs to `scale` — any `scale3d(p, 2)` call\n * throws an explicit `E_ARGS_FORM` error pointing at `scale` (§4.6 裁决 2).\n * @param params - the raw scale3d operation parameters.\n */\nexport function assertScale3dParams(params: Record<string, unknown>): void {\n  if (typeof params.factor === 'number') {\n    throw new Error(\n      '[faijs/args] scale3d: E_ARGS_FORM: factor must be a vec3 [x, y, z]. ' +\n      'Uniform scaling now uses scale(p, 2) (§4.6 裁决 2).',\n    )\n  }\n  assertVec3(params.factor, 'scale3d.factor')\n}\n\n/** BREP 路径：变换 solid + 恒等面演化 + 恒等 roleTable 传播 + 三角化 + fromBrep 登记。 */\nfunction transformBrep(op: string, input: Shape, params: Record<string, unknown>): Shape {\n  const kernel = getBackends().kernel.brep as BrepEngineApi | null\n  if (!kernel) throw new Error('[stdlib/transform] no OCCT kernel')\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[stdlib/transform] input is not BREP')\n\n  let resultSolid: BrepHandle\n  if (op === 'translate') {\n    resultSolid = translateBrep(kernel, inputSolid, params.offset as Vec3)\n  } else if (op === 'rotate_euler') {\n    resultSolid = rotateBrep(kernel, inputSolid, params.anglesDeg as Vec3, params.pivot as Vec3 | undefined)\n  } else {\n    // op is 'scale' | 'scale3d'：统一走 带不动点的 scaleBrep（factor number|Vec3）。\n    resultSolid = scaleBrep(kernel, inputSolid, params.factor as number | Vec3, params.center as Vec3 | undefined)\n  }\n\n  // §2.4/§3.3：刚体变换面 1:1 保留——hash 恒等传播 roleTable（所有 origin）\n  const inputTable = getSlot(input)?.roleTable as RoleTable | undefined\n  let roleTable: RoleTable | undefined\n  if (inputTable && inputTable.size > 0) {\n    roleTable = propagateAllOrigins(inputTable, identityHashEvolution(kernel, inputSolid, resultSolid))\n  }\n\n  return fromBrep(solidToShape(kernel, resultSolid), {\n    solid: resultSolid,\n    // 变换不改变拓扑，面 ordinal 不变（与旧路径一致）\n    faceEvolution: identityEvolution(kernel, resultSolid),\n    roleTable,\n  })\n}\n\n/**\n * 平移几何体。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name translate\n * @returns Shape 平移后的几何，装配的相对位置靠成员的变换语句表达。\n * @param input - 目标几何。type:Shape required:true\n * @param params.offset - 平移向量（mm）。type:[x,y,z] required:true\n * @example\n * const p1 = cad.translate(part0, { offset: [10, 0, 0] })\n  */\nexport const translate = defineOp({\n  name: 'translate',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/translate] no input geometry')\n    assertTranslateParams(params)\n    return cad.translate(input, params.offset as Vec3)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/translate] no input geometry')\n    assertTranslateParams(params)\n    return transformBrep('translate', input, params)\n  },\n  // D11: `translate(p, 10, 0, 0)` == `translate(p, { offset: [10, 0, 0] })`;\n  // `offset` is a vec3 slot sitting after the single leading Shape argument.\n  slotMap: { keys: ['offset'], vec3Keys: ['offset'], shapeArity: 1 },\n})\n\n/**\n * 绕轴旋转几何体。anglesDeg 为欧拉角（度，XYZ 顺序）。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name rotate_euler\n * @returns Shape 旋转后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.anglesDeg - 欧拉角（度，XYZ 顺序）。type:[x,y,z] required:true\n * @param params.pivot - 旋转中心。type:[x,y,z] 默认 原点\n * @example\n * const p2 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45] })\n * const p3 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45], pivot: [0,0,0] })\n */\nexport const rotate_euler = defineOp({\n  name: 'rotate_euler',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/rotate_euler] no input geometry')\n    assertRotateParams(params)\n    return cad.rotate_euler(input, params.anglesDeg as Vec3, params.pivot as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/rotate_euler] no input geometry')\n    assertRotateParams(params)\n    return transformBrep('rotate_euler', input, params)\n  },\n  // D11: `rotate_euler(p, 0, 0, 45)` == `rotate_euler(p, { anglesDeg: [0, 0, 45] })`.\n  slotMap: { keys: ['anglesDeg'], vec3Keys: ['anglesDeg'], shapeArity: 1 },\n})\n\n/**\n * 等比缩放几何体（brepjs 契约，§4.6 裁决 2）。factor 只收 number；不动点默认\n * 原点（与 vendored `scale(shape, factor, { center? })` 一致），`center` 可选。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name scale\n * @returns Shape 缩放后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.factor - 等比缩放系数（> 0）。type:number required:true\n * @param params.center - 缩放不动点（p 保持不动）。type:[x,y,z] 默认 [0,0,0]（原点）\n * @example\n * const p4 = cad.scale(part0, 2)\n * const p5 = cad.scale(part0, { factor: 2, center: [10, 0, 0] })\n */\nexport const scale = defineOp({\n  name: 'scale',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale] no input geometry')\n    assertScaleParams(params)\n    return cad.scale(input, params.factor as number, params.center as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale] no input geometry')\n    assertScaleParams(params)\n    return transformBrep('scale', input, params)\n  },\n  // L3 schema: factor/center for codegen/UI panels.\n  schema: { factor: 'number', center: 'vec3?' },\n  // D11（§4.6）：`scale(p, 2)` == `scale(p, { factor: 2 })`（标量槽）；尾参 options\n  // （{center}）经 dual-form-args 尾参合并并入。\n  slotMap: { keys: ['factor'], shapeArity: 1 },\n})\n\n/**\n * 非等比缩放几何体（faijs 语义，§1.4.4 裁决 2）。factor 定死 vec3 — 等比缩放请用\n * `scale(p, s)`，`scale3d(p, [x,y,z])` 才可非等比。`center` 为不动点（默认原点）。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name scale3d\n * @returns Shape 缩放后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.factor - 三轴缩放系数（均 > 0）。type:[x,y,z] required:true\n * @param params.center - 缩放不动点。type:[x,y,z] 默认 [0,0,0]（原点）\n * @example\n * const p4 = cad.scale3d(part0, { factor: [2, 1, 1] })\n * const p5 = cad.scale3d(part0, [2, 1, 1], { center: [10, 0, 0] })\n */\nexport const scale3d = defineOp({\n  name: 'scale3d',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale3d] no input geometry')\n    assertScale3dParams(params)\n    return cad.scale3d(input, params.factor as Vec3, params.center as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale3d] no input geometry')\n    assertScale3dParams(params)\n    return transformBrep('scale3d', input, params)\n  },\n  // L3 schema: factor/center for codegen/UI panels.\n  schema: { factor: 'vec3', center: 'vec3?' },\n  // D11（裁决 2）：`scale3d(p, [1,2,3])` == `scale3d(p, { factor: [1,2,3] })`；\n  // 标量 factor（如 `scale(p, 2)`）由 assertScale3dParams 拒绝并提示 `scale`。\n  slotMap: { keys: ['factor'], vec3Keys: ['factor'], shapeArity: 1 },\n})\n"]}
+{"version":3,"file":"transform.js","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACtE,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,0BAA0B,GAC3B,MAAM,wBAAwB,CAAA;AAE/B,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAG9D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAA;AAI3D,oDAAoD;AAEpD;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAA+B;IACnE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAA;IACtD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACxD,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAA;IAChD,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAA+B;IAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,yEAAyE;YACzE,2EAA2E,CAC5E,CAAA;IACH,CAAC;IACD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACb,sEAAsE;YACtE,mDAAmD,CACpD,CAAA;IACH,CAAC;IACD,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;AAC7C,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,aAAa,CAAC,EAAU,EAAE,KAAY,EAAE,MAA+B;IAC9E,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAA4B,CAAA;IAChE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;IACjE,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;IAExE,IAAI,WAAuB,CAAA;IAC3B,IAAI,aAA4B,CAAA;IAEhC,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACvB,uEAAuE;QACvE,MAAM,CAAC,GAAG,0BAA0B,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;QAC/E,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;QACtB,aAAa,GAAG,CAAC,CAAC,SAAS,CAAA;IAC7B,CAAC;SAAM,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;QAC1B,yEAAyE;QACzE,MAAM,CAAC,GAAG,sBAAsB,CAC9B,MAAM,EACN,UAAU,EACT,MAAM,CAAC,MAA2B,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAChD,MAAM,CAAC,MAAgB,CACxB,CAAA;QACD,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;QACtB,aAAa,GAAG,CAAC,CAAC,SAAS,CAAA;IAC7B,CAAC;SAAM,CAAC;QACN,gEAAgE;QAChE,IAAI,EAAE,KAAK,cAAc,EAAE,CAAC;YAC1B,WAAW,GAAG,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,SAAiB,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;QAC1G,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAuB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;QAChH,CAAC;QACD,aAAa,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IACxE,CAAC;IAED,uDAAuD;IACvD,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAA0B,CAAA;IACjE,IAAI,SAAgC,CAAA;IACpC,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACtC,SAAS,GAAG,mBAAmB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAA;IAC5D,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE;QACjD,KAAK,EAAE,WAAW;QAClB,+BAA+B;QAC/B,aAAa,EAAE,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC;QACrD,SAAS;KACV,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;;IAaI;AACJ,MAAM,CAAC,MAAM,SAAS,GAAG,QAAQ,CAAC;IAChC,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;QACnE,qBAAqB,CAAC,MAAM,CAAC,CAAA;QAC7B,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;IACpD,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;QACnE,qBAAqB,CAAC,MAAM,CAAC,CAAA;QAC7B,OAAO,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAClD,CAAC;IACD,2EAA2E;IAC3E,2EAA2E;IAC3E,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IAClE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;IACnC,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QACtE,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,SAAiB,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;IAC5F,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QACtE,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,aAAa,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IACrD,CAAC;IACD,oFAAoF;IACpF,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IACxE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;QAC/D,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAgB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IACrF,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;QAC/D,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC9C,CAAC;IACD,kDAAkD;IAClD,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE;IAC7C,uEAAuE;IACvE,qCAAqC;IACrC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;QACjE,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,OAAO,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IACrF,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;QACjE,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,OAAO,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAChD,CAAC;IACD,kDAAkD;IAClD,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE;IAC3C,wEAAwE;IACxE,iEAAiE;IACjE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IAClE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA","sourcesContent":["/**\n * stdlib transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）\n *\n *\n * dispatchPath 静态判定 brep/mesh，\n * BREP 路径用 brepOf(input) 取输入实体、fromBrep 登记输出实体。\n */\n\nimport type { Shape, Vec3 } from '../mesh/types'\nimport { cad } from '../mesh'\nimport { rotateBrep, scaleBrep, solidToShape } from '../brep/brep-ops'\nimport {\n  identityEvolution,\n  identityHashEvolution,\n  scaleWithHashEvolution,\n  translateWithHashEvolution,\n} from '../brep/face-evolution'\nimport type { HashEvolution } from '../brep/face-evolution'\nimport { getBackends } from '../runtime-state'\nimport { fromBrep, brepOf, inputRoleTable } from '../shape'\nimport { propagateAllOrigins } from '../topology/naming/roles'\nimport type { RoleTable } from '../topology/naming/types'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { defineOp } from '../sdk'\nimport { assertVec3, assertPositiveNumber } from './assert'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\n\n/** BREP 路径：变换 solid + 恒等面演化 + 三角化 + fromBrep 登记。 */\n\n/**\n * Validate translate parameters: `offset` must be a vec3.\n * @param params - the raw translate operation parameters.\n */\nexport function assertTranslateParams(params: Record<string, unknown>): void {\n  assertVec3(params.offset, 'translate.offset')\n}\n\n/**\n * Validate rotate_euler parameters: `anglesDeg` must be a vec3, and `pivot`\n * (if provided) must also be a vec3.\n * @param params - the raw rotate_euler operation parameters.\n */\nexport function assertRotateParams(params: Record<string, unknown>): void {\n  assertVec3(params.anglesDeg, 'rotate_euler.anglesDeg')\n  if (params.pivot !== undefined && params.pivot !== null) {\n    assertVec3(params.pivot, 'rotate_euler.pivot')\n  }\n}\n\n/**\n * Validate scale parameters (brepjs contract, §4.6 裁决 2): `factor` must be a\n * positive number (uniform). The non-uniform array form belongs to `scale3d` —\n * any `scale(p, { factor: [x,y,z] })` call throws an explicit `E_ARGS_FORM`\n * error pointing at `scale3d` (error hint ≠ compatibility).\n * @param params - the raw scale operation parameters.\n */\nexport function assertScaleParams(params: Record<string, unknown>): void {\n  if (Array.isArray(params.factor)) {\n    throw new Error(\n      '[faijs/args] scale: E_ARGS_FORM: uniform scaling takes a single number ' +\n      '(scale(p, s, { center? })). Non-uniform scaling uses scale3d(p, [x,y,z]).',\n    )\n  }\n  assertPositiveNumber(params.factor, 'scale.factor')\n}\n\n/**\n * Validate scale3d parameters (P6: factor locked to Vec3): `factor` must be a\n * vec3. The uniform scalar form belongs to `scale` — any `scale3d(p, 2)` call\n * throws an explicit `E_ARGS_FORM` error pointing at `scale` (§4.6 裁决 2).\n * @param params - the raw scale3d operation parameters.\n */\nexport function assertScale3dParams(params: Record<string, unknown>): void {\n  if (typeof params.factor === 'number') {\n    throw new Error(\n      '[faijs/args] scale3d: E_ARGS_FORM: factor must be a vec3 [x, y, z]. ' +\n      'Uniform scaling now uses scale(p, 2) (§4.6 裁决 2).',\n    )\n  }\n  assertVec3(params.factor, 'scale3d.factor')\n}\n\n/**\n * BREP 路径：变换 solid + 面演化 + roleTable 传播 + 三角化 + fromBrep 登记。\n *\n * Phase 0.3：优先走内核**权威**面演化（`translateWithHistory` / `scaleWithHistory`）；\n * 内核无法单次表达的（`rotate_euler` 任意欧拉+pivot、`scale3d` 非等比）退回\n * `identityHashEvolution`，其\"面枚举序号在变换后保持\"的假设由\n * `brep/face-evolution.ordering.test.ts` 实测钉住。\n * @param op - the transform operation name.\n * @param input - the input geometry.\n * @param params - the operation parameters.\n * @returns the transformed Shape.\n */\nfunction transformBrep(op: string, input: Shape, params: Record<string, unknown>): Shape {\n  const kernel = getBackends().kernel.brep as BrepEngineApi | null\n  if (!kernel) throw new Error('[stdlib/transform] no OCCT kernel')\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[stdlib/transform] input is not BREP')\n\n  let resultSolid: BrepHandle\n  let hashEvolution: HashEvolution\n\n  if (op === 'translate') {\n    // 权威映射：内核 translateWithHistory（1:1 全覆盖，实测见 evolution-bindings.test.ts）\n    const r = translateWithHashEvolution(kernel, inputSolid, params.offset as Vec3)\n    resultSolid = r.result\n    hashEvolution = r.evolution\n  } else if (op === 'scale') {\n    // 权威映射：内核 scaleWithHistory（仅均匀 —— assertScaleParams 已保证 factor 是 number）\n    const r = scaleWithHashEvolution(\n      kernel,\n      inputSolid,\n      (params.center as Vec3 | undefined) ?? [0, 0, 0],\n      params.factor as number,\n    )\n    resultSolid = r.result\n    hashEvolution = r.evolution\n  } else {\n    // rotate_euler（任意欧拉角+pivot）/ scale3d（非等比）：内核无单次 WithHistory 可表达\n    if (op === 'rotate_euler') {\n      resultSolid = rotateBrep(kernel, inputSolid, params.anglesDeg as Vec3, params.pivot as Vec3 | undefined)\n    } else {\n      resultSolid = scaleBrep(kernel, inputSolid, params.factor as number | Vec3, params.center as Vec3 | undefined)\n    }\n    hashEvolution = identityHashEvolution(kernel, inputSolid, resultSolid)\n  }\n\n  // §2.4/§3.3：刚体变换面 1:1 保留 —— 沿演化传播 roleTable（所有 origin）\n  const inputTable = inputRoleTable(input) as RoleTable | undefined\n  let roleTable: RoleTable | undefined\n  if (inputTable && inputTable.size > 0) {\n    roleTable = propagateAllOrigins(inputTable, hashEvolution)\n  }\n\n  return fromBrep(solidToShape(kernel, resultSolid), {\n    solid: resultSolid,\n    // 变换不改变拓扑，面 ordinal 不变（与旧路径一致）\n    faceEvolution: identityEvolution(kernel, resultSolid),\n    roleTable,\n  })\n}\n\n/**\n * 平移几何体。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name translate\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 平移后的几何，装配的相对位置靠成员的变换语句表达。\n * @param input - 目标几何。type:Shape required:true\n * @param params.offset - 平移向量（mm）。type:[x,y,z] required:true\n * @example\n * const p1 = cad.translate(part0, { offset: [10, 0, 0] })\n  */\nexport const translate = defineOp({\n  name: 'translate',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/translate] no input geometry')\n    assertTranslateParams(params)\n    return cad.translate(input, params.offset as Vec3)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/translate] no input geometry')\n    assertTranslateParams(params)\n    return transformBrep('translate', input, params)\n  },\n  // D11: `translate(p, 10, 0, 0)` == `translate(p, { offset: [10, 0, 0] })`;\n  // `offset` is a vec3 slot sitting after the single leading Shape argument.\n  slotMap: { keys: ['offset'], vec3Keys: ['offset'], shapeArity: 1 },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 绕轴旋转几何体。anglesDeg 为欧拉角（度，XYZ 顺序）。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name rotate_euler\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 旋转后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.anglesDeg - 欧拉角（度，XYZ 顺序）。type:[x,y,z] required:true\n * @param params.pivot - 旋转中心。type:[x,y,z] 默认 原点\n * @example\n * const p2 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45] })\n * const p3 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45], pivot: [0,0,0] })\n */\nexport const rotate_euler = defineOp({\n  name: 'rotate_euler',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/rotate_euler] no input geometry')\n    assertRotateParams(params)\n    return cad.rotate_euler(input, params.anglesDeg as Vec3, params.pivot as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/rotate_euler] no input geometry')\n    assertRotateParams(params)\n    return transformBrep('rotate_euler', input, params)\n  },\n  // D11: `rotate_euler(p, 0, 0, 45)` == `rotate_euler(p, { anglesDeg: [0, 0, 45] })`.\n  slotMap: { keys: ['anglesDeg'], vec3Keys: ['anglesDeg'], shapeArity: 1 },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 等比缩放几何体（brepjs 契约，§4.6 裁决 2）。factor 只收 number；不动点默认\n * 原点（与 vendored `scale(shape, factor, { center? })` 一致），`center` 可选。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name scale\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 缩放后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.factor - 等比缩放系数（> 0）。type:number required:true\n * @param params.center - 缩放不动点（p 保持不动）。type:[x,y,z] 默认 [0,0,0]（原点）\n * @example\n * const p4 = cad.scale(part0, 2)\n * const p5 = cad.scale(part0, { factor: 2, center: [10, 0, 0] })\n */\nexport const scale = defineOp({\n  name: 'scale',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale] no input geometry')\n    assertScaleParams(params)\n    return cad.scale(input, params.factor as number, params.center as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale] no input geometry')\n    assertScaleParams(params)\n    return transformBrep('scale', input, params)\n  },\n  // L3 schema: factor/center for codegen/UI panels.\n  schema: { factor: 'number', center: 'vec3?' },\n  // D11（§4.6）：`scale(p, 2)` == `scale(p, { factor: 2 })`（标量槽）；尾参 options\n  // （{center}）经 dual-form-args 尾参合并并入。\n  slotMap: { keys: ['factor'], shapeArity: 1 },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 非等比缩放几何体（faijs 语义，§1.4.4 裁决 2）。factor 定死 vec3 — 等比缩放请用\n * `scale(p, s)`，`scale3d(p, [x,y,z])` 才可非等比。`center` 为不动点（默认原点）。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name scale3d\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 缩放后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.factor - 三轴缩放系数（均 > 0）。type:[x,y,z] required:true\n * @param params.center - 缩放不动点。type:[x,y,z] 默认 [0,0,0]（原点）\n * @example\n * const p4 = cad.scale3d(part0, { factor: [2, 1, 1] })\n * const p5 = cad.scale3d(part0, [2, 1, 1], { center: [10, 0, 0] })\n */\nexport const scale3d = defineOp({\n  name: 'scale3d',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale3d] no input geometry')\n    assertScale3dParams(params)\n    return cad.scale3d(input, params.factor as Vec3, params.center as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale3d] no input geometry')\n    assertScale3dParams(params)\n    return transformBrep('scale3d', input, params)\n  },\n  // L3 schema: factor/center for codegen/UI panels.\n  schema: { factor: 'vec3', center: 'vec3?' },\n  // D11（裁决 2）：`scale3d(p, [1,2,3])` == `scale3d(p, { factor: [1,2,3] })`；\n  // 标量 factor（如 `scale(p, 2)`）由 assertScale3dParams 拒绝并提示 `scale`。\n  slotMap: { keys: ['factor'], vec3Keys: ['factor'], shapeArity: 1 },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n"]}

package/dist/boolean/deriveNormals.d.ts

@@ -6,10 +6,11 @@ import { BufferGeometry } from 'three';
  * 几何**上会把相邻三角面的法线取平均 → 棱边被"磨圆"。这正是钻孔/布尔/分割操作后
  * model visual anomalies after drilling/boolean/split operations.
  *
- * `toCreasedNormals` 只在二面角大于 `creaseAngleDeg` 的边处"裂开"法线 → 锐边保持锐利，
- * 仅对近共面 / 真实曲面（如钻孔内壁）平滑。它内部会把索引几何 `toNonIndexed()`
- * （单条法线属性无法在共享顶点上表达锐边），因此返回的几何**可能是非索引的**——
- * 这是预期且正确的表示，且与 STL 源零件本就是非索引一致，使各格式往返统一。
+ * 算法本体在 `../mesh/creased-normals`（零依赖移植 three 的 toCreasedNormals）：
+ * 锐边处"裂开"法线 → 锐边保持锐利，仅对近共面 / 真实曲面（如钻孔内壁）平滑。
+ * 输入若是索引几何会被展开为非索引（单条法线属性无法在共享顶点上表达锐边），
+ * 因此返回的几何**可能是非索引的**——这是预期且正确的表示，且与 STL 源零件
+ * 本就是非索引一致，使各格式往返统一。
  *
  * 约定：项目中所有"需要派生法线"之处（操作结果、STL/3MF 导入）都经此函数，
  * 不得再直接调用 `computeVertexNormals()`。

package/dist/boolean/deriveNormals.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"deriveNormals.d.ts","sourceRoot":"","sources":["../../src/boolean/deriveNormals.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,OAAO,CAAA;AAGtC;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,cAAc,EAAE,cAAc,SAAK,GAAG,cAAc,CAG3F"}
+{"version":3,"file":"deriveNormals.d.ts","sourceRoot":"","sources":["../../src/boolean/deriveNormals.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAmB,MAAM,OAAO,CAAA;AAGvD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,cAAc,EAAE,cAAc,SAAK,GAAG,cAAc,CAoB3F"}