@aster-cloud/aster-lang-ts 0.0.1

package/dist/test/fuzz/formatter-fuzz.test.js

@@ -0,0 +1,44 @@
+#!/usr/bin/env node
+import * as fs from 'node:fs';
+import * as path from 'node:path';
+import * as fc from 'fast-check';
+import { formatCNL } from '../../src/formatter.js';
+function idempotenceOnExamples() {
+    const dir = path.join(process.cwd(), 'cnl', 'examples');
+    const files = fs
+        .readdirSync(dir)
+        .filter(f => f.endsWith('.aster'))
+        .map(f => path.join(dir, f));
+    let checked = 0;
+    for (const f of files) {
+        const src = fs.readFileSync(f, 'utf8');
+        const once = formatCNL(src);
+        const twice = formatCNL(once);
+        if (twice !== once) {
+            throw new Error(`Formatter not idempotent for ${f}`);
+        }
+        checked++;
+    }
+    console.log(`✓ Formatter idempotence on examples: ${checked} files`);
+}
+function fuzzIdempotence() {
+    fc.assert(fc.property(fc.string({ minLength: 0, maxLength: 200 }), (input) => {
+        const once = formatCNL(input);
+        const twice = formatCNL(once);
+        return once === twice;
+    }), { numRuns: 200 });
+    console.log('✓ Formatter fuzz idempotence (200 runs)');
+}
+function main() {
+    try {
+        idempotenceOnExamples();
+        fuzzIdempotence();
+        console.log('\n✅ Formatter scaffolding tests passed');
+    }
+    catch (e) {
+        console.error('\n❌ Formatter tests failed:', e.message);
+        process.exit(1);
+    }
+}
+main();
+//# sourceMappingURL=formatter-fuzz.test.js.map

package/dist/test/fuzz/formatter-fuzz.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter-fuzz.test.js","sourceRoot":"","sources":["../../../test/fuzz/formatter-fuzz.test.ts"],"names":[],"mappings":";AACA,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAEnD,SAAS,qBAAqB;IAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,EAAE;SACb,WAAW,CAAC,GAAG,CAAC;SAChB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;SACjC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,EAAE,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,wCAAwC,OAAO,QAAQ,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,eAAe;IACtB,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,KAAa,EAAE,EAAE;QACzE,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,IAAI,KAAK,KAAK,CAAC;IACxB,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,IAAI;IACX,IAAI,CAAC;QACH,qBAAqB,EAAE,CAAC;QACxB,eAAe,EAAE,CAAC;QAClB,OAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,6BAA6B,EAAG,CAAW,CAAC,OAAO,CAAC,CAAC;QACnE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/test/fuzz/fuzz.test.d.ts

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

package/dist/test/fuzz/fuzz.test.d.ts.map

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

package/dist/test/fuzz/fuzz.test.js

@@ -0,0 +1,141 @@
+#!/usr/bin/env node
+import * as fc from 'fast-check';
+import { canonicalize } from '../../src/frontend/canonicalizer.js';
+import { lex } from '../../src/frontend/lexer.js';
+import { parse } from '../../src/parser.js';
+// Fuzz test: Random input should not crash the lexer
+const fuzzLexer = () => {
+    let crashes = 0;
+    let total = 0;
+    fc.assert(fc.property(fc.string({ minLength: 0, maxLength: 200 }), (input) => {
+        total++;
+        try {
+            const can = canonicalize(input);
+            lex(can);
+            return true;
+        }
+        catch (e) {
+            // Lexer errors are acceptable, but crashes are not
+            if (e.message.includes('Maximum call stack') ||
+                e.message.includes('out of memory')) {
+                crashes++;
+                return false;
+            }
+            return true; // Normal lexer errors are fine
+        }
+    }), { numRuns: 500 });
+    console.log(`✓ Lexer fuzz test: ${total} inputs, ${crashes} crashes (${((crashes / total) * 100).toFixed(1)}%)`);
+    if (crashes > total * 0.01) { // Allow up to 1% crashes
+        throw new Error(`Too many lexer crashes: ${crashes}/${total}`);
+    }
+};
+// Fuzz test: Random input should not crash the parser
+const fuzzParser = () => {
+    let crashes = 0;
+    let total = 0;
+    let parsed = 0;
+    fc.assert(fc.property(fc.string({ minLength: 0, maxLength: 100 }), (input) => {
+        total++;
+        try {
+            const can = canonicalize(input);
+            const tokens = lex(can);
+            parse(tokens);
+            parsed++;
+            return true;
+        }
+        catch (e) {
+            // Parser errors are expected for random input, but crashes are not
+            if (e.message.includes('Maximum call stack') ||
+                e.message.includes('out of memory')) {
+                crashes++;
+                return false;
+            }
+            return true; // Normal parser errors are fine
+        }
+    }), { numRuns: 300 });
+    console.log(`✓ Parser fuzz test: ${total} inputs, ${parsed} parsed (${((parsed / total) * 100).toFixed(1)}%), ${crashes} crashes`);
+    if (crashes > 0) {
+        throw new Error(`Parser should not crash on any input: ${crashes}/${total}`);
+    }
+};
+// Fuzz test: Valid-looking CNL constructs
+const fuzzValidLookingCNL = () => {
+    const keywords = ['This', 'module', 'is', 'Define', 'with', 'To', 'produce', 'Let', 'be', 'Return'];
+    const types = ['Text', 'Int', 'Bool', 'User', 'Result'];
+    const identifiers = ['x', 'name', 'value', 'result', 'data'];
+    const genKeyword = fc.constantFrom(...keywords);
+    const genType = fc.constantFrom(...types);
+    const genIdent = fc.constantFrom(...identifiers);
+    const genPunct = fc.constantFrom('.', ':', ',', '(', ')');
+    const genToken = fc.oneof(genKeyword, genType, genIdent, genPunct, fc.constant(' '));
+    const genProgram = fc.array(genToken, { minLength: 5, maxLength: 30 }).map(tokens => tokens.join(''));
+    let total = 0;
+    let crashes = 0;
+    fc.assert(fc.property(genProgram, (program) => {
+        total++;
+        try {
+            const can = canonicalize(program);
+            const tokens = lex(can);
+            parse(tokens);
+            return true;
+        }
+        catch (e) {
+            if (e.message.includes('Maximum call stack') ||
+                e.message.includes('out of memory')) {
+                crashes++;
+                return false;
+            }
+            return true; // Parse errors are expected
+        }
+    }), { numRuns: 200 });
+    console.log(`✓ Valid-looking CNL fuzz test: ${total} inputs, ${crashes} crashes`);
+    if (crashes > 0) {
+        throw new Error(`Should not crash on valid-looking CNL: ${crashes}/${total}`);
+    }
+};
+// Fuzz test: Indentation edge cases
+const fuzzIndentation = () => {
+    const genIndent = fc.integer({ min: 0, max: 20 }).map(n => ' '.repeat(n));
+    const genLine = fc.tuple(genIndent, fc.constantFrom('Let x be 42.', 'Return "test".', 'Define User.'))
+        .map(([indent, content]) => indent + content);
+    const genProgram = fc.array(genLine, { minLength: 1, maxLength: 10 }).map(lines => lines.join('\n'));
+    let total = 0;
+    let crashes = 0;
+    fc.assert(fc.property(genProgram, (program) => {
+        total++;
+        try {
+            const can = canonicalize(program);
+            const tokens = lex(can);
+            parse(tokens);
+            return true;
+        }
+        catch (e) {
+            if (e.message.includes('Maximum call stack') ||
+                e.message.includes('out of memory')) {
+                crashes++;
+                return false;
+            }
+            return true; // Indentation errors are expected
+        }
+    }), { numRuns: 150 });
+    console.log(`✓ Indentation fuzz test: ${total} inputs, ${crashes} crashes`);
+    if (crashes > 0) {
+        throw new Error(`Should not crash on indentation edge cases: ${crashes}/${total}`);
+    }
+};
+function main() {
+    console.log('Running fuzz tests...\n');
+    try {
+        fuzzLexer();
+        fuzzParser();
+        fuzzValidLookingCNL();
+        fuzzIndentation();
+        console.log('\n✅ All fuzz tests passed!');
+    }
+    catch (e) {
+        console.error('\n❌ Fuzz test failed:', e.message);
+        process.exit(1);
+    }
+}
+main();
+//# sourceMappingURL=fuzz.test.js.map

package/dist/test/fuzz/fuzz.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fuzz.test.js","sourceRoot":"","sources":["../../../test/fuzz/fuzz.test.ts"],"names":[],"mappings":";AACA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,GAAG,EAAE,MAAM,6BAA6B,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAE5C,qDAAqD;AACrD,MAAM,SAAS,GAAG,GAAS,EAAE;IAC3B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAC3C,CAAC,KAAa,EAAE,EAAE;QAChB,KAAK,EAAE,CAAC;QACR,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YAChC,GAAG,CAAC,GAAG,CAAC,CAAC;YACT,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,mDAAmD;YACnD,IAAK,CAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC;gBAClD,CAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;gBACnD,OAAO,EAAE,CAAC;gBACV,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC,CAAC,+BAA+B;QAC9C,CAAC;IACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IAEF,OAAO,CAAC,GAAG,CAAC,sBAAsB,KAAK,YAAY,OAAO,aAAa,CAAC,CAAC,OAAO,GAAC,KAAK,CAAC,GAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7G,IAAI,OAAO,GAAG,KAAK,GAAG,IAAI,EAAE,CAAC,CAAC,yBAAyB;QACrD,MAAM,IAAI,KAAK,CAAC,2BAA2B,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC;IACjE,CAAC;AACH,CAAC,CAAC;AAEF,sDAAsD;AACtD,MAAM,UAAU,GAAG,GAAS,EAAE;IAC5B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAC3C,CAAC,KAAa,EAAE,EAAE;QAChB,KAAK,EAAE,CAAC;QACR,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,KAAK,CAAC,MAAM,CAAC,CAAC;YACd,MAAM,EAAE,CAAC;YACT,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,mEAAmE;YACnE,IAAK,CAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC;gBAClD,CAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;gBACnD,OAAO,EAAE,CAAC;gBACV,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC,CAAC,gCAAgC;QAC/C,CAAC;IACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IAEF,OAAO,CAAC,GAAG,CAAC,uBAAuB,KAAK,YAAY,MAAM,YAAY,CAAC,CAAC,MAAM,GAAC,KAAK,CAAC,GAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,UAAU,CAAC,CAAC;IAC/H,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,yCAAyC,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC,CAAC;AAEF,0CAA0C;AAC1C,MAAM,mBAAmB,GAAG,GAAS,EAAE;IACrC,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpG,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAE7D,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,QAAQ,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,KAAK,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,WAAW,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAE1D,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACrF,MAAM,UAAU,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAEtG,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAe,EAAE,EAAE;QAC1C,KAAK,EAAE,CAAC;QACR,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,KAAK,CAAC,MAAM,CAAC,CAAC;YACd,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAK,CAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC;gBAClD,CAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;gBACnD,OAAO,EAAE,CAAC;gBACV,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC,CAAC,4BAA4B;QAC3C,CAAC;IACH,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IAEF,OAAO,CAAC,GAAG,CAAC,kCAAkC,KAAK,YAAY,OAAO,UAAU,CAAC,CAAC;IAClF,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,0CAA0C,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC;IAChF,CAAC;AACH,CAAC,CAAC;AAEF,oCAAoC;AACpC,MAAM,eAAe,GAAG,GAAS,EAAE;IACjC,MAAM,SAAS,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC,cAAc,EAAE,gBAAgB,EAAE,cAAc,CAAC,CAAC;SACnG,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,MAAM,GAAG,OAAO,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAErG,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAe,EAAE,EAAE;QAC1C,KAAK,EAAE,CAAC;QACR,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,KAAK,CAAC,MAAM,CAAC,CAAC;YACd,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAK,CAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC;gBAClD,CAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;gBACnD,OAAO,EAAE,CAAC;gBACV,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC,CAAC,kCAAkC;QACjD,CAAC;IACH,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IAEF,OAAO,CAAC,GAAG,CAAC,4BAA4B,KAAK,YAAY,OAAO,UAAU,CAAC,CAAC;IAC5E,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,+CAA+C,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC;IACrF,CAAC;AACH,CAAC,CAAC;AAEF,SAAS,IAAI;IACX,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;IAEvC,IAAI,CAAC;QACH,SAAS,EAAE,CAAC;QACZ,UAAU,EAAE,CAAC;QACb,mBAAmB,EAAE,CAAC;QACtB,eAAe,EAAE,CAAC;QAElB,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,uBAAuB,EAAG,CAAW,CAAC,OAAO,CAAC,CAAC;QAC7D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC"}

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

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

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

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

package/dist/test/fuzz/lossless-fuzz.test.js

@@ -0,0 +1,116 @@
+#!/usr/bin/env node
+import * as fsn from 'node:fs';
+import * as path from 'node:path';
+import * as fc from 'fast-check';
+import { buildCstLossless } from '../../src/cst/cst_builder.js';
+import { printCNLFromCst } from '../../src/cst/cst_printer.js';
+function readExamples() {
+    const dir = path.join(process.cwd(), 'test/cnl', 'programs');
+    // Recursively find all .aster files
+    function findAsterFiles(directory) {
+        const entries = fsn.readdirSync(directory, { withFileTypes: true });
+        const files = [];
+        for (const entry of entries) {
+            const fullPath = path.join(directory, entry.name);
+            if (entry.isDirectory()) {
+                files.push(...findAsterFiles(fullPath));
+            }
+            else if (entry.name.endsWith('.aster')) {
+                files.push(fullPath);
+            }
+        }
+        return files;
+    }
+    const files = findAsterFiles(dir);
+    return files.map(f => fsn.readFileSync(f, 'utf8'));
+}
+function mulberry32(a) {
+    return function () {
+        let t = (a += 0x6d2b79f5);
+        t = Math.imul(t ^ (t >>> 15), t | 1);
+        t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+}
+function injectTrivia(src, seed) {
+    // Replace spaces around common separators with random trivia; add random blank lines and comments
+    const rnd = mulberry32(seed >>> 0);
+    const pick = (arr) => arr[Math.floor(rnd() * arr.length)];
+    const WS = [' ', '  ', '\t', ' \t', '\t ', ''];
+    // Randomize EOL modes: LF or CRLF sequences
+    const EOL = ['\n', '\n\n', '\n\n\n', '\r\n', '\r\n\r\n'];
+    const COM = [' // fuzz', ' // fuzz comment', ' # fuzz'];
+    let s = src;
+    // Spaces before punctuation
+    s = s.replace(/\s*,\s*/g, () => pick(WS) + ',' + pick(WS));
+    s = s.replace(/\s*:\s*/g, () => pick(WS) + ':' + pick(WS));
+    s = s.replace(/\s*\)\s*/g, () => ')' + pick(WS));
+    s = s.replace(/\s*\(\s*/g, () => pick(WS) + '(' + pick(WS));
+    s = s.replace(/\s*\.\s*/g, () => pick(WS) + '.' + pick(WS));
+    // Randomly add comment before EOL
+    s = s.replace(/\.[ \t]*\n/g, () => '.' + (Math.floor(rnd() * 3) === 0 ? pick(COM) : '') + pick(EOL));
+    // Random blank lines inserted after headers
+    s = s.replace(/:\n/g, () => ':' + pick(EOL));
+    // Optionally add BOM at file start
+    if (Math.floor(rnd() * 4) === 0 && !/^\uFEFF/.test(s))
+        s = '\uFEFF' + s;
+    // Indentation tweaks: insert tabs before existing indentation without changing space count
+    const lines = s.split(/\n/);
+    for (let i = 0; i < lines.length; i++) {
+        // Measure leading spaces
+        const m = lines[i].match(/^(\s*)(.*)$/);
+        if (!m)
+            continue;
+        const lead = m[1] ?? '';
+        const rest = m[2] ?? '';
+        // Only alter lines that begin with multiples of two spaces (valid indent) possibly preceded by tabs/spaces
+        const spMatch = lead.match(/^(\t| )*( *)(.*)$/);
+        const baseSpaces = spMatch ? (spMatch[2] ?? '') : '';
+        if (baseSpaces.length % 2 !== 0)
+            continue; // avoid breaking indent structure
+        // Insert 0-2 tabs before the spaces with small probability
+        const tabsToInsert = Math.floor(rnd() * 3); // 0..2
+        const maybeTabs = '\t'.repeat(tabsToInsert);
+        // With some probability, add trailing spaces at end of line
+        const trail = Math.floor(rnd() * 4) === 0 ? (rnd() < 0.5 ? ' ' : '\t') : '';
+        lines[i] = maybeTabs + baseSpaces + rest + trail;
+    }
+    s = lines.join('\n');
+    return s;
+}
+function fuzzLosslessIdempotence() {
+    const examples = readExamples();
+    // For a subset of examples, generate random variants and check identity
+    let cases = 0;
+    const sampleCount = Math.min(20, examples.length);
+    for (let i = 0; i < sampleCount; i++) {
+        const base = examples[i];
+        try {
+            fc.assert(fc.property(fc.integer({ min: 0, max: 1_000_000 }), (seed) => {
+                const mutated = injectTrivia(base, seed);
+                const cst = buildCstLossless(mutated);
+                const out = printCNLFromCst(cst);
+                return out === mutated;
+            }), { numRuns: 200, seed: 42 + i } // Fixed seed for deterministic testing, offset by example index
+            );
+        }
+        catch (e) {
+            console.error(`Failed on example index ${i}`);
+            throw e;
+        }
+        cases += 200;
+    }
+    console.log(`✓ Lossless CST identity under trivia/comments: ${cases} cases`);
+}
+function main() {
+    try {
+        fuzzLosslessIdempotence();
+        console.log('\n✅ Lossless CST fuzz test passed');
+    }
+    catch (e) {
+        console.error('\n❌ Lossless CST fuzz test failed:', e.message);
+        process.exit(1);
+    }
+}
+main();
+//# sourceMappingURL=lossless-fuzz.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lossless-fuzz.test.js","sourceRoot":"","sources":["../../../test/fuzz/lossless-fuzz.test.ts"],"names":[],"mappings":";AACA,OAAO,KAAK,GAAG,MAAM,SAAS,CAAC;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAE/D,SAAS,YAAY;IACnB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAE7D,oCAAoC;IACpC,SAAS,cAAc,CAAC,SAAiB;QACvC,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACpE,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC1C,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO;QACL,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC;QAC1B,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,GAAW,EAAE,IAAY;IAC7C,kGAAkG;IAClG,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,GAAa,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAAE,CAAC;IACrE,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC/C,4CAA4C;IAC5C,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,CAAC,UAAU,EAAE,kBAAkB,EAAE,SAAS,CAAC,CAAC;IAExD,IAAI,CAAC,GAAG,GAAG,CAAC;IACZ,4BAA4B;IAC5B,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,kCAAkC;IAClC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrG,4CAA4C;IAC5C,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAE7C,mCAAmC;IACnC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC;IAExE,2FAA2F;IAC3F,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,yBAAyB;QACzB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACzC,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxB,2GAA2G;QAC3G,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS,CAAC,kCAAkC;QAC7E,2DAA2D;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO;QACnD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAC5C,4DAA4D;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,GAAG,UAAU,GAAG,IAAI,GAAG,KAAK,CAAC;IACnD,CAAC;IACD,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,uBAAuB;IAC9B,MAAM,QAAQ,GAAG,YAAY,EAAE,CAAC;IAChC,wEAAwE;IACxE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,CAAC;YACH,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,IAAY,EAAE,EAAE;gBACnE,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACzC,MAAM,GAAG,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;gBACtC,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;gBACjC,OAAO,GAAG,KAAK,OAAO,CAAC;YACzB,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,gEAAgE;aAChG,CAAC;QACJ,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC,CAAC;YAC9C,MAAM,CAAC,CAAC;QACV,CAAC;QACD,KAAK,IAAI,GAAG,CAAC;IACf,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,kDAAkD,KAAK,QAAQ,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,IAAI;IACX,IAAI,CAAC;QACH,uBAAuB,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,oCAAoC,EAAG,CAAW,CAAC,OAAO,CAAC,CAAC;QAC1E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/test/generators.d.ts

@@ -0,0 +1,53 @@
+/** Medium/Large 项目生成器工具集 */
+export type RecordTemplate = {
+    base: string;
+    fields: {
+        name: string;
+        type: string;
+    }[];
+};
+export type SumTemplate = {
+    base: string;
+    variants: string[];
+};
+export declare function generateLargeProgram(size: number): string;
+/** 生成Medium规模项目（30-50模块，约3000-5000行） */
+export declare function generateMediumProject(moduleCount?: number, baseSeed?: number): Map<string, string>;
+/** 生成通用模块，提供共享类型与函数 */
+export declare function generateCommonModule(): string;
+/** 生成业务模块，控制模块内类型与函数数量 */
+export declare function generateBusinessModule(name: string, seed: number, needsImport: boolean): string;
+/** 生成带效果声明的函数，确保比例约为10% */
+export declare function generateEffectfulFunction(seed: number, fnIndex: number): string[];
+/** 生成常规函数，实现控制流与绑定多样性 */
+export declare function generateRoutineFunction(records: {
+    name: string;
+    fields: {
+        name: string;
+        type: string;
+    }[];
+}[], sums: {
+    name: string;
+    variants: string[];
+}[], seed: number, fnIndex: number): string[];
+/** 提供可复用的记录类型模板 */
+export declare function getRecordTemplates(): RecordTemplate[];
+/** 提供可复用的和类型模板 */
+export declare function getSumTemplates(): SumTemplate[];
+/** 返回记录类型中的文本字段名称 */
+export declare function getTextField(record: {
+    fields: {
+        name: string;
+        type: string;
+    }[];
+}): string;
+/** 返回记录类型中的布尔字段名称 */
+export declare function getBooleanField(record: {
+    fields: {
+        name: string;
+        type: string;
+    }[];
+}): string;
+/** 构建可复用的确定性随机数生成器 */
+export declare function createSeededRandom(seed: number): () => number;
+//# sourceMappingURL=generators.d.ts.map

package/dist/test/generators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generators.d.ts","sourceRoot":"","sources":["../../test/generators.ts"],"names":[],"mappings":"AAAA,4BAA4B;AAC5B,MAAM,MAAM,cAAc,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAAE,CAAC;AACxF,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE/D,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAoBzD;AAED,wCAAwC;AACxC,wBAAgB,qBAAqB,CAAC,WAAW,SAAK,EAAE,QAAQ,SAAK,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAY1F;AAED,uBAAuB;AACvB,wBAAgB,oBAAoB,IAAI,MAAM,CAwC7C;AAED,0BAA0B;AAC1B,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,MAAM,CAyD/F;AAED,2BAA2B;AAC3B,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CASjF;AAED,yBAAyB;AACzB,wBAAgB,uBAAuB,CACrC,OAAO,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAAE,EAAE,EACrE,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,EAAE,EAC5C,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,MAAM,EAAE,CAiFV;AAED,mBAAmB;AACnB,wBAAgB,kBAAkB,IAAI,cAAc,EAAE,CAuCrD;AAED,kBAAkB;AAClB,wBAAgB,eAAe,IAAI,WAAW,EAAE,CAO/C;AAED,qBAAqB;AACrB,wBAAgB,YAAY,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAAE,GAAG,MAAM,CAGzF;AAED,qBAAqB;AACrB,wBAAgB,eAAe,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAAE,GAAG,MAAM,CAG5F;AAED,sBAAsB;AACtB,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,MAAM,CAM7D"}

package/dist/test/generators.js

@@ -0,0 +1,253 @@
+export function generateLargeProgram(size) {
+    const lines = [
+        'This module is benchmark.test.',
+        '',
+        'Define User with id: Text and name: Text and email: Text.',
+        'Define Status as one of Active or Inactive or Pending.',
+        '',
+    ];
+    for (let i = 0; i < size; i++) {
+        lines.push(`To process${i} with user: User, produce Status:`);
+        lines.push(`  Let id be user.id.`);
+        lines.push(`  Let name be user.name.`);
+        lines.push(`  If name,:`);
+        lines.push(`    Return Active.`);
+        lines.push(`  Return Inactive.`);
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+/** 生成Medium规模项目（30-50模块，约3000-5000行） */
+export function generateMediumProject(moduleCount = 40, baseSeed = 42) {
+    const modules = new Map();
+    modules.set('benchmark.medium.common', generateCommonModule());
+    const random = createSeededRandom(baseSeed);
+    for (let i = 1; i < moduleCount; i++) {
+        const moduleName = `benchmark.medium.module${i}`;
+        const needsImport = random() < 0.3;
+        modules.set(moduleName, generateBusinessModule(moduleName, baseSeed + i * 17, needsImport));
+    }
+    return modules;
+}
+/** 生成通用模块，提供共享类型与函数 */
+export function generateCommonModule() {
+    const lines = [
+        'This module is benchmark.medium.common.',
+        '',
+        'Define LogLevel as one of Info or Warn or Error or Debug.',
+        'Define HttpMethod as one of Get or Post or Put or Delete.',
+        '',
+        'Define RequestContext with requestId: Text and path: Text and method: Text and retries: Number.',
+        'Define ResponseContext with status: Number and payload: Text and success: Boolean.',
+        '',
+        'To buildRequestId with prefix: Text and id: Number, produce Text:',
+        '  Let base be prefix.',
+        '  If base,:',
+        '    Return base.',
+        '  Return "req-default".',
+        '',
+        'To defaultLogLevel, produce LogLevel:',
+        '  Return Info.',
+        '',
+        'To ensureSuccess with response: ResponseContext, produce Boolean:',
+        '  Let flag be response.success.',
+        '  If flag,:',
+        '    Return true.',
+        '  Return false.',
+        '',
+        'To renderPath with ctx: RequestContext, produce Text:',
+        '  Let path be ctx.path.',
+        '  If path,:',
+        '    Return path.',
+        '  Return "/".',
+        '',
+        'To emitLog with message: Text and level: LogLevel, produce Text. It performs io:',
+        '  Let text be message.',
+        '  If text,:',
+        '    Return text.',
+        '  Return "log".',
+        '',
+    ];
+    return lines.join('\n');
+}
+/** 生成业务模块，控制模块内类型与函数数量 */
+export function generateBusinessModule(name, seed, needsImport) {
+    const rand = createSeededRandom(seed);
+    const recordTemplates = getRecordTemplates();
+    const sumTemplates = getSumTemplates();
+    const records = [];
+    const sums = [];
+    const lines = [];
+    lines.push(`This module is ${name}.`);
+    lines.push('');
+    if (needsImport) {
+        lines.push('Use benchmark.medium.common.');
+        lines.push('');
+    }
+    const recordCount = 2 + Math.floor(rand() * 2);
+    const sumCount = 1 + Math.floor(rand() * 2);
+    for (let i = 0; i < recordCount; i++) {
+        const template = recordTemplates[(seed + i) % recordTemplates.length];
+        const typeName = `${template.base}${seed}${i}`;
+        const fieldParts = template.fields.map(field => `${field.name}: ${field.type}`);
+        lines.push(`Define ${typeName} with ${fieldParts.join(' and ')}.`);
+        lines.push('');
+        records.push({ name: typeName, fields: template.fields });
+    }
+    for (let i = 0; i < sumCount; i++) {
+        const template = sumTemplates[(seed + i * 3) % sumTemplates.length];
+        const typeName = `${template.base}${seed}${i}`;
+        lines.push(`Define ${typeName} as one of ${template.variants.join(' or ')}.`);
+        lines.push('');
+        sums.push({ name: typeName, variants: template.variants });
+    }
+    const functionCount = 8 + Math.floor(rand() * 5);
+    let effectCounter = 0;
+    for (let i = 0; i < functionCount; i++) {
+        const effectful = i % 10 === 0;
+        if (effectful) {
+            effectCounter++;
+            lines.push(...generateEffectfulFunction(seed, i));
+        }
+        else {
+            lines.push(...generateRoutineFunction(records, sums, seed, i));
+        }
+        lines.push('');
+    }
+    if (effectCounter === 0 && functionCount > 0) {
+        lines.splice(lines.length - 1, 0, ...generateEffectfulFunction(seed, functionCount));
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+/** 生成带效果声明的函数，确保比例约为10% */
+export function generateEffectfulFunction(seed, fnIndex) {
+    const functionName = `fetch${seed}${fnIndex}`;
+    return [
+        `To ${functionName} with resource: Text, produce Text. It performs io:`,
+        '  Let value be resource.',
+        '  If value,:',
+        '    Return value.',
+        '  Return "unavailable".',
+    ];
+}
+/** 生成常规函数，实现控制流与绑定多样性 */
+export function generateRoutineFunction(records, sums, seed, fnIndex) {
+    const parts = [];
+    if (records.length === 0) {
+        records.push({
+            name: `TempRecord${seed}${fnIndex}`,
+            fields: [
+                { name: 'id', type: 'Text' },
+                { name: 'name', type: 'Text' },
+                { name: 'flag', type: 'Boolean' },
+            ],
+        });
+    }
+    if (sums.length === 0) {
+        sums.push({
+            name: `TempSum${seed}${fnIndex}`,
+            variants: ['Alpha', 'Beta', 'Gamma'],
+        });
+    }
+    const recordA = records[fnIndex % records.length];
+    const recordB = records[(fnIndex + 1) % records.length];
+    const sum = sums[fnIndex % sums.length];
+    const primaryVariant = sum.variants[fnIndex % sum.variants.length] ?? sum.variants[0] ?? 'Alpha';
+    const secondaryVariant = sum.variants[(fnIndex + 1) % sum.variants.length] ?? primaryVariant;
+    const textFieldA = getTextField(recordA);
+    const textFieldB = getTextField(recordB);
+    const booleanFieldA = getBooleanField(recordA);
+    const signatureVariants = fnIndex % 4;
+    switch (signatureVariants) {
+        case 0: {
+            const functionName = `format${seed}${fnIndex}`;
+            parts.push(`To ${functionName} with item: ${recordA.name}, produce Text:`, `  Let value be item.${textFieldA}.`, '  If value,:', '    Return value.', '  Return "unknown".');
+            return parts;
+        }
+        case 1: {
+            const functionName = `evaluate${seed}${fnIndex}`;
+            parts.push(`To ${functionName} with item: ${recordA.name} and status: ${sum.name}, produce ${sum.name}:`, `  Let active be item.${booleanFieldA}.`, '  If active,:', '    Let current be status.', '    If current,:', '      Return current.', `    Return ${primaryVariant}.`, `  Return ${secondaryVariant}.`);
+            return parts;
+        }
+        case 2: {
+            const functionName = `compare${seed}${fnIndex}`;
+            parts.push(`To ${functionName} with left: ${recordA.name} and right: ${recordB.name}, produce Boolean:`, `  Let first be left.${textFieldA}.`, `  Let second be right.${textFieldB}.`, '  If first,:', '    If second,:', '      Return true.', '  Return false.');
+            return parts;
+        }
+        default: {
+            const functionName = `current${seed}${fnIndex}`;
+            parts.push(`To ${functionName}, produce Text:`, `  Let mark be "${recordA.name}-${fnIndex}".`, '  If mark,:', `    Return mark.`, '  Return "constant".');
+            return parts;
+        }
+    }
+}
+/** 提供可复用的记录类型模板 */
+export function getRecordTemplates() {
+    return [
+        {
+            base: 'User',
+            fields: [
+                { name: 'id', type: 'Text' },
+                { name: 'name', type: 'Text' },
+                { name: 'email', type: 'Text' },
+                { name: 'isActive', type: 'Boolean' },
+            ],
+        },
+        {
+            base: 'Config',
+            fields: [
+                { name: 'endpoint', type: 'Text' },
+                { name: 'timeout', type: 'Number' },
+                { name: 'retries', type: 'Number' },
+                { name: 'enabled', type: 'Boolean' },
+            ],
+        },
+        {
+            base: 'Request',
+            fields: [
+                { name: 'path', type: 'Text' },
+                { name: 'method', type: 'Text' },
+                { name: 'payload', type: 'Text' },
+                { name: 'attempts', type: 'Number' },
+            ],
+        },
+        {
+            base: 'Profile',
+            fields: [
+                { name: 'nickname', type: 'Text' },
+                { name: 'createdAt', type: 'Text' },
+                { name: 'score', type: 'Number' },
+                { name: 'verified', type: 'Boolean' },
+            ],
+        },
+    ];
+}
+/** 提供可复用的和类型模板 */
+export function getSumTemplates() {
+    return [
+        { base: 'Status', variants: ['Ready', 'Busy', 'Error', 'Pending'] },
+        { base: 'ErrorKind', variants: ['Network', 'Timeout', 'Invalid', 'Unknown'] },
+        { base: 'ResultFlag', variants: ['Ok', 'Retry', 'Fail'] },
+        { base: 'Mode', variants: ['Live', 'Test', 'Maintenance'] },
+    ];
+}
+/** 返回记录类型中的文本字段名称 */
+export function getTextField(record) {
+    const item = record.fields.find(field => field.type === 'Text');
+    return item ? item.name : record.fields[0]?.name ?? 'id';
+}
+/** 返回记录类型中的布尔字段名称 */
+export function getBooleanField(record) {
+    const item = record.fields.find(field => field.type === 'Boolean');
+    return item ? item.name : record.fields[record.fields.length - 1]?.name ?? 'isActive';
+}
+/** 构建可复用的确定性随机数生成器 */
+export function createSeededRandom(seed) {
+    let state = Math.abs(seed) % 233280;
+    return () => {
+        state = (state * 9301 + 49297) % 233280;
+        return state / 233280;
+    };
+}
+//# sourceMappingURL=generators.js.map