@faicad/faijs 0.31.1 → 0.32.3

package/dist/lang/codegen.js.map

@@ -1 +1 @@
-{"version":3,"file":"codegen.js","sourceRoot":"","sources":["../../src/lang/codegen.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAElG,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAE5C,cAAc;AAEd;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CAAC,CAAS;IAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;IACzC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;IACzC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACtB,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;AAChC,CAAC;AAED,cAAc;AAEd;;6DAE6D;AAC7D,MAAM,cAAc,GAA2B;IAC7C,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,KAAK;IACV,QAAQ,EAAE,KAAK,EAAE,YAAY;IAC7B,QAAQ,EAAE,KAAK,EAAE,YAAY;IAC7B,QAAQ,EAAE,KAAK,EAAE,YAAY;IAC7B,QAAQ,EAAE,KAAK,EAAE,kBAAkB;IACnC,QAAQ,EAAE,KAAK,EAAE,MAAM;IACvB,QAAQ,EAAE,KAAK,EAAE,eAAe;CACjC,CAAA;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAChC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CAAC,CAAS;IAClC,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,aAAa,GAAuC;IACxD,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ;IAChD,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;IACxC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ;IAClC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU;IAClC,MAAM,EAAE,QAAQ;CACjB,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,GAAY,EAAE,QAAkB;IAC9E,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAA;IAClD,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;IACzC,OAAO,GAAG,UAAU,CAAC,YAAY,CAAC,MAAM,SAAS,EAAE,CAAA;AACrD,CAAC;AAeD,6BAA6B;AAC7B,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAA;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACnD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,CAAA;IAC7D,IAAI,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAA;IAC1C,IAAI,cAAc,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAA;IAC5C,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,KAAK,CAAA;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3C,OAAO,GAAG,SAAS,IAAI,KAAK,IAAI,MAAM,IAAI,KAAK,GAAG,CAAA;IACpD,CAAC;IACD,IAAI,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAA;IAC5E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IACrE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAA;QAChE,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;IACzE,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;AACtB,CAAC;AAuCD,kCAAkC;AAClC,SAAS,aAAa,CAAC,GAAY;IACjC,OAAO,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;AAC1F,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,KAAc,EAAE,GAA+B,EAAE,IAAsC;IAC9G,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;QAChB,wBAAwB;QACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YACzC,OAAO,iBAAiB,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAA;QAChD,CAAC;QACD,8BAA8B;QAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;QAC3E,CAAC;QACD,+DAA+D;QAC/D,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC,IAAI,CAAA;IAC3D,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;AACxB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CAAC,KAA0B;IACnD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;IACnC,MAAM,SAAS,GAA4B,KAAK,CAAC,IAAI,IAAI,EAAE,CAAA;IAE3D,WAAW;IACX,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC7C,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,CAAA;YAC9D,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QAC3E,CAAC;QACD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAA;IACtB,CAAC,CAAC,CAAA;IAEF,0CAA0C;IAC1C,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAClF,MAAM,iBAAiB,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAEnG,IAAI,QAAgB,CAAA;IACpB,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrC,IAAI,CAAC,iBAAiB,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/C,QAAQ,GAAG,CAAC,GAAG,eAAe,EAAE,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC1B,QAAQ,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IACtE,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;IACxE,CAAC;IAED,0CAA0C;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,MAAM,EAAE,CAAA;IAE3G,kCAAkC;IAClC,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1F,OAAO,WAAW,WAAW,QAAQ,MAAM,IAAI,QAAQ,GAAG,CAAA;IAC5D,CAAC;IAED,UAAU;IACV,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,OAAO,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,IAAI,QAAQ,GAAG,CAAA;IACzD,CAAC;IAED,WAAW;IACX,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,GAAG,MAAM,IAAI,QAAQ,GAAG,CAAA;IACjC,CAAC;IAED,wCAAwC;IACxC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,KAAK,CAAC,cAAc;QAAE,OAAO,GAAG,GAAG,MAAM,MAAM,IAAI,QAAQ,GAAG,CAAA;IAClE,OAAO,OAAO,GAAG,MAAM,MAAM,IAAI,QAAQ,GAAG,CAAA;AAC9C,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,KAA0B,EAAE,IAA2B;IACpF,kEAAkE;IAClE,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAA;IACjC,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;IACnC,MAAM,SAAS,GAA4B,KAAK,CAAC,IAAI,IAAI,EAAE,CAAA;IAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAA;IAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAA;IAErC,2CAA2C;IAC3C,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAChD,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAA;QAC9B,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,CAAA;YAC9D,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QAC5G,CAAC;QACD,OAAO,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;IAEF,0GAA0G;IAC1G,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAA;IACnH,MAAM,iBAAiB,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAEnG,IAAI,QAAgB,CAAA;IACpB,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrC,IAAI,CAAC,iBAAiB,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/C,QAAQ,GAAG,CAAC,GAAG,eAAe,EAAE,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC1B,QAAQ,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IACtE,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;IACxE,CAAC;IAED,0CAA0C;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,MAAM,EAAE,CAAA;IAE3G,kCAAkC;IAClC,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1F,OAAO,WAAW,WAAW,QAAQ,MAAM,IAAI,QAAQ,GAAG,CAAA;IAC5D,CAAC;IAED,UAAU;IACV,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,OAAO,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,IAAI,QAAQ,GAAG,CAAA;IACzD,CAAC;IAED,WAAW;IACX,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,GAAG,MAAM,IAAI,QAAQ,GAAG,CAAA;IACjC,CAAC;IAED,wCAAwC;IACxC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,KAAK,CAAC,cAAc;QAAE,OAAO,GAAG,GAAG,MAAM,MAAM,IAAI,QAAQ,GAAG,CAAA;IAClE,OAAO,OAAO,GAAG,MAAM,MAAM,IAAI,QAAQ,GAAG,CAAA;AAC9C,CAAC","sourcesContent":["/**\n * codegen — 纯数据 → 文本 打印工具（宿主编辑器/测试用；L0，仅依赖 host-arg）\n *\n * 宿主 buildCode / 编辑重排行（editStatement → replaceCodeAt）统一走此入口。\n * 输入是纯数据（HostArg 面），不依赖任何 IR 类型。\n *\n * 扁平代码格式（无 export/async/await/return/参数声明）：\n * ```js\n * let part0 = cad.box(10, 20, 30)\n * part0 = cad.translate(part0, { offset: [1, 2, 3] })\n * ```\n *\n * 值格式约定（确定性输出）：\n * - vec3 → `[1,2,3]`（紧凑无空格）\n * - 数字 → 整数直出；小数最多保留 6 位有效小数并去尾零\n * - 字符串 → 单引号包裹\n * - HostVarRef → 裸变量名（members 元素）\n * - HostCallRef → `cad.faceNormal(part0)`（嵌套调用）\n * - HostExprRef → `(expr text)`（原文加括号）\n * - 对象字面量 → `{key:value}`（冒号，合法 JS）\n */\n\nimport type { HostArg } from './host-arg'\nimport { isHostVarRef, isHostParamRef, isHostCallRef, isHostExprRef, isHostRef } from './host-arg'\nimport type { DimName, UnitName, UnitContext } from '../units'\nimport { unitFor, fromBase } from '../units'\n\n// ── 数值格式化 ──\n\n/**\n * Format a number as text: integers emit as-is; decimals retain at most 6\n * significant fractional digits with trailing zeros stripped.\n * @param n - the number to format.\n * @returns the formatted text representation.\n */\nexport function fmtNum(n: number): string {\n  if (!Number.isFinite(n)) return String(n)\n  if (Number.isInteger(n)) return String(n)\n  const s = n.toFixed(6)\n  return s.replace(/\\.?0+$/, '')\n}\n\n// ── 字符串转义 ──\n\n/** 字符串转义：转义反斜杠、单引号与控制字符（多行 SDF code 等字符串参数用）。\n *  逐一字符映射（避开 regex 控制字符字面量，满足 eslint no-control-regex），\n *  保证 fmtValue ⇄ analyzeCode 往返一致：嵌入 '…' 后仍是合法 JS，可被精确还原。 */\nconst STRING_ESCAPES: Record<string, string> = {\n  '\\\\': '\\\\\\\\',\n  \"'\": \"\\\\'\",\n  '\\u0008': '\\\\b', // backspace\n  '\\u000C': '\\\\f', // form feed\n  '\\u000A': '\\\\n', // line feed\n  '\\u000D': '\\\\r', // carriage return\n  '\\u0009': '\\\\t', // tab\n  '\\u000B': '\\\\v', // vertical tab\n}\n\nfunction escapeStr(s: string): string {\n  let out = ''\n  for (let i = 0; i < s.length; i++) {\n    const esc = STRING_ESCAPES[s[i]]\n    out += esc ?? s[i]\n  }\n  return out\n}\n\n/**\n * Format a unit literal number using JS shortest-round-trip representation.\n *\n * P7/D10.3 rule 5: unit literal numbers MUST use `String(n)` (e.g.\n * `0.39370078740157477`), NEVER `fmtNum` (which truncates to 6 decimal\n * places and would silently zero out `1e-7`).\n * @param n - the number to format.\n * @returns the shortest JS round-trip text representation.\n */\nexport function fmtUnitNum(n: number): string {\n  return String(n)\n}\n\n/**\n * Reverse lookup: find the script-side unit constant name for a given\n * `UnitName`. Returns the UPPERCASE constant name (e.g. `INCH` for `'inch'`).\n */\nconst NAME_TO_CONST: Readonly<Record<UnitName, string>> = {\n  mm: 'MM', cm: 'CM', m: 'METER', micron: 'MICRON',\n  inch: 'INCH', foot: 'FOOT', yard: 'YARD',\n  degree: 'DEGREE', radian: 'RADIAN',\n  gram: 'GRAM', kilogram: 'KILOGRAM',\n  second: 'SECOND',\n}\n\n/**\n * Format a base-unit value as a unit literal expression (`n * UNIT`).\n *\n * P7/D10.3: `base` is the base-unit (mm/degree) value; `dim` determines which\n * system display unit to use; `unitName` is the target display unit.\n * The number is formatted with `fmtUnitNum` (not `fmtNum`).\n * @param base - the base-unit numeric value.\n * @param dim - the dimension of the value.\n * @param unitName - the display unit to express the value in.\n * @returns text like `10 * INCH` or `0.39370078740157477 * INCH`.\n */\nexport function formatUnitLiteral(base: number, dim: DimName, unitName: UnitName): string {\n  const displayValue = fromBase(base, unitName, dim)\n  const constName = NAME_TO_CONST[unitName]\n  return `${fmtUnitNum(displayValue)} * ${constName}`\n}\n\n/**\n * P7/D10.3: Options for unit-aware serialization of `formatCodeLine`.\n *\n * When provided, dimensioned parameters are emitted as unit literals\n * (`n * UNIT`). When absent, output is byte-identical to the pre-P7 behavior.\n */\nexport interface UnitSerializeOptions {\n  /** System display unit; defaults to base (mm / degree). */\n  units?: UnitContext\n  /** Parameter dimension declarations (host provides from op paramDims + slotMap). */\n  dims?: { positional?: (DimName | null)[]; byKey?: Record<string, DimName> }\n}\n\n/** 参数值 → 文本（递归，HostArg 面） */\nfunction fmtValue(value: HostArg): string {\n  if (value === null) return 'null'\n  if (typeof value === 'number') return fmtNum(value)\n  if (typeof value === 'boolean') return String(value)\n  if (typeof value === 'string') return `'${escapeStr(value)}'`\n  if (isHostVarRef(value)) return value.name\n  if (isHostParamRef(value)) return value.name\n  if (isHostCallRef(value)) {\n    const { callee, args, namespace } = value\n    const inner = args.map(fmtValue).join(', ')\n    return `${namespace ?? 'cad'}.${callee}(${inner})`\n  }\n  if (isHostExprRef(value)) return value.bare ? value.text : `(${value.text})`\n  if (Array.isArray(value)) return `[${value.map(fmtValue).join(',')}]`\n  if (typeof value === 'object') {\n    const entries = Object.entries(value as Record<string, HostArg>)\n    return `{${entries.map(([k, v]) => `${k}:${fmtValue(v)}`).join(', ')}}`\n  }\n  return String(value)\n}\n\n// ── 纯数据 → 代码行（宿主代码生成入口） ──\n\n/**\n * Pure-data input for printing one faijs source line, decoupled from IR types.\n *\n * `positional` and `args` use `HostArg` (host-friendly types with `kind`-based\n * discrimination).\n */\nexport interface FormatCodeLineInput {\n  callee: string\n  /** 成员方法调用接收者变量名 */\n  receiver?: string\n  /**\n   * 位置实参槽（HostArg 形态）：宿主可传字面量、\n   * 变量引用（`{kind:'var-ref',name}`）、参数引用（`{kind:'param-ref',name}`）、\n   * 嵌套调用（`{kind:'call-ref',callee,args,namespace?}`）、\n   * 表达式（`{kind:'expr-ref',text,refs,params}`）或纯 JsonValue，按序打印。\n   */\n  positional: HostArg[]\n  /** 产出变量名 */\n  outputs: string[]\n  /** 解构键（与 outputs 一一对应） */\n  outputKeys?: string[]\n  /**\n   * （过渡兼容）选项对象：positional 末位不是纯对象时追加为尾随选项对象。\n   * 新代码应把选项对象直接放进 positional。\n   */\n  args?: Record<string, HostArg>\n  /** 调用命名空间（F2：第三方库 `mech.makeHeadstock(...)` → 'mech'；缺省 'cad'） */\n  namespace?: string\n  /**\n   * outputs[0] 是否已在代码中声明：true → 裸重赋值（`part0 = ...`），\n   * false/省略 → let 声明；解构/成员调用/无输出时忽略。\n   */\n  outputDeclared?: boolean\n}\n\n/** 检测 HostArg 是否为纯数据对象（非引用形态）。 */\nfunction isPlainObjArg(arg: HostArg): boolean {\n  return arg !== null && typeof arg === 'object' && !Array.isArray(arg) && !isHostRef(arg)\n}\n\n/**\n * Recursively format a HostArg value, applying unit wrapping to numbers inside\n * arrays (vec3) and plain objects when a dimension is declared.\n */\nfunction fmtValueWithDim(value: HostArg, dim: DimName | null | undefined, opts: UnitSerializeOptions | undefined): string {\n  if (opts && dim) {\n    // Number → unit literal\n    if (typeof value === 'number') {\n      const unitName = unitFor(dim, opts.units)\n      return formatUnitLiteral(value, dim, unitName)\n    }\n    // Array (vec3) → element-wise\n    if (Array.isArray(value)) {\n      return `[${value.map((el) => fmtValueWithDim(el, dim, opts)).join(',')}]`\n    }\n    // Bare expr-ref already containing a unit literal → keep as-is\n    if (isHostExprRef(value) && value.bare) return value.text\n  }\n  return fmtValue(value)\n}\n\n/**\n * Original `formatCodeLine` body without unit support (P7 fast path).\n *\n * This is the byte-identical pre-P7 implementation, called when `opts` is\n * absent or has no `dims` field. Kept as a separate function so the\n * unit-aware path can be tested independently.\n */\nfunction formatCodeLineRaw(input: FormatCodeLineInput): string {\n  const positional = input.positional\n  const argsInput: Record<string, HostArg> = input.args ?? {}\n\n  // 位置实参按序打印\n  const positionalParts = positional.map((arg) => {\n    if (isPlainObjArg(arg)) {\n      const entries = Object.entries(arg as Record<string, HostArg>)\n      return `{ ${entries.map(([k, v]) => `${k}:${fmtValue(v)}`).join(', ')} }`\n    }\n    return fmtValue(arg)\n  })\n\n  // args 槽（过渡兼容：positional 末位非纯对象时追加为独立选项槽）\n  const argsParts = Object.entries(argsInput).map(([k, v]) => `${k}:${fmtValue(v)}`)\n  const lastIsPlainObject = positional.length > 0 && isPlainObjArg(positional[positional.length - 1])\n\n  let callArgs: string\n  if (positionalParts.length > 0) {\n    callArgs = positionalParts.join(', ')\n    if (!lastIsPlainObject && argsParts.length > 0) {\n      callArgs = [...positionalParts, `{ ${argsParts.join(', ')} }`].join(', ')\n    }\n  } else if (input.receiver) {\n    callArgs = argsParts.length > 0 ? `{ ${argsParts.join(', ')} }` : ''\n  } else {\n    callArgs = argsParts.length > 0 ? `{ ${argsParts.join(', ')} }` : '{}'\n  }\n\n  // F2：命名空间前缀（缺省 cad）；本机函数调用 callee 无命名空间前缀\n  const nsExpr = input.namespace === undefined ? `cad.${input.callee}` : `${input.namespace}.${input.callee}`\n\n  // 1) 解构：outputKeys + outputs 一一对应\n  if (input.outputKeys && input.outputKeys.length > 0) {\n    const destructure = input.outputKeys.map((k, i) => `${k}: ${input.outputs[i]}`).join(', ')\n    return `const { ${destructure} } = ${nsExpr}(${callArgs})`\n  }\n\n  // 2) 成员调用\n  if (input.receiver) {\n    return `${input.receiver}.${input.callee}(${callArgs})`\n  }\n\n  // 3) 无赋值调用\n  if (input.outputs.length === 0) {\n    return `${nsExpr}(${callArgs})`\n  }\n\n  // 4) 赋值：outputDeclared → 裸重赋值；否则 let 声明\n  const out = input.outputs[0]\n  if (input.outputDeclared) return `${out} = ${nsExpr}(${callArgs})`\n  return `let ${out} = ${nsExpr}(${callArgs})`\n}\n\n/**\n * 从纯数据（非 IR 类型）打印一行 faijs 源代码。\n *\n * 宿主 buildCode / 编辑重排行（editStatement → replaceCodeAt）统一走此入口。\n *\n * P7/D10: when `opts` is provided, dimensioned parameters are serialized as\n * unit literals (`n * UNIT`). When `opts` is absent, output is byte-identical\n * to the pre-P7 behavior (zero-impact regression guarantee).\n *\n * @param input - the pure-data line description.\n * @param opts - optional unit serialization options (P7/D10).\n * @returns the printed single-line code text.\n */\nexport function formatCodeLine(input: FormatCodeLineInput, opts?: UnitSerializeOptions): string {\n  // Fast path: no unit options → original behavior (byte-identical)\n  if (!opts || !opts.dims) {\n    return formatCodeLineRaw(input)\n  }\n\n  const positional = input.positional\n  const argsInput: Record<string, HostArg> = input.args ?? {}\n  const posDims = opts.dims.positional ?? []\n  const keyDims = opts.dims.byKey ?? {}\n\n  // Positional args with per-index dimension\n  const positionalParts = positional.map((arg, i) => {\n    const dim = posDims[i] ?? null\n    if (isPlainObjArg(arg)) {\n      const entries = Object.entries(arg as Record<string, HostArg>)\n      return `{ ${entries.map(([k, v]) => `${k}:${fmtValueWithDim(v, keyDims[k] ?? null, opts)}`).join(', ')} }`\n    }\n    return fmtValueWithDim(arg, dim, opts)\n  })\n\n  // args slot (transitional compat: appended as trailing option when last positional is not a plain object)\n  const argsParts = Object.entries(argsInput).map(([k, v]) => `${k}:${fmtValueWithDim(v, keyDims[k] ?? null, opts)}`)\n  const lastIsPlainObject = positional.length > 0 && isPlainObjArg(positional[positional.length - 1])\n\n  let callArgs: string\n  if (positionalParts.length > 0) {\n    callArgs = positionalParts.join(', ')\n    if (!lastIsPlainObject && argsParts.length > 0) {\n      callArgs = [...positionalParts, `{ ${argsParts.join(', ')} }`].join(', ')\n    }\n  } else if (input.receiver) {\n    callArgs = argsParts.length > 0 ? `{ ${argsParts.join(', ')} }` : ''\n  } else {\n    callArgs = argsParts.length > 0 ? `{ ${argsParts.join(', ')} }` : '{}'\n  }\n\n  // F2：命名空间前缀（缺省 cad）；本机函数调用 callee 无命名空间前缀\n  const nsExpr = input.namespace === undefined ? `cad.${input.callee}` : `${input.namespace}.${input.callee}`\n\n  // 1) 解构：outputKeys + outputs 一一对应\n  if (input.outputKeys && input.outputKeys.length > 0) {\n    const destructure = input.outputKeys.map((k, i) => `${k}: ${input.outputs[i]}`).join(', ')\n    return `const { ${destructure} } = ${nsExpr}(${callArgs})`\n  }\n\n  // 2) 成员调用\n  if (input.receiver) {\n    return `${input.receiver}.${input.callee}(${callArgs})`\n  }\n\n  // 3) 无赋值调用\n  if (input.outputs.length === 0) {\n    return `${nsExpr}(${callArgs})`\n  }\n\n  // 4) 赋值：outputDeclared → 裸重赋值；否则 let 声明\n  const out = input.outputs[0]\n  if (input.outputDeclared) return `${out} = ${nsExpr}(${callArgs})`\n  return `let ${out} = ${nsExpr}(${callArgs})`\n}\n"]}
+{"version":3,"file":"codegen.js","sourceRoot":"","sources":["../../src/lang/codegen.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAElG,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAE5C,cAAc;AAEd;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CAAC,CAAS;IAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;IACzC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;IACzC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACtB,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;AAChC,CAAC;AAED,cAAc;AAEd;;6DAE6D;AAC7D,MAAM,cAAc,GAA2B;IAC7C,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,KAAK;IACV,QAAQ,EAAE,KAAK,EAAE,YAAY;IAC7B,QAAQ,EAAE,KAAK,EAAE,YAAY;IAC7B,QAAQ,EAAE,KAAK,EAAE,YAAY;IAC7B,QAAQ,EAAE,KAAK,EAAE,kBAAkB;IACnC,QAAQ,EAAE,KAAK,EAAE,MAAM;IACvB,QAAQ,EAAE,KAAK,EAAE,eAAe;CACjC,CAAA;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAChC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CAAC,CAAS;IAClC,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,aAAa,GAAuC;IACxD,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ;IAChD,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;IACxC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ;IAClC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU;IAClC,MAAM,EAAE,QAAQ;CACjB,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,GAAY,EAAE,QAAkB;IAC9E,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAA;IAClD,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;IACzC,OAAO,GAAG,UAAU,CAAC,YAAY,CAAC,MAAM,SAAS,EAAE,CAAA;AACrD,CAAC;AA0BD,6BAA6B;AAC7B,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAA;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACnD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,CAAA;IAC7D,IAAI,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAA;IAC1C,IAAI,cAAc,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAA;IAC5C,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,KAAK,CAAA;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3C,OAAO,GAAG,SAAS,IAAI,KAAK,IAAI,MAAM,IAAI,KAAK,GAAG,CAAA;IACpD,CAAC;IACD,IAAI,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAA;IAC5E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IACrE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAA;QAChE,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;IACzE,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;AACtB,CAAC;AAuCD,kCAAkC;AAClC,SAAS,aAAa,CAAC,GAAY;IACjC,OAAO,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;AAC1F,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,KAAc,EAAE,GAA+B,EAAE,IAAsC;IAC9G,IAAI,IAAI,IAAI,GAAG,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;QACnC,wBAAwB;QACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YACzC,OAAO,iBAAiB,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAA;QAChD,CAAC;QACD,8BAA8B;QAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;QAC3E,CAAC;QACD,+DAA+D;QAC/D,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC,IAAI,CAAA;IAC3D,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;AACxB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,gBAAgB,CAAC,KAAc,EAAE,IAAa,EAAE,IAA0B;IACjF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;QACxB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,4DAA4D;YAC5D,IAAI,IAAI,CAAC,GAAG,KAAK,OAAO;gBAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;YAChD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;YAC1E,CAAC;YACD,qEAAqE;YACrE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;YAC7E,CAAC;YACD,gEAAgE;YAChE,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC,IAAI,CAAA;YACzD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;QACxB,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;YAClF,CAAC;YACD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;QACxB,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAA;gBAChE,OAAO,IAAI,OAAO;qBACf,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;oBACd,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;oBAChC,OAAO,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAA;gBACjF,CAAC,CAAC;qBACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;YAClB,CAAC;YACD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;QACxB,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAI,KAAiC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACzD,MAAM,GAAG,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;gBACvD,MAAM,QAAQ,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;gBAChE,IAAI,QAAQ;oBAAE,OAAO,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;YAC9D,CAAC;YACD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;QACxB,CAAC;QACD;YACE,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC1B,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CAAC,KAA0B;IACnD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;IACnC,MAAM,SAAS,GAA4B,KAAK,CAAC,IAAI,IAAI,EAAE,CAAA;IAE3D,WAAW;IACX,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC7C,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,CAAA;YAC9D,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QAC3E,CAAC;QACD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAA;IACtB,CAAC,CAAC,CAAA;IAEF,0CAA0C;IAC1C,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAClF,MAAM,iBAAiB,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAEnG,IAAI,QAAgB,CAAA;IACpB,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrC,IAAI,CAAC,iBAAiB,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/C,QAAQ,GAAG,CAAC,GAAG,eAAe,EAAE,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC1B,QAAQ,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IACtE,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;IACxE,CAAC;IAED,0CAA0C;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,MAAM,EAAE,CAAA;IAE3G,kCAAkC;IAClC,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1F,OAAO,WAAW,WAAW,QAAQ,MAAM,IAAI,QAAQ,GAAG,CAAA;IAC5D,CAAC;IAED,UAAU;IACV,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,OAAO,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,IAAI,QAAQ,GAAG,CAAA;IACzD,CAAC;IAED,WAAW;IACX,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,GAAG,MAAM,IAAI,QAAQ,GAAG,CAAA;IACjC,CAAC;IAED,wCAAwC;IACxC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,KAAK,CAAC,cAAc;QAAE,OAAO,GAAG,GAAG,MAAM,MAAM,IAAI,QAAQ,GAAG,CAAA;IAClE,OAAO,OAAO,GAAG,MAAM,MAAM,IAAI,QAAQ,GAAG,CAAA;AAC9C,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,KAA0B,EAAE,IAA2B;IACpF,kEAAkE;IAClE,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAA;IACjC,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;IACnC,MAAM,SAAS,GAA4B,KAAK,CAAC,IAAI,IAAI,EAAE,CAAA;IAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,IAAI,EAAE,CAAA;IAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAA;IACtC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;IAEtB,oEAAoE;IACpE,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAChD,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACjD,4DAA4D;gBAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,CAAA;gBAC9D,OAAO,KAAK,OAAO;qBAChB,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;oBACd,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;oBAChC,OAAO,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAA;gBACjF,CAAC,CAAC;qBACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;YACnB,CAAC;YACD,OAAO,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAC1C,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAA;QAC9B,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,CAAA;YAC9D,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QAC5G,CAAC;QACD,OAAO,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;IAEF,0GAA0G;IAC1G,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAA;IACnH,MAAM,iBAAiB,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAEnG,IAAI,QAAgB,CAAA;IACpB,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrC,IAAI,CAAC,iBAAiB,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/C,QAAQ,GAAG,CAAC,GAAG,eAAe,EAAE,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC1B,QAAQ,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IACtE,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;IACxE,CAAC;IAED,0CAA0C;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,MAAM,EAAE,CAAA;IAE3G,kCAAkC;IAClC,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1F,OAAO,WAAW,WAAW,QAAQ,MAAM,IAAI,QAAQ,GAAG,CAAA;IAC5D,CAAC;IAED,UAAU;IACV,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,OAAO,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,IAAI,QAAQ,GAAG,CAAA;IACzD,CAAC;IAED,WAAW;IACX,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,GAAG,MAAM,IAAI,QAAQ,GAAG,CAAA;IACjC,CAAC;IAED,wCAAwC;IACxC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,KAAK,CAAC,cAAc;QAAE,OAAO,GAAG,GAAG,MAAM,MAAM,IAAI,QAAQ,GAAG,CAAA;IAClE,OAAO,OAAO,GAAG,MAAM,MAAM,IAAI,QAAQ,GAAG,CAAA;AAC9C,CAAC","sourcesContent":["/**\n * codegen — 纯数据 → 文本 打印工具（宿主编辑器/测试用；L0，仅依赖 host-arg）\n *\n * 宿主 buildCode / 编辑重排行（editStatement → replaceCodeAt）统一走此入口。\n * 输入是纯数据（HostArg 面），不依赖任何 IR 类型。\n *\n * 扁平代码格式（无 export/async/await/return/参数声明）：\n * ```js\n * let part0 = cad.box(10, 20, 30)\n * part0 = cad.translate(part0, { offset: [1, 2, 3] })\n * ```\n *\n * 值格式约定（确定性输出）：\n * - vec3 → `[1,2,3]`（紧凑无空格）\n * - 数字 → 整数直出；小数最多保留 6 位有效小数并去尾零\n * - 字符串 → 单引号包裹\n * - HostVarRef → 裸变量名（members 元素）\n * - HostCallRef → `cad.faceNormal(part0)`（嵌套调用）\n * - HostExprRef → `(expr text)`（原文加括号）\n * - 对象字面量 → `{key:value}`（冒号，合法 JS）\n */\n\nimport type { HostArg } from './host-arg'\nimport { isHostVarRef, isHostParamRef, isHostCallRef, isHostExprRef, isHostRef } from './host-arg'\nimport type { DimName, DimDecl, UnitName, UnitContext, DimSpec } from '../units'\nimport { unitFor, fromBase } from '../units'\n\n// ── 数值格式化 ──\n\n/**\n * Format a number as text: integers emit as-is; decimals retain at most 6\n * significant fractional digits with trailing zeros stripped.\n * @param n - the number to format.\n * @returns the formatted text representation.\n */\nexport function fmtNum(n: number): string {\n  if (!Number.isFinite(n)) return String(n)\n  if (Number.isInteger(n)) return String(n)\n  const s = n.toFixed(6)\n  return s.replace(/\\.?0+$/, '')\n}\n\n// ── 字符串转义 ──\n\n/** 字符串转义：转义反斜杠、单引号与控制字符（多行 SDF code 等字符串参数用）。\n *  逐一字符映射（避开 regex 控制字符字面量，满足 eslint no-control-regex），\n *  保证 fmtValue ⇄ analyzeCode 往返一致：嵌入 '…' 后仍是合法 JS，可被精确还原。 */\nconst STRING_ESCAPES: Record<string, string> = {\n  '\\\\': '\\\\\\\\',\n  \"'\": \"\\\\'\",\n  '\\u0008': '\\\\b', // backspace\n  '\\u000C': '\\\\f', // form feed\n  '\\u000A': '\\\\n', // line feed\n  '\\u000D': '\\\\r', // carriage return\n  '\\u0009': '\\\\t', // tab\n  '\\u000B': '\\\\v', // vertical tab\n}\n\nfunction escapeStr(s: string): string {\n  let out = ''\n  for (let i = 0; i < s.length; i++) {\n    const esc = STRING_ESCAPES[s[i]]\n    out += esc ?? s[i]\n  }\n  return out\n}\n\n/**\n * Format a unit literal number using JS shortest-round-trip representation.\n *\n * P7/D10.3 rule 5: unit literal numbers MUST use `String(n)` (e.g.\n * `0.39370078740157477`), NEVER `fmtNum` (which truncates to 6 decimal\n * places and would silently zero out `1e-7`).\n * @param n - the number to format.\n * @returns the shortest JS round-trip text representation.\n */\nexport function fmtUnitNum(n: number): string {\n  return String(n)\n}\n\n/**\n * Reverse lookup: find the script-side unit constant name for a given\n * `UnitName`. Returns the UPPERCASE constant name (e.g. `INCH` for `'inch'`).\n */\nconst NAME_TO_CONST: Readonly<Record<UnitName, string>> = {\n  mm: 'MM', cm: 'CM', m: 'METER', micron: 'MICRON',\n  inch: 'INCH', foot: 'FOOT', yard: 'YARD',\n  degree: 'DEGREE', radian: 'RADIAN',\n  gram: 'GRAM', kilogram: 'KILOGRAM',\n  second: 'SECOND',\n}\n\n/**\n * Format a base-unit value as a unit literal expression (`n * UNIT`).\n *\n * P7/D10.3: `base` is the base-unit (mm/degree) value; `dim` determines which\n * system display unit to use; `unitName` is the target display unit.\n * The number is formatted with `fmtUnitNum` (not `fmtNum`).\n * @param base - the base-unit numeric value.\n * @param dim - the dimension of the value.\n * @param unitName - the display unit to express the value in.\n * @returns text like `10 * INCH` or `0.39370078740157477 * INCH`.\n */\nexport function formatUnitLiteral(base: number, dim: DimName, unitName: UnitName): string {\n  const displayValue = fromBase(base, unitName, dim)\n  const constName = NAME_TO_CONST[unitName]\n  return `${fmtUnitNum(displayValue)} * ${constName}`\n}\n\n/**\n * P7/D10.3: Options for unit-aware serialization of `formatCodeLine`.\n *\n * When provided, dimensioned parameters are emitted as unit literals\n * (`n * UNIT`). When absent, output is byte-identical to the pre-P7 behavior.\n */\nexport interface UnitSerializeOptions {\n  /** System display unit; defaults to base (mm / degree). */\n  units?: UnitContext\n  /** Parameter dimension declarations (host provides from op paramDims + slotMap). */\n  dims?: { positional?: (DimDecl | null)[]; byKey?: Record<string, DimDecl> }\n  /**\n   * Structured (recursive) spec for a positional options object whose nested\n   * arrays/objects carry per-field dimensions — e.g.\n   * `cad.sketch({ shapes: [...], constraints: [...], plane })`, where each\n   * `shapes[]` element's fields are dispatched by its `kind`.\n   *\n   * When present, `spec` supersedes `dims` for the positional arguments.\n   * Unlisted fields and unknown discriminator values are emitted bare\n   * (zero-impact passthrough) — so old, unit-less sketch code still round-trips.\n   */\n  spec?: DimSpec\n}\n\n/** 参数值 → 文本（递归，HostArg 面） */\nfunction fmtValue(value: HostArg): string {\n  if (value === null) return 'null'\n  if (typeof value === 'number') return fmtNum(value)\n  if (typeof value === 'boolean') return String(value)\n  if (typeof value === 'string') return `'${escapeStr(value)}'`\n  if (isHostVarRef(value)) return value.name\n  if (isHostParamRef(value)) return value.name\n  if (isHostCallRef(value)) {\n    const { callee, args, namespace } = value\n    const inner = args.map(fmtValue).join(', ')\n    return `${namespace ?? 'cad'}.${callee}(${inner})`\n  }\n  if (isHostExprRef(value)) return value.bare ? value.text : `(${value.text})`\n  if (Array.isArray(value)) return `[${value.map(fmtValue).join(',')}]`\n  if (typeof value === 'object') {\n    const entries = Object.entries(value as Record<string, HostArg>)\n    return `{${entries.map(([k, v]) => `${k}:${fmtValue(v)}`).join(', ')}}`\n  }\n  return String(value)\n}\n\n// ── 纯数据 → 代码行（宿主代码生成入口） ──\n\n/**\n * Pure-data input for printing one faijs source line, decoupled from IR types.\n *\n * `positional` and `args` use `HostArg` (host-friendly types with `kind`-based\n * discrimination).\n */\nexport interface FormatCodeLineInput {\n  callee: string\n  /** 成员方法调用接收者变量名 */\n  receiver?: string\n  /**\n   * 位置实参槽（HostArg 形态）：宿主可传字面量、\n   * 变量引用（`{kind:'var-ref',name}`）、参数引用（`{kind:'param-ref',name}`）、\n   * 嵌套调用（`{kind:'call-ref',callee,args,namespace?}`）、\n   * 表达式（`{kind:'expr-ref',text,refs,params}`）或纯 JsonValue，按序打印。\n   */\n  positional: HostArg[]\n  /** 产出变量名 */\n  outputs: string[]\n  /** 解构键（与 outputs 一一对应） */\n  outputKeys?: string[]\n  /**\n   * （过渡兼容）选项对象：positional 末位不是纯对象时追加为尾随选项对象。\n   * 新代码应把选项对象直接放进 positional。\n   */\n  args?: Record<string, HostArg>\n  /** 调用命名空间（F2：第三方库 `mech.makeHeadstock(...)` → 'mech'；缺省 'cad'） */\n  namespace?: string\n  /**\n   * outputs[0] 是否已在代码中声明：true → 裸重赋值（`part0 = ...`），\n   * false/省略 → let 声明；解构/成员调用/无输出时忽略。\n   */\n  outputDeclared?: boolean\n}\n\n/** 检测 HostArg 是否为纯数据对象（非引用形态）。 */\nfunction isPlainObjArg(arg: HostArg): boolean {\n  return arg !== null && typeof arg === 'object' && !Array.isArray(arg) && !isHostRef(arg)\n}\n\n/**\n * Recursively format a HostArg value, applying unit wrapping to numbers inside\n * arrays (vec3) and plain objects when a dimension is declared.\n */\nfunction fmtValueWithDim(value: HostArg, dim: DimDecl | null | undefined, opts: UnitSerializeOptions | undefined): string {\n  if (opts && dim && dim !== 'plain') {\n    // Number → unit literal\n    if (typeof value === 'number') {\n      const unitName = unitFor(dim, opts.units)\n      return formatUnitLiteral(value, dim, unitName)\n    }\n    // Array (vec3) → element-wise\n    if (Array.isArray(value)) {\n      return `[${value.map((el) => fmtValueWithDim(el, dim, opts)).join(',')}]`\n    }\n    // Bare expr-ref already containing a unit literal → keep as-is\n    if (isHostExprRef(value) && value.bare) return value.text\n  }\n  return fmtValue(value)\n}\n\n/**\n * Recursively format a HostArg against a structured {@link DimSpec}.\n *\n * Mirrors the dimension semantics of {@link fmtValueWithDim} but descends into\n * nested arrays/objects and dispatches `tagged` specs by a discriminator field\n * (e.g. `kind`). Values not covered by the spec — unlisted fields, unknown\n * discriminator values, non-matching shapes — fall through to `fmtValue`\n * (bare, no unit wrapping), so existing unit-less code stays byte-identical.\n */\nfunction fmtValueWithSpec(value: HostArg, spec: DimSpec, opts: UnitSerializeOptions): string {\n  switch (spec.kind) {\n    case 'plain':\n      return fmtValue(value)\n    case 'dim': {\n      // `'plain'` in a `dim` spec = bare output, no unit literal.\n      if (spec.dim === 'plain') return fmtValue(value)\n      if (typeof value === 'number') {\n        return formatUnitLiteral(value, spec.dim, unitFor(spec.dim, opts.units))\n      }\n      // A dimensioned value may also be a point/vec (e.g. `from: [x, y]`).\n      if (Array.isArray(value)) {\n        return `[${value.map((el) => fmtValueWithSpec(el, spec, opts)).join(',')}]`\n      }\n      // Bare expr-ref already containing a unit literal → keep as-is.\n      if (isHostExprRef(value) && value.bare) return value.text\n      return fmtValue(value)\n    }\n    case 'array': {\n      if (Array.isArray(value)) {\n        return `[${value.map((el) => fmtValueWithSpec(el, spec.item, opts)).join(',')}]`\n      }\n      return fmtValue(value)\n    }\n    case 'object': {\n      if (isPlainObjArg(value)) {\n        const entries = Object.entries(value as Record<string, HostArg>)\n        return `{${entries\n          .map(([k, v]) => {\n            const fieldSpec = spec.fields[k]\n            return `${k}:${fieldSpec ? fmtValueWithSpec(v, fieldSpec, opts) : fmtValue(v)}`\n          })\n          .join(', ')}}`\n      }\n      return fmtValue(value)\n    }\n    case 'tagged': {\n      if (isPlainObjArg(value)) {\n        const disc = (value as Record<string, HostArg>)[spec.key]\n        const key = typeof disc === 'string' ? disc : undefined\n        const caseSpec = key !== undefined ? spec.cases[key] : undefined\n        if (caseSpec) return fmtValueWithSpec(value, caseSpec, opts)\n      }\n      return fmtValue(value)\n    }\n    default:\n      return fmtValue(value)\n  }\n}\n\n/**\n * Original `formatCodeLine` body without unit support (P7 fast path).\n *\n * This is the byte-identical pre-P7 implementation, called when `opts` is\n * absent or has no `dims` field. Kept as a separate function so the\n * unit-aware path can be tested independently.\n */\nfunction formatCodeLineRaw(input: FormatCodeLineInput): string {\n  const positional = input.positional\n  const argsInput: Record<string, HostArg> = input.args ?? {}\n\n  // 位置实参按序打印\n  const positionalParts = positional.map((arg) => {\n    if (isPlainObjArg(arg)) {\n      const entries = Object.entries(arg as Record<string, HostArg>)\n      return `{ ${entries.map(([k, v]) => `${k}:${fmtValue(v)}`).join(', ')} }`\n    }\n    return fmtValue(arg)\n  })\n\n  // args 槽（过渡兼容：positional 末位非纯对象时追加为独立选项槽）\n  const argsParts = Object.entries(argsInput).map(([k, v]) => `${k}:${fmtValue(v)}`)\n  const lastIsPlainObject = positional.length > 0 && isPlainObjArg(positional[positional.length - 1])\n\n  let callArgs: string\n  if (positionalParts.length > 0) {\n    callArgs = positionalParts.join(', ')\n    if (!lastIsPlainObject && argsParts.length > 0) {\n      callArgs = [...positionalParts, `{ ${argsParts.join(', ')} }`].join(', ')\n    }\n  } else if (input.receiver) {\n    callArgs = argsParts.length > 0 ? `{ ${argsParts.join(', ')} }` : ''\n  } else {\n    callArgs = argsParts.length > 0 ? `{ ${argsParts.join(', ')} }` : '{}'\n  }\n\n  // F2：命名空间前缀（缺省 cad）；本机函数调用 callee 无命名空间前缀\n  const nsExpr = input.namespace === undefined ? `cad.${input.callee}` : `${input.namespace}.${input.callee}`\n\n  // 1) 解构：outputKeys + outputs 一一对应\n  if (input.outputKeys && input.outputKeys.length > 0) {\n    const destructure = input.outputKeys.map((k, i) => `${k}: ${input.outputs[i]}`).join(', ')\n    return `const { ${destructure} } = ${nsExpr}(${callArgs})`\n  }\n\n  // 2) 成员调用\n  if (input.receiver) {\n    return `${input.receiver}.${input.callee}(${callArgs})`\n  }\n\n  // 3) 无赋值调用\n  if (input.outputs.length === 0) {\n    return `${nsExpr}(${callArgs})`\n  }\n\n  // 4) 赋值：outputDeclared → 裸重赋值；否则 let 声明\n  const out = input.outputs[0]\n  if (input.outputDeclared) return `${out} = ${nsExpr}(${callArgs})`\n  return `let ${out} = ${nsExpr}(${callArgs})`\n}\n\n/**\n * 从纯数据（非 IR 类型）打印一行 faijs 源代码。\n *\n * 宿主 buildCode / 编辑重排行（editStatement → replaceCodeAt）统一走此入口。\n *\n * P7/D10: when `opts` is provided, dimensioned parameters are serialized as\n * unit literals (`n * UNIT`). When `opts` is absent, output is byte-identical\n * to the pre-P7 behavior (zero-impact regression guarantee).\n *\n * @param input - the pure-data line description.\n * @param opts - optional unit serialization options (P7/D10).\n * @returns the printed single-line code text.\n */\nexport function formatCodeLine(input: FormatCodeLineInput, opts?: UnitSerializeOptions): string {\n  // Fast path: no unit options → original behavior (byte-identical)\n  if (!opts || (!opts.dims && !opts.spec)) {\n    return formatCodeLineRaw(input)\n  }\n\n  const positional = input.positional\n  const argsInput: Record<string, HostArg> = input.args ?? {}\n  const posDims = opts.dims?.positional ?? []\n  const keyDims = opts.dims?.byKey ?? {}\n  const spec = opts.spec\n\n  // Positional args with per-index dimension (or a structured `spec`)\n  const positionalParts = positional.map((arg, i) => {\n    if (spec) {\n      if (isPlainObjArg(arg) && spec.kind === 'object') {\n        // Top-level options object: spaced braces + per-field spec.\n        const entries = Object.entries(arg as Record<string, HostArg>)\n        return `{ ${entries\n          .map(([k, v]) => {\n            const fieldSpec = spec.fields[k]\n            return `${k}:${fieldSpec ? fmtValueWithSpec(v, fieldSpec, opts) : fmtValue(v)}`\n          })\n          .join(', ')} }`\n      }\n      return fmtValueWithSpec(arg, spec, opts)\n    }\n    const dim = posDims[i] ?? null\n    if (isPlainObjArg(arg)) {\n      const entries = Object.entries(arg as Record<string, HostArg>)\n      return `{ ${entries.map(([k, v]) => `${k}:${fmtValueWithDim(v, keyDims[k] ?? null, opts)}`).join(', ')} }`\n    }\n    return fmtValueWithDim(arg, dim, opts)\n  })\n\n  // args slot (transitional compat: appended as trailing option when last positional is not a plain object)\n  const argsParts = Object.entries(argsInput).map(([k, v]) => `${k}:${fmtValueWithDim(v, keyDims[k] ?? null, opts)}`)\n  const lastIsPlainObject = positional.length > 0 && isPlainObjArg(positional[positional.length - 1])\n\n  let callArgs: string\n  if (positionalParts.length > 0) {\n    callArgs = positionalParts.join(', ')\n    if (!lastIsPlainObject && argsParts.length > 0) {\n      callArgs = [...positionalParts, `{ ${argsParts.join(', ')} }`].join(', ')\n    }\n  } else if (input.receiver) {\n    callArgs = argsParts.length > 0 ? `{ ${argsParts.join(', ')} }` : ''\n  } else {\n    callArgs = argsParts.length > 0 ? `{ ${argsParts.join(', ')} }` : '{}'\n  }\n\n  // F2：命名空间前缀（缺省 cad）；本机函数调用 callee 无命名空间前缀\n  const nsExpr = input.namespace === undefined ? `cad.${input.callee}` : `${input.namespace}.${input.callee}`\n\n  // 1) 解构：outputKeys + outputs 一一对应\n  if (input.outputKeys && input.outputKeys.length > 0) {\n    const destructure = input.outputKeys.map((k, i) => `${k}: ${input.outputs[i]}`).join(', ')\n    return `const { ${destructure} } = ${nsExpr}(${callArgs})`\n  }\n\n  // 2) 成员调用\n  if (input.receiver) {\n    return `${input.receiver}.${input.callee}(${callArgs})`\n  }\n\n  // 3) 无赋值调用\n  if (input.outputs.length === 0) {\n    return `${nsExpr}(${callArgs})`\n  }\n\n  // 4) 赋值：outputDeclared → 裸重赋值；否则 let 声明\n  const out = input.outputs[0]\n  if (input.outputDeclared) return `${out} = ${nsExpr}(${callArgs})`\n  return `let ${out} = ${nsExpr}(${callArgs})`\n}\n"]}

package/dist/lang/metadata-extractor.d.ts

@@ -15,8 +15,9 @@
 import type { StatementSummary } from './statement-summary.js';
 import type { ScriptMetaIR, TerminalShape } from './types.js';
 import { type StmtId } from '../identity.js';
+import { ParseError } from './parse-error.js';
 import { type SecurityPolicy } from './security-scanner.js';
-import type { DimName } from '../units.js';
+import type { DimName, DimDecl, DimSpec } from '../units.js';
 /** 参数表条目（参数面板：const X = <字面量> → 名字/值/是否计算表达式） */
 export interface ParamEntry {
     name: string;
@@ -117,6 +118,8 @@ export interface UiMetadata {
      * 列进来反而会让宿主把它们当成脚本变量（联想/重命名都会误伤）。
      */
     names: string[];
+    /** P6/D8+: dimension 校验警告（dimCheck='warn' 的 op；不阻断执行）。 */
+    dimWarnings?: ParseError[];
 }
 type ASTNode = any;
 /**
@@ -213,8 +216,8 @@ export interface ExtractMetadataOptions {
  * op 注册表（铁律：lang 不得依赖 op 注册表）。
  */
 export interface OpDimDecl {
-    /** 参数名 → 量纲；缺省键视为无量纲。 */
-    paramDims?: Record<string, DimName>;
+    /** 参数名 → 量纲；`'plain'` 为纯数字（design doc §3.1）；缺省键视为无量纲。 */
+    paramDims?: Record<string, DimDecl>;
     /** 函数调用结果的量纲。 */
     retDim?: DimName;
     /** D11 slot-map（positional→object 装箱表）；位置形态校验用。 */
@@ -223,6 +226,10 @@ export interface OpDimDecl {
         vec3Keys?: string[];
         shapeArity?: number;
     };
+    /** D8+: 递归 DimSpec（结构化参数，如 cad.sketch 的 shapes[]/constraints[]）。 */
+    spec?: DimSpec;
+    /** D8+: 量纲校验模式：'error'（缺省，阻断）或 'warn'（警告不阻断）。 */
+    dimCheck?: 'error' | 'warn';
 }
 /** P4/P6: callee 名 → 量纲声明（供 extractMetadata 的 dimension pass 消费）。 */
 export type OpDimMap = Record<string, OpDimDecl>;

package/dist/lang/metadata-extractor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"metadata-extractor.d.ts","sourceRoot":"","sources":["../../src/lang/metadata-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAC1D,OAAO,EAAuC,KAAK,MAAM,EAAE,MAAM,aAAa,CAAA;AAK9E,OAAO,EAAmC,KAAK,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACzF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAKvC,iDAAiD;AACjD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,oDAAoD;IACpD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;IACzC,2BAA2B;IAC3B,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,wDAAwD;IACxD,MAAM,EAAE,MAAM,CAAA;IACd,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAA;IACZ,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAA;IACZ,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;IACX,sCAAsC;IACtC,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,2CAA2C;IAC3C,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,0CAA0C;IAC1C,YAAY,EAAE,OAAO,CAAA;CACtB;AAED,mEAAmE;AACnE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,SAAS,CAAA;IACvC,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAED,kBAAkB;AAClB,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,oCAAoC;IACpC,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;IACzC,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,qBAAqB;AACrB,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAA;IAC/C,OAAO,EAAE,MAAM,CAAA;IACf,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;CACtC;AAED,sDAAsD;AACtD,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,OAAO,CAAA;CAChB;AAED,mCAAmC;AACnC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,gBAAgB,EAAE,CAAA;IACzB,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,SAAS,EAAE,aAAa,EAAE,CAAA;IAC1B,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;IAC9B,IAAI,CAAC,EAAE,YAAY,CAAA;IACnB,cAAc,CAAC,EAAE,aAAa,EAAE,CAAA;IAChC;;;OAGG;IACH,UAAU,EAAE,SAAS,EAAE,CAAA;IACvB;;;;;;;;OAQG;IACH,KAAK,EAAE,MAAM,EAAE,CAAA;CAChB;AAID,KAAK,OAAO,GAAG,GAAG,CAAA;AAuBlB;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,+BAA+B;IAC/B,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACvB,uBAAuB;IACvB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC,2CAA2C;IAC3C,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACrB,4CAA4C;IAC5C,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,iBAAiB;IACjB,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IACpC,uBAAuB;IACvB,aAAa,EAAE,MAAM,CAAA;IACrB,0CAA0C;IAC1C,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;CAC/B;AAuBD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK,CASpF;AAmID;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CA2BtD;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,OAAO,EACb,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EACnB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EACjB,IAAI,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/C,IAAI,CA2EN;AAitBD,iDAAiD;AACjD,MAAM,WAAW,sBAAsB;IACrC,sDAAsD;IACtD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,4CAA4C;IAC5C,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,kDAAkD;IAClD,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,2CAA2C;IAC3C,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB;;;OAGG;IACH,MAAM,CAAC,EAAE,QAAQ,CAAA;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,yBAAyB;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACnC,iBAAiB;IACjB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,mDAAmD;IACnD,OAAO,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CACvE;AAED,qEAAqE;AACrE,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;AAEhD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,sBAAsB,GAAG,UAAU,CA6U1F"}
+{"version":3,"file":"metadata-extractor.d.ts","sourceRoot":"","sources":["../../src/lang/metadata-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAC1D,OAAO,EAAuC,KAAK,MAAM,EAAE,MAAM,aAAa,CAAA;AAG9E,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAE1C,OAAO,EAAmC,KAAK,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACzF,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAKzD,iDAAiD;AACjD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,oDAAoD;IACpD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;IACzC,2BAA2B;IAC3B,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,wDAAwD;IACxD,MAAM,EAAE,MAAM,CAAA;IACd,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAA;IACZ,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAA;IACZ,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;IACX,sCAAsC;IACtC,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,2CAA2C;IAC3C,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,0CAA0C;IAC1C,YAAY,EAAE,OAAO,CAAA;CACtB;AAED,mEAAmE;AACnE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,SAAS,CAAA;IACvC,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAED,kBAAkB;AAClB,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,oCAAoC;IACpC,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;IACzC,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,qBAAqB;AACrB,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAA;IAC/C,OAAO,EAAE,MAAM,CAAA;IACf,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;CACtC;AAED,sDAAsD;AACtD,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,OAAO,CAAA;CAChB;AAED,mCAAmC;AACnC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,gBAAgB,EAAE,CAAA;IACzB,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,SAAS,EAAE,aAAa,EAAE,CAAA;IAC1B,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;IAC9B,IAAI,CAAC,EAAE,YAAY,CAAA;IACnB,cAAc,CAAC,EAAE,aAAa,EAAE,CAAA;IAChC;;;OAGG;IACH,UAAU,EAAE,SAAS,EAAE,CAAA;IACvB;;;;;;;;OAQG;IACH,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,0DAA0D;IAC1D,WAAW,CAAC,EAAE,UAAU,EAAE,CAAA;CAC3B;AAID,KAAK,OAAO,GAAG,GAAG,CAAA;AAuBlB;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,+BAA+B;IAC/B,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACvB,uBAAuB;IACvB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC,2CAA2C;IAC3C,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACrB,4CAA4C;IAC5C,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,iBAAiB;IACjB,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IACpC,uBAAuB;IACvB,aAAa,EAAE,MAAM,CAAA;IACrB,0CAA0C;IAC1C,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;CAC/B;AAuBD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK,CASpF;AAmID;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CA2BtD;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,OAAO,EACb,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EACnB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EACjB,IAAI,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/C,IAAI,CA2EN;AAixBD,iDAAiD;AACjD,MAAM,WAAW,sBAAsB;IACrC,sDAAsD;IACtD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,4CAA4C;IAC5C,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,kDAAkD;IAClD,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,2CAA2C;IAC3C,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB;;;OAGG;IACH,MAAM,CAAC,EAAE,QAAQ,CAAA;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,yDAAyD;IACzD,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACnC,iBAAiB;IACjB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,mDAAmD;IACnD,OAAO,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IACtE,oEAAoE;IACpE,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,iDAAiD;IACjD,QAAQ,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;CAC5B;AAED,qEAAqE;AACrE,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;AAEhD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,sBAAsB,GAAG,UAAU,CAgV1F"}

package/dist/lang/metadata-extractor.js

@@ -485,6 +485,77 @@ function checkDim(node, expectedDim, ctx) {
         return;
     }
 }
+/**
+ * D8+: Recursively check an AST value against a structured {@link DimSpec}.
+ *
+ * Mirrors `fmtValueWithSpec` in codegen.ts but at the AST level: descends into
+ * nested arrays/objects and dispatches `tagged` specs by a discriminator field.
+ * Unlisted fields and unknown discriminator values are skipped (bare passthrough).
+ */
+function checkValueWithSpec(node, spec, ctx) {
+    if (!node)
+        return;
+    switch (spec.kind) {
+        case 'plain':
+            return;
+        case 'dim': {
+            // `'plain'` in a `dim` spec = no dimension check (passthrough).
+            if (spec.dim === 'plain')
+                return;
+            checkDim(node, spec.dim, ctx);
+            // Array (vec/point) → element-wise
+            if (node.type === 'ArrayExpression') {
+                for (const el of node.elements ?? []) {
+                    if (el)
+                        checkDim(el, spec.dim, ctx);
+                }
+            }
+            return;
+        }
+        case 'array': {
+            if (node.type === 'ArrayExpression') {
+                for (const el of node.elements ?? []) {
+                    if (el)
+                        checkValueWithSpec(el, spec.item, ctx);
+                }
+            }
+            return;
+        }
+        case 'object': {
+            if (node.type === 'ObjectExpression') {
+                for (const prop of node.properties) {
+                    if (prop?.type !== 'Property')
+                        continue;
+                    const keyNode = prop.key;
+                    if (keyNode?.type !== 'Identifier')
+                        continue;
+                    const fieldSpec = spec.fields[keyNode.name];
+                    if (fieldSpec)
+                        checkValueWithSpec(prop.value, fieldSpec, ctx);
+                }
+            }
+            return;
+        }
+        case 'tagged': {
+            if (node.type === 'ObjectExpression') {
+                for (const prop of node.properties) {
+                    if (prop?.type !== 'Property')
+                        continue;
+                    const keyNode = prop.key;
+                    if (keyNode?.type !== 'Identifier' || keyNode.name !== spec.key)
+                        continue;
+                    if (prop.value?.type === 'Literal' && typeof prop.value.value === 'string') {
+                        const caseSpec = spec.cases[prop.value.value];
+                        if (caseSpec)
+                            checkValueWithSpec(node, caseSpec, ctx);
+                    }
+                    return;
+                }
+            }
+            return;
+        }
+    }
+}
 /**
  * 在折叠之前记录一条参数槽（ArgSource）。
  *
@@ -1157,6 +1228,8 @@ export function extractMetadata(code, options) {
     const argSources = [];
     // P6/D8: dimension 校验错误累积（跨语句共享）
     const allDimErrors = [];
+    // P6/D8+: dimension 校验警告累积（dimCheck='warn' 的 op；不阻断）
+    const allDimWarnings = [];
     // ── 逐顶层语句分类 ──
     for (const stmtNode of bodyNodes) {
         const rawLine = lineOf(stmtNode);
@@ -1172,6 +1245,7 @@ export function extractMetadata(code, options) {
             argSources,
             opDims: options?.opDims,
             dimErrors: allDimErrors,
+            dimWarnings: allDimWarnings,
         };
         switch (stmtNode.type) {
             case 'ImportDeclaration':
@@ -1326,7 +1400,7 @@ export function extractMetadata(code, options) {
     if (allDimErrors.length > 0) {
         throw allDimErrors[0];
     }
-    return { lines, params, imports, functions, blocks, keep: symbols.keep, meta, terminalShapes, argSources, names };
+    return { lines, params, imports, functions, blocks, keep: symbols.keep, meta, terminalShapes, argSources, names, dimWarnings: allDimWarnings };
 }
 function isLiteralValue(init) {
     return init.type === 'Literal';
@@ -1459,23 +1533,70 @@ function classifyOpCall(call, line, vctx, opts) {
  */
 function checkOpCallDims(call, calleeKey, ctx) {
     const decl = ctx.opDims?.[calleeKey];
-    if (!decl || !decl.paramDims)
+    if (!decl)
         return;
     const args = call.arguments ?? [];
     if (args.length === 0)
         return;
-    const slotMap = decl.slotMap;
-    const shapeArity = slotMap?.shapeArity ?? 0;
-    // ── Object form ──
-    // Look for an ObjectExpression arg that contains keys matching paramDims.
-    // It could be at position `shapeArity` (with slotMap) or at any position
-    // (without slotMap — e.g. fai_extrude(shape, { length: 5 })).
-    if (slotMap) {
-        const firstNonShape = args[shapeArity];
-        if (firstNonShape?.type === 'ObjectExpression') {
-            const hasDimKeys = firstNonShape.properties.some((p) => p?.type === 'Property' && p.key?.type === 'Identifier' && p.key.name in decl.paramDims);
-            if (hasDimKeys) {
-                for (const prop of firstNonShape.properties) {
+    // D8+: redirect dim errors to warnings for ops in 'warn' mode
+    const savedTarget = ctx.dimErrors;
+    if (decl.dimCheck === 'warn') {
+        ctx.dimErrors = ctx.dimWarnings;
+    }
+    try {
+        // D8+: recursive spec check (e.g. cad.sketch's shapes[]/constraints[])
+        if (decl.spec) {
+            for (const arg of args) {
+                if (arg?.type === 'ObjectExpression') {
+                    checkValueWithSpec(arg, decl.spec, ctx);
+                    break;
+                }
+            }
+        }
+        if (!decl.paramDims)
+            return;
+        const slotMap = decl.slotMap;
+        const shapeArity = slotMap?.shapeArity ?? 0;
+        // ── Object form ──
+        // Look for an ObjectExpression arg that contains keys matching paramDims.
+        // It could be at position `shapeArity` (with slotMap) or at any position
+        // (without slotMap — e.g. fai_extrude(shape, { length: 5 })).
+        if (slotMap) {
+            const firstNonShape = args[shapeArity];
+            if (firstNonShape?.type === 'ObjectExpression') {
+                const hasDimKeys = firstNonShape.properties.some((p) => p?.type === 'Property' && p.key?.type === 'Identifier' && p.key.name in decl.paramDims);
+                if (hasDimKeys) {
+                    for (const prop of firstNonShape.properties) {
+                        if (prop?.type !== 'Property')
+                            continue;
+                        const keyNode = prop.key;
+                        if (keyNode?.type !== 'Identifier')
+                            continue;
+                        const paramName = keyNode.name;
+                        const dim = decl.paramDims[paramName];
+                        if (!dim || dim === 'plain')
+                            continue;
+                        checkDim(prop.value, dim, ctx);
+                        if (slotMap.vec3Keys?.includes(paramName) && prop.value?.type === 'ArrayExpression') {
+                            for (const el of prop.value.elements ?? []) {
+                                if (el)
+                                    checkDim(el, dim, ctx);
+                            }
+                        }
+                    }
+                    return;
+                }
+            }
+        }
+        else {
+            // No slotMap — scan all args for ObjectExpression with dim keys
+            for (const arg of args) {
+                if (arg?.type !== 'ObjectExpression')
+                    continue;
+                const hasDimKeys = arg.properties.some((p) => p?.type === 'Property' && p.key?.type === 'Identifier' && p.key.name in decl.paramDims);
+                if (!hasDimKeys)
+                    continue;
+                for (const prop of arg.properties) {
                     if (prop?.type !== 'Property')
                         continue;
                     const keyNode = prop.key;
@@ -1483,67 +1604,41 @@ function checkOpCallDims(call, calleeKey, ctx) {
                         continue;
                     const paramName = keyNode.name;
                     const dim = decl.paramDims[paramName];
-                    if (!dim)
+                    if (!dim || dim === 'plain')
                         continue;
                     checkDim(prop.value, dim, ctx);
-                    if (slotMap.vec3Keys?.includes(paramName) && prop.value?.type === 'ArrayExpression') {
-                        for (const el of prop.value.elements ?? []) {
-                            if (el)
-                                checkDim(el, dim, ctx);
-                        }
-                    }
                 }
                 return;
             }
         }
-    }
-    else {
-        // No slotMap — scan all args for ObjectExpression with dim keys
-        for (const arg of args) {
-            if (arg?.type !== 'ObjectExpression')
-                continue;
-            const hasDimKeys = arg.properties.some((p) => p?.type === 'Property' && p.key?.type === 'Identifier' && p.key.name in decl.paramDims);
-            if (!hasDimKeys)
+        // ── Positional form ──
+        if (!slotMap)
+            return;
+        const keys = slotMap.keys;
+        const vec3Keys = new Set(slotMap.vec3Keys ?? []);
+        let keyIdx = 0;
+        for (let i = shapeArity; i < args.length && keyIdx < keys.length; i++) {
+            const arg = args[i];
+            if (arg?.type === 'ObjectExpression')
+                break; // trailing options object
+            const paramName = keys[keyIdx];
+            const dim = decl.paramDims[paramName];
+            keyIdx++;
+            if (!dim || dim === 'plain')
                 continue;
-            for (const prop of arg.properties) {
-                if (prop?.type !== 'Property')
-                    continue;
-                const keyNode = prop.key;
-                if (keyNode?.type !== 'Identifier')
-                    continue;
-                const paramName = keyNode.name;
-                const dim = decl.paramDims[paramName];
-                if (!dim)
-                    continue;
-                checkDim(prop.value, dim, ctx);
+            if (vec3Keys.has(paramName) && arg?.type === 'ArrayExpression') {
+                for (const el of arg.elements ?? []) {
+                    if (el)
+                        checkDim(el, dim, ctx);
+                }
             }
-            return;
-        }
-    }
-    // ── Positional form ──
-    if (!slotMap)
-        return;
-    const keys = slotMap.keys;
-    const vec3Keys = new Set(slotMap.vec3Keys ?? []);
-    let keyIdx = 0;
-    for (let i = shapeArity; i < args.length && keyIdx < keys.length; i++) {
-        const arg = args[i];
-        if (arg?.type === 'ObjectExpression')
-            break; // trailing options object
-        const paramName = keys[keyIdx];
-        const dim = decl.paramDims[paramName];
-        keyIdx++;
-        if (!dim)
-            continue;
-        if (vec3Keys.has(paramName) && arg?.type === 'ArrayExpression') {
-            for (const el of arg.elements ?? []) {
-                if (el)
-                    checkDim(el, dim, ctx);
+            else if (arg) {
+                checkDim(arg, dim, ctx);
             }
         }
-        else if (arg) {
-            checkDim(arg, dim, ctx);
-        }
+    }
+    finally {
+        ctx.dimErrors = savedTarget;
     }
 }
 /**