@faicad/faijs 0.13.0

package/dist/lang/host-arg.d.ts

@@ -0,0 +1,154 @@
+/**
+ * host-arg — 宿主友好位置参数类型（IR 屏蔽层）
+ *
+ * 宿主（3d_editor 等）只接触 `HostArg`，不 import 任何 IR 类型。
+ *
+ * IR→Host 方向（`argIRToHost`）：只认 `$` 前缀标记键（`$ref`/`$param`/`$call`/`$expr`），
+ * 不认 `kind`，因此 parser 从 `.fai.js` 源码产生的字面量对象不会被误判。
+ *
+ * Host→IR 方向（`hostArgToIR`）：按 `kind` 字段 + 形状守卫判定。
+ *
+ * **保留字规则（确定性裁决）**：普通对象若 `kind` 字段的值 ∈ `HOST_REF_KINDS`
+ * 且完整匹配对应变体形状，一律按引用处理。即：字面量参数对象中禁止出现
+ * 这 4 个 `kind` 值。此约束写入 JSDoc 与 `docs/api-contract.md`。
+ *
+ * 注意：`HostRef` 在结构上是 `JsonValue` 的子类型，因此 `HostArg` 在 TS 层面
+ * 约等于 `JsonValue`，判别依赖运行时守卫而非类型系统——这是有意为之。
+ */
+import type { JsonValue } from './types.js';
+/** IR marker: variable reference `{$ref: string}` (legacy IR form, still recognized by argIRToHost). */
+interface IRVarRef {
+    $ref: string;
+}
+/** IR marker: parameter reference `{$param: string}`. */
+interface IRParamRef {
+    $param: string;
+}
+/** IR marker: nested call `{$call: { callee, args, namespace? }}`. */
+interface IRCallRef {
+    $call: {
+        callee: string;
+        args: unknown[];
+        namespace?: string;
+    };
+}
+/** IR marker: runtime expression `{$expr: { text, refs, params }}`. */
+interface IRExprRef {
+    $expr: {
+        text: string;
+        refs: string[];
+        params: string[];
+    };
+}
+/** Union of legacy IR marker shapes (used by argIRToHost for backward-compatible conversion). */
+type ArgIR = JsonValue | IRVarRef | IRParamRef | IRCallRef | IRExprRef;
+/** Variable reference: a reference to a declared shape variable (e.g. `part0`). */
+export interface HostVarRef {
+    kind: 'var-ref';
+    name: string;
+}
+/** Parameter reference: a reference to a script parameter (e.g. `hole_diameter`). */
+export interface HostParamRef {
+    kind: 'param-ref';
+    name: string;
+}
+/** Nested call reference: a `cad.<callee>(...)` or `<ns>.<callee>(...)` embedded in args. */
+export interface HostCallRef {
+    kind: 'call-ref';
+    callee: string;
+    args: HostArg[];
+    /** Calling namespace (e.g. `mech.helper(...)` → 'mech'; absent = 'cad'). */
+    namespace?: string;
+}
+/** Runtime expression reference: an expression that could not be statically folded. */
+export interface HostExprRef {
+    kind: 'expr-ref';
+    text: string;
+    refs: string[];
+    params: string[];
+}
+/** Union of all host-visible reference shapes. */
+export type HostRef = HostVarRef | HostParamRef | HostCallRef | HostExprRef;
+/**
+ * A host-friendly argument value: either a JSON literal or a host reference shape.
+ *
+ * **Discrimination relies on runtime guards** (`isHostRef` etc.), not the TS type system —
+ * `HostRef` is structurally a subtype of `JsonValue`. This is intentional.
+ * Literal parameter objects must not use `kind` values from `HOST_REF_KINDS`.
+ */
+export type HostArg = JsonValue | HostRef;
+/** The set of `kind` values that identify host reference shapes (reserved words). */
+export declare const HOST_REF_KINDS: readonly ["var-ref", "param-ref", "call-ref", "expr-ref"];
+/** The `kind` string literal type derived from {@link HOST_REF_KINDS}. */
+export type HostRefKind = (typeof HOST_REF_KINDS)[number];
+/**
+ * Type guard: is the value a `HostVarRef`?
+ *
+ * Checks `kind === 'var-ref'` and `name: string`. This is the Host→IR direction guard.
+ * @param a - the argument value to test.
+ * @returns true when the value is a `HostVarRef`.
+ */
+export declare function isHostVarRef(a: HostArg): a is HostVarRef;
+/**
+ * Type guard: is the value a `HostParamRef`?
+ * @param a - the argument value to test.
+ * @returns true when the value is a `HostParamRef`.
+ */
+export declare function isHostParamRef(a: HostArg): a is HostParamRef;
+/**
+ * Type guard: is the value a `HostCallRef`?
+ * @param a - the argument value to test.
+ * @returns true when the value is a `HostCallRef`.
+ */
+export declare function isHostCallRef(a: HostArg): a is HostCallRef;
+/**
+ * Type guard: is the value a `HostExprRef`?
+ * @param a - the argument value to test.
+ * @returns true when the value is a `HostExprRef`.
+ */
+export declare function isHostExprRef(a: HostArg): a is HostExprRef;
+/**
+ * Type guard: is the value any host reference shape?
+ * @param a - the argument value to test.
+ * @returns true when the value is one of `HostVarRef`/`HostParamRef`/`HostCallRef`/`HostExprRef`.
+ */
+export declare function isHostRef(a: HostArg): a is HostRef;
+/**
+ * Convert a legacy IR marker argument (`$`-prefixed) to a `HostArg` (host-friendly).
+ *
+ * Recursively transforms arrays and plain objects. Recognizes `$`-prefixed
+ * marker keys only — `kind` fields are not checked in this direction.
+ * @param arg - the IR argument to convert.
+ * @returns the host-friendly argument.
+ */
+export declare function argIRToHost(arg: unknown): HostArg;
+/**
+ * Convert a `HostArg` (host-friendly) back to a legacy IR marker (`$`-prefixed).
+ *
+ * Uses `kind`-based guards to identify reference shapes. Literal objects
+ * that don't match any reference kind are recursively transformed as plain data.
+ * @param arg - the host-friendly argument.
+ * @returns the IR marker argument.
+ */
+export declare function hostArgToIR(arg: HostArg): ArgIR;
+/**
+ * Render a `HostArg` to a human-readable display string (for timeline labels, read-only fields).
+ *
+ * - Primitives → `String(arg)`
+ * - Arrays → `[a, b, …]` (recursive)
+ * - var-ref/param-ref → `name`
+ * - call-ref → `callee(a, b, …)` (recursive)
+ * - expr-ref → `text`
+ * - Plain objects → `JSON.stringify`
+ * @param arg - the host argument to display.
+ * @returns a human-readable string representation.
+ */
+export declare function hostArgToDisplay(arg: HostArg): string;
+/**
+ * Extract the literal value from a `HostArg`, returning `null` for reference shapes.
+ * @param arg - the host argument.
+ * @returns the literal value if `arg` is not a reference, otherwise `null`.
+ */
+export declare function hostArgToLiteral(arg: HostArg): JsonValue | null;
+export {};
+//# sourceMappingURL=host-arg.d.ts.map

package/dist/lang/host-arg.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"host-arg.d.ts","sourceRoot":"","sources":["../../src/lang/host-arg.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAIxC,wGAAwG;AACxG,UAAU,QAAQ;IAAG,IAAI,EAAE,MAAM,CAAA;CAAE;AACnC,yDAAyD;AACzD,UAAU,UAAU;IAAG,MAAM,EAAE,MAAM,CAAA;CAAE;AACvC,sEAAsE;AACtE,UAAU,SAAS;IAAG,KAAK,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,EAAE,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE;AACtF,uEAAuE;AACvE,UAAU,SAAS;IAAG,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAA;CAAE;AAEjF,iGAAiG;AACjG,KAAK,KAAK,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,CAAA;AAiBtE,mFAAmF;AACnF,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;CACb;AAED,qFAAqF;AACrF,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,6FAA6F;AAC7F,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,UAAU,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,OAAO,EAAE,CAAA;IACf,4EAA4E;IAC5E,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAED,uFAAuF;AACvF,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,UAAU,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,MAAM,EAAE,MAAM,EAAE,CAAA;CACjB;AAED,kDAAkD;AAClD,MAAM,MAAM,OAAO,GAAG,UAAU,GAAG,YAAY,GAAG,WAAW,GAAG,WAAW,CAAA;AAE3E;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,GAAG,SAAS,GAAG,OAAO,CAAA;AAEzC,qFAAqF;AACrF,eAAO,MAAM,cAAc,2DAA4D,CAAA;AACvF,0EAA0E;AAC1E,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAA;AA6BzD;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,UAAU,CAExD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,YAAY,CAE5D;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,WAAW,CAO1D;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,WAAW,CAQ1D;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,OAAO,CAElD;AAID;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAuBjD;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,OAAO,GAAG,KAAK,CAwB/C;AAID;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAUrD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,SAAS,GAAG,IAAI,CAG/D"}

package/dist/lang/host-arg.js

@@ -0,0 +1,216 @@
+/**
+ * host-arg — 宿主友好位置参数类型（IR 屏蔽层）
+ *
+ * 宿主（3d_editor 等）只接触 `HostArg`，不 import 任何 IR 类型。
+ *
+ * IR→Host 方向（`argIRToHost`）：只认 `$` 前缀标记键（`$ref`/`$param`/`$call`/`$expr`），
+ * 不认 `kind`，因此 parser 从 `.fai.js` 源码产生的字面量对象不会被误判。
+ *
+ * Host→IR 方向（`hostArgToIR`）：按 `kind` 字段 + 形状守卫判定。
+ *
+ * **保留字规则（确定性裁决）**：普通对象若 `kind` 字段的值 ∈ `HOST_REF_KINDS`
+ * 且完整匹配对应变体形状，一律按引用处理。即：字面量参数对象中禁止出现
+ * 这 4 个 `kind` 值。此约束写入 JSDoc 与 `docs/api-contract.md`。
+ *
+ * 注意：`HostRef` 在结构上是 `JsonValue` 的子类型，因此 `HostArg` 在 TS 层面
+ * 约等于 `JsonValue`，判别依赖运行时守卫而非类型系统——这是有意为之。
+ */
+function isIRVarRef(arg) {
+    return arg !== null && typeof arg === 'object' && !Array.isArray(arg) && '$ref' in arg;
+}
+function isIRParamRef(arg) {
+    return arg !== null && typeof arg === 'object' && !Array.isArray(arg) && '$param' in arg;
+}
+function isIRCallRef(arg) {
+    return arg !== null && typeof arg === 'object' && !Array.isArray(arg) && '$call' in arg;
+}
+function isIRExprRef(arg) {
+    return arg !== null && typeof arg === 'object' && !Array.isArray(arg) && '$expr' in arg;
+}
+/** The set of `kind` values that identify host reference shapes (reserved words). */
+export const HOST_REF_KINDS = ['var-ref', 'param-ref', 'call-ref', 'expr-ref'];
+// ── 辅助：普通对象检测 ──
+/**
+ * Check whether a value is a non-null, non-array plain object.
+ * @param a - the value to test.
+ * @returns true when the value is a plain object (not null, not array).
+ */
+function isPlainObject(a) {
+    return a !== null && typeof a === 'object' && !Array.isArray(a);
+}
+/**
+ * Map all values of a plain object through a transform function (shallow key copy).
+ * @param obj - the plain object to map.
+ * @param fn - the transform function applied to each value.
+ * @returns a new object with the same keys and transformed values.
+ */
+function mapValues(obj, fn) {
+    const out = {};
+    for (const [k, v] of Object.entries(obj)) {
+        out[k] = fn(v);
+    }
+    return out;
+}
+// ── 守卫 ──
+/**
+ * Type guard: is the value a `HostVarRef`?
+ *
+ * Checks `kind === 'var-ref'` and `name: string`. This is the Host→IR direction guard.
+ * @param a - the argument value to test.
+ * @returns true when the value is a `HostVarRef`.
+ */
+export function isHostVarRef(a) {
+    return isPlainObject(a) && a.kind === 'var-ref' && typeof a.name === 'string';
+}
+/**
+ * Type guard: is the value a `HostParamRef`?
+ * @param a - the argument value to test.
+ * @returns true when the value is a `HostParamRef`.
+ */
+export function isHostParamRef(a) {
+    return isPlainObject(a) && a.kind === 'param-ref' && typeof a.name === 'string';
+}
+/**
+ * Type guard: is the value a `HostCallRef`?
+ * @param a - the argument value to test.
+ * @returns true when the value is a `HostCallRef`.
+ */
+export function isHostCallRef(a) {
+    return (isPlainObject(a) &&
+        a.kind === 'call-ref' &&
+        typeof a.callee === 'string' &&
+        Array.isArray(a.args));
+}
+/**
+ * Type guard: is the value a `HostExprRef`?
+ * @param a - the argument value to test.
+ * @returns true when the value is a `HostExprRef`.
+ */
+export function isHostExprRef(a) {
+    return (isPlainObject(a) &&
+        a.kind === 'expr-ref' &&
+        typeof a.text === 'string' &&
+        Array.isArray(a.refs) &&
+        Array.isArray(a.params));
+}
+/**
+ * Type guard: is the value any host reference shape?
+ * @param a - the argument value to test.
+ * @returns true when the value is one of `HostVarRef`/`HostParamRef`/`HostCallRef`/`HostExprRef`.
+ */
+export function isHostRef(a) {
+    return isHostVarRef(a) || isHostParamRef(a) || isHostCallRef(a) || isHostExprRef(a);
+}
+// ── 递归双向转换（core 内部，不导出） ──
+/**
+ * Convert a legacy IR marker argument (`$`-prefixed) to a `HostArg` (host-friendly).
+ *
+ * Recursively transforms arrays and plain objects. Recognizes `$`-prefixed
+ * marker keys only — `kind` fields are not checked in this direction.
+ * @param arg - the IR argument to convert.
+ * @returns the host-friendly argument.
+ */
+export function argIRToHost(arg) {
+    if (isIRVarRef(arg))
+        return { kind: 'var-ref', name: arg.$ref };
+    if (isIRParamRef(arg))
+        return { kind: 'param-ref', name: arg.$param };
+    if (isIRCallRef(arg)) {
+        const { callee, args, namespace } = arg.$call;
+        return {
+            kind: 'call-ref',
+            callee,
+            args: args.map(argIRToHost),
+            ...(namespace !== undefined ? { namespace } : {}),
+        };
+    }
+    if (isIRExprRef(arg)) {
+        return {
+            kind: 'expr-ref',
+            text: arg.$expr.text,
+            refs: [...arg.$expr.refs],
+            params: [...arg.$expr.params],
+        };
+    }
+    if (Array.isArray(arg))
+        return arg.map(argIRToHost);
+    if (isPlainObject(arg))
+        return mapValues(arg, argIRToHost);
+    return arg;
+}
+/**
+ * Convert a `HostArg` (host-friendly) back to a legacy IR marker (`$`-prefixed).
+ *
+ * Uses `kind`-based guards to identify reference shapes. Literal objects
+ * that don't match any reference kind are recursively transformed as plain data.
+ * @param arg - the host-friendly argument.
+ * @returns the IR marker argument.
+ */
+export function hostArgToIR(arg) {
+    if (isHostVarRef(arg))
+        return { $ref: arg.name };
+    if (isHostParamRef(arg))
+        return { $param: arg.name };
+    if (isHostCallRef(arg)) {
+        return {
+            $call: {
+                callee: arg.callee,
+                args: arg.args.map(hostArgToIR),
+                ...(arg.namespace !== undefined ? { namespace: arg.namespace } : {}),
+            },
+        };
+    }
+    if (isHostExprRef(arg)) {
+        return {
+            $expr: {
+                text: arg.text,
+                refs: [...arg.refs],
+                params: [...arg.params],
+            },
+        };
+    }
+    if (Array.isArray(arg))
+        return arg.map(hostArgToIR);
+    if (isPlainObject(arg))
+        return mapValues(arg, hostArgToIR);
+    return arg;
+}
+// ── 导出辅助函数 ──
+/**
+ * Render a `HostArg` to a human-readable display string (for timeline labels, read-only fields).
+ *
+ * - Primitives → `String(arg)`
+ * - Arrays → `[a, b, …]` (recursive)
+ * - var-ref/param-ref → `name`
+ * - call-ref → `callee(a, b, …)` (recursive)
+ * - expr-ref → `text`
+ * - Plain objects → `JSON.stringify`
+ * @param arg - the host argument to display.
+ * @returns a human-readable string representation.
+ */
+export function hostArgToDisplay(arg) {
+    if (isHostVarRef(arg) || isHostParamRef(arg))
+        return arg.name;
+    if (isHostCallRef(arg)) {
+        const inner = arg.args.map(hostArgToDisplay).join(', ');
+        return `${arg.callee}(${inner})`;
+    }
+    if (isHostExprRef(arg))
+        return arg.text;
+    if (Array.isArray(arg))
+        return `[${arg.map(hostArgToDisplay).join(', ')}]`;
+    if (isPlainObject(arg))
+        return JSON.stringify(arg);
+    return String(arg);
+}
+/**
+ * Extract the literal value from a `HostArg`, returning `null` for reference shapes.
+ * @param arg - the host argument.
+ * @returns the literal value if `arg` is not a reference, otherwise `null`.
+ */
+export function hostArgToLiteral(arg) {
+    if (isHostRef(arg))
+        return null;
+    return arg;
+}
+//# sourceMappingURL=host-arg.js.map

package/dist/lang/host-arg.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host-arg.js","sourceRoot":"","sources":["../../src/lang/host-arg.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAkBH,SAAS,UAAU,CAAC,GAAY;IAC9B,OAAO,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,MAAM,IAAI,GAAG,CAAA;AACxF,CAAC;AACD,SAAS,YAAY,CAAC,GAAY;IAChC,OAAO,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,QAAQ,IAAI,GAAG,CAAA;AAC1F,CAAC;AACD,SAAS,WAAW,CAAC,GAAY;IAC/B,OAAO,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,IAAI,GAAG,CAAA;AACzF,CAAC;AACD,SAAS,WAAW,CAAC,GAAY;IAC/B,OAAO,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,IAAI,GAAG,CAAA;AACzF,CAAC;AA6CD,qFAAqF;AACrF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,CAAU,CAAA;AAIvF,kBAAkB;AAElB;;;;GAIG;AACH,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AACjE,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAO,GAAsB,EAAE,EAAe;IAC9D,MAAM,GAAG,GAAsB,EAAE,CAAA;IACjC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAA;IAChB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,WAAW;AAEX;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,CAAU;IACrC,OAAO,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAA;AAC/E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,CAAU;IACvC,OAAO,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAA;AACjF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,CAAU;IACtC,OAAO,CACL,aAAa,CAAC,CAAC,CAAC;QAChB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ;QAC5B,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CACtB,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,CAAU;IACtC,OAAO,CACL,aAAa,CAAC,CAAC,CAAC;QAChB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ;QAC1B,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;QACrB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CACxB,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,CAAU;IAClC,OAAO,YAAY,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,CAAA;AACrF,CAAC;AAED,4BAA4B;AAE5B;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,GAAY;IACtC,IAAI,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAA;IAC/D,IAAI,YAAY,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,CAAA;IACrE,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,KAAK,CAAA;QAC7C,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,MAAM;YACN,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW,CAAc;YACxC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClD,CAAA;IACH,CAAC;IACD,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI;YACpB,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YACzB,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,GAAG,CAAC,WAAW,CAAuB,CAAA;IACzE,IAAI,aAAa,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC,GAAG,EAAE,WAAW,CAAuB,CAAA;IAChF,OAAO,GAAc,CAAA;AACvB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,GAAY;IACtC,IAAI,YAAY,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAA;IAChD,IAAI,cAAc,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAA;IACpD,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,KAAK,EAAE;gBACL,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAc;gBAC5C,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACrE;SACF,CAAA;IACH,CAAC;IACD,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC;gBACnB,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;aACxB;SACF,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,GAAG,CAAC,WAAW,CAAqB,CAAA;IACvE,IAAI,aAAa,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC,GAA8B,EAAE,WAAW,CAAqB,CAAA;IACzG,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,eAAe;AAEf;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAY;IAC3C,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,IAAI,CAAA;IAC7D,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvD,OAAO,GAAG,GAAG,CAAC,MAAM,IAAI,KAAK,GAAG,CAAA;IAClC,CAAC;IACD,IAAI,aAAa,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,IAAI,CAAA;IACvC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;IAC1E,IAAI,aAAa,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;IAClD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAA;AACpB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAY;IAC3C,IAAI,SAAS,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IAC/B,OAAO,GAAG,CAAA;AACZ,CAAC","sourcesContent":["/**\n * host-arg — 宿主友好位置参数类型（IR 屏蔽层）\n *\n * 宿主（3d_editor 等）只接触 `HostArg`，不 import 任何 IR 类型。\n *\n * IR→Host 方向（`argIRToHost`）：只认 `$` 前缀标记键（`$ref`/`$param`/`$call`/`$expr`），\n * 不认 `kind`，因此 parser 从 `.fai.js` 源码产生的字面量对象不会被误判。\n *\n * Host→IR 方向（`hostArgToIR`）：按 `kind` 字段 + 形状守卫判定。\n *\n * **保留字规则（确定性裁决）**：普通对象若 `kind` 字段的值 ∈ `HOST_REF_KINDS`\n * 且完整匹配对应变体形状，一律按引用处理。即：字面量参数对象中禁止出现\n * 这 4 个 `kind` 值。此约束写入 JSDoc 与 `docs/api-contract.md`。\n *\n * 注意：`HostRef` 在结构上是 `JsonValue` 的子类型，因此 `HostArg` 在 TS 层面\n * 约等于 `JsonValue`，判别依赖运行时守卫而非类型系统——这是有意为之。\n */\n\nimport type { JsonValue } from './types'\n\n// ── 内联 IR 守卫（原 types.ts 的 IR 类型已删除，守卫逻辑内联于此） ──\n\n/** IR marker: variable reference `{$ref: string}` (legacy IR form, still recognized by argIRToHost). */\ninterface IRVarRef { $ref: string }\n/** IR marker: parameter reference `{$param: string}`. */\ninterface IRParamRef { $param: string }\n/** IR marker: nested call `{$call: { callee, args, namespace? }}`. */\ninterface IRCallRef { $call: { callee: string; args: unknown[]; namespace?: string } }\n/** IR marker: runtime expression `{$expr: { text, refs, params }}`. */\ninterface IRExprRef { $expr: { text: string; refs: string[]; params: string[] } }\n\n/** Union of legacy IR marker shapes (used by argIRToHost for backward-compatible conversion). */\ntype ArgIR = JsonValue | IRVarRef | IRParamRef | IRCallRef | IRExprRef\n\nfunction isIRVarRef(arg: unknown): arg is IRVarRef {\n  return arg !== null && typeof arg === 'object' && !Array.isArray(arg) && '$ref' in arg\n}\nfunction isIRParamRef(arg: unknown): arg is IRParamRef {\n  return arg !== null && typeof arg === 'object' && !Array.isArray(arg) && '$param' in arg\n}\nfunction isIRCallRef(arg: unknown): arg is IRCallRef {\n  return arg !== null && typeof arg === 'object' && !Array.isArray(arg) && '$call' in arg\n}\nfunction isIRExprRef(arg: unknown): arg is IRExprRef {\n  return arg !== null && typeof arg === 'object' && !Array.isArray(arg) && '$expr' in arg\n}\n\n// ── 宿主友好位置参数类型 ──\n\n/** Variable reference: a reference to a declared shape variable (e.g. `part0`). */\nexport interface HostVarRef {\n  kind: 'var-ref'\n  name: string\n}\n\n/** Parameter reference: a reference to a script parameter (e.g. `hole_diameter`). */\nexport interface HostParamRef {\n  kind: 'param-ref'\n  name: string\n}\n\n/** Nested call reference: a `cad.<callee>(...)` or `<ns>.<callee>(...)` embedded in args. */\nexport interface HostCallRef {\n  kind: 'call-ref'\n  callee: string\n  args: HostArg[]\n  /** Calling namespace (e.g. `mech.helper(...)` → 'mech'; absent = 'cad'). */\n  namespace?: string\n}\n\n/** Runtime expression reference: an expression that could not be statically folded. */\nexport interface HostExprRef {\n  kind: 'expr-ref'\n  text: string\n  refs: string[]\n  params: string[]\n}\n\n/** Union of all host-visible reference shapes. */\nexport type HostRef = HostVarRef | HostParamRef | HostCallRef | HostExprRef\n\n/**\n * A host-friendly argument value: either a JSON literal or a host reference shape.\n *\n * **Discrimination relies on runtime guards** (`isHostRef` etc.), not the TS type system —\n * `HostRef` is structurally a subtype of `JsonValue`. This is intentional.\n * Literal parameter objects must not use `kind` values from `HOST_REF_KINDS`.\n */\nexport type HostArg = JsonValue | HostRef\n\n/** The set of `kind` values that identify host reference shapes (reserved words). */\nexport const HOST_REF_KINDS = ['var-ref', 'param-ref', 'call-ref', 'expr-ref'] as const\n/** The `kind` string literal type derived from {@link HOST_REF_KINDS}. */\nexport type HostRefKind = (typeof HOST_REF_KINDS)[number]\n\n// ── 辅助：普通对象检测 ──\n\n/**\n * Check whether a value is a non-null, non-array plain object.\n * @param a - the value to test.\n * @returns true when the value is a plain object (not null, not array).\n */\nfunction isPlainObject(a: unknown): a is Record<string, unknown> {\n  return a !== null && typeof a === 'object' && !Array.isArray(a)\n}\n\n/**\n * Map all values of a plain object through a transform function (shallow key copy).\n * @param obj - the plain object to map.\n * @param fn - the transform function applied to each value.\n * @returns a new object with the same keys and transformed values.\n */\nfunction mapValues<T, U>(obj: Record<string, T>, fn: (v: T) => U): Record<string, U> {\n  const out: Record<string, U> = {}\n  for (const [k, v] of Object.entries(obj)) {\n    out[k] = fn(v)\n  }\n  return out\n}\n\n// ── 守卫 ──\n\n/**\n * Type guard: is the value a `HostVarRef`?\n *\n * Checks `kind === 'var-ref'` and `name: string`. This is the Host→IR direction guard.\n * @param a - the argument value to test.\n * @returns true when the value is a `HostVarRef`.\n */\nexport function isHostVarRef(a: HostArg): a is HostVarRef {\n  return isPlainObject(a) && a.kind === 'var-ref' && typeof a.name === 'string'\n}\n\n/**\n * Type guard: is the value a `HostParamRef`?\n * @param a - the argument value to test.\n * @returns true when the value is a `HostParamRef`.\n */\nexport function isHostParamRef(a: HostArg): a is HostParamRef {\n  return isPlainObject(a) && a.kind === 'param-ref' && typeof a.name === 'string'\n}\n\n/**\n * Type guard: is the value a `HostCallRef`?\n * @param a - the argument value to test.\n * @returns true when the value is a `HostCallRef`.\n */\nexport function isHostCallRef(a: HostArg): a is HostCallRef {\n  return (\n    isPlainObject(a) &&\n    a.kind === 'call-ref' &&\n    typeof a.callee === 'string' &&\n    Array.isArray(a.args)\n  )\n}\n\n/**\n * Type guard: is the value a `HostExprRef`?\n * @param a - the argument value to test.\n * @returns true when the value is a `HostExprRef`.\n */\nexport function isHostExprRef(a: HostArg): a is HostExprRef {\n  return (\n    isPlainObject(a) &&\n    a.kind === 'expr-ref' &&\n    typeof a.text === 'string' &&\n    Array.isArray(a.refs) &&\n    Array.isArray(a.params)\n  )\n}\n\n/**\n * Type guard: is the value any host reference shape?\n * @param a - the argument value to test.\n * @returns true when the value is one of `HostVarRef`/`HostParamRef`/`HostCallRef`/`HostExprRef`.\n */\nexport function isHostRef(a: HostArg): a is HostRef {\n  return isHostVarRef(a) || isHostParamRef(a) || isHostCallRef(a) || isHostExprRef(a)\n}\n\n// ── 递归双向转换（core 内部，不导出） ──\n\n/**\n * Convert a legacy IR marker argument (`$`-prefixed) to a `HostArg` (host-friendly).\n *\n * Recursively transforms arrays and plain objects. Recognizes `$`-prefixed\n * marker keys only — `kind` fields are not checked in this direction.\n * @param arg - the IR argument to convert.\n * @returns the host-friendly argument.\n */\nexport function argIRToHost(arg: unknown): HostArg {\n  if (isIRVarRef(arg)) return { kind: 'var-ref', name: arg.$ref }\n  if (isIRParamRef(arg)) return { kind: 'param-ref', name: arg.$param }\n  if (isIRCallRef(arg)) {\n    const { callee, args, namespace } = arg.$call\n    return {\n      kind: 'call-ref',\n      callee,\n      args: args.map(argIRToHost) as HostArg[],\n      ...(namespace !== undefined ? { namespace } : {}),\n    }\n  }\n  if (isIRExprRef(arg)) {\n    return {\n      kind: 'expr-ref',\n      text: arg.$expr.text,\n      refs: [...arg.$expr.refs],\n      params: [...arg.$expr.params],\n    }\n  }\n  if (Array.isArray(arg)) return arg.map(argIRToHost) as unknown as HostArg\n  if (isPlainObject(arg)) return mapValues(arg, argIRToHost) as unknown as HostArg\n  return arg as HostArg\n}\n\n/**\n * Convert a `HostArg` (host-friendly) back to a legacy IR marker (`$`-prefixed).\n *\n * Uses `kind`-based guards to identify reference shapes. Literal objects\n * that don't match any reference kind are recursively transformed as plain data.\n * @param arg - the host-friendly argument.\n * @returns the IR marker argument.\n */\nexport function hostArgToIR(arg: HostArg): ArgIR {\n  if (isHostVarRef(arg)) return { $ref: arg.name }\n  if (isHostParamRef(arg)) return { $param: arg.name }\n  if (isHostCallRef(arg)) {\n    return {\n      $call: {\n        callee: arg.callee,\n        args: arg.args.map(hostArgToIR) as unknown[],\n        ...(arg.namespace !== undefined ? { namespace: arg.namespace } : {}),\n      },\n    }\n  }\n  if (isHostExprRef(arg)) {\n    return {\n      $expr: {\n        text: arg.text,\n        refs: [...arg.refs],\n        params: [...arg.params],\n      },\n    }\n  }\n  if (Array.isArray(arg)) return arg.map(hostArgToIR) as unknown as ArgIR\n  if (isPlainObject(arg)) return mapValues(arg as Record<string, HostArg>, hostArgToIR) as unknown as ArgIR\n  return arg\n}\n\n// ── 导出辅助函数 ──\n\n/**\n * Render a `HostArg` to a human-readable display string (for timeline labels, read-only fields).\n *\n * - Primitives → `String(arg)`\n * - Arrays → `[a, b, …]` (recursive)\n * - var-ref/param-ref → `name`\n * - call-ref → `callee(a, b, …)` (recursive)\n * - expr-ref → `text`\n * - Plain objects → `JSON.stringify`\n * @param arg - the host argument to display.\n * @returns a human-readable string representation.\n */\nexport function hostArgToDisplay(arg: HostArg): string {\n  if (isHostVarRef(arg) || isHostParamRef(arg)) return arg.name\n  if (isHostCallRef(arg)) {\n    const inner = arg.args.map(hostArgToDisplay).join(', ')\n    return `${arg.callee}(${inner})`\n  }\n  if (isHostExprRef(arg)) return arg.text\n  if (Array.isArray(arg)) return `[${arg.map(hostArgToDisplay).join(', ')}]`\n  if (isPlainObject(arg)) return JSON.stringify(arg)\n  return String(arg)\n}\n\n/**\n * Extract the literal value from a `HostArg`, returning `null` for reference shapes.\n * @param arg - the host argument.\n * @returns the literal value if `arg` is not a reference, otherwise `null`.\n */\nexport function hostArgToLiteral(arg: HostArg): JsonValue | null {\n  if (isHostRef(arg)) return null\n  return arg\n}\n"]}

package/dist/lang/keep.d.ts

@@ -0,0 +1,109 @@
+/**
+ * keep — 统一内外 keep 机制的语义集中点（L0 零依赖）
+ *
+ *
+ * keep 机制的两面：
+ * - 调用点声明：`cad.op(input, { keep: [a, b], keepHidden: true })`（UI / AI / 用户）
+ * - 函数体声明：`exec.keep(...shapes)` / `exec.keepHidden(...shapes)`（库作者）
+ *
+ * 优先级：调用点 > 函数体（resolveKeep 先铺函数体声明，再用调用点覆盖写入）。
+ *
+ * 本文件是 keep 语义的唯一集中点：parseUserKeep / withoutKeepDirectives /
+ * resolveKeep / validateKeepDirectives。消费方：compile（发射剥离）、
+ * module-executor（statementKey）、terminal-dag（消费判定）、runtime.check（校验）。
+ *
+ * L0 边界：仅依赖 ./types 与 ../identity，零运行时依赖。
+ */
+import type { ArgIR, StatementIR } from './types.js';
+import { type PartName } from '../identity.js';
+/** 函数体 `exec.keep` / `exec.keepHidden` 的运行时登记记录（ModuleExecutor 持有）。 */
+export interface InternalKeepRecord {
+    /** 被声明保留的变量名集合 */
+    kept: Set<PartName>;
+    /** kept 变量的 hidden 状态（未列出的 kept 变量 = 可见） */
+    hidden: Map<PartName, boolean>;
+}
+/** keep 合并结果（terminal-dag 消费判定 + hidden 计算）。 */
+export interface KeepResolution {
+    kept: Set<PartName>;
+    /** 仅对 kept 中的变量有条目；未列出者 = 可见 */
+    hidden: Map<PartName, boolean>;
+}
+/** 调用点 keep 指令解析结果。 */
+export interface UserKeep {
+    targets: PartName[];
+    /** 逐条目 hidden（{shape, hidden:true} 形态） */
+    hidden: Map<PartName, boolean>;
+    /** 语句级 hidden 默认（keepHidden: true），默认 false */
+    statementDefault: boolean;
+}
+/**
+ * 剥离调用点 keep 指令（`keep` / `keepHidden` 两键）。
+ *
+ * 编译发射与 statementKey 必须剥离（设计 §7.1/§7.2）：keep 透传给库函数会
+ * 挤占 params 槽 / 被当 Shape 传入（union/split 的 `...rest`）。
+ */
+/**
+ * Strip the call-site keep directives (`keep` / `keepHidden` keys). Both
+ * compile emission and statement-key computation must strip them (design
+ * §7.1/§7.2): passing keep through would crowd the params slot or be treated as
+ * a Shape argument (union/split `...rest`).
+ * @param args - the statement's args object, or undefined.
+ * @returns the args with the keep and keepHidden keys removed.
+ */
+export declare function withoutKeepDirectives(args: Record<string, ArgIR> | undefined): Record<string, ArgIR>;
+/**
+ * 剥离位置实参槽中的 keep 指令（true-JS-subset 方案 §4.1）：keep/keepHidden 键
+ * 存在于尾随纯对象位置实参（选项槽）中，发射/序列化前从该对象剥离。
+ * 与 withoutKeepDirectives 同语义，只是载体从 args 记录变为 positional 尾随对象。
+ * @param positional - the statement's positional argument slot.
+ * @returns a copy of the positional slot with keep/keepHidden removed from the trailing plain object.
+ */
+export declare function withoutKeepDirectivesFromPositional(positional: ArgIR[]): ArgIR[];
+/**
+ * 解析调用点 keep / keepHidden 指令（IR 形态 → 目标与 hidden）。
+ *
+ * 两种条目形态等价（设计 §2.3）：标识符 `keep:[a,b]`（parser 产出 VarRefIR）
+ * 与字符串字面量 `keep:['a']`（parser 产出 string）。
+ * hidden 三态：仅 `{shape, hidden}` 显式条目写入；普通条目不写
+ * （hidden 由语句级 keepHidden 兜底，设计 §2.4 `?? statementDefault`）。
+ */
+/**
+ * Parse the call-site keep / keepHidden directives (IR shape into targets and
+ * hidden states). Identifier and string-literal entry forms are equivalent;
+ * hidden is three-valued, with only explicit `{shape, hidden}` entries written.
+ * @param stmt - the statement whose args hold the keep directives.
+ * @returns the parsed user keep targets and hidden defaults.
+ */
+export declare function parseUserKeep(stmt: StatementIR): UserKeep;
+/**
+ * 合并函数体声明与调用点声明。
+ *
+ * 优先级体现为两步顺序：先铺函数体声明（internal），再用调用点声明覆盖写入。
+ * 调用点条目的 hidden = 逐条目 hidden ?? statementDefault（D1：默认可见）。
+ */
+/**
+ * Merge function-body declarations with call-site declarations. Precedence is a
+ * two-step order: function-body declarations (internal) are laid down first,
+ * then call-site declarations overwrite them.
+ * @param stmt - the statement whose call-site keep directives to merge.
+ * @param internal - the function-body keep registration, if any.
+ * @returns the merged keep resolution with kept variables and hidden states.
+ */
+export declare function resolveKeep(stmt: StatementIR, internal?: InternalKeepRecord): KeepResolution;
+/**
+ * 校验语句的 keep / keepHidden 指令（纯静态，不依赖第三方签名）。
+ * 返回错误消息列表（空 = 合法）：
+ * - `keep` 必须是数组；条目必须是变量引用（字符串或标识符）或 `{shape, hidden}` 对象
+ * - 引用目标必须是本语句 inputs 之一，或出现在 args 中（VarRefIR）
+ * - `keepHidden` 必须是 boolean
+ */
+/**
+ * Validate a statement's keep / keepHidden directives (purely static, does not
+ * depend on third-party signatures). Returns a list of error messages, empty
+ * when the directives are legal.
+ * @param stmt - the statement whose keep directives to validate.
+ * @returns an array of error messages, empty when valid.
+ */
+export declare function validateKeepDirectives(stmt: StatementIR): string[];
+//# sourceMappingURL=keep.d.ts.map

package/dist/lang/keep.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"keep.d.ts","sourceRoot":"","sources":["../../src/lang/keep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAa,WAAW,EAAoB,MAAM,SAAS,CAAA;AAE9E,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAA;AAIvD,uEAAuE;AACvE,MAAM,WAAW,kBAAkB;IACjC,kBAAkB;IAClB,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IACnB,4CAA4C;IAC5C,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;CAC/B;AAED,gDAAgD;AAChD,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IACnB,gCAAgC;IAChC,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;CAC/B;AAED,uBAAuB;AACvB,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,QAAQ,EAAE,CAAA;IACnB,0CAA0C;IAC1C,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IAC9B,+CAA+C;IAC/C,gBAAgB,EAAE,OAAO,CAAA;CAC1B;AAID;;;;;GAKG;AACH;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,SAAS,GACtC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAIvB;AAeD;;;;;;GAMG;AACH,wBAAgB,mCAAmC,CAAC,UAAU,EAAE,KAAK,EAAE,GAAG,KAAK,EAAE,CAQhF;AA4BD;;;;;;;GAOG;AACH;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,WAAW,GAAG,QAAQ,CAoBzD;AAID;;;;;GAKG;AACH;;;;;;;GAOG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,WAAW,EACjB,QAAQ,CAAC,EAAE,kBAAkB,GAC5B,cAAc,CAWhB;AAID;;;;;;GAMG;AACH;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,EAAE,CA2DlE"}