@faicad/faijs 0.13.0

package/dist/lang/keep.js

@@ -0,0 +1,226 @@
+/**
+ * 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 { isVarRef, isCallRef, isExprRef, statementInputs } from './types.js';
+import { asPartName } from '../identity.js';
+// ── 剥离 ──
+/**
+ * 剥离调用点 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 function withoutKeepDirectives(args) {
+    if (!args)
+        return {};
+    const { keep: _keep, keepHidden: _keepHidden, ...rest } = args;
+    return rest;
+}
+/** 判定 ArgIR 是否为"纯对象"位置实参（非 IR 变体、非数组的普通对象）。 */
+function isPlainObjectArg(arg) {
+    return (arg !== null &&
+        typeof arg === 'object' &&
+        !Array.isArray(arg) &&
+        !isVarRef(arg) &&
+        !isCallRef(arg) &&
+        !isExprRef(arg) &&
+        !('$param' in arg));
+}
+/**
+ * 剥离位置实参槽中的 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 function withoutKeepDirectivesFromPositional(positional) {
+    const last = positional[positional.length - 1];
+    if (!isPlainObjectArg(last))
+        return positional;
+    const obj = last;
+    const stripped = Object.fromEntries(Object.entries(obj).filter(([k]) => k !== 'keep' && k !== 'keepHidden'));
+    return [...positional.slice(0, -1), stripped];
+}
+// ── 解析 ──
+/**
+ * 解析单条 keep 条目 → { target, hidden }；形态非法返回 undefined（validate 负责报错）。
+ * hidden 为三态：undefined = 未指定（交由语句级 keepHidden 默认）；true/false = 显式指定。
+ */
+function parseKeepEntry(entry) {
+    if (typeof entry === 'string') {
+        return { target: asPartName(entry) };
+    }
+    if (isVarRef(entry)) {
+        return { target: asPartName(entry.$ref) };
+    }
+    if (entry !== null && typeof entry === 'object' && !Array.isArray(entry)) {
+        const obj = entry;
+        const shape = obj.shape;
+        if (typeof shape === 'string') {
+            return { target: asPartName(shape), hidden: obj.hidden === true };
+        }
+        if (shape !== null && typeof shape === 'object' && isVarRef(shape)) {
+            return { target: asPartName(shape.$ref), hidden: obj.hidden === true };
+        }
+    }
+    return undefined;
+}
+/**
+ * 解析调用点 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 function parseUserKeep(stmt) {
+    const targets = [];
+    const hidden = new Map();
+    let statementDefault = false;
+    const args = stmt.args ?? {};
+    const keepArg = args.keep;
+    if (Array.isArray(keepArg)) {
+        for (const entry of keepArg) {
+            const parsed = parseKeepEntry(entry);
+            if (!parsed)
+                continue;
+            targets.push(parsed.target);
+            if (parsed.hidden !== undefined)
+                hidden.set(parsed.target, parsed.hidden);
+        }
+    }
+    const keepHiddenArg = args.keepHidden;
+    if (typeof keepHiddenArg === 'boolean')
+        statementDefault = keepHiddenArg;
+    return { targets, hidden, statementDefault };
+}
+// ── 合并（设计契约 §2.4） ──
+/**
+ * 合并函数体声明与调用点声明。
+ *
+ * 优先级体现为两步顺序：先铺函数体声明（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 function resolveKeep(stmt, internal) {
+    const kept = new Set(internal?.kept ?? []);
+    const hidden = new Map(internal?.hidden ?? []);
+    const user = parseUserKeep(stmt);
+    for (const v of user.targets) {
+        kept.add(v);
+        hidden.set(v, user.hidden.get(v) ?? user.statementDefault);
+    }
+    return { kept, hidden };
+}
+// ── 静态校验（设计 §7.4，check 用，纯静态、第三方同样适用） ──
+/**
+ * 校验语句的 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 function validateKeepDirectives(stmt) {
+    const errors = [];
+    const args = stmt.args ?? {};
+    if ('keep' in args) {
+        const keepArg = args.keep;
+        if (!Array.isArray(keepArg)) {
+            errors.push(`statement "${stmt.id}": keep must be an array of variable references`);
+        }
+        else {
+            // 合法引用目标：positional 中的 VarRefIR/ExprIR refs + args（除 keep/keepHidden 两键）中的引用
+            const referable = new Set(statementInputs(stmt).map(String));
+            const scan = (value) => {
+                if (value === null || typeof value !== 'object')
+                    return;
+                if (isVarRef(value)) {
+                    referable.add(String(value.$ref));
+                    return;
+                }
+                if (isExprRef(value)) {
+                    // ExprIR refs（引用变量）也是合法 keep 目标；params 是参数（自身是输入）无需加入
+                    for (const r of value.$expr.refs)
+                        referable.add(String(r));
+                    return;
+                }
+                if (isCallRef(value)) {
+                    for (const a of value.$call.args)
+                        scan(a);
+                    return;
+                }
+                if (Array.isArray(value)) {
+                    for (const item of value)
+                        scan(item);
+                    return;
+                }
+                for (const v of Object.values(value))
+                    scan(v);
+            };
+            for (const parg of stmt.positional)
+                scan(parg);
+            for (const [k, v] of Object.entries(args)) {
+                if (k === 'keep' || k === 'keepHidden')
+                    continue;
+                scan(v);
+            }
+            for (const entry of keepArg) {
+                const parsed = parseKeepEntry(entry);
+                if (!parsed) {
+                    errors.push(`statement "${stmt.id}": keep entries must be variable references or {shape, hidden} objects`);
+                    continue;
+                }
+                if (!referable.has(String(parsed.target))) {
+                    errors.push(`statement "${stmt.id}": keep target "${String(parsed.target)}" is not an input or argument variable of this statement`);
+                }
+            }
+        }
+    }
+    if ('keepHidden' in args && typeof args.keepHidden !== 'boolean') {
+        errors.push(`statement "${stmt.id}": keepHidden must be a boolean`);
+    }
+    return errors;
+}
+//# sourceMappingURL=keep.js.map

package/dist/lang/keep.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keep.js","sourceRoot":"","sources":["../../src/lang/keep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,SAAS,CAAA;AACzE,OAAO,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAA;AA4BvD,WAAW;AAEX;;;;;GAKG;AACH;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAuC;IAEvC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAA;IACpB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAA;IAC9D,OAAO,IAAI,CAAA;AACb,CAAC;AAED,+CAA+C;AAC/C,SAAS,gBAAgB,CAAC,GAAU;IAClC,OAAO,CACL,GAAG,KAAK,IAAI;QACZ,OAAO,GAAG,KAAK,QAAQ;QACvB,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QACnB,CAAC,QAAQ,CAAC,GAAG,CAAC;QACd,CAAC,SAAS,CAAC,GAAG,CAAC;QACf,CAAC,SAAS,CAAC,GAAG,CAAC;QACf,CAAC,CAAC,QAAQ,IAAK,GAAc,CAAC,CAC/B,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mCAAmC,CAAC,UAAmB;IACrE,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC9C,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,UAAU,CAAA;IAC9C,MAAM,GAAG,GAAG,IAAwC,CAAA;IACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CACjC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,YAAY,CAAC,CACxE,CAAA;IACD,OAAO,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAA4B,CAAC,CAAA;AACnE,CAAC;AAED,WAAW;AAEX;;;GAGG;AACH,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAA;IACtC,CAAC;IACD,IAAI,QAAQ,CAAC,KAAc,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,MAAM,EAAE,UAAU,CAAE,KAAkB,CAAC,IAAI,CAAC,EAAE,CAAA;IACzD,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzE,MAAM,GAAG,GAAG,KAAgC,CAAA;QAC5C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAA;QACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,KAAK,IAAI,EAAE,CAAA;QACnE,CAAC;QACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAc,CAAC,EAAE,CAAC;YAC5E,OAAO,EAAE,MAAM,EAAE,UAAU,CAAE,KAAkB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,KAAK,IAAI,EAAE,CAAA;QACtF,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;GAOG;AACH;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,IAAiB;IAC7C,MAAM,OAAO,GAAe,EAAE,CAAA;IAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAA;IAC3C,IAAI,gBAAgB,GAAG,KAAK,CAAA;IAE5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAA;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAA;IACzB,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;YACpC,IAAI,CAAC,MAAM;gBAAE,SAAQ;YACrB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YAC3B,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;gBAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAA;IACrC,IAAI,OAAO,aAAa,KAAK,SAAS;QAAE,gBAAgB,GAAG,aAAa,CAAA;IAExE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAA;AAC9C,CAAC;AAED,sBAAsB;AAEtB;;;;;GAKG;AACH;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CACzB,IAAiB,EACjB,QAA6B;IAE7B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,CAAA;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE,CAAC,CAAA;IAE9C,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;IAChC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACX,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAC5D,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;AACzB,CAAC;AAED,0CAA0C;AAE1C;;;;;;GAMG;AACH;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAiB;IACtD,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAA;IAE5B,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAA;QACzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,EAAE,iDAAiD,CAAC,CAAA;QACrF,CAAC;aAAM,CAAC;YACN,6EAA6E;YAC7E,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;YACpE,MAAM,IAAI,GAAG,CAAC,KAAc,EAAQ,EAAE;gBACpC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;oBAAE,OAAM;gBACvD,IAAI,QAAQ,CAAC,KAAc,CAAC,EAAE,CAAC;oBAC7B,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,KAAkB,CAAC,IAAI,CAAC,CAAC,CAAA;oBAC/C,OAAM;gBACR,CAAC;gBACD,IAAI,SAAS,CAAC,KAAc,CAAC,EAAE,CAAC;oBAC9B,sDAAsD;oBACtD,KAAK,MAAM,CAAC,IAAK,KAAgB,CAAC,KAAK,CAAC,IAAI;wBAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;oBACtE,OAAM;gBACR,CAAC;gBACD,IAAI,SAAS,CAAC,KAAkB,CAAC,EAAE,CAAC;oBAClC,KAAK,MAAM,CAAC,IAAK,KAAmB,CAAC,KAAK,CAAC,IAAI;wBAAE,IAAI,CAAC,CAAC,CAAC,CAAA;oBACxD,OAAM;gBACR,CAAC;gBACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBACzB,KAAK,MAAM,IAAI,IAAI,KAAK;wBAAE,IAAI,CAAC,IAAI,CAAC,CAAA;oBACpC,OAAM;gBACR,CAAC;gBACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAA;YAC1E,CAAC,CAAA;YACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAA;YAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,YAAY;oBAAE,SAAQ;gBAChD,IAAI,CAAC,CAAC,CAAC,CAAA;YACT,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;gBACpC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,MAAM,CAAC,IAAI,CACT,cAAc,IAAI,CAAC,EAAE,wEAAwE,CAC9F,CAAA;oBACD,SAAQ;gBACV,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;oBAC1C,MAAM,CAAC,IAAI,CACT,cAAc,IAAI,CAAC,EAAE,mBAAmB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,0DAA0D,CACxH,CAAA;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,YAAY,IAAI,IAAI,IAAI,OAAO,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACjE,MAAM,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,EAAE,iCAAiC,CAAC,CAAA;IACrE,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC","sourcesContent":["/**\n * keep — 统一内外 keep 机制的语义集中点（L0 零依赖）\n *\n *\n * keep 机制的两面：\n * - 调用点声明：`cad.op(input, { keep: [a, b], keepHidden: true })`（UI / AI / 用户）\n * - 函数体声明：`exec.keep(...shapes)` / `exec.keepHidden(...shapes)`（库作者）\n *\n * 优先级：调用点 > 函数体（resolveKeep 先铺函数体声明，再用调用点覆盖写入）。\n *\n * 本文件是 keep 语义的唯一集中点：parseUserKeep / withoutKeepDirectives /\n * resolveKeep / validateKeepDirectives。消费方：compile（发射剥离）、\n * module-executor（statementKey）、terminal-dag（消费判定）、runtime.check（校验）。\n *\n * L0 边界：仅依赖 ./types 与 ../identity，零运行时依赖。\n */\n\nimport type { ArgIR, CallRefIR, StatementIR, VarRefIR, ExprIR } from './types'\nimport { isVarRef, isCallRef, isExprRef, statementInputs } from './types'\nimport { asPartName, type PartName } from '../identity'\n\n// ── 数据结构（设计契约 §6） ──\n\n/** 函数体 `exec.keep` / `exec.keepHidden` 的运行时登记记录（ModuleExecutor 持有）。 */\nexport interface InternalKeepRecord {\n  /** 被声明保留的变量名集合 */\n  kept: Set<PartName>\n  /** kept 变量的 hidden 状态（未列出的 kept 变量 = 可见） */\n  hidden: Map<PartName, boolean>\n}\n\n/** keep 合并结果（terminal-dag 消费判定 + hidden 计算）。 */\nexport interface KeepResolution {\n  kept: Set<PartName>\n  /** 仅对 kept 中的变量有条目；未列出者 = 可见 */\n  hidden: Map<PartName, boolean>\n}\n\n/** 调用点 keep 指令解析结果。 */\nexport interface UserKeep {\n  targets: PartName[]\n  /** 逐条目 hidden（{shape, hidden:true} 形态） */\n  hidden: Map<PartName, boolean>\n  /** 语句级 hidden 默认（keepHidden: true），默认 false */\n  statementDefault: boolean\n}\n\n// ── 剥离 ──\n\n/**\n * 剥离调用点 keep 指令（`keep` / `keepHidden` 两键）。\n *\n * 编译发射与 statementKey 必须剥离（设计 §7.1/§7.2）：keep 透传给库函数会\n * 挤占 params 槽 / 被当 Shape 传入（union/split 的 `...rest`）。\n */\n/**\n * Strip the call-site keep directives (`keep` / `keepHidden` keys). Both\n * compile emission and statement-key computation must strip them (design\n * §7.1/§7.2): passing keep through would crowd the params slot or be treated as\n * a Shape argument (union/split `...rest`).\n * @param args - the statement's args object, or undefined.\n * @returns the args with the keep and keepHidden keys removed.\n */\nexport function withoutKeepDirectives(\n  args: Record<string, ArgIR> | undefined,\n): Record<string, ArgIR> {\n  if (!args) return {}\n  const { keep: _keep, keepHidden: _keepHidden, ...rest } = args\n  return rest\n}\n\n/** 判定 ArgIR 是否为\"纯对象\"位置实参（非 IR 变体、非数组的普通对象）。 */\nfunction isPlainObjectArg(arg: ArgIR): boolean {\n  return (\n    arg !== null &&\n    typeof arg === 'object' &&\n    !Array.isArray(arg) &&\n    !isVarRef(arg) &&\n    !isCallRef(arg) &&\n    !isExprRef(arg) &&\n    !('$param' in (arg as object))\n  )\n}\n\n/**\n * 剥离位置实参槽中的 keep 指令（true-JS-subset 方案 §4.1）：keep/keepHidden 键\n * 存在于尾随纯对象位置实参（选项槽）中，发射/序列化前从该对象剥离。\n * 与 withoutKeepDirectives 同语义，只是载体从 args 记录变为 positional 尾随对象。\n * @param positional - the statement's positional argument slot.\n * @returns a copy of the positional slot with keep/keepHidden removed from the trailing plain object.\n */\nexport function withoutKeepDirectivesFromPositional(positional: ArgIR[]): ArgIR[] {\n  const last = positional[positional.length - 1]\n  if (!isPlainObjectArg(last)) return positional\n  const obj = last as unknown as Record<string, ArgIR>\n  const stripped = Object.fromEntries(\n    Object.entries(obj).filter(([k]) => k !== 'keep' && k !== 'keepHidden'),\n  )\n  return [...positional.slice(0, -1), stripped as unknown as ArgIR]\n}\n\n// ── 解析 ──\n\n/**\n * 解析单条 keep 条目 → { target, hidden }；形态非法返回 undefined（validate 负责报错）。\n * hidden 为三态：undefined = 未指定（交由语句级 keepHidden 默认）；true/false = 显式指定。\n */\nfunction parseKeepEntry(entry: unknown): { target: PartName; hidden?: boolean } | undefined {\n  if (typeof entry === 'string') {\n    return { target: asPartName(entry) }\n  }\n  if (isVarRef(entry as ArgIR)) {\n    return { target: asPartName((entry as VarRefIR).$ref) }\n  }\n  if (entry !== null && typeof entry === 'object' && !Array.isArray(entry)) {\n    const obj = entry as Record<string, unknown>\n    const shape = obj.shape\n    if (typeof shape === 'string') {\n      return { target: asPartName(shape), hidden: obj.hidden === true }\n    }\n    if (shape !== null && typeof shape === 'object' && isVarRef(shape as ArgIR)) {\n      return { target: asPartName((shape as VarRefIR).$ref), hidden: obj.hidden === true }\n    }\n  }\n  return undefined\n}\n\n/**\n * 解析调用点 keep / keepHidden 指令（IR 形态 → 目标与 hidden）。\n *\n * 两种条目形态等价（设计 §2.3）：标识符 `keep:[a,b]`（parser 产出 VarRefIR）\n * 与字符串字面量 `keep:['a']`（parser 产出 string）。\n * hidden 三态：仅 `{shape, hidden}` 显式条目写入；普通条目不写\n * （hidden 由语句级 keepHidden 兜底，设计 §2.4 `?? statementDefault`）。\n */\n/**\n * Parse the call-site keep / keepHidden directives (IR shape into targets and\n * hidden states). Identifier and string-literal entry forms are equivalent;\n * hidden is three-valued, with only explicit `{shape, hidden}` entries written.\n * @param stmt - the statement whose args hold the keep directives.\n * @returns the parsed user keep targets and hidden defaults.\n */\nexport function parseUserKeep(stmt: StatementIR): UserKeep {\n  const targets: PartName[] = []\n  const hidden = new Map<PartName, boolean>()\n  let statementDefault = false\n\n  const args = stmt.args ?? {}\n  const keepArg = args.keep\n  if (Array.isArray(keepArg)) {\n    for (const entry of keepArg) {\n      const parsed = parseKeepEntry(entry)\n      if (!parsed) continue\n      targets.push(parsed.target)\n      if (parsed.hidden !== undefined) hidden.set(parsed.target, parsed.hidden)\n    }\n  }\n\n  const keepHiddenArg = args.keepHidden\n  if (typeof keepHiddenArg === 'boolean') statementDefault = keepHiddenArg\n\n  return { targets, hidden, statementDefault }\n}\n\n// ── 合并（设计契约 §2.4） ──\n\n/**\n * 合并函数体声明与调用点声明。\n *\n * 优先级体现为两步顺序：先铺函数体声明（internal），再用调用点声明覆盖写入。\n * 调用点条目的 hidden = 逐条目 hidden ?? statementDefault（D1：默认可见）。\n */\n/**\n * Merge function-body declarations with call-site declarations. Precedence is a\n * two-step order: function-body declarations (internal) are laid down first,\n * then call-site declarations overwrite them.\n * @param stmt - the statement whose call-site keep directives to merge.\n * @param internal - the function-body keep registration, if any.\n * @returns the merged keep resolution with kept variables and hidden states.\n */\nexport function resolveKeep(\n  stmt: StatementIR,\n  internal?: InternalKeepRecord,\n): KeepResolution {\n  const kept = new Set(internal?.kept ?? [])\n  const hidden = new Map(internal?.hidden ?? [])\n\n  const user = parseUserKeep(stmt)\n  for (const v of user.targets) {\n    kept.add(v)\n    hidden.set(v, user.hidden.get(v) ?? user.statementDefault)\n  }\n\n  return { kept, hidden }\n}\n\n// ── 静态校验（设计 §7.4，check 用，纯静态、第三方同样适用） ──\n\n/**\n * 校验语句的 keep / keepHidden 指令（纯静态，不依赖第三方签名）。\n * 返回错误消息列表（空 = 合法）：\n * - `keep` 必须是数组；条目必须是变量引用（字符串或标识符）或 `{shape, hidden}` 对象\n * - 引用目标必须是本语句 inputs 之一，或出现在 args 中（VarRefIR）\n * - `keepHidden` 必须是 boolean\n */\n/**\n * Validate a statement's keep / keepHidden directives (purely static, does not\n * depend on third-party signatures). Returns a list of error messages, empty\n * when the directives are legal.\n * @param stmt - the statement whose keep directives to validate.\n * @returns an array of error messages, empty when valid.\n */\nexport function validateKeepDirectives(stmt: StatementIR): string[] {\n  const errors: string[] = []\n  const args = stmt.args ?? {}\n\n  if ('keep' in args) {\n    const keepArg = args.keep\n    if (!Array.isArray(keepArg)) {\n      errors.push(`statement \"${stmt.id}\": keep must be an array of variable references`)\n    } else {\n      // 合法引用目标：positional 中的 VarRefIR/ExprIR refs + args（除 keep/keepHidden 两键）中的引用\n      const referable = new Set<string>(statementInputs(stmt).map(String))\n      const scan = (value: unknown): void => {\n        if (value === null || typeof value !== 'object') return\n        if (isVarRef(value as ArgIR)) {\n          referable.add(String((value as VarRefIR).$ref))\n          return\n        }\n        if (isExprRef(value as ArgIR)) {\n          // ExprIR refs（引用变量）也是合法 keep 目标；params 是参数（自身是输入）无需加入\n          for (const r of (value as ExprIR).$expr.refs) referable.add(String(r))\n          return\n        }\n        if (isCallRef(value as CallRefIR)) {\n          for (const a of (value as CallRefIR).$call.args) scan(a)\n          return\n        }\n        if (Array.isArray(value)) {\n          for (const item of value) scan(item)\n          return\n        }\n        for (const v of Object.values(value as Record<string, unknown>)) scan(v)\n      }\n      for (const parg of stmt.positional) scan(parg)\n      for (const [k, v] of Object.entries(args)) {\n        if (k === 'keep' || k === 'keepHidden') continue\n        scan(v)\n      }\n      for (const entry of keepArg) {\n        const parsed = parseKeepEntry(entry)\n        if (!parsed) {\n          errors.push(\n            `statement \"${stmt.id}\": keep entries must be variable references or {shape, hidden} objects`,\n          )\n          continue\n        }\n        if (!referable.has(String(parsed.target))) {\n          errors.push(\n            `statement \"${stmt.id}\": keep target \"${String(parsed.target)}\" is not an input or argument variable of this statement`,\n          )\n        }\n      }\n    }\n  }\n\n  if ('keepHidden' in args && typeof args.keepHidden !== 'boolean') {\n    errors.push(`statement \"${stmt.id}\": keepHidden must be a boolean`)\n  }\n\n  return errors\n}\n"]}

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

@@ -0,0 +1,203 @@
+/**
+ * metadata-extractor — 无 IR 元数据提取器（UI 通道语义源）
+ *
+ * 方案：docs/plans/2026-09-06-no-ir-dual-channel-runtime.md §4.1（D3）
+ *
+ * 定位：从 .fai.js 源码（任意合法 JS）提取 **UI 通道需要的全部元数据**。
+ * 输入 = 源码文本；输出 = UiMetadata。不生成可执行代码、不求值、不参与执行、
+ * 不建执行中介 IR（已删除，只产宿主面类型）。
+ *
+ * lines 面 = StatementSummary[]（与现状 analyzeCode 产出逐字相等，A-16 对拍
+ * 锁定；唯一语义差异：id = `'s' + lineNo`，append 场景稳定）。行分类：
+ * op 行 → lines；param 行 → params；import 行 → imports；function 行 →
+ * functions；循环/条件/switch 块 → blocks（只读节点，不分析内部语义，R8）。
+ *
+ * 本文件不 import parser.ts/compile.ts（P6 删除 IR 后唯一存活解析侧）。
+ */
+import type { StatementSummary } from './statement-summary.js';
+import type { ScriptMetaIR, TerminalShape } from './types.js';
+import { type StmtId } from '../identity.js';
+import { type SecurityPolicy } from './security-scanner.js';
+/** 参数表条目（参数面板：const X = <字面量> → 名字/值/是否计算表达式） */
+export interface ParamEntry {
+    name: string;
+    lineNo: number;
+    /** RHS 是纯字面量时为其值；表达式/引用（computed=true）时 value 缺省 */
+    value?: unknown;
+    type: 'number' | 'vec3' | 'bool' | 'enum';
+    /** RHS 是表达式/参数引用 → 面板只读 */
+    computed: boolean;
+}
+/**
+ * 单个参数槽的源码来源信息（UI 通道新增，非 IR）。
+ *
+ * Timeline 参数表达式编辑方案（docs/plans/2026-09-08-timeline-param-expression-editing.md）：
+ * 每个参数槽携带自己的源码区间，编辑 = 精确替换该区间（`editArgSource`），
+ * 不重印整行。path 对宿主是不透明标识符——宿主只能从本记录读取后原样回传。
+ */
+export interface ArgSource {
+    /** 所属语句 id（'s' + lineNo）；参数行的 rhs 槽同样使用 's' + lineNo */
+    stmtId: StmtId;
+    /** 槽位路径（见 plans 文档 §4.2.1 的路径命名表；对宿主不透明） */
+    path: string;
+    /** 该槽的源码原文（字面量 → `40`；表达式 → `w * 2`；引用 → `w`） */
+    text: string;
+    /** 字符区间 [start, end)，相对 extractMetadata 的入参 code（含 codeOffset 归一化） */
+    start: number;
+    end: number;
+    /** 依赖的参数名（命中 paramNames；表达式里的参数引用） */
+    params: string[];
+    /** 依赖的其它变量名（命中 declared，含 op 产出 / 派生常量） */
+    refs: string[];
+    /** 非平凡表达式（非字面量，负字面量视为字面量）→ UI 显示 fx 徽标 */
+    isExpression: boolean;
+}
+/** import 表条目（相对 specifier → moduleKey，裸 specifier → libLoader） */
+export interface ImportEntry {
+    lineNo: number;
+    specifier: string;
+    kind: 'named' | 'namespace' | 'default';
+    bindings: string[];
+    localName?: string;
+    packageName?: string;
+    moduleKey?: string;
+}
+/** 函数表条目（本机函数） */
+export interface FunctionEntry {
+    name: string;
+    lineNo: number;
+    params: string[];
+    /** 函数体原文区间（只读显示用；坐标相对原始 code 文本） */
+    bodyRange: {
+        start: number;
+        end: number;
+    };
+    /** 函数体原文（花括号内） */
+    body: string;
+    bodyHash: string;
+}
+/** 块结构条目（只读节点，R8） */
+export interface BlockEntry {
+    lineNo: number;
+    kind: 'loop' | 'condition' | 'switch' | 'other';
+    astKind: string;
+    /** 块源码原文（含闭合括号的整段） */
+    source: string;
+    range: {
+        start: number;
+        end: number;
+    };
+}
+/** keep 指令条目（行级，存活判定静态输入；hidden=true 为 keepHidden） */
+export interface KeepEntry {
+    target: string;
+    hidden: boolean;
+}
+/** 元数据提取器输出：UI 通道的完整元数据面（§4.1）。 */
+export interface UiMetadata {
+    lines: StatementSummary[];
+    params: ParamEntry[];
+    imports: ImportEntry[];
+    functions: FunctionEntry[];
+    blocks: BlockEntry[];
+    keep: Map<number, KeepEntry[]>;
+    meta?: ScriptMetaIR;
+    terminalShapes?: TerminalShape[];
+    /**
+     * 全语句参数槽的源码来源（按语句顺序；参数行的 RHS 槽 path 以 'rhs' 开头）。
+     * 新增字段：P0-B（见 plans/2026-09-08-timeline-param-expression-editing.md）。
+     */
+    argSources: ArgSource[];
+    /**
+     * 本脚本内可被表达式引用的名字（词法序去重）：
+     * paramNames ∪ declared ∪ nsBindings ∪ localFnParams。
+     * `validateExpression` / `editArgSource` 用它做 E_REFERENCE 判定。
+     */
+    names: string[];
+}
+type ASTNode = any;
+/**
+ * 提取器符号表：声明过的名字与绑定关系（参数、变量、命名空间、函数形参、keep 指令），
+ * 供解析过程中判定标识符归属并做常量折叠。
+ */
+export interface SymbolTable {
+    /** 参数名（const X = <literal>） */
+    paramNames: Set<string>;
+    /** 参数名 → 字面量值（折叠依据） */
+    paramValues: Map<string, unknown>;
+    /** 已声明变量名（参数 + op outputs + 函数名；含宽松透传名） */
+    declared: Set<string>;
+    /** 命名空间绑定名 → packageName（import * as ns） */
+    nsBindings: Map<string, string>;
+    /** 本机函数名 → 形参 */
+    localFnParams: Map<string, string[]>;
+    /** 缺省命名空间绑定名（'cad'） */
+    defaultNsName: string;
+    /** keep 指令表（lineNo → 调用点条目；行级存活判定静态输入） */
+    keep: Map<number, KeepEntry[]>;
+}
+/**
+ * <Ns>.fn(...) 等「白名单表达式」结构判定（无可选链、无 spread、成员非计算）。
+ * @param node 待判定的表达式 AST 节点；nil 或非法输入按非白名单处理。
+ * @returns 节点自身及其全部子表达式均在白名单结构内 → true，否则 false。
+ */
+export declare function isExprWhitelist(node: ASTNode): boolean;
+/**
+ * 递归收集表达式引用：参数 → params；已声明变量 → refs；未知 → E_REFERENCE。
+ *
+ * opts（可选扩展；缺省时行为与历史完全一致）：
+ * - `lenient: true`：未知标识符不抛错（静默跳过）——ArgSource 记录路径用，
+ *   保证提取本身绝不抛新错；
+ * - `defaultNs`：把默认命名空间（'cad'）视同 nsBindings 成员——`cad.faceNormal(p)`
+ *   作为参数槽整条记录时，不会把 'cad' 当作未知标识符。
+ *
+ * 本函数与 isExprWhitelist 是「唯一实现」——expr-validate.ts / source-edit.ts
+ * 直接 import 复用，不复制（见 plans/2026-09-08-timeline-param-expression-editing.md §3.4.1）。
+ *
+ * @param node 表达式的 AST 根节点；nil 或非对象直接返回。
+ * @param symbols 提取器符号表（判定 Identifier 是参数/已声明/未知）。
+ * @param line 当前语句行号（未知标识符报错时的行号）。
+ * @param params 收集命中参数名的输出集合。
+ * @param refs 收集命中已声明变量的输出集合。
+ * @param opts 可选扩展；`lenient` 静默跳过未知标识符，`defaultNs` 把默认命名空间视同绑定成员。
+ */
+export declare function collectExprIdentifiers(node: ASTNode, symbols: SymbolTable, line: number, params: Set<string>, refs: Set<string>, opts?: {
+    lenient?: boolean;
+    defaultNs?: string;
+}): void;
+/** extractMetadata 的选项（全部可选；影响宽松引用与缺省命名空间解析）。 */
+export interface ExtractMetadataOptions {
+    /** 缺省命名空间绑定名（默认 'cad'；registerLib default 绑定改名时传入） */
+    defaultNs?: string;
+    /** 宽松变量（append：未知引用按外部变量透传，由调用方对 ctx 校验） */
+    looseVars?: boolean;
+    /** 宽松本机函数调用（codeToArgs 单行提取：裸 callee 不在函数集也放行） */
+    looseLocalCalls?: boolean;
+    /** 顶层 import 绑定名（单行提取时宿主从脚本 imports 提供） */
+    namespaces?: string[];
+    /** 安全策略档位（缺省 'strict'；A1 接入点：extractMetadata 第一行过 Scanner） */
+    security?: SecurityPolicy;
+    /** S7 命名空间保护名（缺省 = namespaces；append 场景可指定更小集合仅命名空间名） */
+    nsNames?: string[];
+}
+/**
+ * 从源码文本提取 UI 通道元数据（UiMetadata）。
+ *
+ * 兼容面：analyzeCode/codeToArgs 实现建立在本函数之上（statement-summary.ts /
+ * code-to-args.ts），lines 面与 MetadataExtractor 投影逐字相等（A-16 对拍，
+ * id 兼容 's'+lineNo 规则：其余字段逐字相等）。不参与执行、不生成可执行代码。
+ *
+ * 行号语义与 MetadataExtractor 完全一致：
+ * - 容器代码（含 export default）→ 取容器箭头函数体，行号 = 原文行号；
+ * - 扁平代码 → 按 MetadataExtractor 同款封装（import 段提升到 export default 之外，
+ *   `export default async (ns) => {\n...` 包裹），行号扣封装偏移后 = analyzeCode
+ *   报告的 line。
+ *
+ * @param code - the .fai.js source text.
+ * @param options - optional extraction options.
+ * @returns the full UI metadata surface.
+ * @throws ParseError — 含行号（analyzeCode 抛错契约不变）。
+ */
+export declare function extractMetadata(code: string, options?: ExtractMetadataOptions): UiMetadata;
+export {};
+//# sourceMappingURL=metadata-extractor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"metadata-extractor.d.ts","sourceRoot":"","sources":["../../src/lang/metadata-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAC1D,OAAO,EAAuC,KAAK,MAAM,EAAE,MAAM,aAAa,CAAA;AAK9E,OAAO,EAAgB,KAAK,cAAc,EAAE,MAAM,oBAAoB,CAAA;AAItE,iDAAiD;AACjD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,oDAAoD;IACpD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;IACzC,2BAA2B;IAC3B,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,wDAAwD;IACxD,MAAM,EAAE,MAAM,CAAA;IACd,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAA;IACZ,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAA;IACZ,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;IACX,sCAAsC;IACtC,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,2CAA2C;IAC3C,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,0CAA0C;IAC1C,YAAY,EAAE,OAAO,CAAA;CACtB;AAED,mEAAmE;AACnE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,SAAS,CAAA;IACvC,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAED,kBAAkB;AAClB,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,oCAAoC;IACpC,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;IACzC,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,qBAAqB;AACrB,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAA;IAC/C,OAAO,EAAE,MAAM,CAAA;IACf,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;CACtC;AAED,sDAAsD;AACtD,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,OAAO,CAAA;CAChB;AAED,mCAAmC;AACnC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,gBAAgB,EAAE,CAAA;IACzB,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,SAAS,EAAE,aAAa,EAAE,CAAA;IAC1B,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;IAC9B,IAAI,CAAC,EAAE,YAAY,CAAA;IACnB,cAAc,CAAC,EAAE,aAAa,EAAE,CAAA;IAChC;;;OAGG;IACH,UAAU,EAAE,SAAS,EAAE,CAAA;IACvB;;;;OAIG;IACH,KAAK,EAAE,MAAM,EAAE,CAAA;CAChB;AAID,KAAK,OAAO,GAAG,GAAG,CAAA;AAuBlB;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,+BAA+B;IAC/B,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACvB,uBAAuB;IACvB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC,2CAA2C;IAC3C,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACrB,4CAA4C;IAC5C,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,iBAAiB;IACjB,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IACpC,uBAAuB;IACvB,aAAa,EAAE,MAAM,CAAA;IACrB,0CAA0C;IAC1C,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;CAC/B;AAyID;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CA2BtD;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,OAAO,EACb,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EACnB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EACjB,IAAI,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/C,IAAI,CAgEN;AAuiBD,iDAAiD;AACjD,MAAM,WAAW,sBAAsB;IACrC,sDAAsD;IACtD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,4CAA4C;IAC5C,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,kDAAkD;IAClD,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,2CAA2C;IAC3C,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;CACnB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,sBAAsB,GAAG,UAAU,CAgU1F"}