@faicad/faijs 0.13.0

package/dist/identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.js","sourceRoot":"","sources":["../src/identity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAoDH,4EAA4E;AAC5E,2BAA2B;AAC3B,4EAA4E;AAE5E;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,OAAO,GAAa,CAAA;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,GAAW;IACnC,OAAO,GAAc,CAAA;AACvB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,OAAO,GAAe,CAAA;AACxB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,OAAO,GAAa,CAAA;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,OAAO,GAAe,CAAA;AACxB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAW;IACrC,OAAO,GAAgB,CAAA;AACzB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,GAAW;IACjC,OAAO,GAAY,CAAA;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,GAAkB,CAAA;AAC3B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,GAAkB,CAAA;AAC3B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,OAAO,GAAmB,CAAA;AAC5B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,GAAW;IACnC,OAAO,GAAc,CAAA;AACvB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,OAAO,GAAa,CAAA;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,OAAO,GAAa,CAAA;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,OAAO,GAAa,CAAA;AACtB,CAAC;AAED,4EAA4E;AAC5E,qDAAqD;AACrD,wEAAwE;AAExE;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,MAAc,EAAE,OAAgB;IACzD,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAA;IACtE,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;IACxE,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,kCAAkC,MAAM,6CAA6C,CAAC,CAAA;IACxG,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,mCAAmC,OAAO,6CAA6C,CAAC,CAAA;IAC1G,CAAC;IACD,OAAO,GAAG,MAAM,IAAI,OAAO,EAAc,CAAA;AAC3C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,QAAkB;IAC9C,IAAI,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IAC1E,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACtC,IAAI,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,oCAAoC,CAAC,CAAA;IAC7F,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;IAC1C,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAA;IAC5C,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,qBAAqB,CAAC,CAAA;IACzF,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,sBAAsB,CAAC,CAAA;IAC3F,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,2CAA2C,CAAC,CAAA;IACpG,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAgB,EAAE,OAAO,EAAE,OAAkB,EAAE,CAAA;AAClE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,CAAS;IAClC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;AACxB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,GAAW;IACnC,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;IACjE,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACjC,IAAI,QAAQ,KAAK,CAAC,CAAC;QAAE,OAAO,GAAc,CAAA;IAC1C,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAA;IACxC,IAAI,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,GAAG,kCAAkC,CAAC,CAAA;IAC/F,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,0BAA0B,GAAG,mDAAmD,CAAC,CAAA;IACnG,CAAC;IACD,OAAO,QAAmB,CAAA;AAC5B,CAAC","sourcesContent":["/**\n * identity.ts — 全仓唯一的 ID 品牌类型定义与信任点（f0，零依赖，可脱离 web 运行）\n *\n * See docs/api-contract.md §3 (naming contract: StmtId and PartName separation).\n *\n * ## 目标\n *\n * 为跨仓库（fai ↔ 3d_editor）传播的每一类 ID 建立唯一的 nominaal 品牌类型\n * （`string & { readonly [__x]: true }`），并集中\"string → 品牌\"的全部转换\n * （`as*` 信任点）。品牌类型不可互相赋值、不可由裸 string 赋值，错误在编译期暴露。\n *\n * ## 品牌清单（§0 术语表）\n *\n * | 品牌 | 语义 | 值域示例 |\n * |---|---|---|\n * | `FileId` | 文件身份（3d 场景树），无冒号 | UUID / `prim_1` |\n * | `InnerId` | part 在文件内编号，无冒号 | `o1` / `part-0` |\n * | `ScopedId` | `fileId:innerId`，恰好一个冒号（场景树 key） | `fileId:part-0` |\n * | `StmtId` | 每条语句的 id（`ExecutionAnchor.id`），无赋值语句也有 | `s1` / `s<N>` |\n * | `PartName` | 左值变量名（0/1/2 个，split 双值） | `part0` / `part<N>` |\n * | `GroupName` | 装配/组语句的变量名（⊆ PartName） | `grp_<N>` |\n * | `RefId` | 装配成员引用（scopedId 形态） | `fileId:part-0` |\n * | `ReferenceId` | 拓扑选取 key（`topology\\|<selType>\\|<display>`） | `topology\\|face\\|o1.f1` |\n * | `SelectorKey` | 用户可见 selector（剥前缀） | `o1.f1` / `f1` |\n * | `OccurrenceId` | 拓扑行 occurrence id | `o1` / `o0.o1` |\n * | `ShapeId` | 拓扑行 shape id | `o1.f0` |\n * | `FaceId` | 拓扑行 face id | `o1.f1` |\n * | `EdgeId` | 拓扑行 edge id | `o1.e1` |\n * | `NodeId` | 场景树节点 key（= ScopedId 或 fileId 根）（3d 侧语义） | — |\n *\n * ## 禁止\n * - `partId` 标识符（lint no-partid-identifier 唯一豁免 `lib/bambu-3mf/`）\n * - 任何 `string` 直接赋值给品牌类型（编译期拦截）\n * - 空串 / 回退兜底：`toScopedId`/`splitScopedId` 对非法输入抛错（CLAUDE.md 案例 2）\n */\n\n// 品牌 symbol — 仅为类型标记，不在运行时存在\ndeclare const __fileId:      unique symbol\ndeclare const __innerId:     unique symbol\ndeclare const __scopedId:    unique symbol\ndeclare const __stmtId:      unique symbol\ndeclare const __partName:    unique symbol\ndeclare const __groupName:   unique symbol\ndeclare const __refId:       unique symbol\ndeclare const __referenceId: unique symbol\ndeclare const __selectorKey: unique symbol\ndeclare const __occurrenceId: unique symbol\ndeclare const __shapeId:     unique symbol\ndeclare const __faceId:      unique symbol\ndeclare const __edgeId:      unique symbol\ndeclare const __nodeId:      unique symbol\n\n/** Branded ID: the file identity (3d scene tree node root), with no colon. */\nexport type FileId       = string & { readonly [__fileId]:      true }\n/** Branded ID: a part's in-file number, with no colon. */\nexport type InnerId      = string & { readonly [__innerId]:     true }\n/** Branded ID: `fileId:innerId` with exactly one colon (scene tree key). */\nexport type ScopedId     = string & { readonly [__scopedId]:    true }\n/** Branded ID: a statement's id (ExecutionAnchor.id); every statement has one. */\nexport type StmtId       = string & { readonly [__stmtId]:      true }\n/** Branded ID: a left-hand-side variable name; split outputs yield two values. */\nexport type PartName     = string & { readonly [__partName]:    true }\n/** Branded ID: an assembly/group statement's variable name (`grp_N` ⊆ PartName). */\nexport type GroupName    = PartName & { readonly [__groupName]: true }\n/** Branded ID: an assembly member reference (scopedId shape). */\nexport type RefId        = string & { readonly [__refId]:       true }\n/** Branded ID: a topology selection key (`topology|<selType>|<display>`). */\nexport type ReferenceId  = string & { readonly [__referenceId]: true }\n/** Branded ID: a user-visible selector (prefix-stripped). */\nexport type SelectorKey  = string & { readonly [__selectorKey]: true }\n/** Branded ID: a topology row occurrence id. */\nexport type OccurrenceId = string & { readonly [__occurrenceId]: true }\n/** Branded ID: a topology row shape id. */\nexport type ShapeId      = string & { readonly [__shapeId]:     true }\n/** Branded ID: a topology row face id. */\nexport type FaceId       = string & { readonly [__faceId]:      true }\n/** Branded ID: a topology row edge id. */\nexport type EdgeId       = string & { readonly [__edgeId]:      true }\n/** Branded ID: a scene tree node key (= ScopedId or a fileId root). */\nexport type NodeId       = string & { readonly [__nodeId]:      true }\n\n/** Alias for StmtId (= ExecutionAnchor.id, distinct from PartName semantics). */\nexport type StatementId  = StmtId\n/** Alias for FaceId (mesh FaceDescriptor carries no id; currently unused). */\nexport type FaceSelector = FaceId\n\n// ═════════════════════════════════════════════════════════════════════════\n// 唯一信任点（string → ID 的唯一大门）\n// ═════════════════════════════════════════════════════════════════════════\n\n/**\n * Trust point that converts a plain string to a branded FileId.\n * @param raw - the raw string value.\n * @returns the input typed as FileId.\n */\nexport function asFileId(raw: string): FileId {\n  return raw as FileId\n}\n\n/**\n * Trust point that converts a plain string to a branded InnerId.\n * @param raw - the raw string value.\n * @returns the input typed as InnerId.\n */\nexport function asInnerId(raw: string): InnerId {\n  return raw as InnerId\n}\n\n/**\n * Trust point that converts a plain string to a branded ScopedId.\n * @param raw - the raw string value.\n * @returns the input typed as ScopedId.\n */\nexport function asScopedId(raw: string): ScopedId {\n  return raw as ScopedId\n}\n\n/**\n * Trust point that converts a plain string to a branded StmtId.\n * @param raw - the raw string value.\n * @returns the input typed as StmtId.\n */\nexport function asStmtId(raw: string): StmtId {\n  return raw as StmtId\n}\n\n/**\n * Trust point that converts a plain string to a branded PartName.\n * @param raw - the raw string value.\n * @returns the input typed as PartName.\n */\nexport function asPartName(raw: string): PartName {\n  return raw as PartName\n}\n\n/**\n * Trust point that converts a plain string to a branded GroupName.\n * @param raw - the raw string value.\n * @returns the input typed as GroupName.\n */\nexport function asGroupName(raw: string): GroupName {\n  return raw as GroupName\n}\n\n/**\n * Trust point that converts a plain string to a branded RefId.\n * @param raw - the raw string value.\n * @returns the input typed as RefId.\n */\nexport function asRefId(raw: string): RefId {\n  return raw as RefId\n}\n\n/**\n * Trust point that converts a plain string to a branded ReferenceId.\n * @param raw - the raw string value.\n * @returns the input typed as ReferenceId.\n */\nexport function asReferenceId(raw: string): ReferenceId {\n  return raw as ReferenceId\n}\n\n/**\n * Trust point that converts a plain string to a branded SelectorKey.\n * @param raw - the raw string value.\n * @returns the input typed as SelectorKey.\n */\nexport function asSelectorKey(raw: string): SelectorKey {\n  return raw as SelectorKey\n}\n\n/**\n * Trust point that converts a plain string to a branded OccurrenceId.\n * @param raw - the raw string value.\n * @returns the input typed as OccurrenceId.\n */\nexport function asOccurrenceId(raw: string): OccurrenceId {\n  return raw as OccurrenceId\n}\n\n/**\n * Trust point that converts a plain string to a branded ShapeId.\n * @param raw - the raw string value.\n * @returns the input typed as ShapeId.\n */\nexport function asShapeId(raw: string): ShapeId {\n  return raw as ShapeId\n}\n\n/**\n * Trust point that converts a plain string to a branded FaceId.\n * @param raw - the raw string value.\n * @returns the input typed as FaceId.\n */\nexport function asFaceId(raw: string): FaceId {\n  return raw as FaceId\n}\n\n/**\n * Trust point that converts a plain string to a branded EdgeId.\n * @param raw - the raw string value.\n * @returns the input typed as EdgeId.\n */\nexport function asEdgeId(raw: string): EdgeId {\n  return raw as EdgeId\n}\n\n/**\n * Trust point that converts a plain string to a branded NodeId.\n * @param raw - the raw string value.\n * @returns the input typed as NodeId.\n */\nexport function asNodeId(raw: string): NodeId {\n  return raw as NodeId\n}\n\n// ═════════════════════════════════════════════════════════════════════════\n// ScopedId 构造 / 拆分（3d 场景树语义；fai 仅在此处实现，3d re-export）\n// ═════════════════════════════════════════════════════════════════════\n\n/**\n * Construct a scopedId = `${fileId}:${innerId}`. Asserts that neither fileId\n * nor innerId contains a colon (preventing double prefixing) and throws on\n * empty values.\n * @param fileId - the file identity, without a colon.\n * @param innerId - the part's in-file identity, without a colon.\n * @returns the combined scopedId string.\n */\nexport function toScopedId(fileId: FileId, innerId: InnerId): ScopedId {\n  if (!fileId) throw new Error('[identity] toScopedId: fileId is empty')\n  if (!innerId) throw new Error('[identity] toScopedId: innerId is empty')\n  if (fileId.includes(':')) {\n    throw new Error(`[identity] toScopedId: fileId \"${fileId}\" contains colon — did you pass a scopedId?`)\n  }\n  if (innerId.includes(':')) {\n    throw new Error(`[identity] toScopedId: innerId \"${innerId}\" contains colon — did you pass a scopedId?`)\n  }\n  return `${fileId}:${innerId}` as ScopedId\n}\n\n/**\n * The single split entry point: asserts the input has exactly one colon and\n * returns the fileId and innerId components.\n * @param scopedId - the scopedId to split.\n * @returns an object with the fileId and innerId components.\n */\nexport function splitScopedId(scopedId: ScopedId): { fileId: FileId; innerId: InnerId } {\n  if (!scopedId) throw new Error('[identity] splitScopedId: input is empty')\n  const colonIdx = scopedId.indexOf(':')\n  if (colonIdx === -1) {\n    throw new Error(`[identity] splitScopedId: \"${scopedId}\" — no colon found, not a scopedId`)\n  }\n  const fileId = scopedId.slice(0, colonIdx)\n  const innerId = scopedId.slice(colonIdx + 1)\n  if (!fileId) throw new Error(`[identity] splitScopedId: \"${scopedId}\" — fileId is empty`)\n  if (!innerId) throw new Error(`[identity] splitScopedId: \"${scopedId}\" — innerId is empty`)\n  if (innerId.includes(':')) {\n    throw new Error(`[identity] splitScopedId: \"${scopedId}\" — multiple colons, not a valid scopedId`)\n  }\n  return { fileId: fileId as FileId, innerId: innerId as InnerId }\n}\n\n/**\n * Format check: whether the string is a scopedId (contains a colon). Note that\n * a file root's nodeKey equals its fileId (no colon) and so returns false.\n * @param s - the string to test.\n * @returns true when the string is a scopedId, narrowing the type accordingly.\n */\nexport function isScopedId(s: string): s is ScopedId {\n  return s.includes(':')\n}\n\n/**\n * Strip the `fileId:` prefix from a scopedId to obtain its innerId. Inputs\n * without a colon (already an innerId) are returned unchanged — the caller is\n * responsible for semantic correctness; this function only strips the prefix.\n * @param raw - a scopedId or a bare innerId string.\n * @returns the innerId portion of the input.\n */\nexport function toInnerId(raw: string): InnerId {\n  if (!raw) throw new Error('[identity] toInnerId: input is empty')\n  const colonIdx = raw.indexOf(':')\n  if (colonIdx === -1) return raw as InnerId\n  const stripped = raw.slice(colonIdx + 1)\n  if (!stripped) throw new Error(`[identity] toInnerId: \"${raw}\" — innerId after colon is empty`)\n  if (stripped.includes(':')) {\n    throw new Error(`[identity] toInnerId: \"${raw}\" — multiple colons, cannot produce valid innerId`)\n  }\n  return stripped as InnerId\n}"]}

package/dist/index.d.ts

@@ -0,0 +1,125 @@
+/**
+ * @faicad/faijs �?Faicad CAD execution engine
+ *
+ * 公开 API 统一入口。所有导出按层组织：
+ * - L0 文本层：parser / codegen / symbol-table / types
+ * - L1 几何执行层：BREP ops / Shape / 导出
+ * - L1 Mesh 执行层：cad API
+ * - L1 Boolean/CSG 辅助：cross-section / deriveNormals / extrude-helpers / joinery-shapes
+ * - L1 Primitives：geometry / screw / svg-extrude / text / types
+ * - L1 SDF：sdf-runner / templates / types
+ * - L1 Knurl：KnurlGenerator / subdivision / textureLoader
+ * - L1 Topology：build-face-ids / build-selector-runtime / types
+ * - L2 编排层：CadRuntime / HostPorts
+ * - L3 Node Host：createNodePorts / CLI
+ * - OCCT Kernel：initOcctWasm / getKernel / setOcctWasmInitFn / ...
+ * - CSG Backend：setCsgBackend / geoToManifoldMesh / ...
+ */
+export type { FileId, InnerId, ScopedId, StmtId, PartName, GroupName, RefId, ReferenceId, SelectorKey, OccurrenceId, ShapeId, FaceId, EdgeId, NodeId, StatementId, FaceSelector, } from './identity.js';
+export { asFileId, asInnerId, asScopedId, asStmtId, asPartName, asGroupName, asRefId, asReferenceId, asSelectorKey, asOccurrenceId, asShapeId, asFaceId, asEdgeId, asNodeId, toScopedId, splitScopedId, isScopedId, toInnerId, } from './identity.js';
+export { configureBackends, getBackends, setCurrentStmt, getCurrentStmt, keep, keepHidden, getRuntimeState, nameOf, setName, setKeepSink, setPendingAssemblyTransforms, takePendingAssemblyTransforms, assertContractVersion, CONTRACT_VERSION, } from './runtime-state.js';
+export type { Backends, FaijsRuntimeState, ShapeSlot, KeepSink, RuntimeExecutionMode, AssemblyTransform, StdlibFn, StdlibNamespace, ExecutionAnchor, } from './runtime-state.js';
+export type { Vec3, JsonValue, TerminalShape, ParamDef, } from './lang/types.js';
+export { derivePartName, getMaxModelNum, } from './lang/allocate-id.js';
+export type { DerivePartNameInput, DerivePartNameResult } from './lang/allocate-id.js';
+export { fmtNum, formatCodeLine } from './lang/codegen.js';
+export type { FormatCodeLineInput } from './lang/codegen.js';
+export { analyzeCode } from './lang/statement-summary.js';
+export type { StatementSummary } from './lang/statement-summary.js';
+export { codeToArgs } from './lang/code-to-args.js';
+export type { CodeToArgsResult } from './lang/code-to-args.js';
+export { extractMetadata } from './lang/metadata-extractor.js';
+export type { UiMetadata, ParamEntry, ImportEntry, FunctionEntry, BlockEntry, KeepEntry, ExtractMetadataOptions, } from './lang/metadata-extractor.js';
+export { scanSource, scanAst, assertSecure } from './lang/security-scanner.js';
+export type { SecurityPolicy, SecurityRuleId, SecurityViolation, SecurityScanOptions, SecurityScanResult, } from './lang/security-scanner.js';
+export type { HostArg, HostRef, HostVarRef, HostParamRef, HostCallRef, HostExprRef, HostRefKind, } from './lang/host-arg.js';
+export { isHostVarRef, isHostParamRef, isHostCallRef, isHostExprRef, isHostRef, hostArgToDisplay, hostArgToLiteral, HOST_REF_KINDS, } from './lang/host-arg.js';
+export type { Shape } from './mesh/types.js';
+export type { BrepChainState } from './brep/brep-chain.js';
+export { createBrepChainState, initBrepChainState, releaseBrepChainState, isCadFormat, } from './brep/brep-chain.js';
+export { solidToShape, getSolidBoundingBox, translateBrep, rotateBrep, scaleBrep, fuseBrep, cutBrep, commonBrep, drillBrep, splitBrep, extrudeBrep, loadBrep, matrixToArray, } from './brep/index.js';
+export type { DrillBrepParams, SplitBrepParams, SplitBrepResult, ExtrudeBrepParams } from './brep/index.js';
+export { buildStlBufferFromMesh } from './brep/export/stl.js';
+export { exportStepFromSolid, exportStepFromSolids } from './brep/export/step.js';
+export type { StepExportEntry } from './brep/export/step.js';
+export { cad } from './mesh/index.js';
+export { setManifoldWasmUrl, getManifoldWasmUrl, getManifoldModule } from './mesh/manifold-loader.js';
+export type { BoundingBox, FaceDescriptor, BoxParams, SphereParams, CylinderParams, ConeParams, WedgeParams, TextParams, SvgExtrudeParams, SdfParams, DrillParams, ExtrudeParams, EngraveParams, KnurlParams, SplitPlane, SplitResult, } from './mesh/types.js';
+export { NRAD_DEFAULT, NRAD_MIN, NRAD_MAX, clampNRad } from './mesh/types.js';
+export { faceAt } from './mesh/query.js';
+export { computeSection, buildExtrudedProfile } from './boolean/cross-section.js';
+export { manifoldToMeshData, weldPositionsWorker, dovetailBooleanSplit, dowelOrTenonBooleanSplit } from './boolean/csg-core.js';
+export { deriveNormals } from './boolean/deriveNormals.js';
+export { buildExtrudeParts, makeWorldPlane } from './boolean/extrude-helpers.js';
+export type { ExtrudeParts, ExtrudeOffsetMode } from './boolean/extrude-helpers.js';
+export { buildWedgeGeometry, buildDowelGeometry, buildStraightTenonGeometry, } from './boolean/joinery-shapes.js';
+export type { JoineryMeshData } from './boolean/joinery-shapes.js';
+export { setCsgBackend } from './boolean/csg-backend.js';
+export { geoToManifoldMesh, manifoldMeshToGeo } from './boolean/geo-convert.js';
+export type { ManifoldMeshData, BooleanOperation, DovetailGrooveParams, DowelSplitParams, StraightTenonSplitParams, } from './boolean/geo-convert.js';
+export { mergeBufferGeometries, makePrimitiveGeo, DEFAULT_SIZE, applyPrimitiveOffset } from './primitives/mesh-primitives.js';
+export { makeScrew } from './primitives/screw/screw.js';
+export { getScrewSpec, getScrewSpecs, threadToPitchMm, SCREW_HEAD_DIMS } from './primitives/screw/screw-db.js';
+export type { ScrewParams, ScrewSpec, ScrewSystem } from './primitives/screw/screw-db.js';
+export { svgToExtrudedGeometry } from './primitives/svg-extrude.js';
+export { extractMeshData, primitiveToBrepSolid, geometryToBrepSolid, brepSolidToStep, primitiveToBrepStep, } from './primitives/brep-primitives.js';
+export type { PrimitiveToBrepResult, PrimitiveParams } from './primitives/brep-primitives.js';
+export { loadSystemCjkFont, containsCjk, isCjkChar, createMixedTextGeometry } from './primitives/text/cjk.js';
+export type { CjkFontResult } from './primitives/text/cjk.js';
+export { createTextGeometry, getOpentypeFont, opentypePathToGeometry } from './primitives/text-geometry.js';
+export type { PrimitiveType, PrimitiveParamsRecord, PrimitiveArgsRecord, PrimitiveMeta, } from './primitives/types.js';
+export { nextPrimitiveColor } from './primitives/types.js';
+export { runSdf } from './sdf/sdf-runner.js';
+export type { SdfMeshData } from './sdf/sdf-runner.js';
+export { runSdfInline } from './sdf/sdf-core.js';
+export { SDF_TEMPLATES, DEFAULT_SDF_TEMPLATE } from './sdf/templates.js';
+export type { SdfMeta, SdfBox, SdfParamDef, SdfTemplateCategory, SdfWorkerInput, SdfWorkerMessage, } from './sdf/types.js';
+export { boxToTuple, parseParamDefs, defaultParamValues } from './sdf/types.js';
+export { applyKnurlDisplacement, KNURL_DEFAULTS } from './mesh/knurl/KnurlGenerator.js';
+export type { KnurlBounds } from './mesh/knurl/KnurlGenerator.js';
+export { subdivide } from './mesh/knurl/subdivision.js';
+export { loadKnurlingTexture, setKnurlTextureLoader } from './mesh/knurl/textureLoader.js';
+export type { TextureData } from './mesh/knurl/textureLoader.js';
+export { QuantizedPointMap, weldVertices } from './mesh/knurl/meshIndex.js';
+export { computeUV, MODE_TRIPLANAR, getCubicBlendWeights, type MappingSettings } from './mesh/knurl/mapping.js';
+export { applyDisplacement, type DisplacementSettings } from './mesh/knurl/displacement.js';
+export { TOPOLOGY_FACE_ID_NONE, buildFaceIdsForPart } from './topology/build-face-ids.js';
+export { buildSelectorRuntime, buildSelectorRuntimeData, buildSelectorRuntimeMaps, } from './topology/build-selector-runtime.js';
+export type { SelectorRuntimeData } from './topology/build-selector-runtime.js';
+export type { SelectorRuntime, SelectorBundle, SelectorManifest, SelectorBuffers, FaceRow, EdgeRow, Reference, BufferViewDescriptor, SelectorProxy, } from './topology/types.js';
+export * from './topology/naming/index.js';
+export { CadRuntime, createRuntime, computeContentKey, AppendPrefixError } from './cad-runtime/createRuntimeWithCad.js';
+export { createPreviewExec } from './cad-runtime/preview-exec.js';
+export type { PreviewExec } from './cad-runtime/preview-exec.js';
+export type { ExecutionResult, ExecuteOptions, CheckResult, CheckError, CadRuntimeOptions } from './cad-runtime/runtime.js';
+export type { HostPorts, CsgBackend, SdfBackend, FontProvider, TextureSampler, AssetResolver, EventSink, ExecutionMode, MeshData, PlaneParams, SplitResult as CsgSplitResult, DovetailGrooveParams as PortDovetailGrooveParams, DowelSplitParams as PortDowelSplitParams, StraightTenonSplitParams as PortStraightTenonSplitParams, LibLoader, ProjectLoader, } from './cad-runtime/ports.js';
+export { initOcctWasm, getKernel, disposeOcctWasm, setOcctWasmInitFn, computeEffectiveDeflection, importStepToMesh, importBrepToMesh, meshesToStep, releaseShape, importAssemblyFromStep, releaseAssemblyTree, collectLeafParts, } from './occt-kernel/occtKernel.js';
+export type { WasmTessellatedMesh, WasmImportResult, AssemblyPartNode, MeshDeflectionOptions, ShapeHandle, OcctKernel, Mesh, EdgeData, SurfaceKind, CurveKind, } from './occt-kernel/occtKernel.js';
+export { reconstructSolidFromMesh, meshToAsciiStl, cadShapeIsValid, meshToStepBrep } from './occt-kernel/meshReconstruct.js';
+export { exportStepFromSolidsHighLevel } from './occt-kernel/highLevelApi.js';
+export { buildSelectorManifest, buildAssemblySelectorManifest, buildTopologyAdjacency } from './occt-kernel/topologyExt.js';
+export type { SelectorManifestInput, PartTopologyInput, AssemblyTopologyResult, TopologyAdjacency } from './occt-kernel/topologyExt.js';
+export { registerOcctBrepEngine, OCCT_BREP_ENGINE_ID } from './brep/engine/adapters/occt.js';
+export { registerBrepMockEngine, BREP_MOCK_ENGINE_ID, createBrepMockApi } from './brep/engine/adapters/brep-mock.js';
+export { registerBrepkitBrepEngine, BREPKIT_BREP_ENGINE_ID, ensureBrepkitDefaultEngine } from './brep/engine/adapters/brepkit.js';
+export { setBrepkitWasmInitFn, initBrepkitWasm, isBrepkitInitialized } from './brepkit-kernel/brepkitWasm.js';
+export { registerBrepEngine, getBrepEngine, hasBrepEngine, getActiveBrepEngineId, registerMeshEngine, getMeshEngine, getActiveMeshEngineId, freezeEngineRegistries, } from './brep/engine/registry.js';
+export type { BrepEngine, BrepEngineProvider, MeshEngine } from './brep/engine/registry.js';
+export type { BrepEngineApi } from './brep/engine/primitives.js';
+export type { BrepHandle, BrepMeshResult, BrepBoundingBox, BrepVec3, BrepCapabilities, BrepEvolutionData, BrepXcafDocument, } from './brep/engine/types.js';
+export { buildSolidTopologyRuntime } from './brep/brep-topology.js';
+export type { SolidTopologyResult } from './brep/brep-topology.js';
+export { setFontLoader, getFontLoader, loadFont, ensureDefaultFont, getFont, clearFonts } from './brep/text/fontRegistry.js';
+export type { FontLoader } from './brep/text/fontRegistry.js';
+export { createBrowserPorts } from './browser-host/index.js';
+export type { CreateBrowserPortsOptions } from './browser-host/index.js';
+export { createBrowserLibLoader, DEFAULT_CDN_BASE } from './cad-runtime/browser-lib-loader.js';
+export type { BrowserLibLoader, BrowserLibMeta, CreateBrowserLibLoaderOptions, } from './cad-runtime/browser-lib-loader.js';
+export { BrowserEventSink } from './browser-host/browser-event-sink.js';
+export { BrowserFontProvider } from './browser-host/browser-font-provider.js';
+export type { BrowserFontProviderOptions } from './browser-host/browser-font-provider.js';
+export { FetchAssetResolver } from './browser-host/fetch-asset-resolver.js';
+export type { FetchAssetResolverOptions } from './browser-host/fetch-asset-resolver.js';
+export * from './api/index.js';
+export { createApiNamespace } from './api/api-namespace.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,YAAY,EACV,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EACtD,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EACtD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,GAClD,MAAM,YAAY,CAAA;AACnB,OAAO,EACL,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAClE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,SAAS,EAChE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAC5B,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,GACjD,MAAM,YAAY,CAAA;AAGnB,OAAO,EACL,iBAAiB,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,EAC9D,IAAI,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAC/D,4BAA4B,EAAE,6BAA6B,EAAE,qBAAqB,EAClF,gBAAgB,GACjB,MAAM,iBAAiB,CAAA;AACxB,YAAY,EACV,QAAQ,EAAE,iBAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE,oBAAoB,EACtE,iBAAiB,EAAE,QAAQ,EAAE,eAAe,EAAE,eAAe,GAC9D,MAAM,iBAAiB,CAAA;AAGxB,YAAY,EACV,IAAI,EAAE,SAAS,EACf,aAAa,EAAE,QAAQ,GACxB,MAAM,cAAc,CAAA;AACrB,OAAO,EACL,cAAc,EAAE,cAAc,GAC/B,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACnF,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AACvD,YAAY,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AACtD,YAAY,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChD,YAAY,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAE3D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAA;AAC3D,YAAY,EACV,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EACzE,sBAAsB,GACvB,MAAM,2BAA2B,CAAA;AAElC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3E,YAAY,EACV,cAAc,EAAE,cAAc,EAAE,iBAAiB,EACjD,mBAAmB,EAAE,kBAAkB,GACxC,MAAM,yBAAyB,CAAA;AAEhC,YAAY,EACV,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,GAClF,MAAM,iBAAiB,CAAA;AACxB,OAAO,EACL,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EACrE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,GACnD,MAAM,iBAAiB,CAAA;AAGxB,YAAY,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA;AACzC,YAAY,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,EACL,oBAAoB,EAAE,kBAAkB,EAAE,qBAAqB,EAC/D,WAAW,GACZ,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACL,YAAY,EAAE,mBAAmB,EACjC,aAAa,EAAE,UAAU,EAAE,SAAS,EACpC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAC7B,SAAS,EAAE,SAAS,EAAE,WAAW,EACjC,QAAQ,EAAE,aAAa,GACxB,MAAM,QAAQ,CAAA;AACf,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,QAAQ,CAAA;AAClG,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AAC9E,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAGzD,OAAO,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAA;AAC5B,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAClG,YAAY,EACV,WAAW,EAAE,cAAc,EAC3B,SAAS,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,WAAW,EAChE,UAAU,EAAE,gBAAgB,EAAE,SAAS,EACvC,WAAW,EAAE,aAAa,EAAE,aAAa,EAAE,WAAW,EACtD,UAAU,EAAE,WAAW,GACxB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC1E,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAGrC,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9E,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAA;AAC5H,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AACvD,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAC7E,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAChF,OAAO,EACL,kBAAkB,EAAE,kBAAkB,EAAE,0BAA0B,GACnE,MAAM,0BAA0B,CAAA;AACjC,YAAY,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAG/D,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AAC5E,YAAY,EACV,gBAAgB,EAAE,gBAAgB,EAClC,oBAAoB,EAAE,gBAAgB,EAAE,wBAAwB,GACjE,MAAM,uBAAuB,CAAA;AAG9B,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,YAAY,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAC1H,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAC3G,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EACL,eAAe,EAAE,oBAAoB,EAAE,mBAAmB,EAC1D,eAAe,EAAE,mBAAmB,GACrC,MAAM,8BAA8B,CAAA;AACrC,YAAY,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC1F,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,SAAS,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AAC1G,YAAY,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAC1D,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAA;AACxG,YAAY,EACV,aAAa,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,aAAa,GACzE,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAGvD,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACzC,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AACrE,YAAY,EACV,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,mBAAmB,EACjD,cAAc,EAAE,gBAAgB,GACjC,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAG5E,OAAO,EAAE,sBAAsB,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAA;AACpF,YAAY,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAA;AACvF,YAAY,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAC7D,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AACxE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,oBAAoB,EAAE,KAAK,eAAe,EAAE,MAAM,sBAAsB,CAAA;AAC5G,OAAO,EAAE,iBAAiB,EAAE,KAAK,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AAGxF,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAA;AACtF,OAAO,EACL,oBAAoB,EAAE,wBAAwB,EAAE,wBAAwB,GACzE,MAAM,mCAAmC,CAAA;AAC1C,YAAY,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAA;AAC5E,YAAY,EACV,eAAe,EAAE,cAAc,EAAE,gBAAgB,EAAE,eAAe,EAClE,OAAO,EAAE,OAAO,EAAE,SAAS,EAC3B,oBAAoB,EAAE,aAAa,GACpC,MAAM,kBAAkB,CAAA;AAEzB,cAAc,mBAAmB,CAAA;AAKjC,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAA;AACpH,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAC9D,YAAY,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAC7D,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AACxH,YAAY,EACV,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,cAAc,EAC/D,aAAa,EAAE,SAAS,EAAE,aAAa,EACvC,QAAQ,EAAE,WAAW,EAAE,WAAW,IAAI,cAAc,EACpD,oBAAoB,IAAI,wBAAwB,EAChD,gBAAgB,IAAI,oBAAoB,EACxC,wBAAwB,IAAI,4BAA4B,EACxD,SAAS,EAAE,aAAa,GACzB,MAAM,qBAAqB,CAAA;AAG5B,OAAO,EACL,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,iBAAiB,EAC3D,0BAA0B,EAAE,gBAAgB,EAAE,gBAAgB,EAC9D,YAAY,EAAE,YAAY,EAC1B,sBAAsB,EAAE,mBAAmB,EAAE,gBAAgB,GAC9D,MAAM,0BAA0B,CAAA;AACjC,YAAY,EACV,mBAAmB,EAAE,gBAAgB,EAAE,gBAAgB,EACvD,qBAAqB,EAAE,WAAW,EAAE,UAAU,EAC9C,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,GACvC,MAAM,0BAA0B,CAAA;AAGjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAGzH,OAAO,EAAE,6BAA6B,EAAE,MAAM,4BAA4B,CAAA;AAG1E,OAAO,EAAE,qBAAqB,EAAE,6BAA6B,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AACxH,YAAY,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAGpI,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAA;AACzF,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAA;AAGjH,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAC9H,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAC1G,OAAO,EACL,kBAAkB,EAAE,aAAa,EAAE,aAAa,EAAE,qBAAqB,EACvE,kBAAkB,EAAE,aAAa,EAAE,qBAAqB,EAAE,sBAAsB,GACjF,MAAM,wBAAwB,CAAA;AAC/B,YAAY,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACxF,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAC7D,YAAY,EACV,UAAU,EAAE,cAAc,EAAE,eAAe,EAAE,QAAQ,EAAE,gBAAgB,EACvE,iBAAiB,EAAE,gBAAgB,GACpC,MAAM,qBAAqB,CAAA;AAG5B,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAA;AAChE,YAAY,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,QAAQ,EAAE,iBAAiB,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACzH,YAAY,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAQ1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,YAAY,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAA;AAG/D,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAA;AAC3F,YAAY,EACV,gBAAgB,EAAE,cAAc,EAAE,6BAA6B,GAChE,MAAM,kCAAkC,CAAA;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAA;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAA;AAC1E,YAAY,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAA;AACtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAA;AACxE,YAAY,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAA;AAWpF,cAAc,OAAO,CAAA;AACrB,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAA"}

package/dist/index.js

@@ -0,0 +1,121 @@
+/**
+ * @faicad/faijs �?Faicad CAD execution engine
+ *
+ * 公开 API 统一入口。所有导出按层组织：
+ * - L0 文本层：parser / codegen / symbol-table / types
+ * - L1 几何执行层：BREP ops / Shape / 导出
+ * - L1 Mesh 执行层：cad API
+ * - L1 Boolean/CSG 辅助：cross-section / deriveNormals / extrude-helpers / joinery-shapes
+ * - L1 Primitives：geometry / screw / svg-extrude / text / types
+ * - L1 SDF：sdf-runner / templates / types
+ * - L1 Knurl：KnurlGenerator / subdivision / textureLoader
+ * - L1 Topology：build-face-ids / build-selector-runtime / types
+ * - L2 编排层：CadRuntime / HostPorts
+ * - L3 Node Host：createNodePorts / CLI
+ * - OCCT Kernel：initOcctWasm / getKernel / setOcctWasmInitFn / ...
+ * - CSG Backend：setCsgBackend / geoToManifoldMesh / ...
+ */
+export { asFileId, asInnerId, asScopedId, asStmtId, asPartName, asGroupName, asRefId, asReferenceId, asSelectorKey, asOccurrenceId, asShapeId, asFaceId, asEdgeId, asNodeId, toScopedId, splitScopedId, isScopedId, toInnerId, } from './identity.js';
+// ── 运行时状态锚点（零依赖层；引擎与库共享）
+export { configureBackends, getBackends, setCurrentStmt, getCurrentStmt, keep, keepHidden, getRuntimeState, nameOf, setName, setKeepSink, setPendingAssemblyTransforms, takePendingAssemblyTransforms, assertContractVersion, CONTRACT_VERSION, } from './runtime-state.js';
+export { derivePartName, getMaxModelNum, } from './lang/allocate-id.js';
+export { fmtNum, formatCodeLine } from './lang/codegen.js';
+export { analyzeCode } from './lang/statement-summary.js';
+export { codeToArgs } from './lang/code-to-args.js';
+// MetadataExtractor — 无 IR 元数据提取器（UI 通道语义源；UiMetadata 全量）
+export { extractMetadata } from './lang/metadata-extractor.js';
+// SecurityScanner — 静态安全门禁（纵深防御第一层）
+export { scanSource, scanAst, assertSecure } from './lang/security-scanner.js';
+export { isHostVarRef, isHostParamRef, isHostCallRef, isHostExprRef, isHostRef, hostArgToDisplay, hostArgToLiteral, HOST_REF_KINDS, } from './lang/host-arg.js';
+export { createBrepChainState, initBrepChainState, releaseBrepChainState, isCadFormat, } from './brep/brep-chain.js';
+export { solidToShape, getSolidBoundingBox, translateBrep, rotateBrep, scaleBrep, fuseBrep, cutBrep, commonBrep, drillBrep, splitBrep, extrudeBrep, loadBrep, matrixToArray, } from './brep/index.js';
+export { buildStlBufferFromMesh } from './brep/export/stl.js';
+export { exportStepFromSolid, exportStepFromSolids } from './brep/export/step.js';
+// ── L1 Mesh 执行�?──
+export { cad } from './mesh/index.js';
+export { setManifoldWasmUrl, getManifoldWasmUrl, getManifoldModule } from './mesh/manifold-loader.js';
+export { NRAD_DEFAULT, NRAD_MIN, NRAD_MAX, clampNRad } from './mesh/types.js';
+export { faceAt } from './mesh/query.js';
+// ── L1 Boolean/CSG 辅助 ──
+export { computeSection, buildExtrudedProfile } from './boolean/cross-section.js';
+export { manifoldToMeshData, weldPositionsWorker, dovetailBooleanSplit, dowelOrTenonBooleanSplit } from './boolean/csg-core.js';
+export { deriveNormals } from './boolean/deriveNormals.js';
+export { buildExtrudeParts, makeWorldPlane } from './boolean/extrude-helpers.js';
+export { buildWedgeGeometry, buildDowelGeometry, buildStraightTenonGeometry, } from './boolean/joinery-shapes.js';
+// ── CSG Backend ──
+export { setCsgBackend } from './boolean/csg-backend.js';
+export { geoToManifoldMesh, manifoldMeshToGeo } from './boolean/geo-convert.js';
+// ── L1 Primitives ──
+export { mergeBufferGeometries, makePrimitiveGeo, DEFAULT_SIZE, applyPrimitiveOffset } from './primitives/mesh-primitives.js';
+export { makeScrew } from './primitives/screw/screw.js';
+export { getScrewSpec, getScrewSpecs, threadToPitchMm, SCREW_HEAD_DIMS } from './primitives/screw/screw-db.js';
+export { svgToExtrudedGeometry } from './primitives/svg-extrude.js';
+export { extractMeshData, primitiveToBrepSolid, geometryToBrepSolid, brepSolidToStep, primitiveToBrepStep, } from './primitives/brep-primitives.js';
+export { loadSystemCjkFont, containsCjk, isCjkChar, createMixedTextGeometry } from './primitives/text/cjk.js';
+export { createTextGeometry, getOpentypeFont, opentypePathToGeometry } from './primitives/text-geometry.js';
+export { nextPrimitiveColor } from './primitives/types.js';
+// ── L1 SDF ──
+export { runSdf } from './sdf/sdf-runner.js';
+export { runSdfInline } from './sdf/sdf-core.js';
+export { SDF_TEMPLATES, DEFAULT_SDF_TEMPLATE } from './sdf/templates.js';
+export { boxToTuple, parseParamDefs, defaultParamValues } from './sdf/types.js';
+// ── L1 Knurl ──
+export { applyKnurlDisplacement, KNURL_DEFAULTS } from './mesh/knurl/KnurlGenerator.js';
+export { subdivide } from './mesh/knurl/subdivision.js';
+export { loadKnurlingTexture, setKnurlTextureLoader } from './mesh/knurl/textureLoader.js';
+export { QuantizedPointMap, weldVertices } from './mesh/knurl/meshIndex.js';
+export { computeUV, MODE_TRIPLANAR, getCubicBlendWeights } from './mesh/knurl/mapping.js';
+export { applyDisplacement } from './mesh/knurl/displacement.js';
+// ── L1 Topology ──
+export { TOPOLOGY_FACE_ID_NONE, buildFaceIdsForPart } from './topology/build-face-ids.js';
+export { buildSelectorRuntime, buildSelectorRuntimeData, buildSelectorRuntimeMaps, } from './topology/build-selector-runtime.js';
+export * from './topology/naming/index.js';
+// ── L2 编排�?──
+// D1（2026-09-19）：createRuntime 自注册 cad 默认命名空间（引擎 + 标准库定位）。
+// 需要纯引擎（不带 cad）的宿主可直接 import { createRuntime } from './cad-runtime/runtime.js'。
+export { CadRuntime, createRuntime, computeContentKey, AppendPrefixError } from './cad-runtime/createRuntimeWithCad.js';
+export { createPreviewExec } from './cad-runtime/preview-exec.js';
+// ── OCCT Kernel ──
+export { initOcctWasm, getKernel, disposeOcctWasm, setOcctWasmInitFn, computeEffectiveDeflection, importStepToMesh, importBrepToMesh, meshesToStep, releaseShape, importAssemblyFromStep, releaseAssemblyTree, collectLeafParts, } from './occt-kernel/occtKernel.js';
+// ── OCCT Mesh Reconstruct ──
+export { reconstructSolidFromMesh, meshToAsciiStl, cadShapeIsValid, meshToStepBrep } from './occt-kernel/meshReconstruct.js';
+// ── OCCT 高层导出（多实体、零 fuse） ──
+export { exportStepFromSolidsHighLevel } from './occt-kernel/highLevelApi.js';
+// ── OCCT Topology Extension ──
+export { buildSelectorManifest, buildAssemblySelectorManifest, buildTopologyAdjacency } from './occt-kernel/topologyExt.js';
+// ── BREP 引擎注册（宿主装配；引擎可切换——occt 只是默认实现） ──
+export { registerOcctBrepEngine, OCCT_BREP_ENGINE_ID } from './brep/engine/adapters/occt.js';
+export { registerBrepMockEngine, BREP_MOCK_ENGINE_ID, createBrepMockApi } from './brep/engine/adapters/brep-mock.js';
+// brepkit 端侧 BREP 引擎（微信小程序等无 OCCT 环境）：由宿主注入 wasm init 并抢先注册，
+// 使 ensureBrepChain 不回退 OCCT。setBrepkitWasmInitFn 注入自定义初始化（如 WXWebAssembly 实例化）。
+export { registerBrepkitBrepEngine, BREPKIT_BREP_ENGINE_ID, ensureBrepkitDefaultEngine } from './brep/engine/adapters/brepkit.js';
+export { setBrepkitWasmInitFn, initBrepkitWasm, isBrepkitInitialized } from './brepkit-kernel/brepkitWasm.js';
+export { registerBrepEngine, getBrepEngine, hasBrepEngine, getActiveBrepEngineId, registerMeshEngine, getMeshEngine, getActiveMeshEngineId, freezeEngineRegistries, } from './brep/engine/registry.js';
+// ── BREP Topology ──
+export { buildSolidTopologyRuntime } from './brep/brep-topology.js';
+// ── Font Registry (for browser host injection) ──
+export { setFontLoader, getFontLoader, loadFont, ensureDefaultFont, getFont, clearFonts } from './brep/text/fontRegistry.js';
+// ── L3 Node Host ──
+// node-host 模块已移�?@faicad/faijs/node 入口，避免浏览器环境静�?import
+// node-host 模块（含 Node.js 专用代码�?fs/path）导致生产构�?404�?
+// �?Node.js 环境中：import { createNodePorts } from '@faicad/faijs/node'
+// ── L3 Browser Host ──
+export { createBrowserPorts } from './browser-host/index.js';
+// D3-Browser（§9.4）：CDN 通用 libLoader 工厂（a/b 混合）。**不**被 createBrowserPorts
+// 默认装配——demo 的源码 alias HMR 路径必须零网络；CDN 装载由主机显式注入。
+export { createBrowserLibLoader, DEFAULT_CDN_BASE } from './cad-runtime/browser-lib-loader.js';
+export { BrowserEventSink } from './browser-host/browser-event-sink.js';
+export { BrowserFontProvider } from './browser-host/browser-font-provider.js';
+export { FetchAssetResolver } from './browser-host/fetch-asset-resolver.js';
+// ── L3 API 面（原 packages/stdlib 迁入，P6/D1）──
+// P23 主导出切换（§4.2 / Q1）：`export * from './api/index.js'` 现在同时带来
+// ① faijs 特有 dual op（mesh+brep 双路径，D11 双形态归一）；
+// ② 生成脚本面 op（`api/generated/script-face.ts`，compatOp(projectBrepOp(…)) 包装的
+//    brep-only 语句级 op——`cad.*` 脚本面与此同源，B1 三源一致）；
+// ③ brepjs 形态 TS 兼容面（`api/brepjs-compat`，以 `brepjsCompat` 命名空间导出——库作者面，
+//    句柄进出 + Result 语义）及其 Result / 向量 / 平面组合器（顶层平铺）。
+// op 符号不平铺 brepjsCompat 版：`brepjsCompat.fuse`（句柄形态）与顶层 `fuse`（faijs 形态）
+// 是同一 vendored 实现的两个投影，按「一个名字一份实现」红线（§6.3）只保留脚本面那份。
+export * from './api/index.js';
+export { createApiNamespace } from './api/api-namespace.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAQH,OAAO,EACL,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAClE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,SAAS,EAChE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAC5B,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,GACjD,MAAM,YAAY,CAAA;AAEnB,0BAA0B;AAC1B,OAAO,EACL,iBAAiB,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,EAC9D,IAAI,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAC/D,4BAA4B,EAAE,6BAA6B,EAAE,qBAAqB,EAClF,gBAAgB,GACjB,MAAM,iBAAiB,CAAA;AAWxB,OAAO,EACL,cAAc,EAAE,cAAc,GAC/B,MAAM,oBAAoB,CAAA;AAE3B,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAEvD,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAEtD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAEhD,0DAA0D;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAA;AAK3D,oCAAoC;AACpC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAS3E,OAAO,EACL,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EACrE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,GACnD,MAAM,iBAAiB,CAAA;AAKxB,OAAO,EACL,oBAAoB,EAAE,kBAAkB,EAAE,qBAAqB,EAC/D,WAAW,GACZ,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACL,YAAY,EAAE,mBAAmB,EACjC,aAAa,EAAE,UAAU,EAAE,SAAS,EACpC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAC7B,SAAS,EAAE,SAAS,EAAE,WAAW,EACjC,QAAQ,EAAE,aAAa,GACxB,MAAM,QAAQ,CAAA;AAEf,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AAG9E,oBAAoB;AACpB,OAAO,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAA;AAC5B,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAQlG,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC1E,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAErC,0BAA0B;AAC1B,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9E,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAA;AAC5H,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AACvD,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAE7E,OAAO,EACL,kBAAkB,EAAE,kBAAkB,EAAE,0BAA0B,GACnE,MAAM,0BAA0B,CAAA;AAGjC,oBAAoB;AACpB,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AAM5E,sBAAsB;AACtB,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,YAAY,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAC1H,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAE3G,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EACL,eAAe,EAAE,oBAAoB,EAAE,mBAAmB,EAC1D,eAAe,EAAE,mBAAmB,GACrC,MAAM,8BAA8B,CAAA;AAErC,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,SAAS,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AAE1G,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAA;AAIxG,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAEvD,eAAe;AACf,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAEzC,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AAKrE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAE5E,iBAAiB;AACjB,OAAO,EAAE,sBAAsB,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAA;AAEpF,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAA;AAEvF,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AACxE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,oBAAoB,EAAwB,MAAM,sBAAsB,CAAA;AAC5G,OAAO,EAAE,iBAAiB,EAA6B,MAAM,2BAA2B,CAAA;AAExF,oBAAoB;AACpB,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAA;AACtF,OAAO,EACL,oBAAoB,EAAE,wBAAwB,EAAE,wBAAwB,GACzE,MAAM,mCAAmC,CAAA;AAQ1C,cAAc,mBAAmB,CAAA;AAEjC,eAAe;AACf,2DAA2D;AAC3D,6EAA6E;AAC7E,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAA;AACpH,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAa9D,oBAAoB;AACpB,OAAO,EACL,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,iBAAiB,EAC3D,0BAA0B,EAAE,gBAAgB,EAAE,gBAAgB,EAC9D,YAAY,EAAE,YAAY,EAC1B,sBAAsB,EAAE,mBAAmB,EAAE,gBAAgB,GAC9D,MAAM,0BAA0B,CAAA;AAOjC,8BAA8B;AAC9B,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAEzH,8BAA8B;AAC9B,OAAO,EAAE,6BAA6B,EAAE,MAAM,4BAA4B,CAAA;AAE1E,gCAAgC;AAChC,OAAO,EAAE,qBAAqB,EAAE,6BAA6B,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAGxH,2CAA2C;AAC3C,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAA;AACzF,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAA;AACjH,6DAA6D;AAC7D,iFAAiF;AACjF,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAC9H,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAC1G,OAAO,EACL,kBAAkB,EAAE,aAAa,EAAE,aAAa,EAAE,qBAAqB,EACvE,kBAAkB,EAAE,aAAa,EAAE,qBAAqB,EAAE,sBAAsB,GACjF,MAAM,wBAAwB,CAAA;AAQ/B,sBAAsB;AACtB,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAA;AAGhE,mDAAmD;AACnD,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,QAAQ,EAAE,iBAAiB,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAGzH,qBAAqB;AACrB,yDAAyD;AACzD,oDAAoD;AACpD,qEAAqE;AAErE,wBAAwB;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AAEnD,yEAAyE;AACzE,kDAAkD;AAClD,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAA;AAI3F,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAA;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAA;AAE1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAA;AAGxE,4CAA4C;AAC5C,sDAAsD;AACtD,+CAA+C;AAC/C,2EAA2E;AAC3E,iDAAiD;AACjD,wEAAwE;AACxE,oDAAoD;AACpD,wEAAwE;AACxE,oDAAoD;AACpD,cAAc,OAAO,CAAA;AACrB,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAA","sourcesContent":["/**\n * @faicad/faijs �?Faicad CAD execution engine\n *\n * 公开 API 统一入口。所有导出按层组织：\n * - L0 文本层：parser / codegen / symbol-table / types\n * - L1 几何执行层：BREP ops / Shape / 导出\n * - L1 Mesh 执行层：cad API\n * - L1 Boolean/CSG 辅助：cross-section / deriveNormals / extrude-helpers / joinery-shapes\n * - L1 Primitives：geometry / screw / svg-extrude / text / types\n * - L1 SDF：sdf-runner / templates / types\n * - L1 Knurl：KnurlGenerator / subdivision / textureLoader\n * - L1 Topology：build-face-ids / build-selector-runtime / types\n * - L2 编排层：CadRuntime / HostPorts\n * - L3 Node Host：createNodePorts / CLI\n * - OCCT Kernel：initOcctWasm / getKernel / setOcctWasmInitFn / ...\n * - CSG Backend：setCsgBackend / geoToManifoldMesh / ...\n */\n\n// ── identity：品牌类型 + 信任点（f0，零依赖）\nexport type {\n  FileId, InnerId, ScopedId, StmtId, PartName, GroupName,\n  RefId, ReferenceId, SelectorKey, OccurrenceId, ShapeId,\n  FaceId, EdgeId, NodeId, StatementId, FaceSelector,\n} from './identity'\nexport {\n  asFileId, asInnerId, asScopedId, asStmtId, asPartName, asGroupName,\n  asRefId, asReferenceId, asSelectorKey, asOccurrenceId, asShapeId,\n  asFaceId, asEdgeId, asNodeId,\n  toScopedId, splitScopedId, isScopedId, toInnerId,\n} from './identity'\n\n// ── 运行时状态锚点（零依赖层；引擎与库共享）\nexport {\n  configureBackends, getBackends, setCurrentStmt, getCurrentStmt,\n  keep, keepHidden, getRuntimeState, nameOf, setName, setKeepSink,\n  setPendingAssemblyTransforms, takePendingAssemblyTransforms, assertContractVersion,\n  CONTRACT_VERSION,\n} from './runtime-state'\nexport type {\n  Backends, FaijsRuntimeState, ShapeSlot, KeepSink, RuntimeExecutionMode,\n  AssemblyTransform, StdlibFn, StdlibNamespace, ExecutionAnchor,\n} from './runtime-state'\n\n// ── L0 文本层（IR 是引擎内部实现细节，不导出；公开面只有代码文本工具与结果类型）\nexport type {\n  Vec3, JsonValue,\n  TerminalShape, ParamDef,\n} from './lang/types'\nexport {\n  derivePartName, getMaxModelNum,\n} from './lang/allocate-id'\nexport type { DerivePartNameInput, DerivePartNameResult } from './lang/allocate-id'\nexport { fmtNum, formatCodeLine } from './lang/codegen'\nexport type { FormatCodeLineInput } from './lang/codegen'\nexport { analyzeCode } from './lang/statement-summary'\nexport type { StatementSummary } from './lang/statement-summary'\nexport { codeToArgs } from './lang/code-to-args'\nexport type { CodeToArgsResult } from './lang/code-to-args'\n// MetadataExtractor — 无 IR 元数据提取器（UI 通道语义源；UiMetadata 全量）\nexport { extractMetadata } from './lang/metadata-extractor'\nexport type {\n  UiMetadata, ParamEntry, ImportEntry, FunctionEntry, BlockEntry, KeepEntry,\n  ExtractMetadataOptions,\n} from './lang/metadata-extractor'\n// SecurityScanner — 静态安全门禁（纵深防御第一层）\nexport { scanSource, scanAst, assertSecure } from './lang/security-scanner'\nexport type {\n  SecurityPolicy, SecurityRuleId, SecurityViolation,\n  SecurityScanOptions, SecurityScanResult,\n} from './lang/security-scanner'\n// HostArg — 宿主友好位置参数类型（IR 屏蔽层）\nexport type {\n  HostArg, HostRef, HostVarRef, HostParamRef, HostCallRef, HostExprRef, HostRefKind,\n} from './lang/host-arg'\nexport {\n  isHostVarRef, isHostParamRef, isHostCallRef, isHostExprRef, isHostRef,\n  hostArgToDisplay, hostArgToLiteral, HOST_REF_KINDS,\n} from './lang/host-arg'\n\n// ── L1 几何执行 ──\nexport type { Shape } from './mesh/types'\nexport type { BrepChainState } from './brep/brep-chain'\nexport {\n  createBrepChainState, initBrepChainState, releaseBrepChainState,\n  isCadFormat,\n} from './brep/brep-chain'\nexport {\n  solidToShape, getSolidBoundingBox,\n  translateBrep, rotateBrep, scaleBrep,\n  fuseBrep, cutBrep, commonBrep,\n  drillBrep, splitBrep, extrudeBrep,\n  loadBrep, matrixToArray,\n} from './brep'\nexport type { DrillBrepParams, SplitBrepParams, SplitBrepResult, ExtrudeBrepParams } from './brep'\nexport { buildStlBufferFromMesh } from './brep/export/stl'\nexport { exportStepFromSolid, exportStepFromSolids } from './brep/export/step'\nexport type { StepExportEntry } from './brep/export/step'\n\n// ── L1 Mesh 执行�?──\nexport { cad } from './mesh'\nexport { setManifoldWasmUrl, getManifoldWasmUrl, getManifoldModule } from './mesh/manifold-loader'\nexport type {\n  BoundingBox, FaceDescriptor,\n  BoxParams, SphereParams, CylinderParams, ConeParams, WedgeParams,\n  TextParams, SvgExtrudeParams, SdfParams,\n  DrillParams, ExtrudeParams, EngraveParams, KnurlParams,\n  SplitPlane, SplitResult,\n} from './mesh/types'\nexport { NRAD_DEFAULT, NRAD_MIN, NRAD_MAX, clampNRad } from './mesh/types'\nexport { faceAt } from './mesh/query'\n\n// ── L1 Boolean/CSG 辅助 ──\nexport { computeSection, buildExtrudedProfile } from './boolean/cross-section'\nexport { manifoldToMeshData, weldPositionsWorker, dovetailBooleanSplit, dowelOrTenonBooleanSplit } from './boolean/csg-core'\nexport { deriveNormals } from './boolean/deriveNormals'\nexport { buildExtrudeParts, makeWorldPlane } from './boolean/extrude-helpers'\nexport type { ExtrudeParts, ExtrudeOffsetMode } from './boolean/extrude-helpers'\nexport {\n  buildWedgeGeometry, buildDowelGeometry, buildStraightTenonGeometry,\n} from './boolean/joinery-shapes'\nexport type { JoineryMeshData } from './boolean/joinery-shapes'\n\n// ── CSG Backend ──\nexport { setCsgBackend } from './boolean/csg-backend'\nexport { geoToManifoldMesh, manifoldMeshToGeo } from './boolean/geo-convert'\nexport type {\n  ManifoldMeshData, BooleanOperation,\n  DovetailGrooveParams, DowelSplitParams, StraightTenonSplitParams,\n} from './boolean/geo-convert'\n\n// ── L1 Primitives ──\nexport { mergeBufferGeometries, makePrimitiveGeo, DEFAULT_SIZE, applyPrimitiveOffset } from './primitives/mesh-primitives'\nexport { makeScrew } from './primitives/screw/screw'\nexport { getScrewSpec, getScrewSpecs, threadToPitchMm, SCREW_HEAD_DIMS } from './primitives/screw/screw-db'\nexport type { ScrewParams, ScrewSpec, ScrewSystem } from './primitives/screw/screw-db'\nexport { svgToExtrudedGeometry } from './primitives/svg-extrude'\nexport {\n  extractMeshData, primitiveToBrepSolid, geometryToBrepSolid,\n  brepSolidToStep, primitiveToBrepStep,\n} from './primitives/brep-primitives'\nexport type { PrimitiveToBrepResult, PrimitiveParams } from './primitives/brep-primitives'\nexport { loadSystemCjkFont, containsCjk, isCjkChar, createMixedTextGeometry } from './primitives/text/cjk'\nexport type { CjkFontResult } from './primitives/text/cjk'\nexport { createTextGeometry, getOpentypeFont, opentypePathToGeometry } from './primitives/text-geometry'\nexport type {\n  PrimitiveType, PrimitiveParamsRecord, PrimitiveArgsRecord, PrimitiveMeta,\n} from './primitives/types'\nexport { nextPrimitiveColor } from './primitives/types'\n\n// ── L1 SDF ──\nexport { runSdf } from './sdf/sdf-runner'\nexport type { SdfMeshData } from './sdf/sdf-runner'\nexport { runSdfInline } from './sdf/sdf-core'\nexport { SDF_TEMPLATES, DEFAULT_SDF_TEMPLATE } from './sdf/templates'\nexport type {\n  SdfMeta, SdfBox, SdfParamDef, SdfTemplateCategory,\n  SdfWorkerInput, SdfWorkerMessage,\n} from './sdf/types'\nexport { boxToTuple, parseParamDefs, defaultParamValues } from './sdf/types'\n\n// ── L1 Knurl ──\nexport { applyKnurlDisplacement, KNURL_DEFAULTS } from './mesh/knurl/KnurlGenerator'\nexport type { KnurlBounds } from './mesh/knurl/KnurlGenerator'\nexport { subdivide } from './mesh/knurl/subdivision'\nexport { loadKnurlingTexture, setKnurlTextureLoader } from './mesh/knurl/textureLoader'\nexport type { TextureData } from './mesh/knurl/textureLoader'\nexport { QuantizedPointMap, weldVertices } from './mesh/knurl/meshIndex'\nexport { computeUV, MODE_TRIPLANAR, getCubicBlendWeights, type MappingSettings } from './mesh/knurl/mapping'\nexport { applyDisplacement, type DisplacementSettings } from './mesh/knurl/displacement'\n\n// ── L1 Topology ──\nexport { TOPOLOGY_FACE_ID_NONE, buildFaceIdsForPart } from './topology/build-face-ids'\nexport {\n  buildSelectorRuntime, buildSelectorRuntimeData, buildSelectorRuntimeMaps,\n} from './topology/build-selector-runtime'\nexport type { SelectorRuntimeData } from './topology/build-selector-runtime'\nexport type {\n  SelectorRuntime, SelectorBundle, SelectorManifest, SelectorBuffers,\n  FaceRow, EdgeRow, Reference,\n  BufferViewDescriptor, SelectorProxy,\n} from './topology/types'\n\nexport * from './topology/naming'\n\n// ── L2 编排�?──\n// D1（2026-09-19）：createRuntime 自注册 cad 默认命名空间（引擎 + 标准库定位）。\n// 需要纯引擎（不带 cad）的宿主可直接 import { createRuntime } from './cad-runtime/runtime'。\nexport { CadRuntime, createRuntime, computeContentKey, AppendPrefixError } from './cad-runtime/createRuntimeWithCad'\nexport { createPreviewExec } from './cad-runtime/preview-exec'\nexport type { PreviewExec } from './cad-runtime/preview-exec'\nexport type { ExecutionResult, ExecuteOptions, CheckResult, CheckError, CadRuntimeOptions } from './cad-runtime/runtime'\nexport type {\n  HostPorts, CsgBackend, SdfBackend, FontProvider, TextureSampler,\n  AssetResolver, EventSink, ExecutionMode,\n  MeshData, PlaneParams, SplitResult as CsgSplitResult,\n  DovetailGrooveParams as PortDovetailGrooveParams,\n  DowelSplitParams as PortDowelSplitParams,\n  StraightTenonSplitParams as PortStraightTenonSplitParams,\n  LibLoader, ProjectLoader,\n} from './cad-runtime/ports'\n\n// ── OCCT Kernel ──\nexport {\n  initOcctWasm, getKernel, disposeOcctWasm, setOcctWasmInitFn,\n  computeEffectiveDeflection, importStepToMesh, importBrepToMesh,\n  meshesToStep, releaseShape,\n  importAssemblyFromStep, releaseAssemblyTree, collectLeafParts,\n} from './occt-kernel/occtKernel'\nexport type {\n  WasmTessellatedMesh, WasmImportResult, AssemblyPartNode,\n  MeshDeflectionOptions, ShapeHandle, OcctKernel,\n  Mesh, EdgeData, SurfaceKind, CurveKind,\n} from './occt-kernel/occtKernel'\n\n// ── OCCT Mesh Reconstruct ──\nexport { reconstructSolidFromMesh, meshToAsciiStl, cadShapeIsValid, meshToStepBrep } from './occt-kernel/meshReconstruct'\n\n// ── OCCT 高层导出（多实体、零 fuse） ──\nexport { exportStepFromSolidsHighLevel } from './occt-kernel/highLevelApi'\n\n// ── OCCT Topology Extension ──\nexport { buildSelectorManifest, buildAssemblySelectorManifest, buildTopologyAdjacency } from './occt-kernel/topologyExt'\nexport type { SelectorManifestInput, PartTopologyInput, AssemblyTopologyResult, TopologyAdjacency } from './occt-kernel/topologyExt'\n\n// ── BREP 引擎注册（宿主装配；引擎可切换——occt 只是默认实现） ──\nexport { registerOcctBrepEngine, OCCT_BREP_ENGINE_ID } from './brep/engine/adapters/occt'\nexport { registerBrepMockEngine, BREP_MOCK_ENGINE_ID, createBrepMockApi } from './brep/engine/adapters/brep-mock'\n// brepkit 端侧 BREP 引擎（微信小程序等无 OCCT 环境）：由宿主注入 wasm init 并抢先注册，\n// 使 ensureBrepChain 不回退 OCCT。setBrepkitWasmInitFn 注入自定义初始化（如 WXWebAssembly 实例化）。\nexport { registerBrepkitBrepEngine, BREPKIT_BREP_ENGINE_ID, ensureBrepkitDefaultEngine } from './brep/engine/adapters/brepkit'\nexport { setBrepkitWasmInitFn, initBrepkitWasm, isBrepkitInitialized } from './brepkit-kernel/brepkitWasm'\nexport {\n  registerBrepEngine, getBrepEngine, hasBrepEngine, getActiveBrepEngineId,\n  registerMeshEngine, getMeshEngine, getActiveMeshEngineId, freezeEngineRegistries,\n} from './brep/engine/registry'\nexport type { BrepEngine, BrepEngineProvider, MeshEngine } from './brep/engine/registry'\nexport type { BrepEngineApi } from './brep/engine/primitives'\nexport type {\n  BrepHandle, BrepMeshResult, BrepBoundingBox, BrepVec3, BrepCapabilities,\n  BrepEvolutionData, BrepXcafDocument,\n} from './brep/engine/types'\n\n// ── BREP Topology ──\nexport { buildSolidTopologyRuntime } from './brep/brep-topology'\nexport type { SolidTopologyResult } from './brep/brep-topology'\n\n// ── Font Registry (for browser host injection) ──\nexport { setFontLoader, getFontLoader, loadFont, ensureDefaultFont, getFont, clearFonts } from './brep/text/fontRegistry'\nexport type { FontLoader } from './brep/text/fontRegistry'\n\n// ── L3 Node Host ──\n// node-host 模块已移�?@faicad/faijs/node 入口，避免浏览器环境静�?import\n// node-host 模块（含 Node.js 专用代码�?fs/path）导致生产构�?404�?\n// �?Node.js 环境中：import { createNodePorts } from '@faicad/faijs/node'\n\n// ── L3 Browser Host ──\nexport { createBrowserPorts } from './browser-host'\nexport type { CreateBrowserPortsOptions } from './browser-host'\n// D3-Browser（§9.4）：CDN 通用 libLoader 工厂（a/b 混合）。**不**被 createBrowserPorts\n// 默认装配——demo 的源码 alias HMR 路径必须零网络；CDN 装载由主机显式注入。\nexport { createBrowserLibLoader, DEFAULT_CDN_BASE } from './cad-runtime/browser-lib-loader'\nexport type {\n  BrowserLibLoader, BrowserLibMeta, CreateBrowserLibLoaderOptions,\n} from './cad-runtime/browser-lib-loader'\nexport { BrowserEventSink } from './browser-host/browser-event-sink'\nexport { BrowserFontProvider } from './browser-host/browser-font-provider'\nexport type { BrowserFontProviderOptions } from './browser-host/browser-font-provider'\nexport { FetchAssetResolver } from './browser-host/fetch-asset-resolver'\nexport type { FetchAssetResolverOptions } from './browser-host/fetch-asset-resolver'\n\n// ── L3 API 面（原 packages/stdlib 迁入，P6/D1）──\n// P23 主导出切换（§4.2 / Q1）：`export * from './api'` 现在同时带来\n// ① faijs 特有 dual op（mesh+brep 双路径，D11 双形态归一）；\n// ② 生成脚本面 op（`api/generated/script-face.ts`，compatOp(projectBrepOp(…)) 包装的\n//    brep-only 语句级 op——`cad.*` 脚本面与此同源，B1 三源一致）；\n// ③ brepjs 形态 TS 兼容面（`api/brepjs-compat`，以 `brepjsCompat` 命名空间导出——库作者面，\n//    句柄进出 + Result 语义）及其 Result / 向量 / 平面组合器（顶层平铺）。\n// op 符号不平铺 brepjsCompat 版：`brepjsCompat.fuse`（句柄形态）与顶层 `fuse`（faijs 形态）\n// 是同一 vendored 实现的两个投影，按「一个名字一份实现」红线（§6.3）只保留脚本面那份。\nexport * from './api'\nexport { createApiNamespace } from './api/api-namespace'\n"]}

package/dist/lang/allocate-id.d.ts

@@ -0,0 +1,69 @@
+/**
+ * allocate-id — 变量名自动推导服务（keep-syntax 设计 §4：命名与保留解耦，总是新名）
+ *
+ *
+ * `derivePartName` 是命名服务（宿主契约唯一形态，B2 修正）：输入只含语法事实
+ * （inputCount/outputCount）+ 当前代码文本（内部扫描已用 partN）。
+ * 调用方不传任何函数元数据，也不传 IR 语句（IR 剥离红线）。
+ * allocateSplitIds 被 outputCount 吸收。
+ *
+ * 命名规则（keep-syntax §4.2）：
+ * - R0：无赋值语句 → 无名字
+ * - R4：多入多出且数量相等（Shape[] 批处理）→ 保持禁用（独立决策）
+ * - 唯一规则：一律分配新名（R1/R2 复用名已删——复用名是一条会持续产生 bug 的复杂源）
+ *
+ * 命名不再含版本后缀：模型号 N 在单次脚本内单调递增（partN 新名）。
+ */
+import { type PartName } from '../identity.js';
+/**
+ * Extract the largest model number across statement outputs (PartNames are all
+ * fresh partN names; legacy-name compatibility was removed, decision 2).
+ * @param statements - the statements to scan (only `outputs` is read).
+ * @returns the maximum part model number found, or -1 when no output matches.
+ */
+export declare function getMaxModelNum(statements: Array<{
+    outputs: string[];
+}>): number;
+/**
+ * The syntax-fact inputs to part-name derivation: positional input/output
+ * counts plus the current code text for scanning used partN names.
+ */
+export interface DerivePartNameInput {
+    /** 语法事实：位置输入数 */
+    inputCount: number;
+    /** 语法事实：输出数（含解构键数） */
+    outputCount: number;
+    /** 当前代码文本：内部扫描已用 partN，取下一个模型号（不 parse，允许生成中代码） */
+    code: string;
+    /** 可选：排除区间（如函数体 [start, end)），扫描 partN 时跳过——
+     *  函数体内的 partN 不污染顶层命名（§7.1，FunctionEntry.bodyRange 来源）。 */
+    excludeRanges?: Array<{
+        start: number;
+        end: number;
+    }>;
+}
+/**
+ * The result of part-name derivation: always behavior `'new'` with one fresh
+ * name per output.
+ */
+export interface DerivePartNameResult {
+    /** 恒为 'new'（keep-syntax §4：复用名已删；保留字段供宿主平滑迁移） */
+    behavior: 'new';
+    /** 分配的名字（长度=outputCount） */
+    names: PartName[];
+}
+/**
+ * 变量名自动推导（keep-syntax 设计 §4.2）：命名与「入参是否被保留」的静态知识
+ * 完全解耦——无论 callee 是否保留入参，输出都获得新名。
+ * 输入只含语法事实 + 代码文本，调用方不传任何函数元数据。
+ */
+/**
+ * Derive variable names (keep-syntax design §4.2): naming is fully decoupled
+ * from whether the callee preserves its inputs — outputs always receive fresh
+ * names. The input carries only syntax facts plus code text; the caller must
+ * not pass any function metadata.
+ * @param input - the syntax-fact input: input/output counts and code text.
+ * @returns the derived result with one fresh name per output.
+ */
+export declare function derivePartName(input: DerivePartNameInput): DerivePartNameResult;
+//# sourceMappingURL=allocate-id.d.ts.map

package/dist/lang/allocate-id.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"allocate-id.d.ts","sourceRoot":"","sources":["../../src/lang/allocate-id.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAA;AAMvD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,KAAK,CAAC;IAAE,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,GAAG,MAAM,CAY/E;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,iBAAiB;IACjB,UAAU,EAAE,MAAM,CAAA;IAClB,sBAAsB;IACtB,WAAW,EAAE,MAAM,CAAA;IACnB,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAA;IACZ;gEAC4D;IAC5D,aAAa,CAAC,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CACtD;AAED;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,iDAAiD;IACjD,QAAQ,EAAE,KAAK,CAAA;IACf,4BAA4B;IAC5B,KAAK,EAAE,QAAQ,EAAE,CAAA;CAClB;AAED;;;;GAIG;AACH;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,GAAG,oBAAoB,CAgB/E"}

package/dist/lang/allocate-id.js

@@ -0,0 +1,82 @@
+/**
+ * allocate-id — 变量名自动推导服务（keep-syntax 设计 §4：命名与保留解耦，总是新名）
+ *
+ *
+ * `derivePartName` 是命名服务（宿主契约唯一形态，B2 修正）：输入只含语法事实
+ * （inputCount/outputCount）+ 当前代码文本（内部扫描已用 partN）。
+ * 调用方不传任何函数元数据，也不传 IR 语句（IR 剥离红线）。
+ * allocateSplitIds 被 outputCount 吸收。
+ *
+ * 命名规则（keep-syntax §4.2）：
+ * - R0：无赋值语句 → 无名字
+ * - R4：多入多出且数量相等（Shape[] 批处理）→ 保持禁用（独立决策）
+ * - 唯一规则：一律分配新名（R1/R2 复用名已删——复用名是一条会持续产生 bug 的复杂源）
+ *
+ * 命名不再含版本后缀：模型号 N 在单次脚本内单调递增（partN 新名）。
+ */
+import { asPartName } from '../identity.js';
+const PART_RE = /^part(\d+)$/;
+/** 代码文本中出现的 partN 标识符（词法扫描，不 parse——允许部分/生成中代码） */
+const PART_TOKEN_RE = /\bpart(\d+)\b/g;
+/**
+ * Extract the largest model number across statement outputs (PartNames are all
+ * fresh partN names; legacy-name compatibility was removed, decision 2).
+ * @param statements - the statements to scan (only `outputs` is read).
+ * @returns the maximum part model number found, or -1 when no output matches.
+ */
+export function getMaxModelNum(statements) {
+    let max = -1;
+    for (const stmt of statements) {
+        for (const outId of stmt.outputs) {
+            const m = PART_RE.exec(outId);
+            if (m) {
+                const n = parseInt(m[1], 10);
+                if (n > max)
+                    max = n;
+            }
+        }
+    }
+    return max;
+}
+/**
+ * 变量名自动推导（keep-syntax 设计 §4.2）：命名与「入参是否被保留」的静态知识
+ * 完全解耦——无论 callee 是否保留入参，输出都获得新名。
+ * 输入只含语法事实 + 代码文本，调用方不传任何函数元数据。
+ */
+/**
+ * Derive variable names (keep-syntax design §4.2): naming is fully decoupled
+ * from whether the callee preserves its inputs — outputs always receive fresh
+ * names. The input carries only syntax facts plus code text; the caller must
+ * not pass any function metadata.
+ * @param input - the syntax-fact input: input/output counts and code text.
+ * @returns the derived result with one fresh name per output.
+ */
+export function derivePartName(input) {
+    const { inputCount, outputCount, code, excludeRanges } = input;
+    // R0：无赋值语句 → 无名字
+    if (outputCount === 0)
+        return { behavior: 'new', names: [] };
+    // R4：多入多出且数量相等（Shape[] 批处理）→ 禁用（独立决策，与复用无关）
+    if (inputCount > 1 && outputCount > 1 && inputCount === outputCount) {
+        throw new Error(`[derivePartName] equal multi-input/multi-output counts ` +
+            `(${inputCount}→${outputCount}); Shape[] batch ops are disabled (design decision R4)`);
+    }
+    // 唯一规则：一律分配新名（每输出一个 partN）
+    return { behavior: 'new', names: nextPartNames(code, outputCount, excludeRanges) };
+}
+/** 从代码文本扫描已用 partN，分配下一段新名（getMaxPartNum 不对外提供，B2 决策）。
+ *  @param excludeRanges 可选排除区间：区间内的 partN 不参与计数（函数体 partN 不污染顶层命名，§7.1）。 */
+function nextPartNames(code, count, excludeRanges) {
+    let max = -1;
+    for (const m of code.matchAll(PART_TOKEN_RE)) {
+        const idx = m.index ?? 0;
+        if (excludeRanges?.some((r) => idx >= r.start && idx < r.end))
+            continue;
+        const n = parseInt(m[1], 10);
+        if (n > max)
+            max = n;
+    }
+    const base = max + 1;
+    return Array.from({ length: count }, (_, i) => asPartName(`part${base + i}`));
+}
+//# sourceMappingURL=allocate-id.js.map

package/dist/lang/allocate-id.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"allocate-id.js","sourceRoot":"","sources":["../../src/lang/allocate-id.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAA;AAEvD,MAAM,OAAO,GAAG,aAAa,CAAA;AAC7B,mDAAmD;AACnD,MAAM,aAAa,GAAG,gBAAgB,CAAA;AAEtC;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,UAAwC;IACrE,IAAI,GAAG,GAAG,CAAC,CAAC,CAAA;IACZ,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAC7B,IAAI,CAAC,EAAE,CAAC;gBACN,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;gBAC5B,IAAI,CAAC,GAAG,GAAG;oBAAE,GAAG,GAAG,CAAC,CAAA;YACtB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AA6BD;;;;GAIG;AACH;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,KAA0B;IACvD,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,KAAK,CAAA;IAE9D,iBAAiB;IACjB,IAAI,WAAW,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAA;IAE5D,4CAA4C;IAC5C,IAAI,UAAU,GAAG,CAAC,IAAI,WAAW,GAAG,CAAC,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CACb,yDAAyD;YACzD,IAAI,UAAU,IAAI,WAAW,wDAAwD,CACtF,CAAA;IACH,CAAC;IAED,2BAA2B;IAC3B,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,aAAa,CAAC,EAAE,CAAA;AACpF,CAAC;AAED;4EAC4E;AAC5E,SAAS,aAAa,CAAC,IAAY,EAAE,KAAa,EAAE,aAAqD;IACvG,IAAI,GAAG,GAAG,CAAC,CAAC,CAAA;IACZ,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAA;QACxB,IAAI,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;YAAE,SAAQ;QACvE,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QAC5B,IAAI,CAAC,GAAG,GAAG;YAAE,GAAG,GAAG,CAAC,CAAA;IACtB,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,CAAA;IACpB,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;AAC/E,CAAC","sourcesContent":["/**\n * allocate-id — 变量名自动推导服务（keep-syntax 设计 §4：命名与保留解耦，总是新名）\n *\n *\n * `derivePartName` 是命名服务（宿主契约唯一形态，B2 修正）：输入只含语法事实\n * （inputCount/outputCount）+ 当前代码文本（内部扫描已用 partN）。\n * 调用方不传任何函数元数据，也不传 IR 语句（IR 剥离红线）。\n * allocateSplitIds 被 outputCount 吸收。\n *\n * 命名规则（keep-syntax §4.2）：\n * - R0：无赋值语句 → 无名字\n * - R4：多入多出且数量相等（Shape[] 批处理）→ 保持禁用（独立决策）\n * - 唯一规则：一律分配新名（R1/R2 复用名已删——复用名是一条会持续产生 bug 的复杂源）\n *\n * 命名不再含版本后缀：模型号 N 在单次脚本内单调递增（partN 新名）。\n */\n\nimport { asPartName, type PartName } from '../identity'\n\nconst PART_RE = /^part(\\d+)$/\n/** 代码文本中出现的 partN 标识符（词法扫描，不 parse——允许部分/生成中代码） */\nconst PART_TOKEN_RE = /\\bpart(\\d+)\\b/g\n\n/**\n * Extract the largest model number across statement outputs (PartNames are all\n * fresh partN names; legacy-name compatibility was removed, decision 2).\n * @param statements - the statements to scan (only `outputs` is read).\n * @returns the maximum part model number found, or -1 when no output matches.\n */\nexport function getMaxModelNum(statements: Array<{ outputs: string[] }>): number {\n  let max = -1\n  for (const stmt of statements) {\n    for (const outId of stmt.outputs) {\n      const m = PART_RE.exec(outId)\n      if (m) {\n        const n = parseInt(m[1], 10)\n        if (n > max) max = n\n      }\n    }\n  }\n  return max\n}\n\n/**\n * The syntax-fact inputs to part-name derivation: positional input/output\n * counts plus the current code text for scanning used partN names.\n */\nexport interface DerivePartNameInput {\n  /** 语法事实：位置输入数 */\n  inputCount: number\n  /** 语法事实：输出数（含解构键数） */\n  outputCount: number\n  /** 当前代码文本：内部扫描已用 partN，取下一个模型号（不 parse，允许生成中代码） */\n  code: string\n  /** 可选：排除区间（如函数体 [start, end)），扫描 partN 时跳过——\n   *  函数体内的 partN 不污染顶层命名（§7.1，FunctionEntry.bodyRange 来源）。 */\n  excludeRanges?: Array<{ start: number; end: number }>\n}\n\n/**\n * The result of part-name derivation: always behavior `'new'` with one fresh\n * name per output.\n */\nexport interface DerivePartNameResult {\n  /** 恒为 'new'（keep-syntax §4：复用名已删；保留字段供宿主平滑迁移） */\n  behavior: 'new'\n  /** 分配的名字（长度=outputCount） */\n  names: PartName[]\n}\n\n/**\n * 变量名自动推导（keep-syntax 设计 §4.2）：命名与「入参是否被保留」的静态知识\n * 完全解耦——无论 callee 是否保留入参，输出都获得新名。\n * 输入只含语法事实 + 代码文本，调用方不传任何函数元数据。\n */\n/**\n * Derive variable names (keep-syntax design §4.2): naming is fully decoupled\n * from whether the callee preserves its inputs — outputs always receive fresh\n * names. The input carries only syntax facts plus code text; the caller must\n * not pass any function metadata.\n * @param input - the syntax-fact input: input/output counts and code text.\n * @returns the derived result with one fresh name per output.\n */\nexport function derivePartName(input: DerivePartNameInput): DerivePartNameResult {\n  const { inputCount, outputCount, code, excludeRanges } = input\n\n  // R0：无赋值语句 → 无名字\n  if (outputCount === 0) return { behavior: 'new', names: [] }\n\n  // R4：多入多出且数量相等（Shape[] 批处理）→ 禁用（独立决策，与复用无关）\n  if (inputCount > 1 && outputCount > 1 && inputCount === outputCount) {\n    throw new Error(\n      `[derivePartName] equal multi-input/multi-output counts ` +\n      `(${inputCount}→${outputCount}); Shape[] batch ops are disabled (design decision R4)`,\n    )\n  }\n\n  // 唯一规则：一律分配新名（每输出一个 partN）\n  return { behavior: 'new', names: nextPartNames(code, outputCount, excludeRanges) }\n}\n\n/** 从代码文本扫描已用 partN，分配下一段新名（getMaxPartNum 不对外提供，B2 决策）。\n *  @param excludeRanges 可选排除区间：区间内的 partN 不参与计数（函数体 partN 不污染顶层命名，§7.1）。 */\nfunction nextPartNames(code: string, count: number, excludeRanges?: Array<{ start: number; end: number }>): PartName[] {\n  let max = -1\n  for (const m of code.matchAll(PART_TOKEN_RE)) {\n    const idx = m.index ?? 0\n    if (excludeRanges?.some((r) => idx >= r.start && idx < r.end)) continue\n    const n = parseInt(m[1], 10)\n    if (n > max) max = n\n  }\n  const base = max + 1\n  return Array.from({ length: count }, (_, i) => asPartName(`part${base + i}`))\n}\n"]}

package/dist/lang/code-to-args.d.ts

@@ -0,0 +1,58 @@
+/**
+ * code-to-args — 单语句行 args 提取（编辑回填配套）
+ *
+ * See docs/syntax-design.md §3 (statement model ↔ StatementSummary mapping) and §6.4 (check).
+ *
+ * 宿主编辑回填（FeatureEditor.backfill / editStatement）需要从代码行
+ * 反提参数对象。此能力由 faijs 标配提供（与 parse 语义一致），
+ * 宿主不得用 acorn 自行解析（B3 修正）。
+ *
+ * 无 IR 双通道方案（2026-09-06）后实现换 MetadataExtractor 行级提取：
+ * 单行文本经哨兵参数前置声明（与 MetadataExtractor looseLocalCalls 同构）
+ * 交给 extractMetadata，取末条 op 行摘要的 positional/args。函数名、签名与
+ * 返回契约（CodeToArgsResult）不变；HostArg 引用形态保真（A-5）。
+ *
+ * F1（表达式折叠）：args 含计算表达式（binary/template/conditional/spread）时，
+ * 与 parser 折叠语义一致地**求值后返回字面值**，不抛错。
+ * 单行提取缺失参数真实值 → 前置声明用哨兵字面量 `let <id> = 0`（参数形态），
+ * 使表达式可静态折叠；宿主用 StatementSummary.hasComputedArgs 判定只读降级，
+ * 不得把折叠值写回源码（会丢失原表达式）。
+ */
+import type { HostArg } from './host-arg.js';
+/**
+ * `codeToArgs` 的返回契约：位置实参槽 + 尾随选项对象（HostArg 形态，纯数据无 IR）。
+ */
+export interface CodeToArgsResult {
+    positional: HostArg[];
+    args: Record<string, HostArg>;
+}
+/**
+ * 解析单条语句行，提取其位置实参槽与选项对象（序列化形态，无 IR 变体语义）。
+ *
+ * true-JS-subset §4.6.3 新契约：返回 `{ positional, args }`——
+ * - `positional`: HostArg[]，按调用顺序的位置实参（字面量原样；var-ref/
+ *   param-ref/call-ref/expr-ref 以 `{kind,...}` 标记对象呈现，宿主据此降级为
+ *   只读编辑）；宿主不接触内部类型（纯数据面）。
+ * - `args`: 尾随选项对象（键值 HostArg 形态；无选项对象时为 `{}`）。
+ * 旧契约（只返回对象槽）在位置形态下会静默丢弃非对象实参——本契约显式保留全部信息。
+ *
+ * 支持的行形态（与 parser 接受的语句一致）：
+ * - `const part0 = cad.box(10, 20, 30)`
+ * - `part0 = cad.fai_drill(part0, { diameter: 5 })`（裸重赋值）
+ * - `const { front: a, back: b } = cad.fai_split(part0, { normal: [0,0,1] })`（解构）
+ * - `asm0.add_constraint({ ... })`（成员方法调用）
+ * - 位置实参为字面量/变量引用/表达式（`cad.box(10, 20, 30)`、`cad.hem(p0.solid, {...})`）
+ * - args 中的裸标识符参数引用（`cad.box(10, 20, height)`）
+ * - args 中的计算表达式（`cad.box(10, 20, base + 20)`）→ 折叠为字面值返回
+ *
+ * @param codeLine 单条语句源码行
+ * @param opts.namespaces 该脚本顶层 import 的绑定名（F2：`mech.makeHeadstock(...)`
+ *   中 `mech` 不得被前置声明为变量）。L0 不感知注册表，由宿主从脚本 imports 提供。
+ * @returns the extracted positional slot and trailing options object (both in
+ *  serialized JSON form).
+ * @throws ParseError — 行文本不是合法语句时抛出（含行号）
+ */
+export declare function codeToArgs(codeLine: string, opts?: {
+    namespaces?: string[];
+}): CodeToArgsResult;
+//# sourceMappingURL=code-to-args.d.ts.map

package/dist/lang/code-to-args.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-to-args.d.ts","sourceRoot":"","sources":["../../src/lang/code-to-args.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAqDzC;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,OAAO,EAAE,CAAA;IACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC9B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;IAAE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,gBAAgB,CA0B/F"}