@aster-cloud/aster-lang-ts 1.6.0 → 3.0.0

package/dist/test/unit/core/core-ir-conformance.test.js

@@ -0,0 +1,39 @@
+import { test } from 'node:test';
+import assert from 'node:assert/strict';
+import { compile } from '../../../src/browser.js';
+import { EN_US } from '../../../src/config/lexicons/en-US.js';
+import { ZH_CN } from '../../../src/config/lexicons/zh-CN.js';
+import { DE_DE } from '../../../src/config/lexicons/de-DE.js';
+import { HI_IN } from '../../../src/config/lexicons/hi-IN.js';
+import { CoreIrFormatError, readCoreIr } from '../../../src/core/read-core-ir.js';
+import { serializeCoreIr } from '../../../src/core/serialize-core-ir.js';
+import { loadCorpus } from '../../../scripts/corpus-loader.js';
+// ADR 0055 §3：ts 对语料的全部输出都必须通过 v2 schema 与不变式（与 core CoreIrSchemaConformanceTest 对应）。
+// 语料取自 aster-lang-test（兄弟 checkout，缺失时退回 npm 快照，见 scripts/corpus-loader.ts）。
+const LEXICONS = { 'en-US': EN_US, 'zh-CN': ZH_CN, 'de-DE': DE_DE, 'hi-IN': HI_IN };
+test('corpus output conforms to Core IR v2 schema and invariants', async () => {
+    const { listSamples } = await loadCorpus();
+    const failures = [];
+    let checked = 0;
+    for (const sample of listSamples()) {
+        if (sample.path.startsWith('tier1-reject/'))
+            continue;
+        const lexicon = LEXICONS[sample.meta.lexicon ?? 'en-US'];
+        if (!lexicon)
+            continue;
+        const result = compile(sample.readSource(), { lexicon });
+        if (!result.success || !result.core)
+            continue;
+        checked++;
+        try {
+            readCoreIr(serializeCoreIr(result.core));
+        }
+        catch (e) {
+            const detail = e instanceof CoreIrFormatError ? JSON.stringify(e.problems.slice(0, 3)) : String(e);
+            failures.push(`${sample.path}: ${e instanceof Error ? e.message : String(e)} ${detail}`);
+        }
+    }
+    assert.ok(checked >= 300, `可编译样本异常偏少（${checked}）`);
+    assert.deepEqual(failures, []);
+});
+//# sourceMappingURL=core-ir-conformance.test.js.map

package/dist/test/unit/core/core-ir-conformance.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-ir-conformance.test.js","sourceRoot":"","sources":["../../../../test/unit/core/core-ir-conformance.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAE9D,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAE/D,sFAAsF;AACtF,6EAA6E;AAC7E,MAAM,QAAQ,GAAsC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAEvH,IAAI,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;IAC5E,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,UAAU,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;YAAE,SAAS;QACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC9C,OAAO,EAAE,CAAC;QACV,IAAI,CAAC;YACH,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,MAAM,GAAG,CAAC,YAAY,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACnG,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;IACD,MAAM,CAAC,EAAE,CAAC,OAAO,IAAI,GAAG,EAAE,aAAa,OAAO,GAAG,CAAC,CAAC;IACnD,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC"}

package/dist/test/unit/core/core-ir-schema-parity.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=core-ir-schema-parity.test.d.ts.map

package/dist/test/unit/core/core-ir-schema-parity.test.d.ts.map

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

package/dist/test/unit/core/core-ir-schema-parity.test.js

@@ -0,0 +1,25 @@
+import { test } from 'node:test';
+import assert from 'node:assert/strict';
+import { readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { CORE_IR_SCHEMA_MODULE_PATH, CORE_IR_SCHEMA_PATH, CORE_IR_TYPES_PATH, renderCoreIrSchemaModule, renderCoreIrTypes, } from '../../../scripts/generate-core-ir-types.js';
+import { CORE_IR_V2_SCHEMA } from '../../../src/core/core-ir-v2.schema.generated.js';
+import { locateLocalesCoreIr } from '../../helpers/locales-core-ir.js';
+// ADR 0055 §3：shared/ 副本与 aster-lang-locales 真相源深度相等，生成物与副本同步。
+const root = process.cwd();
+const readRepo = (p) => readFileSync(join(root, p), 'utf8');
+const sharedSchema = () => JSON.parse(readRepo(CORE_IR_SCHEMA_PATH));
+test('schema copy equals locales source', (t) => {
+    const source = locateLocalesCoreIr('core-ir.v2.schema.json');
+    if (source === undefined)
+        return t.skip('本地未并列 checkout aster-lang-locales');
+    assert.deepEqual(sharedSchema(), JSON.parse(readFileSync(source, 'utf8')));
+});
+test('generated types are fresh', async () => {
+    assert.equal(readRepo(CORE_IR_TYPES_PATH), await renderCoreIrTypes(sharedSchema()), '重新运行 node dist/scripts/generate-core-ir-types.js 并提交生成物');
+});
+test('generated schema module is fresh and equals the shared copy', () => {
+    assert.equal(readRepo(CORE_IR_SCHEMA_MODULE_PATH), renderCoreIrSchemaModule(sharedSchema()), '重新运行 node dist/scripts/generate-core-ir-types.js 并提交生成物');
+    assert.deepEqual(CORE_IR_V2_SCHEMA, sharedSchema());
+});
+//# sourceMappingURL=core-ir-schema-parity.test.js.map

package/dist/test/unit/core/core-ir-schema-parity.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-ir-schema-parity.test.js","sourceRoot":"","sources":["../../../../test/unit/core/core-ir-schema-parity.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,0BAA0B,EAC1B,mBAAmB,EACnB,kBAAkB,EAClB,wBAAwB,EACxB,iBAAiB,GAClB,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kDAAkD,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAEvE,+DAA+D;AAC/D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AAC3B,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAC5E,MAAM,YAAY,GAAG,GAA4B,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAA4B,CAAC;AAEzH,IAAI,CAAC,mCAAmC,EAAE,CAAC,CAAC,EAAE,EAAE;IAC9C,MAAM,MAAM,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;IAC7D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAC7E,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2BAA2B,EAAE,KAAK,IAAI,EAAE;IAC3C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,iBAAiB,CAAC,YAAY,EAAE,CAAC,EAChF,yDAAyD,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,wBAAwB,CAAC,YAAY,EAAE,CAAC,EACzF,yDAAyD,CAAC,CAAC;IAC7D,MAAM,CAAC,SAAS,CAAC,iBAAiB,EAAE,YAAY,EAAE,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC"}

package/dist/test/unit/core/core-ir-v2-outputs.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=core-ir-v2-outputs.test.d.ts.map

package/dist/test/unit/core/core-ir-v2-outputs.test.d.ts.map

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

package/dist/test/unit/core/core-ir-v2-outputs.test.js

@@ -0,0 +1,128 @@
+/**
+ * Core IR v2 的读写出口与消费方（ADR 0055 §5；实施计划 Task T3）：
+ * compile().coreJson、CLI 写出的 IR 文件、解释器与治理检查读 v2 IR。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { spawnSync } from 'node:child_process';
+import fs from 'node:fs';
+import os from 'node:os';
+import path from 'node:path';
+import { compile, compileAndTypecheck } from '../../../src/browser.js';
+import { prepareTruffleCoreJson } from '../../../src/cli/utils/core-ir-file.js';
+import { Core as CoreIR } from '../../../src/core/core_ir.js';
+import { evaluate } from '../../../src/core/interpreter.js';
+import { CoreIrFormatError, readCoreIr } from '../../../src/core/read-core-ir.js';
+import { serializeCoreIr } from '../../../src/core/serialize-core-ir.js';
+import { ZH_CN } from '../../../src/config/lexicons/zh-CN.js';
+import { checkGovernance, controls, ruleId } from '../../../src/typecheck/governance.js';
+const COLOR = 'Module m.\n\nDefine Color as one of Red, Green.\n\n'
+    + 'Rule f given c as Color, produce Int:\n  Match c:\n    When Red, Return 1.\n    When Green, Return 2.\n';
+function core(source) {
+    const r = compile(source, {});
+    assert.equal(r.success, true, JSON.stringify(r.parseErrors ?? r.resolutionDiagnostics));
+    return r.core;
+}
+describe('compile().coreJson', () => {
+    it('compile returns coreJson equal to serializeCoreIr(core)', () => {
+        const r = compile(COLOR, {});
+        assert.equal(r.success, true);
+        assert.equal(r.coreJson, serializeCoreIr(r.core));
+        assert.deepEqual(readCoreIr(r.coreJson), r.core);
+        const t = compileAndTypecheck(COLOR, {});
+        assert.equal(t.coreJson, serializeCoreIr(t.core));
+    });
+    it('编译失败时不产出 coreJson', () => {
+        const r = compile('Module m.\n\nRule f given x as Int, produce Int:\n  Return y.\n', {});
+        assert.equal(r.success, false);
+        assert.equal(r.coreJson, undefined);
+    });
+});
+describe('解释器读 v2 IR', () => {
+    it('interpreter evaluates v2 PatCtor zero-arg variant', () => {
+        const m = core(COLOR);
+        assert.equal(evaluate(m, 'f', { c: 'Green' }).value, 2);
+        // 读回的 JSON IR（无任何旁路表）同样可求值
+        const fromJson = readCoreIr(serializeCoreIr(m));
+        assert.equal(evaluate(fromJson, 'f', { c: 'Red' }).value, 1);
+    });
+    it('中文枚举成员（无大小写）经 0 参 PatCtor 正确匹配', () => {
+        const src = '模块 探针.样例。\n\n定义 状态 为以下之一 待处理、进行中。\n\n'
+            + '规则 描述 给定 s 作为 状态，产出 整数：\n  匹配于 s：\n    当 待处理，返回 1。\n    当 进行中，返回 2。\n';
+        const r = compile(src, { lexicon: ZH_CN });
+        assert.equal(r.success, true);
+        assert.equal(evaluate(readCoreIr(r.coreJson), '描述', { s: '进行中' }).value, 2);
+    });
+    it('PatName 只绑定：手写 IR 中的大写 PatName 也是绑定，不再当作变体', () => {
+        const body = CoreIR.Block([CoreIR.Match(CoreIR.Name('c'), [
+                CoreIR.Case(CoreIR.PatName('Red'), CoreIR.Return(CoreIR.Int(1))),
+            ])]);
+        const fn = CoreIR.Func('f', [], [CoreIR.Param('c', CoreIR.TypeName('Text'))], CoreIR.TypeName('Int'), [], body);
+        const m = CoreIR.Module('m', [fn]);
+        assert.equal(evaluate(m, 'f', { c: 'anything' }).value, 1);
+    });
+    it('Double 字面量的规范十进制串在运行时解析为浮点数', () => {
+        assert.equal(evaluate(core('Module m.\n\nRule f, produce Double:\n  Return 0.25.\n'), 'f', {}).value, 0.25);
+    });
+});
+describe('治理检查读 v2 注解', () => {
+    it('governance reads $0 from args', () => {
+        const m = core('Module m.\n\n@id("R1")\n@control("EU_AI_ACT:ART14")\nRule decide given x as Int, produce Verdict:\n  Return Verdict.allow().\n');
+        const f = m.decls.find((d) => d.kind === 'Func');
+        assert.deepEqual(f.annotations.map((a) => a.args), [[{ name: '$0', value: 'R1' }], [{ name: '$0', value: 'EU_AI_ACT:ART14' }]]);
+        assert.equal(ruleId(f), 'R1');
+        assert.deepEqual(controls(f), ['EU_AI_ACT:ART14']);
+        const codes = checkGovernance(m).map((d) => d.code);
+        assert.equal(codes.includes("W700" /* ErrorCode.GOV_VERDICT_RULE_MISSING_ID */), false);
+    });
+    it('$0 不是字符串时报 E702', () => {
+        const m = core('Module m.\n\n@id(42)\nRule decide given x as Int, produce Verdict:\n  Return Verdict.allow().\n');
+        assert.ok(checkGovernance(m).some((d) => d.code === "E702" /* ErrorCode.GOV_ANNOTATION_ARG_INVALID */));
+    });
+});
+describe('与 Java 解析面的对照（T3 审查复核）', () => {
+    it('重复的效应名在 IR 中按首次出现去重（与 Java LinkedHashSet 一致），输出能被严格读回', () => {
+        const r = compile('Module m.\n\nRule f given x as Int, produce Int. It performs io and io and cpu:\n  Return x.\n', {});
+        assert.equal(r.success, true);
+        assert.deepEqual(r.core.decls[0].effects, ['io', 'cpu']);
+        readCoreIr(r.coreJson);
+    });
+    it('注解参数名与值可以是软关键词（与 Java structKeywordName 一致）', () => {
+        const m = core('Module m.\n\n@x(return: "a", to)\nRule f given x as Int, produce Int:\n  Return x.\n');
+        const f = m.decls[0];
+        assert.deepEqual(f.annotations[0].args, [{ name: 'return', value: 'a' }, { name: '$0', value: 'to' }]);
+    });
+});
+describe('CLI 的 IR 文件', () => {
+    const dir = fs.mkdtempSync(path.join(os.tmpdir(), 'aster-core-ir-v2-'));
+    it('cli truffle writes canonical v2', () => {
+        const input = path.join(dir, 'color.aster');
+        fs.writeFileSync(input, COLOR);
+        const out = prepareTruffleCoreJson(input, path.join(dir, 'build'));
+        const bytes = fs.readFileSync(out, 'utf8');
+        assert.equal(bytes, compile(COLOR, {}).coreJson);
+        assert.equal(serializeCoreIr(readCoreIr(bytes)), bytes);
+    });
+    it('truffle 的 .json 输入先严格读入：v1 形状（无 schemaVersion）被拒收', () => {
+        const v1 = path.join(dir, 'old.json');
+        fs.writeFileSync(v1, JSON.stringify({ kind: 'Module', name: 'm', decls: [] }));
+        assert.throws(() => prepareTruffleCoreJson(v1), (e) => e instanceof CoreIrFormatError && e.code === 'unsupported_schema_version');
+        const ok = path.join(dir, 'ok.json');
+        fs.writeFileSync(ok, compile(COLOR, {}).coreJson);
+        assert.equal(prepareTruffleCoreJson(ok), ok);
+    });
+    it('aster-convert compile-to-json 输出规范字节，json-to-cnl 拒收 v1 IR', () => {
+        const input = path.join(dir, 'conv.aster');
+        fs.writeFileSync(input, COLOR);
+        const cli = path.join(process.cwd(), 'dist', 'src', 'cli', 'policy-converter.js');
+        const compiled = spawnSync(process.execPath, [cli, 'compile-to-json', input], { encoding: 'utf8' });
+        assert.equal(compiled.status, 0, compiled.stderr);
+        assert.equal(compiled.stdout.trim(), compile(COLOR, {}).coreJson);
+        const v1 = path.join(dir, 'conv-old.json');
+        fs.writeFileSync(v1, JSON.stringify({ version: '1.0', module: { kind: 'Module', name: 'm', decls: [] } }));
+        const back = spawnSync(process.execPath, [cli, 'json-to-cnl', v1], { encoding: 'utf8' });
+        assert.notEqual(back.status, 0);
+        assert.match(back.stderr, /schemaVersion/);
+    });
+});
+//# sourceMappingURL=core-ir-v2-outputs.test.js.map

package/dist/test/unit/core/core-ir-v2-outputs.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-ir-v2-outputs.test.js","sourceRoot":"","sources":["../../../../test/unit/core/core-ir-v2-outputs.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACvE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,IAAI,IAAI,MAAM,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AACzE,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAE9D,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,sCAAsC,CAAC;AAGzF,MAAM,KAAK,GAAG,qDAAqD;MAC/D,yGAAyG,CAAC;AAE9G,SAAS,IAAI,CAAC,MAAc;IAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACxF,OAAO,CAAC,CAAC,IAAK,CAAC;AACjB,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,QAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,iEAAiE,EAAE,EAAE,CAAC,CAAC;QACzF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACxD,2BAA2B;QAC3B,MAAM,QAAQ,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,uCAAuC;cAC/C,uEAAuE,CAAC;QAC5E,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,QAAS,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBACxD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aACjE,CAAC,CAAC,CAAC,CAAC;QACL,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QAChH,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,wDAAwD,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9G,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,gIAAgI,CAAC,CAAC;QACjJ,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC;QAClE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;QAChI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,oDAAuC,EAAE,KAAK,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,iGAAiG,CAAC,CAAC;QAClH,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,sDAAyC,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,OAAO,CAAC,gGAAgG,EAAE,EAAE,CAAC,CAAC;QACxH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,SAAS,CAAE,CAAC,CAAC,IAAK,CAAC,KAAK,CAAC,CAAC,CAAe,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACzE,UAAU,CAAC,CAAC,CAAC,QAAS,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAI,CAAC,sFAAsF,CAAC,CAAC;QACvG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC;QAClC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1G,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAExE,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;QAC5C,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACtC,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/E,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,sBAAsB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,YAAY,iBAAiB,IAAI,CAAC,CAAC,IAAI,KAAK,4BAA4B,CAAC,CAAC;QAC3I,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACrC,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAS,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QAC3C,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,CAAC,CAAC;QAClF,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,iBAAiB,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACpG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;QAClE,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;QAC3C,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3G,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,aAAa,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACzF,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/core/read-core-ir.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=read-core-ir.test.d.ts.map

package/dist/test/unit/core/read-core-ir.test.d.ts.map

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

package/dist/test/unit/core/read-core-ir.test.js

@@ -0,0 +1,129 @@
+import { describe, test } from 'node:test';
+import assert from 'node:assert/strict';
+import { readFileSync, readdirSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { canonicalDecimalFromLiteral } from '../../../src/core/canonical-decimal.js';
+import { CoreIrFormatError, readCoreIr } from '../../../src/core/read-core-ir.js';
+import { serializeCoreIr, validateCoreIrInvariants } from '../../../src/core/serialize-core-ir.js';
+import { locateLocalesCoreIr } from '../../helpers/locales-core-ir.js';
+const VERSION_FIXTURES = new Set([
+    'bad-missing-schema-version.json',
+    'bad-schema-version-1.json',
+    'bad-schema-version-string.json',
+]);
+const expectedPath = locateLocalesCoreIr(join('test-fixtures', 'expected-problems.json'));
+const fixtureDir = expectedPath === undefined ? undefined : dirname(expectedPath);
+const expected = expectedPath === undefined
+    ? []
+    : JSON.parse(readFileSync(expectedPath, 'utf8'));
+/** 与 validateCoreIrInvariants 相同的排序：先 path、再 code（码元序）。 */
+function byPathThenCode(a, b) {
+    if (a.path !== b.path)
+        return a.path < b.path ? -1 : 1;
+    return a.code === b.code ? 0 : a.code < b.code ? -1 : 1;
+}
+function readError(json) {
+    try {
+        readCoreIr(json);
+    }
+    catch (e) {
+        if (e instanceof CoreIrFormatError)
+            return e;
+        throw e;
+    }
+    assert.fail('readCoreIr 应当拒收');
+}
+describe('readCoreIr rejects every locales bad fixture with expected problems', () => {
+    test('夹具目录存在且 expected-problems.json 覆盖目录中的每个夹具', (t) => {
+        if (fixtureDir === undefined)
+            return t.skip('本地未并列 checkout aster-lang-locales');
+        const onDisk = readdirSync(fixtureDir).filter(f => /^(bad|ok)-.*\.json$/.test(f)).sort();
+        assert.deepEqual(expected.map(e => e.file).sort(), onDisk);
+        assert.ok(onDisk.filter(f => f.startsWith('bad-')).length >= 24, '负例数异常偏少');
+    });
+    for (const { file, problems } of expected) {
+        test(file, () => {
+            const json = readFileSync(join(fixtureDir, file), 'utf8');
+            if (problems.length === 0) {
+                assert.doesNotThrow(() => readCoreIr(json));
+                return;
+            }
+            const err = readError(json);
+            if (VERSION_FIXTURES.has(file)) {
+                assert.equal(err.code, 'unsupported_schema_version');
+                return;
+            }
+            assert.equal(err.code, 'invalid_request');
+            if (problems.every(p => p.code === 'schema')) {
+                assert.ok(err.problems.length > 0);
+                assert.deepEqual([...new Set(err.problems.map(p => p.code))], ['schema']);
+            }
+            else {
+                // 不变式夹具必须先通过 schema，问题列表只含不变式问题
+                assert.deepEqual(err.problems, [...problems].sort(byPathThenCode));
+            }
+        });
+    }
+});
+describe('readCoreIr 版本预检查与解析错误', () => {
+    test('非 JSON 报 invalid_request', () => {
+        assert.equal(readError('{').code, 'invalid_request');
+    });
+    test('数组、null 与缺失 schemaVersion 都报 unsupported_schema_version', () => {
+        for (const json of ['[]', 'null', '{"kind":"Module"}', '{"schemaVersion":"2"}', '{"schemaVersion":1}']) {
+            assert.equal(readError(json).code, 'unsupported_schema_version', json);
+        }
+    });
+    test('版本正确但形状不对报 invalid_request 且问题 code 为 schema', () => {
+        const err = readError('{"schemaVersion":2}');
+        assert.equal(err.code, 'invalid_request');
+        assert.ok(err.problems.length > 0 && err.problems.every(p => p.code === 'schema'));
+    });
+});
+describe('double literals match locales fixture', () => {
+    test('每条源码字面量的规范十进制串都与夹具一致', (t) => {
+        const path = locateLocalesCoreIr(join('test-fixtures', 'double-literals.json'));
+        if (path === undefined)
+            return t.skip('本地未并列 checkout aster-lang-locales');
+        const rows = JSON.parse(readFileSync(path, 'utf8'));
+        assert.ok(rows.length >= 8);
+        for (const { source, canonical } of rows) {
+            assert.equal(canonicalDecimalFromLiteral(source), canonical, source);
+        }
+    });
+    test('不经 double：超出双精度有效位的字面量原样保留', () => {
+        assert.equal(canonicalDecimalFromLiteral('123456789012345678901.5'), '123456789012345678901.5');
+        assert.equal(canonicalDecimalFromLiteral('-0'), '0');
+        assert.equal(canonicalDecimalFromLiteral('-1.50'), '-1.5');
+        assert.equal(canonicalDecimalFromLiteral('007.0'), '7');
+    });
+    test('输出满足 schema 的 CanonicalDecimal pattern', () => {
+        const pattern = /^(0|-?[1-9][0-9]*(\.[0-9]*[1-9])?|-?0\.[0-9]*[1-9])$/;
+        for (const raw of ['0.1', '1.0', '-0.0', '1E3', '0.000', '-0.25', '100']) {
+            assert.match(canonicalDecimalFromLiteral(raw), pattern, raw);
+        }
+    });
+});
+describe('serializeCoreIr', () => {
+    test('ok 夹具读入后规范输出：键按码点升序，null 与空数组显式输出，读回仍通过', (t) => {
+        if (fixtureDir === undefined)
+            return t.skip('本地未并列 checkout aster-lang-locales');
+        for (const file of expected.filter(e => e.problems.length === 0).map(e => e.file)) {
+            const module = readCoreIr(readFileSync(join(fixtureDir, file), 'utf8'));
+            const bytes = serializeCoreIr(module);
+            assert.ok(bytes.startsWith('{"decls":['), file);
+            assert.ok(bytes.includes('"written":null'), file);
+            assert.deepEqual(readCoreIr(bytes), module, file);
+            assert.equal(serializeCoreIr(readCoreIr(bytes)), bytes, `${file} 规范输出应当幂等`);
+        }
+    });
+    test('validateCoreIrInvariants 对 ok 夹具无问题', (t) => {
+        if (fixtureDir === undefined)
+            return t.skip('本地未并列 checkout aster-lang-locales');
+        for (const file of expected.filter(e => e.problems.length === 0).map(e => e.file)) {
+            const module = JSON.parse(readFileSync(join(fixtureDir, file), 'utf8'));
+            assert.deepEqual(validateCoreIrInvariants(module), [], file);
+        }
+    });
+});
+//# sourceMappingURL=read-core-ir.test.js.map

package/dist/test/unit/core/read-core-ir.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-core-ir.test.js","sourceRoot":"","sources":["../../../../test/unit/core/read-core-ir.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AACrF,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAsB,MAAM,wCAAwC,CAAC;AACvH,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAUvE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,iCAAiC;IACjC,2BAA2B;IAC3B,gCAAgC;CACjC,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,eAAe,EAAE,wBAAwB,CAAC,CAAC,CAAC;AAC1F,MAAM,UAAU,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;AAClF,MAAM,QAAQ,GAAwB,YAAY,KAAK,SAAS;IAC9D,CAAC,CAAC,EAAE;IACJ,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAgB,CAAC;AAEnE,2DAA2D;AAC3D,SAAS,cAAc,CAAC,CAAgB,EAAE,CAAgB;IACxD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,IAAI,CAAC;QACH,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,iBAAiB;YAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC;IACV,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;AACjC,CAAC;AAED,QAAQ,CAAC,qEAAqE,EAAE,GAAG,EAAE;IACnF,IAAI,CAAC,2CAA2C,EAAE,CAAC,CAAC,EAAE,EAAE;QACtD,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QACjF,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzF,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,SAAS,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1C,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE;YACd,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,UAAW,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAC3D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5C,OAAO;YACT,CAAC;YACD,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC;gBACrD,OAAO;YACT,CAAC;YACD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;YAC1C,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;gBAC7C,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBACnC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC5E,CAAC;iBAAM,CAAC;gBACN,gCAAgC;gBAChC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;YACrE,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACnE,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,qBAAqB,CAAC,EAAE,CAAC;YACvG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,4BAA4B,EAAE,IAAI,CAAC,CAAC;QACzE,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC1C,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAI,CAAC,sBAAsB,EAAE,CAAC,CAAC,EAAE,EAAE;QACjC,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,eAAe,EAAE,sBAAsB,CAAC,CAAC,CAAC;QAChF,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAA4C,CAAC;QAC/F,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAC5B,KAAK,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC;YACzC,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACvE,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC,yBAAyB,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAChG,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAClD,MAAM,OAAO,GAAG,sDAAsD,CAAC;QACvE,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YACzE,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAI,CAAC,yCAAyC,EAAE,CAAC,CAAC,EAAE,EAAE;QACpD,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QACjF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAClF,MAAM,MAAM,GAAG,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACxE,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;YAChD,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,CAAC;YAClD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAClD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,qCAAqC,EAAE,CAAC,CAAC,EAAE,EAAE;QAChD,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QACjF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAClF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACxE,MAAM,CAAC,SAAS,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/core/resolve-typed-references.test.js

@@ -287,8 +287,9 @@ describe('resolveTypedReferences（R2）', () => {
                 'Regel f gegeben s als Stufe, liefert Ganzzahl:\n  pruefe s:\n    bei Hoch, gib zurueck 1.\n    bei andere, gib zurueck 2.\n', LEVEL);
             assert.deepEqual(codes(r2), []);
             const cases = stmt(func(module, 'f'), 0, 'Match').cases;
+            // ADR 0055 #16：解析为成员的裸名产出 0 参 PatCtor
             const first = cases[0].pattern;
-            assert.equal(first.name, 'High');
+            assert.deepEqual([first.kind, first.typeName, first.args], ['PatCtor', 'High', []]);
             assert.equal(first.origin?.written, 'Hoch');
             assert.equal(first.origin?.role, 'MEMBER_REF');
             assert.equal(cases[1].pattern.name, 'andere');
@@ -300,7 +301,7 @@ describe('resolveTypedReferences（R2）', () => {
             assert.deepEqual(codes(r2), []);
             const pat = stmt(func(module, 'f'), 1, 'Match').cases[0].pattern;
             assert.equal(pat.typeName, 'Driver');
-            assert.deepEqual(pat.names, ['a']);
+            assert.deepEqual(pat.args.map((a) => a.name), ['a']);
         });
         it('主语未知、全部枚举成员与构造器中唯一 → 采用 + W801', () => {
             const { module, r2 } = run(MODULE + LEVEL_DECL +
@@ -309,7 +310,7 @@ describe('resolveTypedReferences（R2）', () => {
             assert.deepEqual(codes(r2), ["W801" /* ErrorCode.RESOLVED_WITHOUT_TYPE */, "W801" /* ErrorCode.RESOLVED_WITHOUT_TYPE */]);
             const cases = stmt(func(module, 'f'), 1, 'Match').cases;
             assert.equal(cases[0].pattern.typeName, 'High');
-            assert.equal(cases[1].pattern.name, 'Low');
+            assert.equal(cases[1].pattern.typeName, 'Low');
         });
         it('主语未知、多个候选 → E806', () => {
             const { r2 } = run(MODULE + LEVEL_DECL + 'Definiere Rang als eines von Hoch, Mittel.\n\n' +
@@ -344,7 +345,7 @@ describe('resolveTypedReferences（R2）', () => {
             const ufcs = stmt(func(module, 'f'), 0, 'Let').expr;
             assert.deepEqual([nameOf(ufcs.target).name, nameOf(ufcs.args[0]).name], ['get', 'io']);
         });
-        it('lambda：期望类型取 lambda 声明返回类型，捕获列表随解析结果改写', () => {
+        it('lambda：期望类型取 lambda 声明返回类型，枚举成员不进捕获列表', () => {
             const { module, r2 } = run('Module m.\n\nDefine Stufe as one of Hoch, Niedrig.\n\n' +
                 'Rule f given outer as Int, produce Int:\n' +
                 '  Let g be function with x as Int, produce Stufe:\n' +
@@ -355,7 +356,8 @@ describe('resolveTypedReferences（R2）', () => {
             const lambda = stmt(func(module, 'f'), 0, 'Let').expr;
             const ret = lambda.body.statements[1];
             assert.equal(nameOf(ret.expr).name, 'High');
-            assert.deepEqual(lambda.captures, ['outer', 'High']);
+            // 枚举成员不是外层局部，lowering 就不把它放进 captures（ADR 0056 §4.2），R2 无须改写
+            assert.deepEqual(lambda.captures, ['outer']);
         });
     });
     describe('裁决 R19：未知调用目标交由类型检查', () => {
@@ -398,11 +400,11 @@ describe('resolveTypedReferences（R2）', () => {
             collect(module, names, origins);
             assert.deepEqual(names.filter((n) => LOCALIZED.includes(n)), []);
             for (const o of origins) {
-                if (o?.written === undefined && o?.role === undefined)
+                if (o.written === null && o.role === null)
                     continue;
-                assert.ok(o.written !== undefined && o.role !== undefined, '两者同时出现');
+                assert.ok(o.written !== null && o.role !== null, '两者同时出现');
             }
-            const withWritten = origins.filter((o) => o?.written !== undefined).map((o) => o.written);
+            const withWritten = origins.filter((o) => o.written !== null).map((o) => o.written);
             assert.ok(withWritten.includes('fahrer.alter'));
             assert.ok(withWritten.includes('Hoch'));
             const f = func(module, 'check');
@@ -410,7 +412,7 @@ describe('resolveTypedReferences（R2）', () => {
             assert.equal(f.origin?.role, 'FUNC_DECL');
             // 局部名 fahrer 未改写：其节点 origin 不带 written
             const let0 = stmt(f, 0, 'Let');
-            assert.equal(let0.origin?.written, undefined);
+            assert.equal(let0.origin.written, null);
         });
         it('函数签名的参数 / 返回类型名记录 written/role（与 Java 对齐）', () => {
             const { module, r1, r2 } = run(SOURCE, VOCAB);
@@ -425,18 +427,20 @@ describe('resolveTypedReferences（R2）', () => {
             assert.equal(ret.origin?.written, 'Stufe');
             assert.equal(ret.origin?.role, 'TYPE');
         });
-        it('函数签名中未改写的类型名不新增 origin（无词汇 IR 不变）', () => {
+        it('函数签名中未改写的类型名：origin 恒输出，written / role 为 null（ADR 0055 #17）', () => {
             const { module } = run('Module m.\n\nDefine Driver has age as Int.\n\nRule f given d as Driver, produce Int:\n  Return d.age.\n', DRIVER, EN_US);
             const f = func(module, 'f');
-            assert.equal(f.params[0].type.origin, undefined);
-            assert.equal(f.ret.origin, undefined);
+            for (const t of [f.params[0].type, f.ret]) {
+                assert.ok(t.origin.start.line > 0);
+                assert.deepEqual([t.origin.written, t.origin.role], [null, null]);
+            }
         });
         it('规范名直写的源码：origin 不带 written/role', () => {
             const { module, r2 } = run('Module m.\n\nDefine Driver has age as Int.\n\nRule f given d as Driver, produce Int:\n  Return d.age.\n', DRIVER, EN_US);
             assert.deepEqual(codes(r2), []);
             const origins = [];
             collect(module, [], origins);
-            assert.deepEqual(origins.filter((o) => o?.written !== undefined || o?.role !== undefined), []);
+            assert.deepEqual(origins.filter((o) => o.written !== null || o.role !== null), []);
         });
         it('任一 E8xx 时 diagnostics 非空（调用方据此不发出 IR）', () => {
             const { r2 } = run(MODULE + DRIVER_DECL + 'Regel f gegeben x als Fahrer, liefert Ganzzahl:\n  gib zurueck x.gewicht.\n', DRIVER);
@@ -463,7 +467,7 @@ describe('resolveTypedReferences（R2）', () => {
             assert.deepEqual([...codes(r1), ...codes(r2)], []);
             assert.equal(nameOf(stmt(func(module, 'f'), 1, 'Let').expr).name, 'y.age');
             const cases = stmt(func(module, 'f'), 2, 'Match').cases;
-            assert.equal(cases[0].pattern.name, 'Gold');
+            assert.equal(cases[0].pattern.typeName, 'Gold');
             assert.equal(cases[1].pattern.typeName, 'Silver');
         });
         it('2. 无期望类型的裸成员规范名 → 原样接受；期望枚举下写法即规范名不改写', () => {
@@ -475,7 +479,7 @@ describe('resolveTypedReferences（R2）', () => {
             assert.equal(nameOf(returned(func(module, 'g'), 0).args[1]).name, 'Silver');
             const h = nameOf(returned(func(module, 'h'), 0));
             assert.equal(h.name, 'Gold');
-            assert.equal(h.origin?.written, undefined);
+            assert.equal(h.origin.written, null);
         });
         it('2. 成员规范名属于多个枚举且无期望类型 → E804', () => {
             const { r2 } = run(TIER + 'Define Medal as one of Gold, Bronze.\n\nRule f given t as Text:\n  Return Gold.\n', [], EN_US);
@@ -566,7 +570,7 @@ describe('resolveTypedReferences（R2）', () => {
         it('未注解主语上的裸成员模式 → 采用 + W801', () => {
             const { module, r2 } = run(MODULE + LEVEL_DECL + 'Regel f gegeben s, liefert Ganzzahl:\n  pruefe s:\n    bei Hoch, gib zurueck 1.\n    bei andere, gib zurueck 2.\n', LEVEL);
             assert.deepEqual(codes(r2), ["W801" /* ErrorCode.RESOLVED_WITHOUT_TYPE */]);
-            assert.equal(stmt(func(module, 'f'), 0, 'Match').cases[0].pattern.name, 'High');
+            assert.equal(stmt(func(module, 'f'), 0, 'Match').cases[0].pattern.typeName, 'High');
         });
         it('未注解 lambda 参数上的路径 → 全局候选采用 + W801（裁决 R31）', () => {
             const { module, r2 } = run('Module m.\n\nDefine Fahrer has alter as Int.\n\n' +
@@ -590,8 +594,8 @@ describe('resolveTypedReferences（R2）', () => {
             const ast = parse(MODULE + DRIVER_DECL + 'Regel f gegeben x als Fahrer, liefert Ganzzahl:\n  gib zurueck x.alter.\n');
             const core = lowerModule(ast);
             const json = JSON.stringify(core);
-            assert.ok(!json.includes('"written"'));
-            assert.ok(!json.includes('"role"'));
+            assert.ok(!json.includes('"written":"'));
+            assert.ok(!json.includes('"role":"'));
             assert.equal(nameOf(returned(func(core, 'f'), 0)).name, 'x.alter');
             assert.equal(core.decls[0].name, 'Fahrer');
         });