@aster-cloud/aster-lang-ts 0.0.1

package/dist/scripts/scaffold.js

@@ -0,0 +1,73 @@
+#!/usr/bin/env node
+import * as fs from 'node:fs';
+import * as path from 'node:path';
+function ensureDir(dir) {
+    fs.mkdirSync(dir, { recursive: true });
+}
+function writeFile(p, content) {
+    fs.writeFileSync(p, content, { encoding: 'utf8', flag: 'wx' });
+}
+function main() {
+    const target = process.argv[2];
+    if (!target) {
+        console.error('Usage: node --loader ts-node/esm scripts/scaffold.ts <dir>');
+        process.exit(2);
+    }
+    const root = path.resolve(process.cwd(), target);
+    const cnlDir = path.join(root, 'cnl');
+    const readme = path.join(root, 'README.md');
+    const mainCnl = path.join(cnlDir, 'main.aster');
+    if (fs.existsSync(root)) {
+        console.error('Refusing to overwrite existing directory:', root);
+        process.exit(3);
+    }
+    ensureDir(cnlDir);
+    const cnl = `This module is app.
+
+Define a User with id: Text and name: Text.
+
+To hello, produce Text:
+  Return "Hello, world".
+
+To greet user: maybe User, produce Text:
+  Match user:
+    When null, Return "Hi, guest".
+    When User(id, name), Return "Welcome, {name}".
+`;
+    const guide = `# Aster Project Scaffold
+
+This folder was created by Aster's scaffold tool. It contains a minimal CNL program at \`test/cnl/main.aster\`.
+
+## Files
+
+- \`test/cnl/main.aster\` — demo module with \`hello\` and \`greet\`.
+
+## Try It (from aster-lang repo root)
+
+1) Build the compiler once:
+
+   npm run build
+
+2) Parse to AST:
+
+   node dist/scripts/cli.js ${path.relative(process.cwd(), mainCnl)}
+
+3) Emit Core IR:
+
+   node dist/scripts/emit-core.js ${path.relative(process.cwd(), mainCnl)}
+
+4) Emit JVM class files and create a jar:
+
+   node dist/scripts/emit-classfiles.js ${path.relative(process.cwd(), mainCnl)}
+   node --loader ts-node/esm scripts/jar-jvm.ts
+
+The generated jar is written to \`build/aster-out/aster.jar\`. You can attach it to the example Gradle apps under \`examples/*\` (they already depend on that jar).
+
+`;
+    writeFile(mainCnl, cnl);
+    writeFile(readme, guide);
+    console.log('Scaffolded Aster project at', root);
+    console.log('Next: open', path.relative(process.cwd(), mainCnl));
+}
+main();
+//# sourceMappingURL=scaffold.js.map

package/dist/scripts/scaffold.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scaffold.js","sourceRoot":"","sources":["../../scripts/scaffold.ts"],"names":[],"mappings":";AACA,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,SAAS,SAAS,CAAC,GAAW;IAC5B,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,SAAS,CAAC,CAAS,EAAE,OAAe;IAC3C,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,IAAI;IACX,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,CAAC,KAAK,CAAC,4DAA4D,CAAC,CAAC;QAC5E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAEhD,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,KAAK,CAAC,2CAA2C,EAAE,IAAI,CAAC,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,SAAS,CAAC,MAAM,CAAC,CAAC;IAElB,MAAM,GAAG,GAAG;;;;;;;;;;;CAWb,CAAC;IAEA,MAAM,KAAK,GAAG;;;;;;;;;;;;;;;;8BAgBc,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC;;;;oCAI/B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC;;;;0CAI/B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC;;;;;CAK9E,CAAC;IAEA,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACxB,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAEzB,OAAO,CAAC,GAAG,CAAC,6BAA6B,EAAE,IAAI,CAAC,CAAC;IACjD,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/scripts/seed-method-cache.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=seed-method-cache.d.ts.map

package/dist/scripts/seed-method-cache.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"seed-method-cache.d.ts","sourceRoot":"","sources":["../../scripts/seed-method-cache.ts"],"names":[],"mappings":""}

package/dist/scripts/seed-method-cache.js

@@ -0,0 +1,37 @@
+#!/usr/bin/env node
+import fs from 'node:fs';
+import path from 'node:path';
+import cp from 'node:child_process';
+function main() {
+    const mod = {
+        kind: 'Module',
+        name: 'seed.cache',
+        decls: [
+            // Interop.sum with I,J,D
+            { kind: 'Func', name: 'sumI', params: [], ret: { kind: 'TypeName', name: 'Text' }, effects: [], body: { kind: 'Block', statements: [{ kind: 'Return', expr: { kind: 'Call', target: { kind: 'Name', name: 'aster.runtime.Interop.sum' }, args: [{ kind: 'Int', value: 1 }, { kind: 'Int', value: 2 }] } }] } },
+            { kind: 'Func', name: 'sumJ', params: [], ret: { kind: 'TypeName', name: 'Text' }, effects: [], body: { kind: 'Block', statements: [{ kind: 'Return', expr: { kind: 'Call', target: { kind: 'Name', name: 'aster.runtime.Interop.sum' }, args: [{ kind: 'Long', value: '1' }, { kind: 'Long', value: '2' }] } }] } },
+            { kind: 'Func', name: 'sumD', params: [], ret: { kind: 'TypeName', name: 'Text' }, effects: [], body: { kind: 'Block', statements: [{ kind: 'Return', expr: { kind: 'Call', target: { kind: 'Name', name: 'aster.runtime.Interop.sum' }, args: [{ kind: 'Double', value: 1.0 }, { kind: 'Double', value: 2.0 }] } }] } },
+            // Interop.pick with common overloads
+            { kind: 'Func', name: 'pickI', params: [], ret: { kind: 'TypeName', name: 'Text' }, effects: [], body: { kind: 'Block', statements: [{ kind: 'Return', expr: { kind: 'Call', target: { kind: 'Name', name: 'aster.runtime.Interop.pick' }, args: [{ kind: 'Int', value: 1 }] } }] } },
+            { kind: 'Func', name: 'pickZ', params: [], ret: { kind: 'TypeName', name: 'Text' }, effects: [], body: { kind: 'Block', statements: [{ kind: 'Return', expr: { kind: 'Call', target: { kind: 'Name', name: 'aster.runtime.Interop.pick' }, args: [{ kind: 'Bool', value: true }] } }] } },
+            { kind: 'Func', name: 'pickS', params: [], ret: { kind: 'TypeName', name: 'Text' }, effects: [], body: { kind: 'Block', statements: [{ kind: 'Return', expr: { kind: 'Call', target: { kind: 'Name', name: 'aster.runtime.Interop.pick' }, args: [{ kind: 'String', value: 'x' }] } }] } },
+            { kind: 'Func', name: 'pickObj', params: [], ret: { kind: 'TypeName', name: 'Text' }, effects: [], body: { kind: 'Block', statements: [{ kind: 'Return', expr: { kind: 'Call', target: { kind: 'Name', name: 'aster.runtime.Interop.pick' }, args: [{ kind: 'Null' }] } }] } }
+        ]
+    };
+    fs.mkdirSync('build/.asteri', { recursive: true });
+    const tmp = path.resolve('build/.asteri/seed-methods.core.json');
+    fs.writeFileSync(tmp, JSON.stringify(mod));
+    const r = cp.spawnSync(process.execPath, ['dist/scripts/emit-classfiles-core.js', tmp], {
+        stdio: 'inherit',
+        env: { ...process.env, ASTER_ROOT: process.cwd() },
+    });
+    if (r.status !== 0) {
+        console.error('Method cache seed failed');
+        process.exit(1);
+    }
+    else {
+        console.log('Method cache seeded. Inspect with: npm run cache:inspect:methods');
+    }
+}
+main();
+//# sourceMappingURL=seed-method-cache.js.map

package/dist/scripts/seed-method-cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"seed-method-cache.js","sourceRoot":"","sources":["../../scripts/seed-method-cache.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAEpC,SAAS,IAAI;IACX,MAAM,GAAG,GAAG;QACV,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE;YACL,yBAAyB;YACzB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,2BAA2B,EAAE,EAAE,IAAI,EAAE,CAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAE,EAAE,EAAE,CAAE,EAAE,EAAE;YAClT,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,2BAA2B,EAAE,EAAE,IAAI,EAAE,CAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAE,EAAE,EAAE,CAAE,EAAE,EAAE;YACxT,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,2BAA2B,EAAE,EAAE,IAAI,EAAE,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAE,EAAE,EAAE,CAAE,EAAE,EAAE;YAC5T,qCAAqC;YACrC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,4BAA4B,EAAE,EAAE,IAAI,EAAE,CAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAE,EAAE,EAAE,CAAE,EAAE,EAAE;YACzR,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,4BAA4B,EAAE,EAAE,IAAI,EAAE,CAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAE,EAAE,EAAE,CAAE,EAAE,EAAE;YAC7R,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,4BAA4B,EAAE,EAAE,IAAI,EAAE,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAE,EAAE,EAAE,CAAE,EAAE,EAAE;YAC9R,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,4BAA4B,EAAE,EAAE,IAAI,EAAE,CAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAE,EAAE,EAAE,CAAE,EAAE,EAAE;SACnR;KACO,CAAC;IAEX,EAAE,CAAC,SAAS,CAAC,eAAe,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,sCAAsC,CAAC,CAAC;IACjE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IAE3C,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,sCAAsC,EAAE,GAAG,CAAC,EAAE;QACtF,KAAK,EAAE,SAAS;QAChB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE;KACnD,CAAC,CAAC;IACH,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC1C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,kEAAkE,CAAC,CAAC;IAClF,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/scripts/test-comments-golden.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=test-comments-golden.d.ts.map

package/dist/scripts/test-comments-golden.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-comments-golden.d.ts","sourceRoot":"","sources":["../../scripts/test-comments-golden.ts"],"names":[],"mappings":""}

package/dist/scripts/test-comments-golden.js

@@ -0,0 +1,36 @@
+#!/usr/bin/env node
+import fs from 'node:fs';
+import path from 'node:path';
+import { formatCNL } from '../src/formatter.js';
+function norm(s) {
+    return s.replace(/\r\n/g, '\n').replace(/\s+$/g, '');
+}
+function main() {
+    const dir = path.join(process.cwd(), 'test', 'comments', 'golden');
+    const files = fs.existsSync(dir) ? fs.readdirSync(dir).filter(f => f.endsWith('.in.aster')) : [];
+    let ok = 0;
+    let fail = 0;
+    for (const f of files) {
+        const inPath = path.join(dir, f);
+        const outPath = path.join(dir, f.replace(/\.in\.aster$/, '.out.aster'));
+        const src = fs.readFileSync(inPath, 'utf8');
+        const expected = fs.readFileSync(outPath, 'utf8');
+        const includeStandalone = !/should not be preserved/.test(src);
+        const formatted = formatCNL(src, { mode: 'normalize', preserveComments: true, preserveStandaloneComments: includeStandalone });
+        if (norm(formatted) !== norm(expected)) {
+            console.error(`[comments] mismatch for ${f}`);
+            console.error('--- Got ---');
+            process.stdout.write(formatted);
+            console.error('--- Expected ---');
+            process.stdout.write(expected);
+            fail++;
+            continue;
+        }
+        ok++;
+    }
+    console.log(`Comments golden: ${ok} OK, ${fail} failed.`);
+    if (fail > 0)
+        process.exit(1);
+}
+main();
+//# sourceMappingURL=test-comments-golden.js.map

package/dist/scripts/test-comments-golden.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-comments-golden.js","sourceRoot":"","sources":["../../scripts/test-comments-golden.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAEhD,SAAS,IAAI,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,IAAI;IACX,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjG,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;QACxE,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,iBAAiB,GAAG,CAAC,yBAAyB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/D,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,gBAAgB,EAAE,IAAI,EAAE,0BAA0B,EAAE,iBAAiB,EAAE,CAAC,CAAC;QAC/H,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,OAAO,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC,CAAC;YAC9C,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YAC7B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAChC,OAAO,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YAClC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC/B,IAAI,EAAE,CAAC;YACP,SAAS;QACX,CAAC;QACD,EAAE,EAAE,CAAC;IACP,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,QAAQ,IAAI,UAAU,CAAC,CAAC;IAC1D,IAAI,IAAI,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAChC,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/scripts/test-lossless-golden.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=test-lossless-golden.d.ts.map

package/dist/scripts/test-lossless-golden.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-lossless-golden.d.ts","sourceRoot":"","sources":["../../scripts/test-lossless-golden.ts"],"names":[],"mappings":""}

package/dist/scripts/test-lossless-golden.js

@@ -0,0 +1,42 @@
+#!/usr/bin/env node
+import fs from 'node:fs';
+import path from 'node:path';
+import { formatCNL } from '../src/formatter.js';
+function main() {
+    const dir = path.join(process.cwd(), 'test', 'lossless', 'golden');
+    const files = fs.readdirSync(dir).filter(f => f.endsWith('.in.aster'));
+    let ok = 0;
+    let fail = 0;
+    for (const f of files) {
+        const inPath = path.join(dir, f);
+        const outPath = path.join(dir, f.replace(/\.in\.aster$/, '.out.aster'));
+        const src = fs.readFileSync(inPath, 'utf8');
+        const haveOut = fs.existsSync(outPath);
+        const lossless = formatCNL(src, { mode: 'lossless' });
+        if (lossless !== src) {
+            console.error(`[lossless] identity failed: ${path.relative(process.cwd(), inPath)}`);
+            fail++;
+            continue;
+        }
+        if (haveOut) {
+            const expected = fs.readFileSync(outPath, 'utf8');
+            const reflowed = formatCNL(src, { mode: 'lossless', reflow: true });
+            const norm = (s) => s.replace(/\r\n/g, '\n').replace(/\s+$/g, '');
+            if (norm(reflowed) !== norm(expected)) {
+                console.error(`[reflow] mismatch for ${f}`);
+                console.error('--- Got ---');
+                process.stdout.write(reflowed);
+                console.error('--- Expected ---');
+                process.stdout.write(expected);
+                fail++;
+                continue;
+            }
+        }
+        ok++;
+    }
+    console.log(`Lossless golden: ${ok} OK, ${fail} failed.`);
+    if (fail > 0)
+        process.exit(1);
+}
+main();
+//# sourceMappingURL=test-lossless-golden.js.map

package/dist/scripts/test-lossless-golden.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-lossless-golden.js","sourceRoot":"","sources":["../../scripts/test-lossless-golden.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAEhD,SAAS,IAAI;IACX,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;IACvE,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;QACxE,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACtD,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;YACrB,OAAO,CAAC,KAAK,CAAC,+BAA+B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;YACrF,IAAI,EAAE,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACpE,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAClF,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,EAAE,CAAC,CAAC;gBAC5C,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gBAC7B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC/B,OAAO,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;gBAClC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC/B,IAAI,EAAE,CAAC;gBACP,SAAS;YACX,CAAC;QACH,CAAC;QACD,EAAE,EAAE,CAAC;IACP,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,QAAQ,IAAI,UAAU,CAAC,CAAC;IAC1D,IAAI,IAAI,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAChC,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/scripts/test-lossless.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=test-lossless.d.ts.map

package/dist/scripts/test-lossless.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-lossless.d.ts","sourceRoot":"","sources":["../../scripts/test-lossless.ts"],"names":[],"mappings":""}

package/dist/scripts/test-lossless.js

@@ -0,0 +1,26 @@
+#!/usr/bin/env node
+import fs from 'node:fs';
+import path from 'node:path';
+import { formatCNL } from '../src/formatter.js';
+function main() {
+    const dir = path.join(process.cwd(), 'test/cnl', 'programs');
+    const files = fs.readdirSync(dir).filter(f => f.endsWith('.aster')).map(f => path.join(dir, f));
+    let ok = 0;
+    let changed = 0;
+    for (const file of files) {
+        const src = fs.readFileSync(file, 'utf8');
+        const out = formatCNL(src, { mode: 'lossless' });
+        if (out !== src) {
+            console.error(`[lossless] Mismatch: ${path.relative(process.cwd(), file)}`);
+            changed++;
+        }
+        else {
+            ok++;
+        }
+    }
+    console.log(`Lossless check: ${ok} OK, ${changed} changed.`);
+    if (changed > 0)
+        process.exit(1);
+}
+main();
+//# sourceMappingURL=test-lossless.js.map

package/dist/scripts/test-lossless.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-lossless.js","sourceRoot":"","sources":["../../scripts/test-lossless.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAEhD,SAAS,IAAI;IACX,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAChG,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACjD,IAAI,GAAG,KAAK,GAAG,EAAE,CAAC;YAChB,OAAO,CAAC,KAAK,CAAC,wBAAwB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YAC5E,OAAO,EAAE,CAAC;QACZ,CAAC;aAAM,CAAC;YACN,EAAE,EAAE,CAAC;QACP,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,mBAAmB,EAAE,QAAQ,OAAO,WAAW,CAAC,CAAC;IAC7D,IAAI,OAAO,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/scripts/test-lsp-index.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=test-lsp-index.d.ts.map

package/dist/scripts/test-lsp-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-lsp-index.d.ts","sourceRoot":"","sources":["../../scripts/test-lsp-index.ts"],"names":[],"mappings":""}

package/dist/scripts/test-lsp-index.js

@@ -0,0 +1,37 @@
+#!/usr/bin/env node
+import fs from 'node:fs';
+import path from 'node:path';
+import { spawnSync } from 'node:child_process';
+function fail(msg) {
+    console.error(msg);
+    process.exit(1);
+}
+function main() {
+    const root = process.cwd();
+    const fixture = path.join(root, 'test', 'lsp-index-fixture');
+    if (!fs.existsSync(fixture))
+        fail('Fixture not found');
+    // Build index inside fixture
+    const res = spawnSync(process.execPath, [path.join(root, 'dist', 'scripts', 'lsp-build-index.js')], {
+        cwd: fixture,
+        stdio: 'pipe',
+        env: process.env,
+    });
+    if (res.status !== 0)
+        fail(`Indexer failed: ${res.stderr?.toString() ?? ''}`);
+    const idxPath = path.join(fixture, '.asteri', 'lsp-index.json');
+    if (!fs.existsSync(idxPath))
+        fail('Index file not created');
+    const idx = JSON.parse(fs.readFileSync(idxPath, 'utf8'));
+    const files = Array.isArray(idx.files) ? idx.files : [];
+    if (files.length < 2)
+        fail(`Unexpected index size: ${files.length}`);
+    // Assert symbols from unopened files exist
+    const hasFoo = files.some(f => /fixture.foo/.test(f.moduleName) && f.decls?.some((d) => d.name === 'greet'));
+    const hasBar = files.some(f => /fixture.bar/.test(f.moduleName) && f.decls?.some((d) => d.name === 'idOf'));
+    if (!hasFoo || !hasBar)
+        fail('Missing expected symbols in index');
+    console.log('LSP index test OK:', { files: files.length, hasFoo, hasBar });
+}
+main();
+//# sourceMappingURL=test-lsp-index.js.map

package/dist/scripts/test-lsp-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-lsp-index.js","sourceRoot":"","sources":["../../scripts/test-lsp-index.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,SAAS,IAAI,CAAC,GAAW;IACvB,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,IAAI;IACX,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC7D,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACvD,6BAA6B;IAC7B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,oBAAoB,CAAC,CAAC,EAAE;QAClG,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,MAAM;QACb,GAAG,EAAE,OAAO,CAAC,GAAG;KACjB,CAAC,CAAC;IACH,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,mBAAmB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IAChE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAsB,CAAC;IAC9E,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,IAAI,CAAC,0BAA0B,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACrE,2CAA2C;IAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC;IAClH,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;IACjH,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;QAAE,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAClE,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/scripts/test-medium-diagnostics.d.ts

@@ -0,0 +1,7 @@
+#!/usr/bin/env node
+/**
+ * 专门测试 Medium 项目（40文件）的诊断耗时
+ * 目的：准确测量首次诊断和缓存命中的实际耗时
+ */
+export {};
+//# sourceMappingURL=test-medium-diagnostics.d.ts.map

package/dist/scripts/test-medium-diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-medium-diagnostics.d.ts","sourceRoot":"","sources":["../../scripts/test-medium-diagnostics.ts"],"names":[],"mappings":";AACA;;;GAGG"}

package/dist/scripts/test-medium-diagnostics.js

@@ -0,0 +1,129 @@
+#!/usr/bin/env node
+/**
+ * 专门测试 Medium 项目（40文件）的诊断耗时
+ * 目的：准确测量首次诊断和缓存命中的实际耗时
+ */
+import { performance } from 'node:perf_hooks';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+import { computeDiagnostics } from '../src/lsp/diagnostics.js';
+import { lex } from '../src/frontend/lexer.js';
+import { parse } from '../src/parser.js';
+import { canonicalize } from '../src/frontend/canonicalizer.js';
+import { promises as fs } from 'node:fs';
+import { join } from 'node:path';
+// CNL programs 路径
+const PROGRAMS_PATH = join(process.cwd(), 'test/cnl/programs');
+// 模拟 getOrParse 函数
+function getOrParse(doc) {
+    const text = doc.getText();
+    const can = canonicalize(text);
+    const tokens = lex(can);
+    let ast;
+    try {
+        ast = parse(tokens);
+    }
+    catch {
+        ast = null;
+    }
+    return { text, tokens, ast };
+}
+async function loadExampleFiles() {
+    console.log('📂 Loading CNL example files...');
+    async function collect(dir) {
+        const entries = await fs.readdir(dir, { withFileTypes: true });
+        const out = [];
+        for (const entry of entries) {
+            if (entry.name.startsWith('.'))
+                continue;
+            const full = join(dir, entry.name);
+            if (entry.isDirectory()) {
+                out.push(...(await collect(full)));
+            }
+            else if (entry.isFile() && entry.name.endsWith('.aster')) {
+                out.push(full);
+            }
+        }
+        return out;
+    }
+    const cnlFiles = await collect(PROGRAMS_PATH);
+    const documents = [];
+    for (const filePath of cnlFiles) {
+        const content = await fs.readFile(filePath, 'utf8');
+        const uri = `file://${filePath}`;
+        const doc = TextDocument.create(uri, 'cnl', 1, content);
+        documents.push(doc);
+    }
+    console.log(`✅ Loaded ${documents.length} files`);
+    return documents;
+}
+async function testDiagnostics(documents, label) {
+    console.log(`\n🧪 Test: ${label}`);
+    console.log('─'.repeat(60));
+    const results = [];
+    for (let i = 0; i < documents.length; i++) {
+        const doc = documents[i];
+        if (!doc)
+            continue; // TypeScript guard
+        const fileName = doc.uri.split('/').pop();
+        const start = performance.now();
+        try {
+            const diagnostics = await computeDiagnostics(doc, getOrParse);
+            const duration = performance.now() - start;
+            results.push(duration);
+            console.log(`  [${(i + 1).toString().padStart(2)}/${documents.length}] ${(fileName ?? 'unknown').padEnd(30)} ` +
+                `${duration.toFixed(2).padStart(8)}ms  (${diagnostics.length} diagnostics)`);
+        }
+        catch (error) {
+            const duration = performance.now() - start;
+            results.push(duration);
+            console.log(`  [${(i + 1).toString().padStart(2)}/${documents.length}] ${(fileName ?? 'unknown').padEnd(30)} ` +
+                `${duration.toFixed(2).padStart(8)}ms  ❌ ERROR: ${error instanceof Error ? error.message : String(error)}`);
+        }
+    }
+    // 计算统计数据
+    const total = results.reduce((a, b) => a + b, 0);
+    const sorted = [...results].sort((a, b) => a - b);
+    const p50 = sorted[Math.floor(sorted.length * 0.5)] ?? 0;
+    const p95 = sorted[Math.floor(sorted.length * 0.95)] ?? 0;
+    const p99 = sorted[Math.floor(sorted.length * 0.99)] ?? 0;
+    const avg = total / results.length;
+    console.log('─'.repeat(60));
+    console.log(`📊 Statistics:`);
+    console.log(`  Total time:    ${total.toFixed(2)}ms`);
+    console.log(`  Average:       ${avg.toFixed(2)}ms`);
+    console.log(`  p50 (median):  ${p50.toFixed(2)}ms`);
+    console.log(`  p95:           ${p95.toFixed(2)}ms`);
+    console.log(`  p99:           ${p99.toFixed(2)}ms`);
+    console.log(`  Min:           ${Math.min(...results).toFixed(2)}ms`);
+    console.log(`  Max:           ${Math.max(...results).toFixed(2)}ms`);
+    return { total, avg, p50, p95, p99, results };
+}
+async function main() {
+    console.log('🚀 CNL Examples Diagnostics Performance Test');
+    console.log('='.repeat(60));
+    // 加载所有文件
+    const documents = await loadExampleFiles();
+    // Test 1: 首次诊断（冷启动）
+    const coldStart = await testDiagnostics(documents, 'Cold Start (First Run)');
+    // Test 2: 第二次诊断（缓存命中）
+    const warmStart = await testDiagnostics(documents, 'Warm Start (Cached)');
+    // 对比
+    console.log('\n📈 Performance Comparison:');
+    console.log('='.repeat(60));
+    console.log(`Cold Start Total:  ${coldStart.total.toFixed(2)}ms`);
+    console.log(`Warm Start Total:  ${warmStart.total.toFixed(2)}ms`);
+    console.log(`Speedup:           ${(coldStart.total / (warmStart.total || 1)).toFixed(2)}x`);
+    console.log(`\nCold Start p50:    ${coldStart.p50.toFixed(2)}ms`);
+    console.log(`Warm Start p50:    ${warmStart.p50.toFixed(2)}ms`);
+    console.log(`Speedup:           ${(coldStart.p50 / (warmStart.p50 || 1)).toFixed(2)}x`);
+    // 分析缓存效果
+    const cacheHitCount = warmStart.results.filter(t => t < 1).length;
+    const cacheHitRate = (cacheHitCount / warmStart.results.length) * 100;
+    console.log(`\n🎯 Cache Performance:`);
+    console.log(`  Cache hits (<1ms): ${cacheHitCount}/${warmStart.results.length} (${cacheHitRate.toFixed(1)}%)`);
+}
+main().catch(error => {
+    console.error('❌ Test failed:', error);
+    process.exit(1);
+});
+//# sourceMappingURL=test-medium-diagnostics.js.map

package/dist/scripts/test-medium-diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-medium-diagnostics.js","sourceRoot":"","sources":["../../scripts/test-medium-diagnostics.ts"],"names":[],"mappings":";AACA;;;GAGG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,GAAG,EAAE,MAAM,0BAA0B,CAAC;AAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,kBAAkB;AAClB,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,mBAAmB,CAAC,CAAC;AAE/D,mBAAmB;AACnB,SAAS,UAAU,CAAC,GAAiB;IACnC,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,GAAQ,CAAC;IACb,IAAI,CAAC;QACH,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAAC,MAAM,CAAC;QACP,GAAG,GAAG,IAAI,CAAC;IACb,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC/B,CAAC;AAED,KAAK,UAAU,gBAAgB;IAC7B,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;IAC/C,KAAK,UAAU,OAAO,CAAC,GAAW;QAChC,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACzC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrC,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3D,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAmB,EAAE,CAAC;IACrC,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,UAAU,QAAQ,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;QACxD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,YAAY,SAAS,CAAC,MAAM,QAAQ,CAAC,CAAC;IAClD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,SAAyB,EAAE,KAAa;IACrE,OAAO,CAAC,GAAG,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC;IACnC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,GAAG;YAAE,SAAS,CAAC,mBAAmB;QACvC,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAE1C,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAC9D,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAEvB,OAAO,CAAC,GAAG,CACT,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG;gBAClG,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,WAAW,CAAC,MAAM,eAAe,CAC5E,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,OAAO,CAAC,GAAG,CACT,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG;gBAClG,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAC3G,CAAC;QACJ,CAAC;IACH,CAAC;IAED,SAAS;IACT,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,GAAG,GAAG,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;IAEnC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC9B,OAAO,CAAC,GAAG,CAAC,oBAAoB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtD,OAAO,CAAC,GAAG,CAAC,oBAAoB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,CAAC,GAAG,CAAC,oBAAoB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,CAAC,GAAG,CAAC,oBAAoB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,CAAC,GAAG,CAAC,oBAAoB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,CAAC,GAAG,CAAC,oBAAoB,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrE,OAAO,CAAC,GAAG,CAAC,oBAAoB,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAErE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;AAChD,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,OAAO,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5B,SAAS;IACT,MAAM,SAAS,GAAG,MAAM,gBAAgB,EAAE,CAAC;IAE3C,oBAAoB;IACpB,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAC;IAE7E,sBAAsB;IACtB,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;IAE1E,KAAK;IACL,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,OAAO,CAAC,GAAG,CAAC,sBAAsB,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,CAAC,GAAG,CAAC,sBAAsB,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5F,OAAO,CAAC,GAAG,CAAC,wBAAwB,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,CAAC,GAAG,CAAC,sBAAsB,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChE,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAExF,SAAS;IACT,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;IAClE,MAAM,YAAY,GAAG,CAAC,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC;IACtE,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,CAAC,wBAAwB,aAAa,IAAI,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACjH,CAAC;AAED,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;IACnB,OAAO,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;IACvC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}

package/dist/scripts/typecheck-cli.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=typecheck-cli.d.ts.map

package/dist/scripts/typecheck-cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecheck-cli.d.ts","sourceRoot":"","sources":["../../scripts/typecheck-cli.ts"],"names":[],"mappings":""}

package/dist/scripts/typecheck-cli.js

@@ -0,0 +1,104 @@
+#!/usr/bin/env node
+import fs from 'node:fs';
+import process from 'node:process';
+import { canonicalize } from '../src/frontend/canonicalizer.js';
+import { lex } from '../src/frontend/lexer.js';
+import { parse } from '../src/parser.js';
+import { lowerModule } from '../src/lower_to_core.js';
+import { typecheckModule, typecheckModuleWithCapabilities } from '../src/typecheck.js';
+function printUsage() {
+    console.log(`用法: node dist/scripts/typecheck-cli.js <file.aster>
+
+选项:
+  --help, -h             显示本帮助并退出
+  --filter-codes=E1,E2   仅输出指定错误码（逗号分隔）
+
+输出:
+  默认打印 JSON，结构为 { "source": "...", "diagnostics": [...] }
+
+环境变量:
+  ASTER_CAPS       指向 capability manifest（JSON），启用后按照 manifest 过滤能力`);
+}
+function parseArgs(argv) {
+    const options = { helpRequested: false };
+    for (const arg of argv) {
+        if (arg === '--help' || arg === '-h') {
+            options.helpRequested = true;
+            return options;
+        }
+        if (arg.startsWith('--filter-codes=')) {
+            const raw = arg.split('=', 2)[1] ?? '';
+            const codes = raw
+                .split(',')
+                .map(code => code.trim())
+                .filter(code => code.length > 0)
+                .map(code => code.toUpperCase());
+            if (codes.length > 0) {
+                options.filterCodes = new Set(codes);
+            }
+            continue;
+        }
+        if (!options.file && !arg.startsWith('-')) {
+            options.file = arg;
+        }
+    }
+    return options;
+}
+function readManifest() {
+    const manifestPath = process.env.ASTER_CAPS || '';
+    if (!manifestPath)
+        return null;
+    try {
+        const s = fs.readFileSync(manifestPath, 'utf8');
+        return JSON.parse(s);
+    }
+    catch (error) {
+        console.error(`无法读取 ASTER_CAPS 指定的 manifest: ${error.message}`);
+        process.exit(1);
+    }
+}
+function buildPayload(file, diagnostics, filter) {
+    const filtered = filter
+        ? diagnostics.filter(diag => filter.has(diag.code.toUpperCase()))
+        : diagnostics;
+    const severities = filtered.reduce((acc, diag) => {
+        acc.total += 1;
+        acc[diag.severity] += 1;
+        return acc;
+    }, { total: 0, error: 0, warning: 0, info: 0 });
+    return {
+        source: file,
+        diagnostics: filtered,
+        summary: severities,
+    };
+}
+function main() {
+    const args = parseArgs(process.argv.slice(2));
+    if (args.helpRequested) {
+        printUsage();
+        return;
+    }
+    const file = args.file;
+    if (!file) {
+        printUsage();
+        process.exit(2);
+    }
+    let input;
+    try {
+        input = fs.readFileSync(file, 'utf8');
+    }
+    catch (error) {
+        console.error(`无法读取输入文件 ${file}: ${error.message}`);
+        process.exit(1);
+    }
+    const canonical = canonicalize(input);
+    const tokens = lex(canonical);
+    const ast = parse(tokens);
+    const core = lowerModule(ast);
+    const manifest = readManifest();
+    const diagnostics = manifest ? typecheckModuleWithCapabilities(core, manifest) : typecheckModule(core);
+    const payload = buildPayload(file, diagnostics, args.filterCodes);
+    console.log(JSON.stringify(payload, null, 2));
+}
+main();
+//# sourceMappingURL=typecheck-cli.js.map

package/dist/scripts/typecheck-cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecheck-cli.js","sourceRoot":"","sources":["../../scripts/typecheck-cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,OAAO,MAAM,cAAc,CAAC;AACnC,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,GAAG,EAAE,MAAM,0BAA0B,CAAC;AAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AAUvF,SAAS,UAAU;IACjB,OAAO,CAAC,GAAG,CAAC;;;;;;;;;;oEAUsD,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,SAAS,CAAC,IAAc;IAC/B,MAAM,OAAO,GAAe,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;IACrD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACrC,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;YAC7B,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,GAAG;iBACd,KAAK,CAAC,GAAG,CAAC;iBACV,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;iBACxB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;iBAC/B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,OAAO,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;YACvC,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1C,OAAO,CAAC,IAAI,GAAG,GAAG,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,YAAY;IACnB,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;IAClD,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAuB,CAAC;IAC7C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,iCAAkC,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,WAA2C,EAAE,MAAoB;IACnG,MAAM,QAAQ,GAAG,MAAM;QACrB,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QACjE,CAAC,CAAC,WAAW,CAAC;IAEhB,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAChC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;QACZ,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC;QACf,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxB,OAAO,GAAG,CAAC;IACb,CAAC,EACD,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAC5C,CAAC;IACF,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,WAAW,EAAE,QAAQ;QACrB,OAAO,EAAE,UAAU;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,IAAI;IACX,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,UAAU,EAAE,CAAC;QACb,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,UAAU,EAAE,CAAC;QACb,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,YAAY,IAAI,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,YAAY,EAAE,CAAC;IAChC,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,+BAA+B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IAEvG,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAClE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/scripts/update-eff-violation-expected.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=update-eff-violation-expected.d.ts.map

package/dist/scripts/update-eff-violation-expected.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"update-eff-violation-expected.d.ts","sourceRoot":"","sources":["../../scripts/update-eff-violation-expected.ts"],"names":[],"mappings":""}