@aster-cloud/aster-lang-ts 1.5.0 → 2.0.0

package/dist/test/unit/interpreter/scope-writeback.test.js

@@ -8,9 +8,10 @@ import { describe, it } from 'node:test';
 import assert from 'node:assert/strict';
 import { evaluate } from '../../../src/core/interpreter.js';
 import { compile } from '../../../src/browser.js';
-const INT = { kind: 'TypeName', name: 'Int' };
+import { toV2 } from '../../helpers/core-ir-v2.js';
+const INT = toV2({ kind: 'TypeName', name: 'Int' });
 function mkFunc(name, params, body) {
-    return {
+    return toV2({
         kind: 'Func',
         name,
         typeParams: [],
@@ -19,25 +20,25 @@ function mkFunc(name, params, body) {
         effects: [],
         effectCaps: [],
         effectCapsExplicit: false,
-        body: { kind: 'Block', statements: body },
-    };
+        body: toV2({ kind: 'Block', statements: body }),
+    });
 }
 function run(body, params = [], input = {}) {
-    const mod = { kind: 'Module', name: 'test', decls: [mkFunc('f', params, body)] };
+    const mod = toV2({ kind: 'Module', name: 'test', decls: [mkFunc('f', params, body)] });
     const result = evaluate(mod, 'f', input);
     assert.ok(result.success, result.error);
     return result.value;
 }
-const int = (value) => ({ kind: 'Int', value });
-const name = (n) => ({ kind: 'Name', name: n });
-const plus = (a, b) => ({ kind: 'Call', target: name('+'), args: [a, b] });
-const letS = (n, expr) => ({ kind: 'Let', name: n, expr });
-const setS = (n, expr) => ({ kind: 'Set', name: n, expr });
-const ret = (expr) => ({ kind: 'Return', expr });
-const scope = (statements) => ({ kind: 'Scope', statements });
-const block = (statements) => ({ kind: 'Block', statements });
-const caseOf = (pattern, body) => ({ kind: 'Case', pattern, body: block(body) });
-const match = (expr, cases) => ({ kind: 'Match', expr, cases });
+const int = (value) => (toV2({ kind: 'Int', value }));
+const name = (n) => (toV2({ kind: 'Name', name: n }));
+const plus = (a, b) => (toV2({ kind: 'Call', target: name('+'), args: [a, b] }));
+const letS = (n, expr) => (toV2({ kind: 'Let', name: n, expr }));
+const setS = (n, expr) => (toV2({ kind: 'Set', name: n, expr }));
+const ret = (expr) => (toV2({ kind: 'Return', expr }));
+const scope = (statements) => (toV2({ kind: 'Scope', statements }));
+const block = (statements) => (toV2({ kind: 'Block', statements }));
+const caseOf = (pattern, body) => (toV2({ kind: 'Case', pattern, body: block(body) }));
+const match = (expr, cases) => (toV2({ kind: 'Match', expr, cases }));
 describe('块作用域写回（Core IR）', () => {
     it('Scope 内 Set 外层 Let：离开 Scope 后可见', () => {
         assert.equal(run([letS('x', int(1)), scope([setS('x', int(2))]), ret(name('x'))]), 2);
@@ -56,11 +57,11 @@ describe('块作用域写回（Core IR）', () => {
         assert.equal(run([letS('x', int(1)), scope([letS('x', int(5)), setS('x', int(6))]), ret(name('x'))]), 1);
     });
     it('Scope 内 Let 新名字：离开后不可见', () => {
-        const mod = {
+        const mod = toV2({
             kind: 'Module',
             name: 'test',
             decls: [mkFunc('f', [], [scope([letS('z', int(1))]), ret(name('z'))])],
-        };
+        });
         const result = evaluate(mod, 'f', {});
         assert.equal(result.success, false);
         assert.match(result.error ?? '', /Undefined variable 'z'/);
@@ -69,8 +70,8 @@ describe('块作用域写回（Core IR）', () => {
         const body = [
             letS('total', int(0)),
             match(name('n'), [
-                caseOf({ kind: 'PatInt', value: 1 }, [setS('total', int(10))]),
-                caseOf({ kind: 'PatName', name: 'other' }, [setS('total', plus(name('total'), name('other')))]),
+                caseOf(toV2({ kind: 'PatInt', value: 1 }), [setS('total', int(10))]),
+                caseOf(toV2({ kind: 'PatName', name: 'other' }), [setS('total', plus(name('total'), name('other')))]),
             ]),
             ret(name('total')),
         ];
@@ -78,14 +79,14 @@ describe('块作用域写回（Core IR）', () => {
         assert.equal(run(body, ['n'], { n: 7 }), 7);
     });
     it('case 体内的模式绑定与 Let 不泄漏到 match 之后', () => {
-        const mod = {
+        const mod = toV2({
             kind: 'Module',
             name: 'test',
             decls: [mkFunc('f', ['n'], [
-                    match(name('n'), [caseOf({ kind: 'PatName', name: 'other' }, [letS('t', name('other'))])]),
+                    match(name('n'), [caseOf(toV2({ kind: 'PatName', name: 'other' }), [letS('t', name('other'))])]),
                     ret(name('other')),
                 ])],
-        };
+        });
         const result = evaluate(mod, 'f', { n: 3 });
         assert.equal(result.success, false);
         assert.match(result.error ?? '', /Undefined variable 'other'/);
@@ -93,12 +94,12 @@ describe('块作用域写回（Core IR）', () => {
     it('If / else 分支内 Set 外层 Let：两条分支都写回', () => {
         const body = [
             letS('r', int(0)),
-            {
+            toV2({
                 kind: 'If',
-                cond: { kind: 'Call', target: name('>'), args: [name('n'), int(0)] },
+                cond: toV2({ kind: 'Call', target: name('>'), args: [name('n'), int(0)] }),
                 thenBlock: block([setS('r', int(1))]),
                 elseBlock: block([setS('r', int(-1))]),
-            },
+            }),
             ret(name('r')),
         ];
         assert.equal(run(body, ['n'], { n: 5 }), 1);
@@ -107,7 +108,7 @@ describe('块作用域写回（Core IR）', () => {
     it('Scope 内的 case 体 Set 外层 Let：跨两层块写回', () => {
         const body = [
             letS('acc', int(1)),
-            scope([match(name('n'), [caseOf({ kind: 'PatInt', value: 2 }, [setS('acc', plus(name('acc'), int(41)))])])]),
+            scope([match(name('n'), [caseOf(toV2({ kind: 'PatInt', value: 2 }), [setS('acc', plus(name('acc'), int(41)))])])]),
             ret(name('acc')),
         ];
         assert.equal(run(body, ['n'], { n: 2 }), 42);
@@ -124,7 +125,7 @@ describe('块作用域写回（Core IR）', () => {
             letS('x', int(1)),
             letS('g', lambda),
             scope([setS('x', int(2))]),
-            ret(plus({ kind: 'Call', target: name('g'), args: [] }, name('x'))),
+            ret(plus(toV2({ kind: 'Call', target: name('g'), args: [] }), name('x'))),
         ];
         assert.equal(run(body), 3);
     });

package/dist/test/unit/interpreter/scope-writeback.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"scope-writeback.test.js","sourceRoot":"","sources":["../../../../test/unit/interpreter/scope-writeback.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAGlD,MAAM,GAAG,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAEzD,SAAS,MAAM,CAAC,IAAY,EAAE,MAAgB,EAAE,IAAsB;IACpE,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU,EAAE,EAAE;QACd,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACnD,GAAG,EAAE,GAAG;QACR,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,KAAK;QACzB,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,GAAG,CAAC,IAAsB,EAAE,SAAmB,EAAE,EAAE,QAAiC,EAAE;IAC7F,MAAM,GAAG,GAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACzC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACxC,OAAO,MAAM,CAAC,KAAK,CAAC;AACtB,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,KAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAClE,MAAM,IAAI,GAAG,CAAC,CAAS,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;AACnE,MAAM,IAAI,GAAG,CAAC,CAAkB,EAAE,CAAkB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACxH,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,IAAqB,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9F,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,IAAqB,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9F,MAAM,GAAG,GAAG,CAAC,IAAqB,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAC/E,MAAM,KAAK,GAAG,CAAC,UAA4B,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;AAC5F,MAAM,KAAK,GAAG,CAAC,UAA4B,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;AAC5F,MAAM,MAAM,GAAG,CAAC,OAAqB,EAAE,IAAsB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC5H,MAAM,KAAK,GAAG,CAAC,IAAqB,EAAE,KAAkB,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAE1G,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,KAAK,CACV,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EACrH,EAAE,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,KAAK,CACV,GAAG,CAAC;YACF,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9F,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;SACf,CAAC,EACF,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAgB;YACvB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;SACvE,CAAC;QACF,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,wBAAwB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG;YACX,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBACf,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC9D,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;aAChG,CAAC;YACF,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;SACnB,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAgB;YACvB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE;oBACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC1F,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;iBACnB,CAAC,CAAC;SACJ,CAAC;QACF,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,4BAA4B,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAqB;YAC7B,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;gBACpE,SAAS,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACrC,SAAS,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aACvC;YACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;SACf,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,IAAI,GAAG;YACX,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACnB,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5G,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;SACjB,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAgB;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,EAAE;YACV,GAAG,EAAE,GAAG;YACR,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7B,QAAQ,EAAE,CAAC,GAAG,CAAC;SACU,CAAC;QAC5B,MAAM,IAAI,GAAqB;YAC7B,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;YACjB,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;SACpE,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG;YACb,WAAW;YACX,EAAE;YACF,qCAAqC;YACrC,mBAAmB;YACnB,YAAY;YACZ,aAAa;YACb,wBAAwB;YACxB,aAAa;YACb,mCAAmC;YACnC,iBAAiB;YACjB,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACrH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"scope-writeback.test.js","sourceRoot":"","sources":["../../../../test/unit/interpreter/scope-writeback.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAElD,OAAO,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAEnD,MAAM,GAAG,GAAc,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAE/D,SAAS,MAAM,CAAC,IAAY,EAAE,MAAgB,EAAE,IAAsB;IACpE,OAAO,IAAI,CAAC;QACV,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU,EAAE,EAAE;QACd,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACnD,GAAG,EAAE,GAAG;QACR,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,KAAK;QACzB,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;KAChD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,GAAG,CAAC,IAAsB,EAAE,SAAmB,EAAE,EAAE,QAAiC,EAAE;IAC7F,MAAM,GAAG,GAAgB,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IACpG,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACzC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACxC,OAAO,MAAM,CAAC,KAAK,CAAC;AACtB,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,KAAa,EAAY,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AACxE,MAAM,IAAI,GAAG,CAAC,CAAS,EAAa,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACzE,MAAM,IAAI,GAAG,CAAC,CAAkB,EAAE,CAAkB,EAAa,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9H,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,IAAqB,EAAY,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACpG,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,IAAqB,EAAY,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACpG,MAAM,GAAG,GAAG,CAAC,IAAqB,EAAe,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACrF,MAAM,KAAK,GAAG,CAAC,UAA4B,EAAc,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;AAClG,MAAM,KAAK,GAAG,CAAC,UAA4B,EAAc,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;AAClG,MAAM,MAAM,GAAG,CAAC,OAAqB,EAAE,IAAsB,EAAa,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAClI,MAAM,KAAK,GAAG,CAAC,IAAqB,EAAE,KAAkB,EAAc,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAEhH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,KAAK,CACV,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EACrH,EAAE,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,KAAK,CACV,GAAG,CAAC;YACF,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9F,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;SACf,CAAC,EACF,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAgB,IAAI,CAAC;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;SACvE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,wBAAwB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG;YACX,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACpE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;aACtG,CAAC;YACF,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;SACnB,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAgB,IAAI,CAAC;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE;oBACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAChG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;iBACnB,CAAC,CAAC;SACJ,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,4BAA4B,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAqB;YAC7B,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC;gBACH,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1E,SAAS,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACrC,SAAS,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aACvC,CAAC;YACF,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;SACf,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,IAAI,GAAG;YACX,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACnB,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClH,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;SACjB,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAgB;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,EAAE;YACV,GAAG,EAAE,GAAG;YACR,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7B,QAAQ,EAAE,CAAC,GAAG,CAAC;SACU,CAAC;QAC5B,MAAM,IAAI,GAAqB;YAC7B,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;YACjB,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;SAC1E,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG;YACb,WAAW;YACX,EAAE;YACF,qCAAqC;YACrC,mBAAmB;YACnB,YAAY;YACZ,aAAa;YACb,wBAAwB;YACxB,aAAa;YACb,mCAAmC;YACnC,iBAAiB;YACjB,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACrH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/keyword-aliases.test.js

@@ -3,7 +3,7 @@
  *
  * 核心不变式：别名在 canonicalize/translate 阶段归一成规范拼写，故「别名版」与「规范版」
  * 源码编译到**结构一致的 Core IR**（仅源码位置 origin 元数据因关键词长度不同而偏移，
- * 这是派生层，与 IR 字段级 parity 方法学一致——ADR 0016 的 normalizeIr 也剥离 origin）。
+ * 这是派生层，与 IR 字段级 parity 方法学一致——Core IR 的跨引擎比较同样不看 origin 列号）。
  */
 import { describe, it } from 'node:test';
 import assert from 'node:assert/strict';

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

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

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

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

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

@@ -0,0 +1,253 @@
+/**
+ * Core IR v2 lowering（ADR 0055 #2–#19；实施计划 Task T2，与 core CoreLoweringV2Test 同名同断言）。
+ * 每条用例编译一段源码，再断言 IR 形状；最后都经 readCoreIr 严格读回，保证输出满足 schema 与不变式。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { compile, compileAndTypecheck } from '../../../src/browser.js';
+import { ZH_CN } from '../../../src/config/lexicons/zh-CN.js';
+import { DE_DE } from '../../../src/config/lexicons/de-DE.js';
+import { readCoreIr } from '../../../src/core/read-core-ir.js';
+import { serializeCoreIr } from '../../../src/core/serialize-core-ir.js';
+function lower(source, lexicon) {
+    const result = compile(source, lexicon ? { lexicon } : {});
+    assert.equal(result.success, true, JSON.stringify(result.parseErrors));
+    const core = result.core;
+    // 每份 lowering 输出都必须能被严格读方读回（schema + 不变式）
+    readCoreIr(serializeCoreIr(core));
+    return core;
+}
+function func(m, name) {
+    const f = m.decls.find((d) => d.kind === 'Func' && d.name === name);
+    assert.ok(f, `缺少函数 ${name}`);
+    return f;
+}
+function patterns(f) {
+    const match = f.body.statements.find((s) => s.kind === 'Match');
+    assert.ok(match, `${f.name} 中没有 Match`);
+    return match.cases.map((c) => c.pattern);
+}
+function parseErrorCodes(source) {
+    const result = compile(source, {});
+    return (result.parseErrors ?? []).map((e) => String(e.code));
+}
+/** 遍历 IR 中所有带 kind 的节点（含类型节点、约束、模式）。 */
+function* nodes(x) {
+    if (Array.isArray(x)) {
+        for (const c of x)
+            yield* nodes(c);
+        return;
+    }
+    if (x === null || typeof x !== 'object')
+        return;
+    const o = x;
+    if (typeof o.kind === 'string')
+        yield o;
+    for (const [k, v] of Object.entries(o))
+        if (k !== 'origin')
+            yield* nodes(v);
+}
+describe('Core IR v2 lowering', () => {
+    it('annotations_preserve_source_order', () => {
+        const m = lower('Module m.\n\n@control("B")\n@id("X")\nRule f given x as Int, produce Int:\n  Return x.\n');
+        assert.deepEqual(func(m, 'f').annotations.map((a) => a.name), ['control', 'id']);
+    });
+    it('annotation_args_preserve_source_order', () => {
+        const m = lower('Module m.\n\n@sensitive("a", level: "L2", "b")\nRule f given x as Int, produce Int:\n  Return x.\n');
+        const ann = func(m, 'f').annotations[0];
+        assert.deepEqual(ann.args, [
+            { name: '$0', value: 'a' },
+            { name: 'level', value: 'L2' },
+            { name: '$1', value: 'b' },
+        ]);
+    });
+    it('field_required_and_between_lowered', () => {
+        const m = lower('Module m.\n\nDefine P has age as Int required between 0 and 120.\n');
+        const data = m.decls.find((d) => d.kind === 'Data');
+        const constraints = data.fields[0].constraints;
+        assert.deepEqual(constraints.map((c) => c.kind), ['Required', 'Range']);
+        const range = constraints[1];
+        assert.equal(range.min, '0');
+        assert.equal(range.max, '120');
+        assert.ok(range.origin.start.line > 0, '约束必带 origin');
+    });
+    it('param_matching_lowered', () => {
+        const m = lower('Module m.\n\nRule f given code as Text matching "^[A-Z]+$", produce Text:\n  Return code.\n');
+        const [c] = func(m, 'f').params[0].constraints;
+        assert.equal(c?.kind, 'Pattern');
+        assert.equal(c.regexp, '^[A-Z]+$');
+    });
+    it('range_bounds_are_canonical_decimal_strings', () => {
+        const m = lower('Module m.\n\nDefine P has rate as Double between 0.50 and 2.0.\n');
+        const data = m.decls.find((d) => d.kind === 'Data');
+        const range = data.fields[0].constraints[0];
+        assert.deepEqual([range.min, range.max], ['0.5', '2']);
+    });
+    it('effects_lowercased', () => {
+        const m = lower('Module m.\n\nRule f given x as Int, produce Int. It performs IO:\n  Return x.\n');
+        assert.deepEqual(func(m, 'f').effects, ['io']);
+    });
+    it('effects_keep_only_authorizing_names_and_declared_vars_deduplicated', () => {
+        const m = lower('Module m.\n\nRule f <E> given x as Int, produce Int. It performs io with E:\n  Return x.\n\n'
+            + 'Rule g given x as Int, produce Int. It performs pure:\n  Return x.\n\n'
+            + 'Rule h given x as Int, produce Int. It performs IO and CPU:\n  Return x.\n');
+        assert.deepEqual(func(m, 'f').effects, ['io', 'E']);
+        assert.deepEqual(func(m, 'f').effectParams, ['E']);
+        assert.deepEqual(func(m, 'g').effects, [], 'pure 不授权任何效应，不写入');
+        assert.deepEqual(func(m, 'h').effects, ['io', 'cpu']);
+    });
+    it('effect_var_in_effect_position_accepted_and_undeclared_is_e210', () => {
+        const m = lower('Module m.\n\nRule f <E> given x as Int, produce Int. It performs E:\n  Return x.\n');
+        assert.deepEqual(func(m, 'f').effects, ['E']);
+        // 与 Java 一致：效应位置上未声明的大写名字在解析期报 E210，IR 中不会出现未声明的效应变量
+        assert.deepEqual(parseErrorCodes('Module m.\n\nRule f given x as Int, produce Int. It performs F:\n  Return x.\n'), ['E210']);
+    });
+    it('one_sided_range_and_matching_pattern_lowered', () => {
+        const m = lower('Module m.\n\nDefine P has a as Int at least 5, b as Int at most 9.5, c as Text matching pattern "^x$".\n');
+        const data = m.decls.find((d) => d.kind === 'Data');
+        const [a, b, c] = data.fields.map((f) => f.constraints[0]);
+        assert.deepEqual([a.min, a.max], ['5', null]);
+        assert.deepEqual([b.min, b.max], [null, '9.5']);
+        assert.deepEqual([c?.kind, c.regexp], ['Pattern', '^x$']);
+        for (const k of [a, b, c])
+            assert.ok(k.origin.start.line > 0);
+    });
+    it('produce_unknown_is_typename_not_type_param', () => {
+        // X1 裁决：任何引擎都不补未声明的类型参数；只有声明的类型参数降为 TypeVar
+        const f = func(lower('Module m.\n\nRule f given x as Int, produce Unknown:\n  Return x.\n'), 'f');
+        assert.deepEqual(f.typeParams, []);
+        assert.deepEqual([f.ret.kind, f.ret.name], ['TypeName', 'Unknown']);
+    });
+    it('localized_float_keyword_lowers_like_en_us', () => {
+        // X1 裁决：本地化浮点类型关键词与 en-US 的 Float 降为同一名字（与 Java 一致）
+        const name = (m) => (m.decls.find((d) => d.kind === 'Data').fields[0].type).name;
+        assert.equal(name(lower('Module m.\n\nDefine P has a as Float.\n')), 'Float');
+        assert.equal(name(lower('Modul m.\n\nDefiniere P hat a als Dezimal.\n', DE_DE)), 'Float');
+        assert.equal(name(lower('模块 样例。\n\n定义 甲 包含 数额 作为 小数。\n', ZH_CN)), 'Float');
+    });
+    it('negative_range_bounds_accepted', () => {
+        // X1 裁决：与 Java rangeBound（MINUS? 数值）一致；-0.0 的规范串为 "0"
+        const m = lower('Module m.\n\nDefine P has a as Double between -0.0 and 2.50, b as Int at least -5, c as Int at most -1.5.\n');
+        const data = m.decls.find((d) => d.kind === 'Data');
+        const ranges = data.fields.map((f) => f.constraints[0]);
+        assert.deepEqual(ranges.map((r) => [r.min, r.max]), [['0', '2.5'], ['-5', null], [null, '-1.5']]);
+    });
+    it('enum_member_homograph_of_localized_keyword_rejected', () => {
+        // X1 裁决：zh「拒绝」是 deny 关键词，不能静默改名为枚举成员 deny；与 Java 同报 E063
+        const r = compile('模块 样例。\n\n定义 结论 为以下之一 批准、拒绝。\n', { lexicon: ZH_CN });
+        assert.equal(r.success, false);
+        const [err] = (r.parseErrors ?? []);
+        assert.deepEqual([err?.code, err?.params], ['E063', { token: "'deny'" }]);
+    });
+    it('effect_param_shadowing_builtin_rejected', () => {
+        for (const name of ['IO', 'Cpu', 'Pure', 'Async']) {
+            const r = compileAndTypecheck(`Module m.\n\nRule g <${name}> given x as Int, produce Int:\n  Return x.\n`, {});
+            const codes = (r.typeErrors ?? []).filter((d) => d.severity === 'error').map((d) => d.code);
+            assert.ok(codes.includes('E213'), `<${name}> 应报 E213：${JSON.stringify(codes)}`);
+        }
+        const ok = compileAndTypecheck('Module m.\n\nRule f <E> given x as Int, produce Int. It performs io with E:\n  Return x.\n', {});
+        assert.deepEqual((ok.typeErrors ?? []).filter((d) => d.code === 'E213' || d.code === 'E005'), []);
+    });
+    it('every_node_has_origin', () => {
+        const m = lower('Module m.\n\nUse risk.Scoring version 2 as Score.\n\nDefine P has age as Int between 0 and 120, tags as List of Text.\n\n'
+            + 'Define Color as one of Red, Green.\n\n'
+            + 'Rule pick given c as Color, xs as List of Int, produce Int:\n  Match c:\n    When Red, Return 1.\n    When Green, Return 2.\n\n'
+            + 'Rule apply given n as Int, produce Int:\n  Let f be function with v as Int, produce Int:\n    Return v.\n  Return f(n).\n');
+        const all = [...nodes(m)];
+        assert.ok(all.some((n) => n.kind === 'TypeName'));
+        assert.ok(all.some((n) => n.kind === 'Lambda'));
+        const missing = all.filter((n) => !n.origin || n.origin.start.line < 1).map((n) => n.kind);
+        assert.deepEqual(missing, []);
+    });
+    it('func_type_has_origin', () => {
+        const m = lower('Module m.\n\nRule run given f as (Int) -> Int, produce Int:\n  Return f(1).\n');
+        const t = func(m, 'run').params[0].type;
+        assert.equal(t.kind, 'FuncType');
+        assert.ok(t.origin.start.line > 0);
+        for (const p of t.params)
+            assert.ok(p.origin.start.line > 0);
+    });
+    it('import_uses_path_alias', () => {
+        const m = lower('Module m.\n\nUse risk.Scoring version 2 as Score.\n\nUse Http.\n\nRule f given x as Int, produce Int:\n  Return x.\n');
+        const imports = m.decls.filter((d) => d.kind === 'Import');
+        assert.deepEqual(imports.map(({ path, alias, version }) => ({ path, alias, version })), [
+            { path: 'risk.Scoring', alias: 'Score', version: 2 },
+            { path: 'Http', alias: null, version: null },
+        ]);
+    });
+    it('patctor_uses_args_not_names', () => {
+        const m = lower('Module m.\n\nRule f given r as Result of Int and Text, produce Int:\n  Match r:\n    When Ok(v), Return v.\n    When Err(e), Return 0.\n');
+        const [ok] = patterns(func(m, 'f'));
+        assert.equal(ok?.kind, 'PatCtor');
+        assert.equal('names' in ok, false);
+        assert.deepEqual(ok.args.map((a) => [a.kind, a.name]), [['PatName', 'v']]);
+    });
+    it('cjk_enum_variant_lowers_to_patctor', () => {
+        // 「拒绝」与 deny 关键词同形，不能作成员名（见 enum_member_homograph_of_localized_keyword_rejected），用「驳回」
+        const source = '模块 探针.样例。\n\n定义 结论 为以下之一 批准、驳回、待定。\n\n'
+            + '规则 打分 给定 c 作为 结论，产出 整数：\n  匹配于 c：\n    当 批准，返回 1。\n    当 驳回，返回 2。\n    当 待定，返回 3。\n';
+        const ps = patterns(func(lower(source, ZH_CN), '打分'));
+        assert.deepEqual(ps.map((p) => [p.kind, p.args]), [['PatCtor', []], ['PatCtor', []], ['PatCtor', []]]);
+    });
+    it('ascii_enum_variant_lowers_to_patctor_and_binding_stays_patname', () => {
+        const m = lower('Module m.\n\nDefine Color as one of Red, Green.\n\nRule f given c as Color, produce Int:\n  Match c:\n    When Red, Return 1.\n    When other, Return 2.\n');
+        const [red, other] = patterns(func(m, 'f'));
+        assert.deepEqual([red?.kind, red.typeName, red.args], ['PatCtor', 'Red', []]);
+        assert.deepEqual([other?.kind, other.name], ['PatName', 'other']);
+    });
+    it('bare_none_pattern_is_patctor', () => {
+        const m = lower('Module m.\n\nRule f given x as Int?, produce Int:\n  Match x:\n    When None, Return 0.\n    When Some(v), Return v.\n');
+        const [none] = patterns(func(m, 'f'));
+        assert.deepEqual([none?.kind, none.typeName, none.args], ['PatCtor', 'None', []]);
+    });
+    it('double_from_lexeme_not_double', () => {
+        const m = lower('Module m.\n\nRule f, produce Double:\n  Return 123456789012345678901.5.\n');
+        const ret = func(m, 'f').body.statements[0];
+        assert.deepEqual([ret.expr.kind, ret.expr.value], ['Double', '123456789012345678901.5']);
+    });
+    it('double_literal_trailing_zeros_canonicalized', () => {
+        const m = lower('Module m.\n\nRule f, produce Double:\n  Return 2.50.\n');
+        assert.equal(func(m, 'f').body.statements[0].expr.value, '2.5');
+    });
+    it('annotation_value_float_is_diagnostic', () => {
+        // 与 Java AstBuilder 同码同参数：浮点、Long 与 null → E067（construct token.annotationArgumentValue）
+        for (const [value, code] of [['1.5', 'E067'], ['5L', 'E067'], ['null', 'E067']]) {
+            const result = compile(`Module m.\n\n@x(${value})\nRule f given x as Int, produce Int:\n  Return x.\n`, {});
+            const [err] = (result.parseErrors ?? []);
+            assert.equal(err?.code, code, `@x(${value})`);
+            if (code === 'E067') {
+                assert.deepEqual(err?.params, { construct: 'token.annotationArgumentValue', value, allowed: 'string, Int or Bool' });
+            }
+        }
+        // 字符串、Int32、布尔仍然接受
+        const m = lower('Module m.\n\n@x("s", n: 2147483647, b: true)\nRule f given x as Int, produce Int:\n  Return x.\n');
+        assert.deepEqual(func(m, 'f').annotations[0].args.map((a) => a.value), ['s', 2147483647, true]);
+    });
+    it('duplicate_annotation_arg_is_e900', () => {
+        assert.deepEqual(parseErrorCodes('Module m.\n\n@x(level: "a", level: "b")\nRule f given x as Int, produce Int:\n  Return x.\n'), ['E900']);
+    });
+    it('no_phantom_type_params', () => {
+        const m = lower('Module m.\n\nRule f given x as Int:\n  Return x.\n\nRule g given x:\n  Return x.\n');
+        assert.deepEqual(func(m, 'f').typeParams, []);
+        assert.equal(func(m, 'f').retTypeInferred, true);
+        assert.deepEqual(func(m, 'g').typeParams, []);
+    });
+    it('empty_fields_emitted', () => {
+        const m = lower('Module m.\n\nDefine P has age as Int.\n\nRule f given x as Int, produce Int:\n  Return x.\n');
+        const bytes = serializeCoreIr(m);
+        for (const fragment of ['"schemaVersion":2', '"profile":null', '"annotations":[]', '"retAnnotations":[]', '"constraints":[]',
+            '"typeInferred":false', '"retTypeInferred":false', '"inputRefs":null', '"effectParams":[]', '"written":null', '"role":null']) {
+            assert.ok(bytes.includes(fragment), fragment);
+        }
+        for (const gone of ['"declaredEffects"', '"piiLevel"', '"piiCategories"', '"names"', '"retType"', '"asName"']) {
+            assert.equal(bytes.includes(gone), false, gone);
+        }
+    });
+    it('inferred_param_and_field_types_marked', () => {
+        const m = lower('Module m.\n\nDefine P has name.\n\nRule f given name, produce Text:\n  Return name.\n');
+        const data = m.decls.find((d) => d.kind === 'Data');
+        assert.equal(data.fields[0].typeInferred, true);
+        assert.equal(func(m, 'f').params[0].typeInferred, true);
+    });
+});
+//# sourceMappingURL=core-ir-v2.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"core-ir-v2.test.js","sourceRoot":"","sources":["../../../../test/unit/lowering/core-ir-v2.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,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACvE,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAE9D,OAAO,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AAGzE,SAAS,KAAK,CAAC,MAAc,EAAE,OAAiB;IAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAK,CAAC;IAC1B,0CAA0C;IAC1C,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAClC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,IAAI,CAAC,CAAc,EAAE,IAAY;IACxC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACpF,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IAC7B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,QAAQ,CAAC,CAAY;IAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAmB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IACjF,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC;IACxC,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,eAAe,CAAC,MAAc;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACnC,OAAO,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAE,CAAuB,CAAC,IAAI,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,wCAAwC;AACxC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAU;IACxB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO;IACT,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO;IAChD,MAAM,CAAC,GAAG,CAA4B,CAAC;IACvC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,MAAM,CAAqD,CAAC;IAC5F,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,IAAI,CAAC,KAAK,QAAQ;YAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,KAAK,CAAC,0FAA0F,CAAC,CAAC;QAC5G,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,oGAAoG,CAAC,CAAC;QACtH,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QACzC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE;YACzB,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YAC1B,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;SAC3B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,KAAK,CAAC,oEAAoE,CAAC,CAAC;QACtF,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC;QACrE,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC;QAChD,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAyB,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,aAAa,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,KAAK,CAAC,6FAA6F,CAAC,CAAC;QAC/G,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAE,CAA4B,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,KAAK,CAAC,kEAAkE,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,CAAC,CAAyB,CAAC;QACrE,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,iFAAiF,CAAC,CAAC;QACnG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,KAAK,CACb,8FAA8F;cAC5F,wEAAwE;cACxE,4EAA4E,CAC/E,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,kBAAkB,CAAC,CAAC;QAC/D,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,KAAK,CAAC,oFAAoF,CAAC,CAAC;QACtG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,qDAAqD;QACrD,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,gFAAgF,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAChI,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,KAAK,CAAC,0GAA0G,CAAC,CAAC;QAC5H,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC;QACrE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC;QAC5D,MAAM,CAAC,SAAS,CAAC,CAAE,CAA0B,CAAC,GAAG,EAAG,CAA0B,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAClG,MAAM,CAAC,SAAS,CAAC,CAAE,CAA0B,CAAC,GAAG,EAAG,CAA0B,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACpG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAG,CAA4B,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;QACtF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAAE,MAAM,CAAC,EAAE,CAAC,CAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,4CAA4C;QAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,qEAAqE,CAAC,EAAE,GAAG,CAAC,CAAC;QAClG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAG,CAAC,CAAC,GAAqB,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,oDAAoD;QACpD,MAAM,IAAI,GAAG,CAAC,CAAc,EAAU,EAAE,CACrC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAmB,CAAC,IAAI,CAAC;QACpG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC9E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,8CAA8C,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1F,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,+BAA+B,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,sDAAsD;QACtD,MAAM,CAAC,GAAG,KAAK,CAAC,6GAA6G,CAAC,CAAC;QAC/H,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAyB,CAAC,CAAC;QAChF,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,yDAAyD;QACzD,MAAM,CAAC,GAAG,OAAO,CAAC,gCAAgC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAA0D,CAAC;QAC7F,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YAClD,MAAM,CAAC,GAAG,mBAAmB,CAAC,wBAAwB,IAAI,+CAA+C,EAAE,EAAE,CAAC,CAAC;YAC/G,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5F,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAe,CAAC,EAAE,IAAI,IAAI,aAAa,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,EAAE,GAAG,mBAAmB,CAAC,4FAA4F,EAAE,EAAE,CAAC,CAAC;QACjI,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAM,MAAgB,IAAI,CAAC,CAAC,IAAI,KAAM,MAAgB,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1H,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,KAAK,CACb,2HAA2H;cACzH,wCAAwC;cACxC,iIAAiI;cACjI,2HAA2H,CAC9H,CAAC;QACF,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC;QAChD,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3F,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,KAAK,CAAC,+EAA+E,CAAC,CAAC;QACjG,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACjC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QACnC,KAAK,MAAM,CAAC,IAAK,CAAmB,CAAC,MAAM;YAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,KAAK,CAAC,sHAAsH,CAAC,CAAC;QACxI,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QAC7E,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE;YACtF,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE;YACpD,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;SAC7C,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,KAAK,CAAC,0IAA0I,CAAC,CAAC;QAC5J,MAAM,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAG,EAAE,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,SAAS,CAAE,EAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAG,CAAkB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACjH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,uFAAuF;QACvF,MAAM,MAAM,GAAG,wCAAwC;cACnD,qFAAqF,CAAC;QAC1F,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAG,CAAkB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3H,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,KAAK,CAAC,4JAA4J,CAAC,CAAC;QAC9K,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,IAAI,EAAG,GAAoB,CAAC,QAAQ,EAAG,GAAoB,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;QAClH,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,IAAI,EAAG,KAAsB,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,wHAAwH,CAAC,CAAC;QAC1I,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,IAAI,EAAG,IAAqB,CAAC,QAAQ,EAAG,IAAqB,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;IACxH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,KAAK,CAAC,2EAA2E,CAAC,CAAC;QAC7F,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAgB,CAAC;QAC3D,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAG,GAAG,CAAC,IAAoB,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC,CAAC;IAC5G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAG,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAiB,CAAC,IAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,yFAAyF;QACzF,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAU,EAAE,CAAC;YACzF,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,KAAK,uDAAuD,EAAE,EAAE,CAAC,CAAC;YAC5G,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAA0D,CAAC;YAClG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,KAAK,GAAG,CAAC,CAAC;YAC9C,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpB,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,+BAA+B,EAAE,KAAK,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC,CAAC;YACvH,CAAC;QACH,CAAC;QACD,mBAAmB;QACnB,MAAM,CAAC,GAAG,KAAK,CAAC,kGAAkG,CAAC,CAAC;QACpH,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,6FAA6F,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7I,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,KAAK,CAAC,oFAAoF,CAAC,CAAC;QACtG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,KAAK,CAAC,6FAA6F,CAAC,CAAC;QAC/G,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,MAAM,QAAQ,IAAI,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,kBAAkB;YAC1H,sBAAsB,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,aAAa,CAAC,EAAE,CAAC;YAC/H,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,CAAC,mBAAmB,EAAE,YAAY,EAAE,iBAAiB,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;YAC9G,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,uFAAuF,CAAC,CAAC;QACzG,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC;QACrE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/lowering/lowering.test.js

@@ -84,7 +84,9 @@ Rule handle given result as Result, produce Int:
         assert.equal(matchStmt.kind, 'Match');
         const matchCore = matchStmt;
         assert.equal(matchCore.cases.length, 2);
-        assert.equal(matchCore.cases[0].pattern.kind, 'PatName');
+        // ADR 0055 #16：枚举变体模式（含与关键词构造器同名的 Ok / Err）是 0 参 PatCtor
+        assert.equal(matchCore.cases[0].pattern.kind, 'PatCtor');
+        assert.deepEqual(matchCore.cases[0].pattern.args, []);
     });
     it('Maybe 类型应降级为 Core.Maybe 包装类型', () => {
         const core = lower(`
@@ -201,13 +203,13 @@ Rule makeIdentity, produce Fn1:
         assert.notStrictEqual(func.effectCaps, caps);
         assert.equal(func.effectCapsExplicit, false);
     });
-    it('未知 effect 不报错，原样保留在 effects / declaredEffects（#304，与 core 一致）', () => {
+    it('未知 effect 不报错，且不写入 effects（#304；ADR 0055 #5：只有 io / cpu 授权）', () => {
         const funcDecl = Node.Func('useUnknownEffect', [], [], Node.TypeName('Int'), ['teleport'], [], false, Node.Block([Node.Return(Node.Int(1))]));
         const moduleAst = Node.Module('test.lowering.effectcaps.unknown', null, [funcDecl]);
         const core = lowerAst(moduleAst);
         const func = core.decls[0];
-        assert.deepEqual(func.effects, ['teleport']);
-        assert.deepEqual(func.declaredEffects, ['teleport']);
+        assert.deepEqual(func.effects, []);
+        assert.equal('declaredEffects' in func, false);
     });
     it('Set 语句应降级为 Core.Set 并保留表达式', () => {
         const funcDecl = makeFunc({
@@ -470,8 +472,10 @@ Rule makeIdentity, produce Fn1:
         const moduleAst = Node.Module('test.lowering.func.pii', null, [funcDecl]);
         const core = lowerAst(moduleAst);
         const func = core.decls[0];
-        assert.equal(func.piiLevel, 'L2');
-        assert.deepEqual(func.piiCategories, ['name', 'email']);
+        // ADR 0055 #8：pii 聚合是派生值，v2 不再写入 IR；签名中的 PiiType 原样保留
+        assert.equal('piiLevel' in func, false);
+        assert.equal('piiCategories' in func, false);
+        assert.ok(func.params.some((p) => p.type.kind === 'PiiType'));
     });
     it('类型参数引用应降级为 Core.TypeVar', () => {
         const funcDecl = Node.Func('identity', ['T'], [makeParam('value', Node.TypeName('T'))], Node.TypeName('T'), [], [], false, Node.Block([Node.Return(Node.Name('value'))]));
@@ -528,9 +532,9 @@ Rule makeIdentity, produce Fn1:
         const core = lowerAst(moduleAst);
         const decl = core.decls[0];
         assert.equal(decl.kind, 'Import');
-        assert.equal(decl.name, 'Http.Client');
-        assert.equal(decl.asName, 'HttpClient');
-        assert.equal(Object.prototype.hasOwnProperty.call(decl, 'version'), false);
+        assert.equal(decl.path, 'Http.Client');
+        assert.equal(decl.alias, 'HttpClient');
+        assert.equal(decl.version, null);
     });
     it('Import version 应映射为 Core.Import version', () => {
         const moduleAst = Node.Module('test.lowering.import.version', null, [
@@ -539,9 +543,9 @@ Rule makeIdentity, produce Fn1:
         const core = lowerAst(moduleAst);
         const decl = core.decls[0];
         assert.equal(decl.kind, 'Import');
-        assert.equal(decl.name, 'risk.Scoring');
+        assert.equal(decl.path, 'risk.Scoring');
         assert.equal(decl.version, 2);
-        assert.equal(decl.asName, 'Score');
+        assert.equal(decl.alias, 'Score');
     });
     it('Data 字段 CNL 约束应转换为 Core 约束', () => {
         const constraints = [
@@ -565,8 +569,9 @@ Rule makeIdentity, produce Fn1:
         assert.equal(requiredConstraint.kind, 'Required');
         assert.equal(rangeConstraint.kind, 'Range');
         if (rangeConstraint.kind === 'Range') {
-            assert.equal(rangeConstraint.min, 0);
-            assert.equal(rangeConstraint.max, 100);
+            // ADR 0055 #4：Range 两端为规范十进制串
+            assert.equal(rangeConstraint.min, '0');
+            assert.equal(rangeConstraint.max, '100');
         }
     });
     it('多约束字段与无约束字段应分别保留', () => {
@@ -634,7 +639,7 @@ Rule makeIdentity, produce Fn1:
         const retStmt = core.decls[0].body.statements[0];
         const expr = retStmt.expr;
         assert.equal(expr.kind, 'Double');
-        assert.equal(expr.value, 3.14);
+        assert.equal(expr.value, '3.14');
     });
 });
 //# sourceMappingURL=lowering.test.js.map