@faicad/faijs 0.13.2 → 0.16.0

package/dist/lang/compile.js

@@ -1,368 +0,0 @@
-/**
- * compile — ScriptIR → 零 import ESM 模块（VM 执行方案 Phase 1）
- *
- *
- * `compileToModule(script)` 把校验过的 ScriptIR IR 编译为**不含任何 import 语句**的
- * ESM 文本（`export const statements = [...]`）。产物零 import 是关键决策——Node 的
- * `data:` URL 与浏览器的 Blob URL 动态 import 都无法解析裸说明符，零 import 使模块在
- * 两个平台都能直接 `import()`，无需 import map / 打包器 / 文件系统。
- *
- * 编译规则：
- * - 每条语句一个 `{ id, deps, fn }`：`id` 是独立 StmtId（参数语句占 s1..sK，语句 s(K+1)..s(K+N)）；
- *   `deps` 由 parser 收集的 `stmt.refs`（inputs + $param + $geom.of + members）翻译为定义语句的 id；
- *   `fn` 是 `async (ctx, ns) => {...}`（ns = 命名空间集合，无隐式参数）。
- * - 参数即变量：`const r = 20` 编译为普通语句 `ctx.r = 20`。
- * - 变量引用编译为 `ctx.x`（持久变量容器，跨增量执行存活）。
- * - $param → `ctx.<name>`；$geom → `ns.cad.<feature>(ctx.<of>, ...)`；$asset → `await ns.cad.asset(key)`。
- * - 编译输入只有 IR，用户原文不进 VM（先解析后执行红线）。
- */
-import { isParamRef, isVarRef, isCallRef, isExprRef, splitPositionalOptions } from './types.js';
-import { withoutKeepDirectives, withoutKeepDirectivesFromPositional } from './keep.js';
-import { fmtNum } from './codegen.js';
-import { asStmtId } from '../identity.js';
-// ── 值格式化（编译产物内部，非用户可读文本） ──
-/** JsonValue（参数字面量）→ JS 表达式 */
-function fmtJsonValue(v) {
-    if (typeof v === 'number')
-        return fmtNum(v);
-    return JSON.stringify(v);
-}
-/** 字符串转义（JSON 双引号形式，编译产物内部使用） */
-function fmtStr(s) {
-    return JSON.stringify(s);
-}
-// ── ArgIR 翻译（$param / $ref / $call → 编译产物表达式） ──
-/** ParamRefIR → `ctx.<name>` */
-function translateParamRef(ref) {
-    return `ctx.${ref.$param}`;
-}
-/** VarRefIR → `ctx.<name>` */
-function translateVarRef(ref) {
-    return `ctx.${ref.$ref}`;
-}
-/** CallRefIR → `await ns.<ns>.<callee>(<args>)`（嵌套调用，统一 await：同步函数被 await 是合法 JS；F2 放开命名空间） */
-function translateCallRef(ref) {
-    const { callee, args, namespace } = ref.$call;
-    const inner = args.map((a) => translateArg(a)).join(', ');
-    return `await ns.${namespace ?? 'cad'}.${callee}(${inner})`;
-}
-/**
- * ExprIR → 箭头包装发射（§5.4，零改写）：
- * `((${names}) => ${text})(${args})`，names = [...params, ...refs]（去重、保持声明顺序），
- * args = `ctx.<name>, ...` 与 names 一一对应。表达式原文 text 不重写，标识符经
- * 箭头参数绑定解析到 ctx.<name>；语法门禁在 parse 期完成（§3.3 白名单文法）。
- *
- * 失败语义标记（true-JS-subset D4）：表达式求值包在 try/catch IIFE 内，失败抛
- * `__FaiExprEvalError`（生成模块内联类，零 import）——ModuleExecutor 据此把
- * 表达式运行时错误包装为 OpError(E_EXPR) 归并 failedAt，而 op 实现的普通异常
- * （= bug，Result 体系契约）保持抛穿不受影响。
- */
-function translateExprRef(ref) {
-    useExprEvalGuard = true;
-    const names = [...new Set([...ref.$expr.params, ...ref.$expr.refs])];
-    const args = names.map((n) => `ctx.${n}`).join(', ');
-    const inner = `((${names.join(', ')}) => ${ref.$expr.text})(${args})`;
-    return `(() => { try { return ${inner} } catch (__e) { throw new __FaiExprEvalError(__e) } })()`;
-}
-/** 本轮 compileToModule 是否发射了 ExprIR（决定是否内联 __FaiExprEvalError 类）。 */
-let useExprEvalGuard = false;
-/** 生成模块内联的表达式求值错误标记类（零 import；与 module-executor 的识别契约见类名）。 */
-const EXPR_EVAL_ERROR_CLASS = `class __FaiExprEvalError extends Error { constructor(cause) {` +
-    ` super('expression evaluation failed: ' + (cause && cause.message ? cause.message : String(cause)));` +
-    ` this.name = 'FaiExprEvalError'; this.isExprEvalError = true; this.exprCause = cause } }`;
-/** 递归翻译单个 ArgIR 值为编译产物表达式。 */
-function translateArg(value) {
-    if (value === null || value === undefined)
-        return 'null';
-    if (typeof value === 'number')
-        return fmtNum(value);
-    if (typeof value === 'boolean')
-        return String(value);
-    if (typeof value === 'string')
-        return fmtStr(value);
-    if (isParamRef(value))
-        return translateParamRef(value);
-    if (isVarRef(value))
-        return translateVarRef(value);
-    if (isCallRef(value))
-        return translateCallRef(value);
-    if (isExprRef(value))
-        return translateExprRef(value);
-    if (Array.isArray(value)) {
-        return `[${value.map((v) => translateArg(v)).join(', ')}]`;
-    }
-    if (typeof value === 'object') {
-        const entries = Object.entries(value);
-        return `{ ${entries.map(([k, v]) => `${k}: ${translateArg(v)}`).join(', ')} }`;
-    }
-    return String(value);
-}
-/** 语句 args 表 → 编译产物对象字面量。 */
-function translateArgs(args) {
-    const entries = Object.entries(args);
-    if (entries.length === 0)
-        return '{}';
-    return `{ ${entries.map(([k, v]) => `${k}: ${translateArg(v)}`).join(', ')} }`;
-}
-// ── 语句 fn 体生成 ──
-/**
- * 获取语句引用的变量名集合。
- *
- * 优先用 parser 填充的 stmt.refs（positional + args + receiver 的全量递归收集）；
- * 手工构造的 ScriptIR（测试等）无 refs 时，从 positional + args + receiver 兜底扫描计算。
- */
-function getStatementRefs(stmt) {
-    if (stmt.refs)
-        return stmt.refs;
-    const refs = new Set();
-    // receiver：成员方法调用（do_assemble 等）依赖其 receiver 变量
-    if (stmt.receiver)
-        refs.add(stmt.receiver);
-    const scan = (value) => {
-        if (value === null || typeof value !== 'object')
-            return;
-        if (isParamRef(value)) {
-            refs.add(value.$param);
-            return;
-        }
-        if (isVarRef(value)) {
-            refs.add(value.$ref);
-            return;
-        }
-        if (isCallRef(value)) {
-            for (const a of value.$call.args)
-                scan(a);
-            return;
-        }
-        if (isExprRef(value)) {
-            for (const p of value.$expr.params)
-                refs.add(p);
-            for (const r of value.$expr.refs)
-                refs.add(r);
-            return;
-        }
-        if (Array.isArray(value)) {
-            for (const v of value)
-                scan(v);
-            return;
-        }
-        for (const v of Object.values(value))
-            scan(v);
-    };
-    for (const arg of stmt.positional ?? [])
-        scan(arg);
-    for (const arg of Object.values(stmt.args ?? {}))
-        scan(arg);
-    // 兼容旧手工构造 IR：group/assembly members 可能是裸字符串变量名
-    if (stmt.callee === 'group' || stmt.callee === 'assembly') {
-        const members = stmt.args?.members;
-        if (Array.isArray(members)) {
-            for (const m of members)
-                if (typeof m === 'string')
-                    refs.add(m);
-        }
-    }
-    return [...refs];
-}
-/** 生成单条语句的 fn 体（缩进 6 空格，嵌入模块文本）。纯机械：按 IR 形态发射，无 callee 分支（A9 消灭）。
- *  @param localParams 本机函数名 → 形参表（ABI 发射用；local 语句按形参序补位）。 */
-function buildStatementFnBody(stmt, localParams) {
-    // ── 本机函数调用（local，§3.4 / §5.3）：ABI 按形参序发射 ──
-    // 发射形态（§3.6）：`await <name>(ctx, ns, <pos1>, …, <posM>, <v_{M+1}>, …, <vk>)`
-    // - 位置实参（splitPositionalOptions 切出的 values，可为任意表达式形态）占前 M 位
-    // - 尾随选项对象（positional 末位纯对象；手工 IR 兜底用 stmt.args）键按形参名补到剩余位
-    //   （缺失形参 → undefined；parse 期 ABI 已拦截未知/占用键）
-    // - keep/keepHidden 先剥离（与命名空间调用一致）
-    if (stmt.local) {
-        const params = localParams?.get(stmt.callee) ?? [];
-        const { values, named } = splitPositionalOptions(stmt.positional ?? []);
-        const M = values.length;
-        const callArgs = ['ctx', 'ns'];
-        for (const v of values)
-            callArgs.push(translateArg(v));
-        // 尾随对象为空时回退 args 槽（手工构造 IR 只填 args 的兼容路径；解析产物二者一致）
-        const namedSrc = Object.keys(named).length > 0 ? named : withoutKeepDirectives(stmt.args);
-        const runtimeArgs = withoutKeepDirectives(namedSrc);
-        for (let i = M; i < params.length; i++) {
-            const p = params[i];
-            const v = runtimeArgs[p];
-            callArgs.push(v !== undefined ? translateArg(v) : 'undefined');
-        }
-        const call = `await localFns.${stmt.callee}(${callArgs.join(', ')})`;
-        // 1) 对象解构赋值（本机函数多返回值：return { front, back }）
-        if (stmt.outputKeys && stmt.outputKeys.length > 0) {
-            const keys = stmt.outputKeys.join(', ');
-            const assigns = stmt.outputs.map((out, i) => `      ctx.${out} = ${stmt.outputKeys[i]}`).join('\n');
-            return [`      const { ${keys} } = ${call}`, assigns].join('\n');
-        }
-        // 2) 无赋值调用（副作用）
-        if (stmt.outputs.length === 0) {
-            return `      await ${call}`;
-        }
-        // 3) 普通赋值（单输出）
-        return `      ctx.${stmt.outputs[0]} = ${call}`;
-    }
-    // P7：按命名空间发射（`import * as mech from 'gear-lib-demo'` → ns.mech.<callee>；缺省 cad）
-    const nsExpr = `ns.${stmt.namespace ?? 'cad'}`;
-    // 位置实参发射（true-JS-subset §4.3.1）：全部位置实参按序翻译；尾随纯对象的
-    // keep/keepHidden 指令发射前剥离（keep-syntax 设计 §7.1）。剥离后若尾随对象为空
-    // （如 `union(a, b, { keep: [a, b] })`），整个对象不再发射——与 `union(a, b)` 无选项槽一致。
-    const positionalStripped = withoutKeepDirectivesFromPositional(stmt.positional ?? []);
-    const lastArg = positionalStripped[positionalStripped.length - 1];
-    if (lastArg !== null &&
-        typeof lastArg === 'object' &&
-        !Array.isArray(lastArg) &&
-        !isVarRef(lastArg) &&
-        !isCallRef(lastArg) &&
-        !isExprRef(lastArg) &&
-        Object.keys(lastArg).length === 0) {
-        positionalStripped.pop();
-    }
-    const positionalArgs = positionalStripped;
-    const positionalStr = positionalArgs.map((v) => translateArg(v)).join(', ');
-    // 兼容兜底：positional 为空但 args 非空（手工构造 IR 只填 args 的旧形态）
-    // → 退回 args 槽发射。解析产物中 args 非空 ⇒ positional 必含尾随对象，不会走此分支。
-    const lastIsPlainObject = positionalArgs.length > 0 &&
-        (() => {
-            const a = positionalArgs[positionalArgs.length - 1];
-            return (a !== null && typeof a === 'object' && !Array.isArray(a) &&
-                !isVarRef(a) && !isCallRef(a) && !isExprRef(a));
-        })();
-    let callArgs;
-    if (positionalStr !== '') {
-        if (lastIsPlainObject) {
-            // 尾随纯对象已含选项（args 是其投影），不重复发射
-            callArgs = positionalStr;
-        }
-        else {
-            // 手工构造 IR 的过渡兼容：positional 尾位不是纯对象而 args 槽非空 → args 作为
-            // 独立选项槽追加（keep 指令同步剥离）
-            const legacyArgs = withoutKeepDirectives(stmt.args);
-            const legacyStr = Object.keys(legacyArgs).length > 0 ? `, ${translateArgs(legacyArgs)}` : '';
-            callArgs = positionalStr + legacyStr;
-        }
-    }
-    else if (stmt.receiver) {
-        const legacyArgs = withoutKeepDirectives(stmt.args);
-        callArgs = Object.keys(legacyArgs).length > 0 ? translateArgs(legacyArgs) : '';
-    }
-    else {
-        const legacyArgs = withoutKeepDirectives(stmt.args);
-        callArgs = Object.keys(legacyArgs).length > 0 ? translateArgs(legacyArgs) : '{}';
-    }
-    // 1) 对象解构赋值：outputKeys 存在（任意 callee）
-    if (stmt.outputKeys && stmt.outputKeys.length > 0) {
-        const keys = stmt.outputKeys.join(', ');
-        const assigns = stmt.outputs.map((out, i) => `      ctx.${out} = ${stmt.outputKeys[i]}`).join('\n');
-        return [
-            `      const { ${keys} } = await ${nsExpr}.${stmt.callee}(${callArgs})`,
-            assigns,
-        ].join('\n');
-    }
-    // 2) 成员调用（表达式语句）：receiver 存在（add_constraint/do_assemble 挂 compound 方法）
-    if (stmt.receiver) {
-        // 空 args 不发射 `{}`：`do_assemble()` 而不是 `do_assemble({})`（§5.2 成员方法签名）
-        return `      await ctx.${stmt.receiver}.${stmt.callee}(${callArgs})`;
-    }
-    // 3) 无赋值调用（表达式语句，outputs 为空且无 receiver）
-    if (stmt.outputs.length === 0) {
-        return `      await ${nsExpr}.${stmt.callee}(${callArgs})`;
-    }
-    // 4) 普通赋值（单输出）
-    return `      ctx.${stmt.outputs[0]} = await ${nsExpr}.${stmt.callee}(${callArgs})`;
-}
-// ── 主编译函数 ──
-/**
- * 把 ScriptIR 编译为零 import ESM 模块文本 + 语句元数据。
- *
- * 同一份 ScriptIR 编译结果确定（StmtId 按语句顺序稳定分配）。
- */
-/**
- * Compile a validated ScriptIR into a zero-import ESM module text plus parallel
- * statement metadata. The output of compiling the same ScriptIR is
- * deterministic (StmtIds are assigned stably in statement order).
- * @param script - the validated ScriptIR to compile.
- * @returns the compiled module code and its statement metadata.
- */
-export function compileToModule(script) {
-    useExprEvalGuard = false;
-    const metas = [];
-    const varToStmtId = new Map();
-    // 本机函数名 → 形参表（ABI 发射：位置实参占前 M 位，args 键按形参名补剩余位）
-    const localParams = new Map();
-    for (const fn of script.functions ?? [])
-        localParams.set(fn.name, fn.params);
-    // 1. 参数语句（s1..sK）
-    script.params.forEach((p, i) => {
-        const id = asStmtId(`s${i + 1}`);
-        metas.push({ id, deps: [], writes: [p.name] });
-        varToStmtId.set(p.name, id);
-    });
-    // 2. 脚本语句（s(K+1)..s(K+N)，Phase 3: id 即 sN）
-    //    顺序处理：先算 deps（用已有 varToStmtId），再写 varToStmtId，
-    //    这样单入单出复用名的变量能正确解析到上游定义语句（而非自己）。
-    script.statements.forEach((stmt, i) => {
-        const id = stmt.id;
-        // A11 消灭：writes = outputs（无赋值语句 outputs 本来就是 []，机械写法天然正确）
-        const writes = stmt.outputs;
-        // 先算 deps（用已有 varToStmtId，此时还未被本语句的 writes 覆盖）
-        const deps = new Set();
-        for (const ref of getStatementRefs(stmt)) {
-            const depId = varToStmtId.get(ref);
-            if (depId)
-                deps.add(depId);
-        }
-        metas.push({ id, deps: [...deps], writes, sourceIndex: i });
-        // 再写 varToStmtId（后续语句引用本语句的输出时能找到）
-        for (const w of writes)
-            varToStmtId.set(w, id);
-    });
-    // 4. 生成模块文本
-    const bodyLines = [];
-    let stmtCursor = 0;
-    for (const meta of metas) {
-        let fnBody;
-        if (meta.sourceIndex === undefined) {
-            // 参数语句：ctx.<name> = <literal>
-            const p = script.params[stmtCursor];
-            fnBody = `      ctx.${p.name} = ${fmtJsonValue(p.value)}`;
-        }
-        else {
-            fnBody = buildStatementFnBody(script.statements[meta.sourceIndex], localParams);
-        }
-        stmtCursor++;
-        const depsStr = meta.deps.length > 0 ? meta.deps.map((d) => `'${d}'`).join(', ') : '';
-        bodyLines.push(`  { id: '${meta.id}', deps: [${depsStr}],`);
-        bodyLines.push(`    fn: async (ctx, ns) => {`);
-        bodyLines.push(fnBody);
-        bodyLines.push(`    } },`);
-    }
-    // 5. 本机函数段（§5.1 / §5.2，ABI 方案 A / D7）：
-    //    包装器 = `async function <name>(__ctx, __ns, <用户形参按名>) { <命名空间绑定> <用户函数体原文> }`。
-    //    命名空间绑定：`const cad = __ns.cad` + 每个顶层 import 绑定名（函数体内裸 cad./mech. 可解析）。
-    //    函数体原文嵌入（语法门禁后，P3/P5）；不注入 ctx / 兄弟函数名（D10 禁体内本机调用）。
-    const fnLines = [];
-    for (const fn of script.functions ?? []) {
-        const bindNames = new Set(['cad']);
-        for (const imp of script.imports ?? []) {
-            bindNames.add(imp.localName);
-            for (const b of imp.bindings ?? [])
-                bindNames.add(b);
-        }
-        const binds = [...bindNames].map((n) => `  const ${n} = __ns.${n}`).join('\n');
-        const params = fn.params.length > 0 ? `, ${fn.params.join(', ')}` : '';
-        fnLines.push(`async function ${fn.name}(__ctx, __ns${params}) {`);
-        fnLines.push(binds);
-        fnLines.push(fn.body);
-        fnLines.push('}');
-    }
-    const localFnsExport = (script.functions ?? []).length > 0
-        ? `export const localFns = { ${(script.functions ?? []).map((f) => f.name).join(', ')} }\n`
-        : '';
-    const fnSection = fnLines.length > 0 ? `${fnLines.join('\n')}\n` : '';
-    // D4：发射过 ExprIR 时内联表达式求值错误标记类（零 import；ModuleExecutor 据此包装 E_EXPR）
-    const exprClassSection = useExprEvalGuard ? `${EXPR_EVAL_ERROR_CLASS}\n` : '';
-    const code = `${exprClassSection}${fnSection}${localFnsExport}export const statements = [\n${bodyLines.join('\n')}\n]\n`;
-    return { code, statements: metas };
-}
-//# sourceMappingURL=compile.js.map

package/dist/lang/compile.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../src/lang/compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAYH,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,sBAAsB,EAAE,MAAM,SAAS,CAAA;AAC5F,OAAO,EAAE,qBAAqB,EAAE,mCAAmC,EAAE,MAAM,QAAQ,CAAA;AACnF,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAA;AAClC,OAAO,EAAE,QAAQ,EAAe,MAAM,aAAa,CAAA;AAsBnD,6BAA6B;AAE7B,+BAA+B;AAC/B,SAAS,YAAY,CAAC,CAAY;IAChC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;IAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;AAC1B,CAAC;AAED,iCAAiC;AACjC,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;AAC1B,CAAC;AAED,kDAAkD;AAElD,gCAAgC;AAChC,SAAS,iBAAiB,CAAC,GAAe;IACxC,OAAO,OAAO,GAAG,CAAC,MAAM,EAAE,CAAA;AAC5B,CAAC;AAED,8BAA8B;AAC9B,SAAS,eAAe,CAAC,GAAa;IACpC,OAAO,OAAO,GAAG,CAAC,IAAI,EAAE,CAAA;AAC1B,CAAC;AAED,+FAA+F;AAC/F,SAAS,gBAAgB,CAAC,GAAc;IACtC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,KAAK,CAAA;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzD,OAAO,YAAY,SAAS,IAAI,KAAK,IAAI,MAAM,IAAI,KAAK,GAAG,CAAA;AAC7D,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,gBAAgB,CAAC,GAAW;IACnC,gBAAgB,GAAG,IAAI,CAAA;IACvB,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACpE,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACpD,MAAM,KAAK,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,GAAG,CAAA;IACrE,OAAO,yBAAyB,KAAK,2DAA2D,CAAA;AAClG,CAAC;AAED,oEAAoE;AACpE,IAAI,gBAAgB,GAAG,KAAK,CAAA;AAE5B,8DAA8D;AAC9D,MAAM,qBAAqB,GACzB,+DAA+D;IAC/D,sGAAsG;IACtG,0FAA0F,CAAA;AAE5F,8BAA8B;AAC9B,SAAS,YAAY,CAAC,KAAY;IAChC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IACxD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACnD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACnD,IAAI,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAA;IACtD,IAAI,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,eAAe,CAAC,KAAK,CAAC,CAAA;IAClD,IAAI,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAA;IACpD,IAAI,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAA;IACpD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;IACrE,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAA8B,CAAC,CAAA;QAC9D,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;IAChF,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;AACtB,CAAC;AAED,6BAA6B;AAC7B,SAAS,aAAa,CAAC,IAA2B;IAChD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACpC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IACrC,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;AAChF,CAAC;AAED,kBAAkB;AAElB;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,IAAiB;IACzC,IAAI,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC,IAAI,CAAA;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,gDAAgD;IAChD,IAAI,IAAI,CAAC,QAAQ;QAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC1C,MAAM,IAAI,GAAG,CAAC,KAAY,EAAQ,EAAE;QAClC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAM;QACvD,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;YACtB,OAAM;QACR,CAAC;QACD,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YACpB,OAAM;QACR,CAAC;QACD,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI;gBAAE,IAAI,CAAC,CAAC,CAAC,CAAA;YACzC,OAAM;QACR,CAAC;QACD,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YAC/C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YAC7C,OAAM;QACR,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,IAAI,CAAC,CAAC,CAAC,CAAA;YAC9B,OAAM;QACR,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAC/C,CAAC,CAAA;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,CAAA;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QAAE,IAAI,CAAC,GAAG,CAAC,CAAA;IAC3D,+CAA+C;IAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAA;QAClC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,OAAO;gBAAE,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACjE,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAA;AAClB,CAAC;AAED;8DAC8D;AAC9D,SAAS,oBAAoB,CAAC,IAAiB,EAAE,WAAmC;IAClF,6CAA6C;IAC7C,4EAA4E;IAC5E,4DAA4D;IAC5D,2DAA2D;IAC3D,6CAA6C;IAC7C,mCAAmC;IACnC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;QAClD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,sBAAsB,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAA;QACvE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAA;QACvB,MAAM,QAAQ,GAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;QACtD,mDAAmD;QACnD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzF,MAAM,WAAW,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAA;QACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;YACnB,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;YACxB,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAA;QAChE,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,IAAI,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QACpE,6CAA6C;QAC7C,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACvC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,GAAG,MAAM,IAAI,CAAC,UAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACpG,OAAO,CAAC,iBAAiB,IAAI,QAAQ,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAClE,CAAC;QACD,gBAAgB;QAChB,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,eAAe,IAAI,EAAE,CAAA;QAC9B,CAAC;QACD,eAAe;QACf,OAAO,aAAa,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAA;IACjD,CAAC;IAED,gFAAgF;IAChF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,IAAI,KAAK,EAAE,CAAA;IAE9C,kDAAkD;IAClD,0DAA0D;IAC1D,wEAAwE;IACxE,MAAM,kBAAkB,GAAG,mCAAmC,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAA;IACrF,MAAM,OAAO,GAAG,kBAAkB,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACjE,IACE,OAAO,KAAK,IAAI;QAChB,OAAO,OAAO,KAAK,QAAQ;QAC3B,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACvB,CAAC,QAAQ,CAAC,OAAO,CAAC;QAClB,CAAC,SAAS,CAAC,OAAO,CAAC;QACnB,CAAC,SAAS,CAAC,OAAO,CAAC;QACnB,MAAM,CAAC,IAAI,CAAC,OAAgC,CAAC,CAAC,MAAM,KAAK,CAAC,EAC1D,CAAC;QACD,kBAAkB,CAAC,GAAG,EAAE,CAAA;IAC1B,CAAC;IACD,MAAM,cAAc,GAAG,kBAAkB,CAAA;IACzC,MAAM,aAAa,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAE3E,oDAAoD;IACpD,0DAA0D;IAC1D,MAAM,iBAAiB,GACrB,cAAc,CAAC,MAAM,GAAG,CAAC;QACzB,CAAC,GAAG,EAAE;YACJ,MAAM,CAAC,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YACnD,OAAO,CACL,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBACxD,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAC/C,CAAA;QACH,CAAC,CAAC,EAAE,CAAA;IACN,IAAI,QAAgB,CAAA;IACpB,IAAI,aAAa,KAAK,EAAE,EAAE,CAAC;QACzB,IAAI,iBAAiB,EAAE,CAAC;YACtB,6BAA6B;YAC7B,QAAQ,GAAG,aAAa,CAAA;QAC1B,CAAC;aAAM,CAAC;YACN,uDAAuD;YACvD,uBAAuB;YACvB,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACnD,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YAC5F,QAAQ,GAAG,aAAa,GAAG,SAAS,CAAA;QACtC,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAChF,CAAC;SAAM,CAAC;QACN,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAClF,CAAC;IAED,qCAAqC;IACrC,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,GAAG,MAAM,IAAI,CAAC,UAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpG,OAAO;YACL,iBAAiB,IAAI,cAAc,MAAM,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,GAAG;YACvE,OAAO;SACR,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACd,CAAC;IAED,uEAAuE;IACvE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,qEAAqE;QACrE,OAAO,mBAAmB,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,GAAG,CAAA;IACvE,CAAC;IAED,wCAAwC;IACxC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,eAAe,MAAM,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,GAAG,CAAA;IAC5D,CAAC;IAED,eAAe;IACf,OAAO,aAAa,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,MAAM,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,GAAG,CAAA;AACrF,CAAC;AAED,cAAc;AAEd;;;;GAIG;AACH;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,MAAgB;IAC9C,gBAAgB,GAAG,KAAK,CAAA;IACxB,MAAM,KAAK,GAA4B,EAAE,CAAA;IACzC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC7C,gDAAgD;IAChD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC/C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,SAAS,IAAI,EAAE;QAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,CAAA;IAE5E,kBAAkB;IAClB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC7B,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAChC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAC9C,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;IAC7B,CAAC,CAAC,CAAA;IAEF,2CAA2C;IAC3C,mDAAmD;IACnD,qCAAqC;IACrC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACpC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAA;QAClB,0DAA0D;QAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAA;QAC3B,+CAA+C;QAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,KAAK,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAClC,IAAI,KAAK;gBAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAC5B,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAA;QAC3D,mCAAmC;QACnC,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IAEF,YAAY;IACZ,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,MAAc,CAAA;QAClB,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACnC,8BAA8B;YAC9B,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;YACnC,MAAM,GAAG,aAAa,CAAC,CAAC,IAAI,MAAM,YAAY,CAAC,CAAC,CAAC,KAAkB,CAAC,EAAE,CAAA;QACxE,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAA;QACjF,CAAC;QACD,UAAU,EAAE,CAAA;QACZ,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QACrF,SAAS,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,EAAE,aAAa,OAAO,IAAI,CAAC,CAAA;QAC3D,SAAS,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAA;QAC9C,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACtB,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAC5B,CAAC;IAED,uCAAuC;IACvC,kFAAkF;IAClF,4EAA4E;IAC5E,wDAAwD;IACxD,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,CAAC,CAAA;QAC1C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACvC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YAC5B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,IAAI,EAAE;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACtD,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC9E,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;QACtE,OAAO,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,IAAI,eAAe,MAAM,KAAK,CAAC,CAAA;QACjE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACnB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;QACrB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACnB,CAAC;IACD,MAAM,cAAc,GAClB,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC;QACjC,CAAC,CAAC,6BAA6B,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;QAC3F,CAAC,CAAC,EAAE,CAAA;IACR,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IACrE,mEAAmE;IACnE,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,qBAAqB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IAE7E,MAAM,IAAI,GAAG,GAAG,gBAAgB,GAAG,SAAS,GAAG,cAAc,gCAAgC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAA;IACxH,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAA;AACpC,CAAC","sourcesContent":["/**\n * compile — ScriptIR → 零 import ESM 模块（VM 执行方案 Phase 1）\n *\n *\n * `compileToModule(script)` 把校验过的 ScriptIR IR 编译为**不含任何 import 语句**的\n * ESM 文本（`export const statements = [...]`）。产物零 import 是关键决策——Node 的\n * `data:` URL 与浏览器的 Blob URL 动态 import 都无法解析裸说明符，零 import 使模块在\n * 两个平台都能直接 `import()`，无需 import map / 打包器 / 文件系统。\n *\n * 编译规则：\n * - 每条语句一个 `{ id, deps, fn }`：`id` 是独立 StmtId（参数语句占 s1..sK，语句 s(K+1)..s(K+N)）；\n *   `deps` 由 parser 收集的 `stmt.refs`（inputs + $param + $geom.of + members）翻译为定义语句的 id；\n *   `fn` 是 `async (ctx, ns) => {...}`（ns = 命名空间集合，无隐式参数）。\n * - 参数即变量：`const r = 20` 编译为普通语句 `ctx.r = 20`。\n * - 变量引用编译为 `ctx.x`（持久变量容器，跨增量执行存活）。\n * - $param → `ctx.<name>`；$geom → `ns.cad.<feature>(ctx.<of>, ...)`；$asset → `await ns.cad.asset(key)`。\n * - 编译输入只有 IR，用户原文不进 VM（先解析后执行红线）。\n */\n\nimport type {\n  ArgIR,\n  StatementIR,\n  JsonValue,\n  ParamRefIR,\n  ScriptIR,\n  VarRefIR,\n  CallRefIR,\n  ExprIR,\n} from './types'\nimport { isParamRef, isVarRef, isCallRef, isExprRef, splitPositionalOptions } from './types'\nimport { withoutKeepDirectives, withoutKeepDirectivesFromPositional } from './keep'\nimport { fmtNum } from './codegen'\nimport { asStmtId, type StmtId } from '../identity'\n\n// ── 编译产物类型 ──\n\n/** 编译后单条语句的元数据（与模块文本中的 `{ id, deps, fn }` 并行）。 */\nexport interface CompiledStatementMeta {\n  /** 独立 StmtId（模块语句 id） */\n  id: StmtId\n  /** 依赖语句 id（定义被引用变量的语句） */\n  deps: StmtId[]\n  /** 本语句写入 ctx 的键（变量名）：普通语句 [id]、split 双输出、参数 [paramName]、add_constraint/do_assemble 空 */\n  writes: string[]\n  /** 在 script.statements 中的下标（参数语句为 undefined） */\n  sourceIndex?: number\n}\n\n/** compileToModule 的返回：模块文本 + 并行元数据（供 ModuleExecutor 建 sourceById / reconcileCtx）。 */\nexport interface CompiledModule {\n  code: string\n  statements: CompiledStatementMeta[]\n}\n\n// ── 值格式化（编译产物内部，非用户可读文本） ──\n\n/** JsonValue（参数字面量）→ JS 表达式 */\nfunction fmtJsonValue(v: JsonValue): string {\n  if (typeof v === 'number') return fmtNum(v)\n  return JSON.stringify(v)\n}\n\n/** 字符串转义（JSON 双引号形式，编译产物内部使用） */\nfunction fmtStr(s: string): string {\n  return JSON.stringify(s)\n}\n\n// ── ArgIR 翻译（$param / $ref / $call → 编译产物表达式） ──\n\n/** ParamRefIR → `ctx.<name>` */\nfunction translateParamRef(ref: ParamRefIR): string {\n  return `ctx.${ref.$param}`\n}\n\n/** VarRefIR → `ctx.<name>` */\nfunction translateVarRef(ref: VarRefIR): string {\n  return `ctx.${ref.$ref}`\n}\n\n/** CallRefIR → `await ns.<ns>.<callee>(<args>)`（嵌套调用，统一 await：同步函数被 await 是合法 JS；F2 放开命名空间） */\nfunction translateCallRef(ref: CallRefIR): string {\n  const { callee, args, namespace } = ref.$call\n  const inner = args.map((a) => translateArg(a)).join(', ')\n  return `await ns.${namespace ?? 'cad'}.${callee}(${inner})`\n}\n\n/**\n * ExprIR → 箭头包装发射（§5.4，零改写）：\n * `((${names}) => ${text})(${args})`，names = [...params, ...refs]（去重、保持声明顺序），\n * args = `ctx.<name>, ...` 与 names 一一对应。表达式原文 text 不重写，标识符经\n * 箭头参数绑定解析到 ctx.<name>；语法门禁在 parse 期完成（§3.3 白名单文法）。\n *\n * 失败语义标记（true-JS-subset D4）：表达式求值包在 try/catch IIFE 内，失败抛\n * `__FaiExprEvalError`（生成模块内联类，零 import）——ModuleExecutor 据此把\n * 表达式运行时错误包装为 OpError(E_EXPR) 归并 failedAt，而 op 实现的普通异常\n * （= bug，Result 体系契约）保持抛穿不受影响。\n */\nfunction translateExprRef(ref: ExprIR): string {\n  useExprEvalGuard = true\n  const names = [...new Set([...ref.$expr.params, ...ref.$expr.refs])]\n  const args = names.map((n) => `ctx.${n}`).join(', ')\n  const inner = `((${names.join(', ')}) => ${ref.$expr.text})(${args})`\n  return `(() => { try { return ${inner} } catch (__e) { throw new __FaiExprEvalError(__e) } })()`\n}\n\n/** 本轮 compileToModule 是否发射了 ExprIR（决定是否内联 __FaiExprEvalError 类）。 */\nlet useExprEvalGuard = false\n\n/** 生成模块内联的表达式求值错误标记类（零 import；与 module-executor 的识别契约见类名）。 */\nconst EXPR_EVAL_ERROR_CLASS =\n  `class __FaiExprEvalError extends Error { constructor(cause) {` +\n  ` super('expression evaluation failed: ' + (cause && cause.message ? cause.message : String(cause)));` +\n  ` this.name = 'FaiExprEvalError'; this.isExprEvalError = true; this.exprCause = cause } }`\n\n/** 递归翻译单个 ArgIR 值为编译产物表达式。 */\nfunction translateArg(value: ArgIR): string {\n  if (value === null || value === undefined) return 'null'\n  if (typeof value === 'number') return fmtNum(value)\n  if (typeof value === 'boolean') return String(value)\n  if (typeof value === 'string') return fmtStr(value)\n  if (isParamRef(value)) return translateParamRef(value)\n  if (isVarRef(value)) return translateVarRef(value)\n  if (isCallRef(value)) return translateCallRef(value)\n  if (isExprRef(value)) return translateExprRef(value)\n  if (Array.isArray(value)) {\n    return `[${value.map((v) => translateArg(v as ArgIR)).join(', ')}]`\n  }\n  if (typeof value === 'object') {\n    const entries = Object.entries(value as Record<string, ArgIR>)\n    return `{ ${entries.map(([k, v]) => `${k}: ${translateArg(v)}`).join(', ')} }`\n  }\n  return String(value)\n}\n\n/** 语句 args 表 → 编译产物对象字面量。 */\nfunction translateArgs(args: Record<string, ArgIR>): string {\n  const entries = Object.entries(args)\n  if (entries.length === 0) return '{}'\n  return `{ ${entries.map(([k, v]) => `${k}: ${translateArg(v)}`).join(', ')} }`\n}\n\n// ── 语句 fn 体生成 ──\n\n/**\n * 获取语句引用的变量名集合。\n *\n * 优先用 parser 填充的 stmt.refs（positional + args + receiver 的全量递归收集）；\n * 手工构造的 ScriptIR（测试等）无 refs 时，从 positional + args + receiver 兜底扫描计算。\n */\nfunction getStatementRefs(stmt: StatementIR): string[] {\n  if (stmt.refs) return stmt.refs\n  const refs = new Set<string>()\n  // receiver：成员方法调用（do_assemble 等）依赖其 receiver 变量\n  if (stmt.receiver) refs.add(stmt.receiver)\n  const scan = (value: ArgIR): void => {\n    if (value === null || typeof value !== 'object') return\n    if (isParamRef(value)) {\n      refs.add(value.$param)\n      return\n    }\n    if (isVarRef(value)) {\n      refs.add(value.$ref)\n      return\n    }\n    if (isCallRef(value)) {\n      for (const a of value.$call.args) scan(a)\n      return\n    }\n    if (isExprRef(value)) {\n      for (const p of value.$expr.params) refs.add(p)\n      for (const r of value.$expr.refs) refs.add(r)\n      return\n    }\n    if (Array.isArray(value)) {\n      for (const v of value) scan(v)\n      return\n    }\n    for (const v of Object.values(value)) scan(v)\n  }\n  for (const arg of stmt.positional ?? []) scan(arg)\n  for (const arg of Object.values(stmt.args ?? {})) scan(arg)\n  // 兼容旧手工构造 IR：group/assembly members 可能是裸字符串变量名\n  if (stmt.callee === 'group' || stmt.callee === 'assembly') {\n    const members = stmt.args?.members\n    if (Array.isArray(members)) {\n      for (const m of members) if (typeof m === 'string') refs.add(m)\n    }\n  }\n  return [...refs]\n}\n\n/** 生成单条语句的 fn 体（缩进 6 空格，嵌入模块文本）。纯机械：按 IR 形态发射，无 callee 分支（A9 消灭）。\n *  @param localParams 本机函数名 → 形参表（ABI 发射用；local 语句按形参序补位）。 */\nfunction buildStatementFnBody(stmt: StatementIR, localParams?: Map<string, string[]>): string {\n  // ── 本机函数调用（local，§3.4 / §5.3）：ABI 按形参序发射 ──\n  // 发射形态（§3.6）：`await <name>(ctx, ns, <pos1>, …, <posM>, <v_{M+1}>, …, <vk>)`\n  // - 位置实参（splitPositionalOptions 切出的 values，可为任意表达式形态）占前 M 位\n  // - 尾随选项对象（positional 末位纯对象；手工 IR 兜底用 stmt.args）键按形参名补到剩余位\n  //   （缺失形参 → undefined；parse 期 ABI 已拦截未知/占用键）\n  // - keep/keepHidden 先剥离（与命名空间调用一致）\n  if (stmt.local) {\n    const params = localParams?.get(stmt.callee) ?? []\n    const { values, named } = splitPositionalOptions(stmt.positional ?? [])\n    const M = values.length\n    const callArgs: string[] = ['ctx', 'ns']\n    for (const v of values) callArgs.push(translateArg(v))\n    // 尾随对象为空时回退 args 槽（手工构造 IR 只填 args 的兼容路径；解析产物二者一致）\n    const namedSrc = Object.keys(named).length > 0 ? named : withoutKeepDirectives(stmt.args)\n    const runtimeArgs = withoutKeepDirectives(namedSrc)\n    for (let i = M; i < params.length; i++) {\n      const p = params[i]\n      const v = runtimeArgs[p]\n      callArgs.push(v !== undefined ? translateArg(v) : 'undefined')\n    }\n    const call = `await localFns.${stmt.callee}(${callArgs.join(', ')})`\n    // 1) 对象解构赋值（本机函数多返回值：return { front, back }）\n    if (stmt.outputKeys && stmt.outputKeys.length > 0) {\n      const keys = stmt.outputKeys.join(', ')\n      const assigns = stmt.outputs.map((out, i) => `      ctx.${out} = ${stmt.outputKeys![i]}`).join('\\n')\n      return [`      const { ${keys} } = ${call}`, assigns].join('\\n')\n    }\n    // 2) 无赋值调用（副作用）\n    if (stmt.outputs.length === 0) {\n      return `      await ${call}`\n    }\n    // 3) 普通赋值（单输出）\n    return `      ctx.${stmt.outputs[0]} = ${call}`\n  }\n\n  // P7：按命名空间发射（`import * as mech from 'gear-lib-demo'` → ns.mech.<callee>；缺省 cad）\n  const nsExpr = `ns.${stmt.namespace ?? 'cad'}`\n\n  // 位置实参发射（true-JS-subset §4.3.1）：全部位置实参按序翻译；尾随纯对象的\n  // keep/keepHidden 指令发射前剥离（keep-syntax 设计 §7.1）。剥离后若尾随对象为空\n  // （如 `union(a, b, { keep: [a, b] })`），整个对象不再发射——与 `union(a, b)` 无选项槽一致。\n  const positionalStripped = withoutKeepDirectivesFromPositional(stmt.positional ?? [])\n  const lastArg = positionalStripped[positionalStripped.length - 1]\n  if (\n    lastArg !== null &&\n    typeof lastArg === 'object' &&\n    !Array.isArray(lastArg) &&\n    !isVarRef(lastArg) &&\n    !isCallRef(lastArg) &&\n    !isExprRef(lastArg) &&\n    Object.keys(lastArg as Record<string, ArgIR>).length === 0\n  ) {\n    positionalStripped.pop()\n  }\n  const positionalArgs = positionalStripped\n  const positionalStr = positionalArgs.map((v) => translateArg(v)).join(', ')\n\n  // 兼容兜底：positional 为空但 args 非空（手工构造 IR 只填 args 的旧形态）\n  // → 退回 args 槽发射。解析产物中 args 非空 ⇒ positional 必含尾随对象，不会走此分支。\n  const lastIsPlainObject =\n    positionalArgs.length > 0 &&\n    (() => {\n      const a = positionalArgs[positionalArgs.length - 1]\n      return (\n        a !== null && typeof a === 'object' && !Array.isArray(a) &&\n        !isVarRef(a) && !isCallRef(a) && !isExprRef(a)\n      )\n    })()\n  let callArgs: string\n  if (positionalStr !== '') {\n    if (lastIsPlainObject) {\n      // 尾随纯对象已含选项（args 是其投影），不重复发射\n      callArgs = positionalStr\n    } else {\n      // 手工构造 IR 的过渡兼容：positional 尾位不是纯对象而 args 槽非空 → args 作为\n      // 独立选项槽追加（keep 指令同步剥离）\n      const legacyArgs = withoutKeepDirectives(stmt.args)\n      const legacyStr = Object.keys(legacyArgs).length > 0 ? `, ${translateArgs(legacyArgs)}` : ''\n      callArgs = positionalStr + legacyStr\n    }\n  } else if (stmt.receiver) {\n    const legacyArgs = withoutKeepDirectives(stmt.args)\n    callArgs = Object.keys(legacyArgs).length > 0 ? translateArgs(legacyArgs) : ''\n  } else {\n    const legacyArgs = withoutKeepDirectives(stmt.args)\n    callArgs = Object.keys(legacyArgs).length > 0 ? translateArgs(legacyArgs) : '{}'\n  }\n\n  // 1) 对象解构赋值：outputKeys 存在（任意 callee）\n  if (stmt.outputKeys && stmt.outputKeys.length > 0) {\n    const keys = stmt.outputKeys.join(', ')\n    const assigns = stmt.outputs.map((out, i) => `      ctx.${out} = ${stmt.outputKeys![i]}`).join('\\n')\n    return [\n      `      const { ${keys} } = await ${nsExpr}.${stmt.callee}(${callArgs})`,\n      assigns,\n    ].join('\\n')\n  }\n\n  // 2) 成员调用（表达式语句）：receiver 存在（add_constraint/do_assemble 挂 compound 方法）\n  if (stmt.receiver) {\n    // 空 args 不发射 `{}`：`do_assemble()` 而不是 `do_assemble({})`（§5.2 成员方法签名）\n    return `      await ctx.${stmt.receiver}.${stmt.callee}(${callArgs})`\n  }\n\n  // 3) 无赋值调用（表达式语句，outputs 为空且无 receiver）\n  if (stmt.outputs.length === 0) {\n    return `      await ${nsExpr}.${stmt.callee}(${callArgs})`\n  }\n\n  // 4) 普通赋值（单输出）\n  return `      ctx.${stmt.outputs[0]} = await ${nsExpr}.${stmt.callee}(${callArgs})`\n}\n\n// ── 主编译函数 ──\n\n/**\n * 把 ScriptIR 编译为零 import ESM 模块文本 + 语句元数据。\n *\n * 同一份 ScriptIR 编译结果确定（StmtId 按语句顺序稳定分配）。\n */\n/**\n * Compile a validated ScriptIR into a zero-import ESM module text plus parallel\n * statement metadata. The output of compiling the same ScriptIR is\n * deterministic (StmtIds are assigned stably in statement order).\n * @param script - the validated ScriptIR to compile.\n * @returns the compiled module code and its statement metadata.\n */\nexport function compileToModule(script: ScriptIR): CompiledModule {\n  useExprEvalGuard = false\n  const metas: CompiledStatementMeta[] = []\n  const varToStmtId = new Map<string, StmtId>()\n  // 本机函数名 → 形参表（ABI 发射：位置实参占前 M 位，args 键按形参名补剩余位）\n  const localParams = new Map<string, string[]>()\n  for (const fn of script.functions ?? []) localParams.set(fn.name, fn.params)\n\n  // 1. 参数语句（s1..sK）\n  script.params.forEach((p, i) => {\n    const id = asStmtId(`s${i + 1}`)\n    metas.push({ id, deps: [], writes: [p.name] })\n    varToStmtId.set(p.name, id)\n  })\n\n  // 2. 脚本语句（s(K+1)..s(K+N)，Phase 3: id 即 sN）\n  //    顺序处理：先算 deps（用已有 varToStmtId），再写 varToStmtId，\n  //    这样单入单出复用名的变量能正确解析到上游定义语句（而非自己）。\n  script.statements.forEach((stmt, i) => {\n    const id = stmt.id\n    // A11 消灭：writes = outputs（无赋值语句 outputs 本来就是 []，机械写法天然正确）\n    const writes = stmt.outputs\n    // 先算 deps（用已有 varToStmtId，此时还未被本语句的 writes 覆盖）\n    const deps = new Set<StmtId>()\n    for (const ref of getStatementRefs(stmt)) {\n      const depId = varToStmtId.get(ref)\n      if (depId) deps.add(depId)\n    }\n    metas.push({ id, deps: [...deps], writes, sourceIndex: i })\n    // 再写 varToStmtId（后续语句引用本语句的输出时能找到）\n    for (const w of writes) varToStmtId.set(w, id)\n  })\n\n  // 4. 生成模块文本\n  const bodyLines: string[] = []\n  let stmtCursor = 0\n  for (const meta of metas) {\n    let fnBody: string\n    if (meta.sourceIndex === undefined) {\n      // 参数语句：ctx.<name> = <literal>\n      const p = script.params[stmtCursor]\n      fnBody = `      ctx.${p.name} = ${fmtJsonValue(p.value as JsonValue)}`\n    } else {\n      fnBody = buildStatementFnBody(script.statements[meta.sourceIndex], localParams)\n    }\n    stmtCursor++\n    const depsStr = meta.deps.length > 0 ? meta.deps.map((d) => `'${d}'`).join(', ') : ''\n    bodyLines.push(`  { id: '${meta.id}', deps: [${depsStr}],`)\n    bodyLines.push(`    fn: async (ctx, ns) => {`)\n    bodyLines.push(fnBody)\n    bodyLines.push(`    } },`)\n  }\n\n  // 5. 本机函数段（§5.1 / §5.2，ABI 方案 A / D7）：\n  //    包装器 = `async function <name>(__ctx, __ns, <用户形参按名>) { <命名空间绑定> <用户函数体原文> }`。\n  //    命名空间绑定：`const cad = __ns.cad` + 每个顶层 import 绑定名（函数体内裸 cad./mech. 可解析）。\n  //    函数体原文嵌入（语法门禁后，P3/P5）；不注入 ctx / 兄弟函数名（D10 禁体内本机调用）。\n  const fnLines: string[] = []\n  for (const fn of script.functions ?? []) {\n    const bindNames = new Set<string>(['cad'])\n    for (const imp of script.imports ?? []) {\n      bindNames.add(imp.localName)\n      for (const b of imp.bindings ?? []) bindNames.add(b)\n    }\n    const binds = [...bindNames].map((n) => `  const ${n} = __ns.${n}`).join('\\n')\n    const params = fn.params.length > 0 ? `, ${fn.params.join(', ')}` : ''\n    fnLines.push(`async function ${fn.name}(__ctx, __ns${params}) {`)\n    fnLines.push(binds)\n    fnLines.push(fn.body)\n    fnLines.push('}')\n  }\n  const localFnsExport =\n    (script.functions ?? []).length > 0\n      ? `export const localFns = { ${(script.functions ?? []).map((f) => f.name).join(', ')} }\\n`\n      : ''\n  const fnSection = fnLines.length > 0 ? `${fnLines.join('\\n')}\\n` : ''\n  // D4：发射过 ExprIR 时内联表达式求值错误标记类（零 import；ModuleExecutor 据此包装 E_EXPR）\n  const exprClassSection = useExprEvalGuard ? `${EXPR_EVAL_ERROR_CLASS}\\n` : ''\n\n  const code = `${exprClassSection}${fnSection}${localFnsExport}export const statements = [\\n${bodyLines.join('\\n')}\\n]\\n`\n  return { code, statements: metas }\n}\n"]}

package/dist/lang/keep.d.ts

@@ -1,109 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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"}