@faicad/faijs 0.13.0

package/dist/lang/compile.js

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

@@ -0,0 +1 @@
+{"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/expr-validate.d.ts

@@ -0,0 +1,41 @@
+/**
+ * expr-validate — 宿主实时表达式反馈层（Timeline 参数表达式编辑，P0-C）
+ *
+ * 只回答「这段表达式文本在当前脚本里是否合法」，不做参数/变量的精确分类：
+ * - 语法：acorn 单表达式解析；
+ * - 结构：白名单判定（复用执行侧同一套 isExprWhitelist）；
+ * - 引用：表达式里每个 Identifier 必须命中 knownNames（命名空间成员表达式对象如
+ *   cfg.OUTX 的 cfg 同样按命中处理），否则 E_REFERENCE。
+ *
+ * 名字判定与提取侧共用同一份实现（isExprWhitelist / collectExprIdentifiers），
+ * knownNames 全量塞进轻量符号表的 paramNames / declared（不区分分类、仅判定存在性）
+ * ——这是唯一的语义放宽点，见 plans/2026-09-08-timeline-param-expression-editing.md
+ * §3.4.1。提交时以 editArgSource 的真实符号表结果为准。
+ */
+/**
+ * 实时表达式校验的输入：单个表达式文本 + 当前脚本的已知名字白名单。
+ * 宿主从 UiMetadata.names 提取 knownNames 后调用 validateExpression。
+ */
+export interface ExprValidateInput {
+    /** 待校验的表达式文本（不含语句上下文，单表达式） */
+    text: string;
+    /** 已知名字白名单（参数名 ∪ 变量名 ∪ 命名空间名）；宿主从 UiMetadata.names 取 */
+    knownNames: string[];
+}
+/** 表达式校验结果：通过，或返回错误码与原因（E_SYNTAX/E_REFERENCE/E_VALUE）。 */
+export type ExprValidateResult = {
+    ok: true;
+} | {
+    ok: false;
+    code: 'E_SYNTAX' | 'E_REFERENCE' | 'E_VALUE';
+    message: string;
+    line?: number;
+};
+/**
+ * 校验单条表达式文本在当前已知名字环境下是否合法（语法 + 白名单 + 引用存在性）。
+ * 不抛异常：一切失败路径都折叠进结构化结果，宿主毋需 try/catch。
+ * @param input 表达式文本 + 已知名字白名单（见 ExprValidateInput）。
+ * @returns 通过（ok）或失败（错误码 / 原因 / 可选行号）。
+ */
+export declare function validateExpression(input: ExprValidateInput): ExprValidateResult;
+//# sourceMappingURL=expr-validate.d.ts.map

package/dist/lang/expr-validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr-validate.d.ts","sourceRoot":"","sources":["../../src/lang/expr-validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AASH;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,8BAA8B;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,wDAAwD;IACxD,UAAU,EAAE,MAAM,EAAE,CAAA;CACrB;AAED,0DAA0D;AAC1D,MAAM,MAAM,kBAAkB,GAC1B;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GACZ;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,UAAU,GAAG,aAAa,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAyC/F;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,iBAAiB,GAAG,kBAAkB,CAmC/E"}

package/dist/lang/expr-validate.js

@@ -0,0 +1,96 @@
+/**
+ * expr-validate — 宿主实时表达式反馈层（Timeline 参数表达式编辑，P0-C）
+ *
+ * 只回答「这段表达式文本在当前脚本里是否合法」，不做参数/变量的精确分类：
+ * - 语法：acorn 单表达式解析；
+ * - 结构：白名单判定（复用执行侧同一套 isExprWhitelist）；
+ * - 引用：表达式里每个 Identifier 必须命中 knownNames（命名空间成员表达式对象如
+ *   cfg.OUTX 的 cfg 同样按命中处理），否则 E_REFERENCE。
+ *
+ * 名字判定与提取侧共用同一份实现（isExprWhitelist / collectExprIdentifiers），
+ * knownNames 全量塞进轻量符号表的 paramNames / declared（不区分分类、仅判定存在性）
+ * ——这是唯一的语义放宽点，见 plans/2026-09-08-timeline-param-expression-editing.md
+ * §3.4.1。提交时以 editArgSource 的真实符号表结果为准。
+ */
+import { parse as acornParse } from 'acorn';
+import { collectExprIdentifiers, isExprWhitelist } from './metadata-extractor.js';
+import { ParseError } from './parse-error.js';
+/** 把 knownNames 全量塞进 paramNames/declared 的「仅判定存在性」轻量符号表。 */
+function buildNameExistenceTable(knownNames) {
+    return {
+        paramNames: new Set(knownNames),
+        paramValues: new Map(),
+        declared: new Set(knownNames),
+        nsBindings: new Map(),
+        localFnParams: new Map(),
+        defaultNsName: 'cad',
+        keep: new Map(),
+    };
+}
+/** acorn 单表达式解析（文本以括号包裹，避免对象字面量被当成块/语句解析）。 */
+function parseSingleExpression(text) {
+    const wrapped = `(${text})`;
+    let program;
+    try {
+        program = acornParse(wrapped, {
+            ecmaVersion: 'latest',
+            sourceType: 'script',
+            locations: true,
+            ranges: true,
+        });
+    }
+    catch (e) {
+        const message = e instanceof Error ? e.message : String(e);
+        const line = e?.loc?.line ?? 1;
+        throw new ParseError(`SyntaxError: ${message}`, line, 'E_SYNTAX');
+    }
+    if (program.body.length !== 1 || program.body[0].type !== 'ExpressionStatement' || !program.body[0].expression) {
+        throw new ParseError(`expected a single expression, got ${program.body.length} statement(s)`, 1, 'E_SYNTAX');
+    }
+    return program.body[0].expression;
+}
+/**
+ * 校验单条表达式文本在当前已知名字环境下是否合法（语法 + 白名单 + 引用存在性）。
+ * 不抛异常：一切失败路径都折叠进结构化结果，宿主毋需 try/catch。
+ * @param input 表达式文本 + 已知名字白名单（见 ExprValidateInput）。
+ * @returns 通过（ok）或失败（错误码 / 原因 / 可选行号）。
+ */
+export function validateExpression(input) {
+    const text = typeof input?.text === 'string' ? input.text : '';
+    const knownNames = Array.isArray(input?.knownNames) ? input.knownNames : [];
+    if (text.trim() === '') {
+        return { ok: false, code: 'E_SYNTAX', message: 'empty expression' };
+    }
+    let node;
+    try {
+        node = parseSingleExpression(text);
+    }
+    catch (e) {
+        if (e instanceof ParseError) {
+            return { ok: false, code: 'E_SYNTAX', message: e.message, line: e.line };
+        }
+        throw e;
+    }
+    if (!isExprWhitelist(node)) {
+        return {
+            ok: false,
+            code: 'E_VALUE',
+            message: `expression is not in the editable whitelist (${node?.type ?? 'node'})`,
+            line: node?.loc?.start?.line ?? 1,
+        };
+    }
+    const table = buildNameExistenceTable(knownNames);
+    const params = new Set();
+    const refs = new Set();
+    try {
+        collectExprIdentifiers(node, table, node?.loc?.start?.line ?? 1, params, refs);
+    }
+    catch (e) {
+        if (e instanceof ParseError) {
+            return { ok: false, code: 'E_REFERENCE', message: e.message, line: e.line };
+        }
+        throw e;
+    }
+    return { ok: true };
+}
+//# sourceMappingURL=expr-validate.js.map

package/dist/lang/expr-validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr-validate.js","sourceRoot":"","sources":["../../src/lang/expr-validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,KAAK,IAAI,UAAU,EAAE,MAAM,OAAO,CAAA;AAC3C,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAA;AAE9E,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAoB1C,4DAA4D;AAC5D,SAAS,uBAAuB,CAAC,UAA6B;IAC5D,OAAO;QACL,UAAU,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC;QAC/B,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,QAAQ,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC;QAC7B,UAAU,EAAE,IAAI,GAAG,EAAE;QACrB,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,aAAa,EAAE,KAAK;QACpB,IAAI,EAAE,IAAI,GAAG,EAAE;KAChB,CAAA;AACH,CAAC;AAED,8CAA8C;AAC9C,SAAS,qBAAqB,CAAC,IAAY;IACzC,MAAM,OAAO,GAAG,IAAI,IAAI,GAAG,CAAA;IAC3B,IAAI,OAAgE,CAAA;IACpE,IAAI,CAAC;QACH,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE;YAC5B,WAAW,EAAE,QAAQ;YACrB,UAAU,EAAE,QAAQ;YACpB,SAAS,EAAE,IAAI;YACf,MAAM,EAAE,IAAI;SACb,CAAuE,CAAA;IAC1E,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QAC1D,MAAM,IAAI,GAAI,CAA6C,EAAE,GAAG,EAAE,IAAI,IAAI,CAAC,CAAA;QAC3E,MAAM,IAAI,UAAU,CAAC,gBAAgB,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,CAAA;IACnE,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAC/G,MAAM,IAAI,UAAU,CAClB,qCAAqC,OAAO,CAAC,IAAI,CAAC,MAAM,eAAe,EACvE,CAAC,EACD,UAAU,CACX,CAAA;IACH,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAA;AACnC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAwB;IACzD,MAAM,IAAI,GAAG,OAAO,KAAK,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IAC9D,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAA;IAC3E,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAA;IACrE,CAAC;IACD,IAAI,IAAa,CAAA;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAA;IACpC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;YAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;QAC1E,CAAC;QACD,MAAM,CAAC,CAAA;IACT,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,gDAAgD,IAAI,EAAE,IAAI,IAAI,MAAM,GAAG;YAChF,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC;SAClC,CAAA;IACH,CAAC;IACD,MAAM,KAAK,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAA;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,IAAI,CAAC;QACH,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;IAChF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;YAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;QAC7E,CAAC;QACD,MAAM,CAAC,CAAA;IACT,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;AACrB,CAAC","sourcesContent":["/**\n * expr-validate — 宿主实时表达式反馈层（Timeline 参数表达式编辑，P0-C）\n *\n * 只回答「这段表达式文本在当前脚本里是否合法」，不做参数/变量的精确分类：\n * - 语法：acorn 单表达式解析；\n * - 结构：白名单判定（复用执行侧同一套 isExprWhitelist）；\n * - 引用：表达式里每个 Identifier 必须命中 knownNames（命名空间成员表达式对象如\n *   cfg.OUTX 的 cfg 同样按命中处理），否则 E_REFERENCE。\n *\n * 名字判定与提取侧共用同一份实现（isExprWhitelist / collectExprIdentifiers），\n * knownNames 全量塞进轻量符号表的 paramNames / declared（不区分分类、仅判定存在性）\n * ——这是唯一的语义放宽点，见 plans/2026-09-08-timeline-param-expression-editing.md\n * §3.4.1。提交时以 editArgSource 的真实符号表结果为准。\n */\n\nimport { parse as acornParse } from 'acorn'\nimport { collectExprIdentifiers, isExprWhitelist } from './metadata-extractor'\nimport type { SymbolTable } from './metadata-extractor'\nimport { ParseError } from './parse-error'\n\ntype ASTNode = any\n\n/**\n * 实时表达式校验的输入：单个表达式文本 + 当前脚本的已知名字白名单。\n * 宿主从 UiMetadata.names 提取 knownNames 后调用 validateExpression。\n */\nexport interface ExprValidateInput {\n  /** 待校验的表达式文本（不含语句上下文，单表达式） */\n  text: string\n  /** 已知名字白名单（参数名 ∪ 变量名 ∪ 命名空间名）；宿主从 UiMetadata.names 取 */\n  knownNames: string[]\n}\n\n/** 表达式校验结果：通过，或返回错误码与原因（E_SYNTAX/E_REFERENCE/E_VALUE）。 */\nexport type ExprValidateResult =\n  | { ok: true }\n  | { ok: false; code: 'E_SYNTAX' | 'E_REFERENCE' | 'E_VALUE'; message: string; line?: number }\n\n/** 把 knownNames 全量塞进 paramNames/declared 的「仅判定存在性」轻量符号表。 */\nfunction buildNameExistenceTable(knownNames: readonly string[]): SymbolTable {\n  return {\n    paramNames: new Set(knownNames),\n    paramValues: new Map(),\n    declared: new Set(knownNames),\n    nsBindings: new Map(),\n    localFnParams: new Map(),\n    defaultNsName: 'cad',\n    keep: new Map(),\n  }\n}\n\n/** acorn 单表达式解析（文本以括号包裹，避免对象字面量被当成块/语句解析）。 */\nfunction parseSingleExpression(text: string): ASTNode {\n  const wrapped = `(${text})`\n  let program: { body: Array<{ type: string; expression?: ASTNode }> }\n  try {\n    program = acornParse(wrapped, {\n      ecmaVersion: 'latest',\n      sourceType: 'script',\n      locations: true,\n      ranges: true,\n    }) as unknown as { body: Array<{ type: string; expression?: ASTNode }> }\n  } catch (e) {\n    const message = e instanceof Error ? e.message : String(e)\n    const line = (e as { loc?: { line?: number } } | undefined)?.loc?.line ?? 1\n    throw new ParseError(`SyntaxError: ${message}`, line, 'E_SYNTAX')\n  }\n  if (program.body.length !== 1 || program.body[0].type !== 'ExpressionStatement' || !program.body[0].expression) {\n    throw new ParseError(\n      `expected a single expression, got ${program.body.length} statement(s)`,\n      1,\n      'E_SYNTAX',\n    )\n  }\n  return program.body[0].expression\n}\n\n/**\n * 校验单条表达式文本在当前已知名字环境下是否合法（语法 + 白名单 + 引用存在性）。\n * 不抛异常：一切失败路径都折叠进结构化结果，宿主毋需 try/catch。\n * @param input 表达式文本 + 已知名字白名单（见 ExprValidateInput）。\n * @returns 通过（ok）或失败（错误码 / 原因 / 可选行号）。\n */\nexport function validateExpression(input: ExprValidateInput): ExprValidateResult {\n  const text = typeof input?.text === 'string' ? input.text : ''\n  const knownNames = Array.isArray(input?.knownNames) ? input.knownNames : []\n  if (text.trim() === '') {\n    return { ok: false, code: 'E_SYNTAX', message: 'empty expression' }\n  }\n  let node: ASTNode\n  try {\n    node = parseSingleExpression(text)\n  } catch (e) {\n    if (e instanceof ParseError) {\n      return { ok: false, code: 'E_SYNTAX', message: e.message, line: e.line }\n    }\n    throw e\n  }\n  if (!isExprWhitelist(node)) {\n    return {\n      ok: false,\n      code: 'E_VALUE',\n      message: `expression is not in the editable whitelist (${node?.type ?? 'node'})`,\n      line: node?.loc?.start?.line ?? 1,\n    }\n  }\n  const table = buildNameExistenceTable(knownNames)\n  const params = new Set<string>()\n  const refs = new Set<string>()\n  try {\n    collectExprIdentifiers(node, table, node?.loc?.start?.line ?? 1, params, refs)\n  } catch (e) {\n    if (e instanceof ParseError) {\n      return { ok: false, code: 'E_REFERENCE', message: e.message, line: e.line }\n    }\n    throw e\n  }\n  return { ok: true }\n}"]}

package/dist/lang/fnv-hash.d.ts

@@ -0,0 +1,13 @@
+/**
+ * fnv-hash — FNV-1a 32-bit 十六进制哈希（L0 零依赖；bodyHash 内容寻址用）
+ *
+ * 与 parser.ts 的 fnv1a32 同算法（无 IR 方案下由 metadata-extractor 复用；
+ * 增量失效无需抗碰撞）。
+ */
+/**
+ * FNV-1a 32-bit 十六进制哈希。
+ * @param text - 待哈希的输入文本。
+ * @returns 8 位小写十六进制串（0-pad；增量失效内容寻址用，无抗碰撞要求）。
+ */
+export declare function fnv1a32(text: string): string;
+//# sourceMappingURL=fnv-hash.d.ts.map

package/dist/lang/fnv-hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fnv-hash.d.ts","sourceRoot":"","sources":["../../src/lang/fnv-hash.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAO5C"}

package/dist/lang/fnv-hash.js

@@ -0,0 +1,20 @@
+/**
+ * fnv-hash — FNV-1a 32-bit 十六进制哈希（L0 零依赖；bodyHash 内容寻址用）
+ *
+ * 与 parser.ts 的 fnv1a32 同算法（无 IR 方案下由 metadata-extractor 复用；
+ * 增量失效无需抗碰撞）。
+ */
+/**
+ * FNV-1a 32-bit 十六进制哈希。
+ * @param text - 待哈希的输入文本。
+ * @returns 8 位小写十六进制串（0-pad；增量失效内容寻址用，无抗碰撞要求）。
+ */
+export function fnv1a32(text) {
+    let h = 0x811c9dc5;
+    for (let i = 0; i < text.length; i++) {
+        h ^= text.charCodeAt(i);
+        h = (h * 0x01000193) >>> 0;
+    }
+    return h.toString(16).padStart(8, '0');
+}
+//# sourceMappingURL=fnv-hash.js.map

package/dist/lang/fnv-hash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fnv-hash.js","sourceRoot":"","sources":["../../src/lang/fnv-hash.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,IAAI,CAAC,GAAG,UAAU,CAAA;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;QACvB,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAC5B,CAAC;IACD,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACxC,CAAC","sourcesContent":["/**\n * fnv-hash — FNV-1a 32-bit 十六进制哈希（L0 零依赖；bodyHash 内容寻址用）\n *\n * 与 parser.ts 的 fnv1a32 同算法（无 IR 方案下由 metadata-extractor 复用；\n * 增量失效无需抗碰撞）。\n */\n\n/**\n * FNV-1a 32-bit 十六进制哈希。\n * @param text - 待哈希的输入文本。\n * @returns 8 位小写十六进制串（0-pad；增量失效内容寻址用，无抗碰撞要求）。\n */\nexport function fnv1a32(text: string): string {\n  let h = 0x811c9dc5\n  for (let i = 0; i < text.length; i++) {\n    h ^= text.charCodeAt(i)\n    h = (h * 0x01000193) >>> 0\n  }\n  return h.toString(16).padStart(8, '0')\n}\n"]}