@aster-cloud/aster-lang-ts 0.0.1

package/dist/scripts/determinism.js

@@ -0,0 +1,124 @@
+#!/usr/bin/env node
+import fs from 'node:fs';
+import path from 'node:path';
+import cp from 'node:child_process';
+function sh(cmd, opts = {}) {
+    cp.execSync(cmd, { stdio: 'inherit', ...opts });
+}
+function runEmit(inputs) {
+    for (const inp of inputs) {
+        sh(`node dist/scripts/emit-classfiles.js ${inp}`);
+    }
+}
+function rmrf(p) {
+    if (fs.existsSync(p))
+        fs.rmSync(p, { recursive: true, force: true });
+}
+function copyDir(src, dst) {
+    rmrf(dst);
+    fs.mkdirSync(dst, { recursive: true });
+    // Node 22: fs.cpSync available
+    fs.cpSync ? fs.cpSync(src, dst, { recursive: true }) : copyDirManual(src, dst);
+}
+function copyDirManual(src, dst) {
+    for (const ent of fs.readdirSync(src)) {
+        const s = path.join(src, ent);
+        const d = path.join(dst, ent);
+        const st = fs.statSync(s);
+        if (st.isDirectory()) {
+            fs.mkdirSync(d, { recursive: true });
+            copyDirManual(s, d);
+        }
+        else if (st.isFile()) {
+            fs.copyFileSync(s, d);
+        }
+    }
+}
+function listFiles(root) {
+    const out = [];
+    function rec(d) {
+        for (const ent of fs.readdirSync(d)) {
+            const p = path.join(d, ent);
+            const st = fs.statSync(p);
+            if (st.isDirectory())
+                rec(p);
+            else if (st.isFile() && p.endsWith('.class'))
+                out.push(path.relative(root, p));
+        }
+    }
+    rec(root);
+    out.sort();
+    return out;
+}
+function compareDirs(a, b) {
+    const errs = [];
+    const fa = listFiles(a);
+    const fb = listFiles(b);
+    if (fa.length !== fb.length || fa.some((v, i) => v !== fb[i])) {
+        const sa = new Set(fa), sb = new Set(fb);
+        for (const f of fa)
+            if (!sb.has(f))
+                errs.push(`only in run1: ${f}`);
+        for (const f of fb)
+            if (!sa.has(f))
+                errs.push(`only in run2: ${f}`);
+    }
+    const common = fa.filter(f => fb.includes(f));
+    for (const rel of common) {
+        const ab = fs.readFileSync(path.join(a, rel));
+        const bb = fs.readFileSync(path.join(b, rel));
+        if (ab.length !== bb.length) {
+            errs.push(`size differs: ${rel} (${ab.length} vs ${bb.length})`);
+            continue;
+        }
+        let diffAt = -1;
+        for (let i = 0; i < ab.length; i++) {
+            if (ab[i] !== bb[i]) {
+                diffAt = i;
+                break;
+            }
+        }
+        if (diffAt >= 0) {
+            errs.push(`bytes differ at offset ${diffAt}: ${rel}`);
+        }
+    }
+    return { ok: errs.length === 0, errors: errs };
+}
+async function main() {
+    const inputs = [
+        'test/cnl/programs/examples/login.aster',
+        'test/cnl/programs/examples/greet.aster',
+        'test/cnl/programs/patterns/enum_exhaustiveness.aster',
+        'test/cnl/programs/patterns/match_enum.aster',
+        'test/cnl/programs/error-handling/result_trycatch.aster',
+        'test/cnl/programs/collections/list_ops.aster',
+        'test/cnl/programs/collections/map_ops.aster',
+    ];
+    // Ensure build
+    sh('npm run build');
+    const out = path.resolve('build/jvm-classes');
+    const r1 = path.resolve('build/determinism/run1');
+    const r2 = path.resolve('build/determinism/run2');
+    // Run 1
+    rmrf(out);
+    runEmit(inputs);
+    copyDir(out, r1);
+    // Run 2
+    rmrf(out);
+    runEmit(inputs);
+    copyDir(out, r2);
+    // Compare
+    const { ok, errors } = compareDirs(r1, r2);
+    if (!ok) {
+        console.error('Determinism check FAILED:');
+        for (const e of errors)
+            console.error(' - ' + e);
+        process.exit(1);
+    }
+    console.log('Determinism check passed: classfiles identical across runs');
+}
+main().catch(e => {
+    console.error('determinism script failed:', e);
+    process.exit(1);
+});
+//# sourceMappingURL=determinism.js.map

package/dist/scripts/determinism.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"determinism.js","sourceRoot":"","sources":["../../scripts/determinism.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAEpC,SAAS,EAAE,CAAC,GAAW,EAAE,OAA2B,EAAE;IACpD,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,OAAO,CAAC,MAAgB;IAC/B,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,EAAE,CAAC,wCAAwC,GAAG,EAAE,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED,SAAS,IAAI,CAAC,CAAS;IACrB,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,OAAO,CAAC,GAAW,EAAE,GAAW;IACvC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,+BAA+B;IAC9B,EAAU,CAAC,MAAM,CAAC,CAAC,CAAE,EAAU,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,aAAa,CAAC,GAAW,EAAE,GAAW;IAC7C,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;YACrB,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACrC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,CAAC;aAAM,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YACvB,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,SAAS,GAAG,CAAC,CAAS;QACpB,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC5B,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,CAAC,WAAW,EAAE;gBAAE,GAAG,CAAC,CAAC,CAAC,CAAC;iBACxB,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,CAAC;IACV,GAAG,CAAC,IAAI,EAAE,CAAC;IACX,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,CAAS,EAAE,CAAS;IACvC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACpE,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9C,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,iBAAiB,GAAG,KAAK,EAAE,CAAC,MAAM,OAAO,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;YACjE,SAAS;QACX,CAAC;QACD,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;QAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAC,MAAM,GAAG,CAAC,CAAC;gBAAC,MAAM;YAAC,CAAC;QAC7C,CAAC;QACD,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;YAChB,IAAI,CAAC,IAAI,CAAC,0BAA0B,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACjD,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,MAAM,MAAM,GAAG;QACb,wCAAwC;QACxC,wCAAwC;QACxC,sDAAsD;QACtD,6CAA6C;QAC7C,wDAAwD;QACxD,8CAA8C;QAC9C,6CAA6C;KAC9C,CAAC;IACF,eAAe;IACf,EAAE,CAAC,eAAe,CAAC,CAAC;IAEpB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAC9C,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAClD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAElD,QAAQ;IACR,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,MAAM,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAEjB,QAAQ;IACR,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,MAAM,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAEjB,UAAU;IACV,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3C,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,OAAO,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,4DAA4D,CAAC,CAAC;AAC5E,CAAC;AAED,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;IACf,OAAO,CAAC,KAAK,CAAC,4BAA4B,EAAE,CAAC,CAAC,CAAC;IAC/C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}

package/dist/scripts/emit-classfiles-core.d.ts

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

package/dist/scripts/emit-classfiles-core.d.ts.map

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

package/dist/scripts/emit-classfiles-core.js

@@ -0,0 +1,86 @@
+#!/usr/bin/env node
+import cp from 'node:child_process';
+import fs from 'node:fs';
+import path from 'node:path';
+function sh(cmd, opts = {}) {
+    const extraEnv = (opts.env ?? {});
+    const env = {
+        GRADLE_USER_HOME: path.resolve('build/.gradle'),
+        GRADLE_OPTS: `${process.env.GRADLE_OPTS ?? ''} -Djava.net.preferIPv4Stack=true -Djava.net.preferIPv6Stack=false`.trim(),
+        JAVA_OPTS: `${process.env.JAVA_OPTS ?? ''} -Djava.net.preferIPv4Stack=true -Djava.net.preferIPv6Stack=false`.trim(),
+        ...process.env,
+        ...extraEnv,
+    };
+    cp.execSync(cmd, { stdio: 'inherit', env: env, ...opts });
+}
+async function main() {
+    // Ensure emitter built (use gradle if no wrapper)
+    const hasWrapper = fs.existsSync('./gradlew');
+    const buildDir = 'aster-asm-emitter/build/libs';
+    if (!fs.existsSync(buildDir) ||
+        fs.readdirSync(buildDir).filter(f => f.endsWith('.jar')).length === 0) {
+        const buildCmd = hasWrapper
+            ? './gradlew :aster-asm-emitter:build'
+            : 'gradle :aster-asm-emitter:build';
+        try {
+            sh(buildCmd);
+        }
+        catch (e) {
+            console.error('Failed to build ASM emitter:', e);
+            process.exit(1);
+        }
+    }
+    const input = process.argv[2];
+    if (!input) {
+        console.error('Usage: emit-classfiles-core <file.core.json>');
+        process.exit(2);
+    }
+    const src = fs.readFileSync(input, 'utf8');
+    // Generate primitive hints sidecar
+    try {
+        const { spawnSync } = await import('node:child_process');
+        const r = spawnSync(process.execPath, ['dist/scripts/emit-hints.js', input], { stdio: 'inherit' });
+        if (r.status !== 0)
+            console.error('WARN: hints generation failed');
+    }
+    catch (e) {
+        console.error('WARN: hints generation error:', e.message);
+    }
+    // Basic sanity check: expect a Module JSON
+    if (!src.trim().startsWith('{')) {
+        console.error('Input does not look like JSON:', input);
+        process.exit(2);
+    }
+    fs.mkdirSync('build', { recursive: true });
+    fs.writeFileSync('build/last-core.json', src);
+    const runCmd = fs.existsSync('./gradlew') ? './gradlew' : 'gradle';
+    const outDir = path.resolve('build/jvm-classes');
+    // Clean output dir to avoid stale classes triggering javap checks
+    if (fs.existsSync(outDir)) {
+        fs.rmSync(outDir, { recursive: true, force: true });
+    }
+    await new Promise((resolve, reject) => {
+        const env = {
+            GRADLE_USER_HOME: path.resolve('build/.gradle'),
+            GRADLE_OPTS: `${process.env.GRADLE_OPTS ?? ''} -Djava.net.preferIPv4Stack=true -Djava.net.preferIPv6Stack=false`.trim(),
+            JAVA_OPTS: `${process.env.JAVA_OPTS ?? ''} -Djava.net.preferIPv4Stack=true -Djava.net.preferIPv6Stack=false`.trim(),
+            HINTS_PATH: path.resolve('build/hints.json'),
+            ASTER_ROOT: process.cwd(),
+            ...process.env,
+        };
+        const proc = cp.spawn(runCmd, [':aster-asm-emitter:run', `--args=${outDir}`], {
+            stdio: ['pipe', 'inherit', 'inherit'],
+            env,
+        });
+        proc.on('error', reject);
+        proc.on('close', code => code === 0 ? resolve() : reject(new Error(`emitter exited ${code}`)));
+        proc.stdin.write(src);
+        proc.stdin.end();
+    });
+    console.log('Emitted classes to build/jvm-classes');
+}
+main().catch(e => {
+    console.error('emit-classfiles-core failed:', e);
+    process.exit(1);
+});
+//# sourceMappingURL=emit-classfiles-core.js.map

package/dist/scripts/emit-classfiles-core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-classfiles-core.js","sourceRoot":"","sources":["../../scripts/emit-classfiles-core.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,MAAM,oBAAoB,CAAC;AACpC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,SAAS,EAAE,CAAC,GAAW,EAAE,OAA2B,EAAE;IACpD,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAuC,CAAC;IACxE,MAAM,GAAG,GAAuC;QAC9C,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;QAC/C,WAAW,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,mEAAmE,CAAC,IAAI,EAAE;QACvH,SAAS,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,mEAAmE,CAAC,IAAI,EAAE;QACnH,GAAG,OAAO,CAAC,GAAG;QACd,GAAG,QAAQ;KACZ,CAAC;IACF,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,GAAgC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;AACzF,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,kDAAkD;IAClD,MAAM,UAAU,GAAG,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,8BAA8B,CAAC;IAChD,IACE,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;QACxB,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EACrE,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU;YACzB,CAAC,CAAC,oCAAoC;YACtC,CAAC,CAAC,iCAAiC,CAAC;QACtC,IAAI,CAAC;YACH,EAAE,CAAC,QAAQ,CAAC,CAAC;QACf,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,CAAC,KAAK,CAAC,8BAA8B,EAAE,CAAC,CAAC,CAAC;YACjD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3C,mCAAmC;IACnC,IAAI,CAAC;QACH,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,MAAM,CAAC,oBAAoB,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,4BAA4B,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACnG,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACrE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,+BAA+B,EAAG,CAAW,CAAC,OAAO,CAAC,CAAC;IACvE,CAAC;IACD,2CAA2C;IAC3C,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,KAAK,CAAC,gCAAgC,EAAE,KAAK,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3C,EAAE,CAAC,aAAa,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC;IAE9C,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;IACnE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACjD,kEAAkE;IAClE,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QAC1C,MAAM,GAAG,GAAG;YACV,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;YAC/C,WAAW,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,mEAAmE,CAAC,IAAI,EAAE;YACvH,SAAS,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,mEAAmE,CAAC,IAAI,EAAE;YACnH,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;YAC5C,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE;YACzB,GAAG,OAAO,CAAC,GAAG;SACf,CAAC;QACF,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,wBAAwB,EAAE,UAAU,MAAM,EAAE,CAAC,EAAE;YAC5E,KAAK,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC;YACrC,GAAG;SACJ,CAAC,CAAC;QACH,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CACtB,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC,CACrE,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;AACtD,CAAC;AAED,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;IACf,OAAO,CAAC,KAAK,CAAC,8BAA8B,EAAE,CAAC,CAAC,CAAC;IACjD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}

package/dist/scripts/emit-classfiles.d.ts

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

package/dist/scripts/emit-classfiles.d.ts.map

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

package/dist/scripts/emit-classfiles.js

@@ -0,0 +1,401 @@
+#!/usr/bin/env node
+import cp from 'node:child_process';
+import fs from 'node:fs';
+import path from 'node:path';
+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 { emitJava } from '../src/jvm/emitter.js';
+const FINANCE_DTO_PACKAGE = 'com.wontlost.aster.finance.dto';
+const FINANCE_DTO_DIR = path.resolve('aster-finance/src/main/java', ...FINANCE_DTO_PACKAGE.split('.'));
+const FINANCE_DTO_MODULES = new Set([
+    'aster.finance.loan',
+    'aster.finance.creditcard',
+    'aster.finance.fraud',
+    'aster.finance.risk',
+    'aster.finance.personal_lending',
+    'aster.finance.enterprise_lending',
+    'aster.insurance.life',
+    'aster.insurance.auto',
+    'aster.healthcare.eligibility',
+    'aster.healthcare.claims',
+]);
+let financeDtoInitialized = false;
+function shouldUseFinanceDto(moduleName) {
+    return !!moduleName && FINANCE_DTO_MODULES.has(moduleName);
+}
+function ensureFinanceDtoDir() {
+    if (financeDtoInitialized)
+        return;
+    fs.rmSync(FINANCE_DTO_DIR, { recursive: true, force: true });
+    fs.mkdirSync(FINANCE_DTO_DIR, { recursive: true });
+    financeDtoInitialized = true;
+}
+function generateFinanceDtos(core) {
+    if (!shouldUseFinanceDto(core.name))
+        return;
+    ensureFinanceDtoDir();
+    for (const decl of core.decls) {
+        if (decl.kind !== 'Data')
+            continue;
+        const filePath = path.join(FINANCE_DTO_DIR, `${decl.name}.java`);
+        const content = renderFinanceDto(core.name ?? 'app', decl);
+        fs.writeFileSync(filePath, content, 'utf8');
+    }
+}
+function renderFinanceDto(moduleName, data) {
+    const imports = new Set();
+    const fieldBlocks = data.fields.map((field, idx) => renderDtoField(field, idx === data.fields.length - 1, imports));
+    const importLines = [...imports].sort().map(i => `import ${i};`).join('\n');
+    const importSection = importLines ? `${importLines}\n\n` : '';
+    const doc = `/**\n * Aster DSL 自动生成 DTO：${data.name}（模块 ${moduleName}）。\n */`;
+    return `package ${FINANCE_DTO_PACKAGE};\n\n${importSection}${doc}\npublic record ${data.name}(\n${fieldBlocks.join('\n')}\n) {}\n`;
+}
+function renderDtoField(field, isLast, imports) {
+    const typeInfo = resolveJavaType(field.type);
+    typeInfo.imports.forEach(i => imports.add(i));
+    const annotations = [];
+    if (!typeInfo.primitive && !typeInfo.nullable) {
+        annotations.push('@NotNull');
+        imports.add('jakarta.validation.constraints.NotNull');
+    }
+    annotations.push(...renderFieldAnnotations(field, imports));
+    const lines = annotations.map(a => `  ${a}`);
+    const suffix = isLast ? '' : ',';
+    lines.push(`  ${typeInfo.type} ${field.name}${suffix}`);
+    return lines.join('\n');
+}
+function renderFieldAnnotations(field, imports) {
+    if (!field.annotations || field.annotations.length === 0)
+        return [];
+    const result = [];
+    for (const ann of field.annotations) {
+        switch (ann.name) {
+            case 'Range': {
+                imports.add('io.aster.validation.constraints.Range');
+                const params = renderAnnotationParams(ann.params);
+                result.push(params ? `@Range(${params})` : '@Range');
+                break;
+            }
+            case 'NotEmpty': {
+                imports.add('io.aster.validation.constraints.NotEmpty');
+                result.push('@NotEmpty');
+                break;
+            }
+            case 'Pattern': {
+                imports.add('io.aster.validation.constraints.Pattern');
+                const params = renderAnnotationParams(ann.params);
+                result.push(params ? `@Pattern(${params})` : '@Pattern');
+                break;
+            }
+            default: {
+                result.push(`@${ann.name}`);
+                break;
+            }
+        }
+    }
+    return result;
+}
+function renderAnnotationParams(params) {
+    if (!params || Object.keys(params).length === 0)
+        return '';
+    return Object.entries(params)
+        .map(([key, value]) => `${key} = ${formatAnnotationValue(value)}`)
+        .join(', ');
+}
+function formatAnnotationValue(value) {
+    if (typeof value === 'number')
+        return Number.isInteger(value) ? String(value) : value.toString();
+    if (typeof value === 'boolean')
+        return value ? 'true' : 'false';
+    return `"${escapeJavaString(String(value))}"`;
+}
+function escapeJavaString(input) {
+    return input.replace(/\\/g, '\\\\').replace(/"/g, '\\"');
+}
+function resolveJavaType(t) {
+    switch (t.kind) {
+        case 'TypeName':
+            return mapTypeName(t.name);
+        case 'List': {
+            const inner = resolveJavaType(t.type);
+            const imports = new Set(inner.imports);
+            imports.add('java.util.List');
+            return { type: `List<${inner.type}>`, primitive: false, nullable: inner.nullable, imports };
+        }
+        case 'Map': {
+            const key = resolveJavaType(t.key);
+            const val = resolveJavaType(t.val);
+            const imports = new Set([...key.imports, ...val.imports]);
+            imports.add('java.util.Map');
+            return { type: `Map<${key.type}, ${val.type}>`, primitive: false, nullable: key.nullable || val.nullable, imports };
+        }
+        case 'Maybe':
+        case 'Option': {
+            const inner = resolveJavaType(t.type);
+            return { type: inner.type, primitive: inner.primitive, nullable: true, imports: inner.imports };
+        }
+        default:
+            return { type: 'Object', primitive: false, nullable: false, imports: new Set() };
+    }
+}
+function mapTypeName(name) {
+    switch (name) {
+        case 'Int':
+            return { type: 'int', primitive: true, nullable: false, imports: new Set() };
+        case 'Bool':
+            return { type: 'boolean', primitive: true, nullable: false, imports: new Set() };
+        case 'Long':
+            return { type: 'long', primitive: true, nullable: false, imports: new Set() };
+        case 'Double':
+            return { type: 'double', primitive: true, nullable: false, imports: new Set() };
+        case 'Text':
+        case 'Text?':
+            return { type: 'String', primitive: false, nullable: name.endsWith('?'), imports: new Set() };
+        default:
+            return { type: name, primitive: false, nullable: false, imports: new Set() };
+    }
+}
+function envWithGradle() {
+    return {
+        GRADLE_USER_HOME: path.resolve('build/.gradle'),
+        GRADLE_OPTS: `${process.env.GRADLE_OPTS ?? ''} -Djava.net.preferIPv4Stack=true -Djava.net.preferIPv6Stack=false`.trim(),
+        JAVA_OPTS: `${process.env.JAVA_OPTS ?? ''} -Djava.net.preferIPv4Stack=true -Djava.net.preferIPv6Stack=false`.trim(),
+        ...process.env,
+    };
+}
+const JVM_SRC_DIR = path.resolve('build/jvm-src');
+const JAVA_DEP_SOURCE_DIRS = [path.resolve('aster-runtime/src/main/java')];
+// Exclude files that require external dependencies (Quarkus, SmallRye) not available during standalone javac
+const JAVA_DEP_EXCLUSIONS = [
+    /io[/\\]quarkus[/\\]runtime[/\\]graal[/\\]/, // All GraalVM substitution classes (need SmallRye/Quarkus)
+    /io[/\\]aster[/\\]workflow[/\\]IdempotencyKeyManager\.java$/, // Needs Quarkus cache
+    /aster[/\\]runtime[/\\]workflow[/\\]InMemoryWorkflowRuntime\.java$/, // Depends on IdempotencyKeyManager
+];
+const WORKFLOW_RUNTIME_FILES = [
+    path.resolve('aster-truffle/src/main/java/aster/truffle/runtime/AsyncTaskRegistry.java'),
+    path.resolve('aster-truffle/src/main/java/aster/truffle/runtime/DependencyGraph.java'),
+    path.resolve('aster-truffle/src/main/java/aster/truffle/runtime/WorkflowScheduler.java'),
+    path.resolve('aster-truffle/src/main/java/aster/truffle/runtime/PostgresEventStore.java'),
+    path.resolve('aster-truffle/src/main/java/aster/truffle/runtime/DelayedTask.java'),
+    path.resolve('aster-core/src/main/java/aster/core/exceptions/MaxRetriesExceededException.java'),
+];
+function ensureJar(hasWrapper, jarDir, gradleTask, label) {
+    const hasJar = fs.existsSync(jarDir) && fs.readdirSync(jarDir).some(f => f.endsWith('.jar'));
+    if (hasJar)
+        return;
+    const buildCmd = hasWrapper
+        ? ['./gradlew', '-g', 'build/.gradle', gradleTask]
+        : ['gradle', '-g', 'build/.gradle', gradleTask];
+    try {
+        cp.execFileSync(buildCmd[0], buildCmd.slice(1), {
+            stdio: 'inherit',
+            env: envWithGradle(),
+        });
+    }
+    catch (e) {
+        console.error(`Failed to build ${label}:`, e);
+        process.exit(1);
+    }
+    const jars = fs.readdirSync(jarDir).filter(f => f.endsWith('.jar'));
+    if (jars.length === 0) {
+        console.error(`${label} jar not found in`, jarDir);
+        process.exit(2);
+    }
+}
+function containsWorkflow(core) {
+    return core.decls.some(decl => decl.kind === 'Func' && blockHasWorkflow(decl.body));
+}
+function blockHasWorkflow(block) {
+    return block.statements.some(statementHasWorkflow);
+}
+function statementHasWorkflow(stmt) {
+    switch (stmt.kind) {
+        case 'workflow':
+            return true;
+        case 'Scope':
+            return stmt.statements.some(statementHasWorkflow);
+        case 'If':
+            return (blockHasWorkflow(stmt.thenBlock) ||
+                (stmt.elseBlock ? blockHasWorkflow(stmt.elseBlock) : false));
+        case 'Match':
+            return stmt.cases.some(c => c.body.kind === 'Return' ? false : blockHasWorkflow(c.body));
+        default:
+            return false;
+    }
+}
+function collectJavaSources(dir, exclusions = []) {
+    if (!fs.existsSync(dir))
+        return [];
+    const result = [];
+    const stack = [dir];
+    while (stack.length > 0) {
+        const current = stack.pop();
+        const stat = fs.statSync(current);
+        if (stat.isDirectory()) {
+            for (const entry of fs.readdirSync(current)) {
+                stack.push(path.join(current, entry));
+            }
+        }
+        else if (current.endsWith('.java')) {
+            // Skip files matching any exclusion pattern
+            const excluded = exclusions.some(pattern => pattern.test(current));
+            if (!excluded) {
+                result.push(current);
+            }
+        }
+    }
+    return result;
+}
+async function compileWorkflowSources(outDir) {
+    const dependencySources = JAVA_DEP_SOURCE_DIRS.flatMap(dir => collectJavaSources(dir, JAVA_DEP_EXCLUSIONS));
+    const generatedSources = collectJavaSources(JVM_SRC_DIR);
+    if (generatedSources.length === 0) {
+        console.warn('[emit-classfiles] 未找到 workflow Java 源文件，跳过 javac。');
+        return;
+    }
+    const workflowRuntimeSources = WORKFLOW_RUNTIME_FILES.filter(f => fs.existsSync(f));
+    const javacArgs = [
+        '--release',
+        '25',
+        '-g',
+        '-d',
+        outDir,
+        ...dependencySources,
+        ...workflowRuntimeSources,
+        ...generatedSources,
+    ];
+    await new Promise((resolve, reject) => {
+        const proc = cp.spawn('javac', javacArgs, { stdio: 'inherit' });
+        proc.on('error', reject);
+        proc.on('close', code => code === 0 ? resolve() : reject(new Error(`javac exited ${code}`)));
+    });
+}
+function generateCapabilityStubs(jvmSrcDir) {
+    // Create aster/capabilities directory
+    const capabilitiesDir = path.join(jvmSrcDir, 'aster', 'capabilities');
+    fs.mkdirSync(capabilitiesDir, { recursive: true });
+    // Payment capability facade
+    const paymentStub = `package aster.capabilities;
+
+/**
+ * Payment capability 静态 facade（自动生成的桩实现）
+ */
+public final class Payment {
+    private Payment() {}
+
+    public static String charge(String orderId, Object amount) {
+        return "payment-stub-" + orderId;
+    }
+
+    public static String refund(String paymentId) {
+        return "refund-stub-" + paymentId;
+    }
+}
+`;
+    fs.writeFileSync(path.join(capabilitiesDir, 'Payment.java'), paymentStub);
+    // Inventory capability facade
+    const inventoryStub = `package aster.capabilities;
+
+/**
+ * Inventory capability 静态 facade（自动生成的桩实现）
+ */
+public final class Inventory {
+    private Inventory() {}
+
+    public static String reserve(String orderId, Object items) {
+        return "reservation-stub-" + orderId;
+    }
+
+    public static String release(String reservationId) {
+        return "released-" + reservationId;
+    }
+}
+`;
+    fs.writeFileSync(path.join(capabilitiesDir, 'Inventory.java'), inventoryStub);
+    // List utility facade
+    const listStub = `package aster.capabilities;
+
+/**
+ * List 工具类静态 facade（自动生成的桩实现）
+ */
+public final class List {
+    private List() {}
+
+    @SuppressWarnings("unchecked")
+    public static <T> java.util.List<T> empty() {
+        return java.util.Collections.emptyList();
+    }
+}
+`;
+    fs.writeFileSync(path.join(capabilitiesDir, 'List.java'), listStub);
+}
+async function emitWorkflowModules(modules, outDir) {
+    if (modules.length === 0)
+        return;
+    console.log(`[emit-classfiles] 检测到 ${modules.length} 个 workflow 模块，切换到 TypeScript JVM emitter`);
+    fs.rmSync(JVM_SRC_DIR, { recursive: true, force: true });
+    fs.mkdirSync(JVM_SRC_DIR, { recursive: true });
+    // Generate capability stub facades
+    generateCapabilityStubs(JVM_SRC_DIR);
+    for (const { core, input } of modules) {
+        console.log(`[emit-classfiles] 生成 workflow Java 源码：${input}`);
+        await emitJava(core, JVM_SRC_DIR);
+    }
+    await compileWorkflowSources(outDir);
+}
+async function main() {
+    const hasWrapper = fs.existsSync('./gradlew');
+    // 确保 ASM emitter Jar 就绪（legacy 路径仍依赖）
+    ensureJar(hasWrapper, 'aster-asm-emitter/build/libs', ':aster-asm-emitter:build', 'ASM emitter');
+    const inputs = process.argv.slice(2);
+    if (inputs.length === 0) {
+        console.error('Usage: emit-classfiles <file.aster> [more.aster ...]');
+        process.exit(2);
+    }
+    // Prefer running via Gradle run to get classpath deps available
+    const runCmd = hasWrapper ? './gradlew' : 'gradle';
+    // 支持通过 ASTER_CLASSES_DIR 环境变量指定隔离的类输出目录（解决并行构建竞态条件）
+    const outDir = process.env.ASTER_CLASSES_DIR && process.env.ASTER_CLASSES_DIR.trim().length > 0
+        ? path.resolve(process.env.ASTER_CLASSES_DIR)
+        : path.resolve('build/jvm-classes');
+    fs.mkdirSync(path.dirname(outDir), { recursive: true });
+    // Clean output dir once to avoid stale classes
+    if (fs.existsSync(outDir)) {
+        fs.rmSync(outDir, { recursive: true, force: true });
+    }
+    const workflowModules = [];
+    for (const input of inputs) {
+        const src = fs.readFileSync(input, 'utf8');
+        const core = lowerModule(parse(lex(canonicalize(src))));
+        const payload = JSON.stringify(core);
+        fs.writeFileSync('build/last-core.json', payload);
+        if (shouldUseFinanceDto(core.name)) {
+            generateFinanceDtos(core);
+        }
+        if (containsWorkflow(core)) {
+            workflowModules.push({ core, input });
+            continue;
+        }
+        await new Promise((resolve, reject) => {
+            const proc = cp.spawn(runCmd, ['-g', 'build/.gradle', ':aster-asm-emitter:run', `--args=${outDir}`], {
+                stdio: ['pipe', 'inherit', 'inherit'],
+                env: { ...envWithGradle(), ASTER_ROOT: process.cwd() },
+            });
+            proc.on('error', reject);
+            proc.on('close', code => code === 0 ? resolve() : reject(new Error(`emitter exited ${code}`)));
+            proc.stdin.write(payload);
+            proc.stdin.end();
+        });
+    }
+    if (workflowModules.length > 0) {
+        await emitWorkflowModules(workflowModules, outDir);
+    }
+    console.log('Emitted classes to', outDir);
+}
+main().catch(e => {
+    console.error('emit-classfiles failed:', e);
+    process.exit(1);
+});
+//# sourceMappingURL=emit-classfiles.js.map