@aster-cloud/aster-lang-ts 1.0.29 → 1.0.31

package/dist/test/unit/formatter-corpus-roundtrip.test.js

@@ -0,0 +1,190 @@
+/**
+ * 全语料格式化往返：本仓与兄弟仓 aster-lang-test/corpus 下每个能编译的 .aster，
+ * 格式化后重新编译，Core IR 须与原文相同（忽略 origin）。
+ *
+ * 源文的词法包取 .meta.json 的 lexicon，否则依次尝试 en-US / zh-CN / de-DE，取第一个能编译的；
+ * 哪个都编译不了的（错误夹具、旧语法示例）不在往返范围内。格式化器输出英文 CNL，故一律用 en-US 重新编译。
+ *
+ * 另对同一语料跑 LSP 默认格式化（lossless + reflow）：再跑一次结果不变，字符串、注释、缩进与句点不变，
+ * 不留行尾空白，CRLF 版本的结果即 LF 结果换成 CRLF；能编译的文件以原词法包重新编译 Core IR 不变
+ * （reflow 不翻译，保留源文语言）。
+ */
+import { test } from 'node:test';
+import assert from 'node:assert/strict';
+import { existsSync, readdirSync, readFileSync, statSync } from 'node:fs';
+import { dirname, join, relative } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { canonicalize } from '../../src/frontend/canonicalizer.js';
+import { lex } from '../../src/frontend/lexer.js';
+import { parseWithLexicon } from '../../src/parser.js';
+import { lowerModule } from '../../src/lower_to_core.js';
+import { formatCNL } from '../../src/formatter.js';
+import { buildCstLossless } from '../../src/cst/cst_builder.js';
+import { printCNLFromCst } from '../../src/cst/cst_printer.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';
+// 编译后从 dist/test/unit 运行：上溯 3 级到仓库根
+const repoRoot = join(dirname(fileURLToPath(import.meta.url)), '..', '..', '..');
+const SKIP_DIRS = new Set(['node_modules', 'dist', 'coverage', '.git', '.ccg', 'aster-lang-test']);
+const LEXICONS = { 'en-US': EN_US, 'zh-CN': ZH_CN, 'de-DE': DE_DE };
+// 源文用中文标识符：格式化器只输出英文 CNL，而 en-US 词法不接受 CJK 标识符字符（lexer isLetter 英文模式），
+// 英文重写后无法重新词法分析。路径相对兄弟仓 aster-lang-test 根。
+const CJK_IDENTIFIERS = '中文标识符无法以英文 CNL 重写（en-US 词法不接受 CJK 标识符）';
+const ALLOW_LIST = new Map([
+    ['corpus/conformance/cjk-v2/01-punctuation-basic.aster', CJK_IDENTIFIERS],
+    ['corpus/conformance/cjk-v2/02-string-preservation.aster', CJK_IDENTIFIERS],
+    ['corpus/conformance/cjk-v2/04-identifier-no-collision.aster', CJK_IDENTIFIERS],
+    ['corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-zh-CN.aster', CJK_IDENTIFIERS],
+    ['corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-zh-CN.aster', CJK_IDENTIFIERS],
+    ['corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-zh-CN.aster', CJK_IDENTIFIERS],
+    ['corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-zh-CN.aster', CJK_IDENTIFIERS],
+    ['corpus/tier3-fixtures/lexicon-i18n/05-patterns__i18n-zh-CN.aster', CJK_IDENTIFIERS],
+    ['corpus/tier3-fixtures/lexicon-i18n/06-operators__i18n-zh-CN.aster', CJK_IDENTIFIERS],
+    ['corpus/tier3-fixtures/lexicon-i18n/user_greeting.aster', CJK_IDENTIFIERS],
+]);
+function asterFiles(dir, out = []) {
+    for (const entry of readdirSync(dir)) {
+        if (SKIP_DIRS.has(entry))
+            continue;
+        const path = join(dir, entry);
+        if (statSync(path).isDirectory())
+            asterFiles(path, out);
+        else if (path.endsWith('.aster'))
+            out.push(path);
+    }
+    return out;
+}
+function siblingTestRepo() {
+    return [join(repoRoot, '..', 'aster-lang-test'), join(repoRoot, 'aster-lang-test')]
+        .find((c) => existsSync(join(c, 'corpus')));
+}
+function toCore(source, lexicon) {
+    const result = parseWithLexicon(lex(canonicalize(source, lexicon), lexicon), lexicon);
+    const errors = result.diagnostics.filter((d) => d.severity === 'error');
+    if (errors.length > 0)
+        throw new Error(errors[0].message);
+    return lowerModule(result.ast);
+}
+function stripOrigins(o) {
+    if (Array.isArray(o))
+        return o.map(stripOrigins);
+    if (!o || typeof o !== 'object')
+        return o;
+    return Object.fromEntries(Object.entries(o).filter(([k]) => k !== 'origin').map(([k, v]) => [k, stripOrigins(v)]));
+}
+function declaredLexicon(file) {
+    const meta = file.replace(/\.aster$/, '.meta.json');
+    return existsSync(meta) ? JSON.parse(readFileSync(meta, 'utf8')).lexicon : undefined;
+}
+/** 返回能编译源文的词法包及其 Core IR；都不能编译时为 undefined */
+function compileWithAnyLexicon(file, source) {
+    const names = [declaredLexicon(file), 'en-US', 'zh-CN', 'de-DE'].filter((n) => !!n && n in LEXICONS);
+    for (const name of names) {
+        try {
+            return { lexicon: LEXICONS[name], core: stripOrigins(toCore(source, LEXICONS[name])) };
+        }
+        catch {
+            // 换下一个词法包
+        }
+    }
+    return undefined;
+}
+/** 格式化后重新编译与原文比对；返回失败原因，成功为 undefined */
+function corpusFiles(t) {
+    const sibling = siblingTestRepo();
+    if (sibling === undefined) {
+        assert.ok(!process.env.CI, 'CI 中须 checkout aster-lang-test（见 .github/workflows/ci.yml test job）');
+        t.diagnostic('aster-lang-test 未并列 checkout，只检查本仓语料');
+    }
+    return [
+        ...asterFiles(repoRoot).map((f) => ({ file: f, key: relative(repoRoot, f) })),
+        ...(sibling ? asterFiles(join(sibling, 'corpus')).map((f) => ({ file: f, key: relative(sibling, f) })) : []),
+    ];
+}
+/** 无法建 lossless CST（词法错误）时 LSP 不给出编辑，此处同样返回 undefined */
+function losslessCst(source) {
+    try {
+        return buildCstLossless(source);
+    }
+    catch {
+        return undefined;
+    }
+}
+/**
+ * reflow 不得改动的部分：除换行外的记号（字符串字面量、缩进 INDENT/DEDENT、句点等）与注释正文（行尾空白除外）。
+ * 唯一允许的记号改动是 `.` 与紧随其后的 `:` 合并，故比较前去掉这种 `.`。
+ */
+function untouchable(cst) {
+    const merged = (i) => cst.tokens[i].lexeme === '.' && cst.tokens[i + 1]?.lexeme === ':';
+    const kept = cst.tokens
+        .filter((tk, i) => tk.kind !== 'NEWLINE' && tk.kind !== 'EOF' && !merged(i))
+        .map((tk) => `${tk.kind}:${tk.lexeme}`);
+    const comments = (cst.inlineComments ?? []).map((c) => c.text.trimEnd());
+    return JSON.stringify([kept, comments]);
+}
+/** lossless reflow 后检查幂等、不可改动部分与 Core IR；返回失败原因，成功或不适用为 undefined */
+function reflowProblem(file) {
+    const source = readFileSync(file, 'utf8');
+    const cst = losslessCst(source);
+    if (cst === undefined)
+        return undefined;
+    const once = printCNLFromCst(cst, { reflow: true });
+    const onceCst = losslessCst(once);
+    if (onceCst === undefined)
+        return 'reflow 结果无法重新词法分析';
+    if (printCNLFromCst(onceCst, { reflow: true }) !== once)
+        return '二次 reflow 结果不同';
+    if (untouchable(onceCst) !== untouchable(cst))
+        return '字符串、注释、缩进或句点被改动';
+    if (once.split('\n').some((line) => /[ \t]\r?$/.test(line)))
+        return '仍有行尾空白';
+    const crlf = losslessCst(source.replace(/\r?\n/g, '\r\n'));
+    if (crlf === undefined || printCNLFromCst(crlf, { reflow: true }) !== once.replace(/\r?\n/g, '\r\n')) {
+        return 'CRLF 版本的 reflow 结果与 LF 版本不一致';
+    }
+    const compiled = compileWithAnyLexicon(file, source);
+    if (compiled === undefined)
+        return undefined;
+    try {
+        assert.deepEqual(stripOrigins(toCore(once, compiled.lexicon)), compiled.core);
+        return undefined;
+    }
+    catch (e) {
+        return e.message.split('\n')[0];
+    }
+}
+function roundTripProblem(file) {
+    const source = readFileSync(file, 'utf8');
+    const compiled = compileWithAnyLexicon(file, source);
+    if (compiled === undefined)
+        return undefined;
+    const formatted = formatCNL(source, { lexicon: compiled.lexicon });
+    try {
+        assert.deepEqual(stripOrigins(toCore(formatted, EN_US)), compiled.core);
+        return undefined;
+    }
+    catch (e) {
+        return e.message.split('\n')[0];
+    }
+}
+test('全语料格式化往返 Core IR 不变', (t) => {
+    const failures = corpusFiles(t)
+        .map(({ file, key }) => ({ key, problem: roundTripProblem(file) }))
+        .filter(({ key, problem }) => problem !== undefined && !ALLOW_LIST.has(key));
+    assert.deepEqual(failures, []);
+});
+test('全语料 lossless reflow：幂等，不改字符串、注释、缩进与句点，Core IR 不变', (t) => {
+    const failures = corpusFiles(t)
+        .map(({ file, key }) => ({ key, problem: reflowProblem(file) }))
+        .filter(({ problem }) => problem !== undefined);
+    assert.deepEqual(failures, []);
+});
+test('允许清单中的条目确实仍不能往返（能往返的须移出清单）', (t) => {
+    const sibling = siblingTestRepo();
+    if (sibling === undefined)
+        return t.skip('aster-lang-test 未并列 checkout');
+    const stale = [...ALLOW_LIST.keys()].filter((key) => roundTripProblem(join(sibling, key)) === undefined);
+    assert.deepEqual(stale, []);
+});
+//# sourceMappingURL=formatter-corpus-roundtrip.test.js.map

package/dist/test/unit/formatter-corpus-roundtrip.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter-corpus-roundtrip.test.js","sourceRoot":"","sources":["../../../test/unit/formatter-corpus-roundtrip.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,GAAG,EAAE,MAAM,6BAA6B,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAE/D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAI3D,oCAAoC;AACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACjF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC;AACnG,MAAM,QAAQ,GAAsC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAEvG,uEAAuE;AACvE,2CAA2C;AAC3C,MAAM,eAAe,GAAG,wCAAwC,CAAC;AACjE,MAAM,UAAU,GAAgC,IAAI,GAAG,CAAC;IACtD,CAAC,sDAAsD,EAAE,eAAe,CAAC;IACzE,CAAC,wDAAwD,EAAE,eAAe,CAAC;IAC3E,CAAC,4DAA4D,EAAE,eAAe,CAAC;IAC/E,CAAC,+DAA+D,EAAE,eAAe,CAAC;IAClF,CAAC,+DAA+D,EAAE,eAAe,CAAC;IAClF,CAAC,mEAAmE,EAAE,eAAe,CAAC;IACtF,CAAC,sEAAsE,EAAE,eAAe,CAAC;IACzF,CAAC,kEAAkE,EAAE,eAAe,CAAC;IACrF,CAAC,mEAAmE,EAAE,eAAe,CAAC;IACtF,CAAC,wDAAwD,EAAE,eAAe,CAAC;CAC5E,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,GAAW,EAAE,MAAgB,EAAE;IACjD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9B,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE;YAAE,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aACnD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe;IACtB,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;SAChF,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,MAAM,CAAC,MAAc,EAAE,OAAgB;IAC9C,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC;IAC3D,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACrH,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACpD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACjH,CAAC;AAED,8CAA8C;AAC9C,SAAS,qBAAqB,CAAC,IAAY,EAAE,MAAc;IACzD,MAAM,KAAK,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC;IAClH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAE,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAE,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC;QAAC,MAAM,CAAC;YACP,UAAU;QACZ,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,yCAAyC;AACzC,SAAS,WAAW,CAAC,CAAsC;IACzD,MAAM,OAAO,GAAG,eAAe,EAAE,CAAC;IAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,qEAAqE,CAAC,CAAC;QAClG,CAAC,CAAC,UAAU,CAAC,sCAAsC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO;QACL,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7E,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7G,CAAC;AACJ,CAAC;AAED,yDAAyD;AACzD,SAAS,WAAW,CAAC,MAAc;IACjC,IAAI,CAAC;QACH,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,GAAc;IACjC,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,KAAK,GAAG,CAAC;IAC1G,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM;SACpB,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SAC3E,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACzE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,qEAAqE;AACrE,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,mBAAmB,CAAC;IACtD,IAAI,eAAe,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,IAAI;QAAE,OAAO,gBAAgB,CAAC;IACjF,IAAI,WAAW,CAAC,OAAO,CAAC,KAAK,WAAW,CAAC,GAAG,CAAC;QAAE,OAAO,iBAAiB,CAAC;IACxE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC7E,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,KAAK,SAAS,IAAI,eAAe,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QACrG,OAAO,8BAA8B,CAAC;IACxC,CAAC;IACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,SAAS,CAAC;IACnB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAQ,CAAW,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,IAAI,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAQ,CAAW,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED,IAAI,CAAC,qBAAqB,EAAE,CAAC,CAAC,EAAE,EAAE;IAChC,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC;SAC5B,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SAClE,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kDAAkD,EAAE,CAAC,CAAC,EAAE,EAAE;IAC7D,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC;SAC5B,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SAC/D,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAClD,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4BAA4B,EAAE,CAAC,CAAC,EAAE,EAAE;IACvC,MAAM,OAAO,GAAG,eAAe,EAAE,CAAC;IAClC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACzG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AAC9B,CAAC,CAAC,CAAC"}

package/dist/test/unit/formatter-roundtrip.test.d.ts

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

package/dist/test/unit/formatter-roundtrip.test.d.ts.map

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

package/dist/test/unit/formatter-roundtrip.test.js

@@ -0,0 +1,125 @@
+/**
+ * 格式化器往返：格式化输出须能重新编译，且 Core IR 与原文相同（去掉 origin 后）。
+ *
+ * 夹具取自 aster-lang-test 的语法糖/长写法样本与 aster-cloud 的信贷试点 v3（en/zh/de）。
+ * 格式化器一律输出英文 CNL，语法糖按长写法输出（ADR 0046 §5），故重新编译统一用 en-US。
+ */
+import { describe, test } from 'node:test';
+import assert from 'node:assert/strict';
+import { readFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { canonicalize } from '../../src/frontend/canonicalizer.js';
+import { lex } from '../../src/frontend/lexer.js';
+import { parseWithLexicon } from '../../src/parser.js';
+import { lowerModule } from '../../src/lower_to_core.js';
+import { formatCNL } from '../../src/formatter.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';
+// 编译后从 dist/test/unit 运行：上溯 3 级到仓库根，夹具在 test/fixtures 下
+const repoRoot = join(dirname(fileURLToPath(import.meta.url)), '..', '..', '..');
+const fixtureDir = join(repoRoot, 'test', 'fixtures', 'formatter-roundtrip');
+function toCore(source, lexicon = EN_US) {
+    const tokens = lex(canonicalize(source, lexicon), lexicon);
+    const result = parseWithLexicon(tokens, lexicon);
+    const errors = result.diagnostics.filter((d) => d.severity === 'error');
+    if (errors.length > 0)
+        throw new Error(errors.map((d) => d.message).join('\n') + '\n---\n' + source);
+    return lowerModule(result.ast);
+}
+function stripOrigins(o) {
+    if (Array.isArray(o))
+        return o.map(stripOrigins);
+    if (!o || typeof o !== 'object')
+        return o;
+    const out = {};
+    for (const [k, v] of Object.entries(o)) {
+        if (k !== 'origin')
+            out[k] = stripOrigins(v);
+    }
+    return out;
+}
+// 格式化 → 用 en-US 重新编译 → 与原文 IR 比对；返回格式化输出供进一步断言
+function assertRoundTrip(source, lexicon = EN_US) {
+    const formatted = formatCNL(source, { lexicon });
+    assert.deepEqual(stripOrigins(toCore(formatted)), stripOrigins(toCore(source, lexicon)), formatted);
+    return formatted;
+}
+const FIXTURES = [
+    ['governance-sugar.aster', EN_US],
+    ['governance-sugar-long.aster', EN_US],
+    ['credit-pilot-v3.en.aster', EN_US],
+    ['credit-pilot-v3.zh.aster', ZH_CN],
+    ['credit-pilot-v3.de.aster', DE_DE],
+];
+describe('格式化器往返（Core IR 不变）', () => {
+    for (const [file, lexicon] of FIXTURES) {
+        test(file, () => {
+            const formatted = assertRoundTrip(readFileSync(join(fixtureDir, file), 'utf8'), lexicon);
+            assert.doesNotMatch(formatted, /,:/);
+            assert.doesNotMatch(formatted, /(>=|<=|[<>*+]|\band)\(/);
+            assert.equal(formatCNL(formatted), formatted, '格式化须幂等');
+        });
+    }
+    test('If 与 Otherwise 块头不带逗号', () => {
+        const src = ['Module m.', '', 'Rule r given n as Int, produce Int:', '  If n at least 1:',
+            '    Return 1.', '  Otherwise:', '    Return 0.', ''].join('\n');
+        const formatted = assertRoundTrip(src);
+        assert.match(formatted, /\n {2}If n at least 1:\n/);
+        assert.match(formatted, /\n {2}Otherwise:\n/);
+    });
+    test('数值字面量极值按普通十进制输出并原值往返', () => {
+        const literals = [
+            // [源文写法, 返回类型, 期望 Core 字面量值]
+            ['0.0000001', 'Double', 1e-7],
+            ['123456789012345678901234.5', 'Double', 123456789012345678901234.5],
+            ['0.5', 'Double', 0.5],
+            ['3.0', 'Double', 3],
+            ['2147483647', 'Int', 2147483647],
+            ['0', 'Int', 0],
+            ['9223372036854775807L', 'Long', '9223372036854775807'],
+        ];
+        for (const [literal, ret, value] of literals) {
+            const src = `Module m.\n\nRule r, produce ${ret}:\n  Return ${literal}.\n`;
+            const formatted = assertRoundTrip(src);
+            assert.doesNotMatch(formatted, /\d[eE][+-]?\d/, formatted);
+            const ret0 = toCore(formatted).decls[0].body.statements[0];
+            assert.equal(ret0.expr.value, value, literal);
+        }
+    });
+    test('构造字段以逗号分隔，只在会贪婪吞并后续字段时加括号', () => {
+        const src = ['Module m.', '', 'Define Inner has x as Int, y as Int.', '',
+            'Define Outer has inner as Inner, wrapped as Option of Inner, n as Int, ok as Bool.', '',
+            'Rule r given k as Int, produce Outer:',
+            '  Return Outer with inner set to (Inner with x set to 1, y set to 2), ' +
+                'wrapped set to some of (Inner with x set to k plus 1, y set to 4), n set to k plus 1, ok set to k at least 1 and true.',
+            ''].join('\n');
+        const formatted = assertRoundTrip(src);
+        assert.match(formatted, /inner set to \(Inner with x set to 1, y set to 2\), wrapped set to \(some of Inner with x set to k plus 1, y set to 4\), n set to k plus 1, ok set to k at least 1 and true\./);
+    });
+    test('运算符按中缀输出，括号保持结合与优先级', () => {
+        const body = [
+            'Return (a plus b) times c.',
+            'Return a minus (b minus c).',
+            'Return a minus b minus c.',
+            'Return a divided by (b times c).',
+            'Return a integer divided by b modulo c.',
+            'Return (a plus b) at least c.',
+            'Return not (p and q).',
+            'Return not p and q.',
+            'Return p or q and r.',
+            'Return (p or q) and r.',
+            'Return a less than b or a greater than c.',
+            'Return a equals to b and a not equal to c.',
+            'Return a at most (if p then b else c).',
+        ];
+        const funcs = body.map((line, i) => `Rule f${i} given a as Int, b as Int, c as Int, p as Bool, q as Bool, r as Bool, produce Int:\n  ${line}`);
+        const formatted = assertRoundTrip(['Module m.', '', ...funcs, ''].join('\n\n'));
+        assert.match(formatted, /Return \(a plus b\) times c\./);
+        assert.match(formatted, /Return a minus \(b minus c\)\./);
+        assert.match(formatted, /Return a minus b minus c\./);
+        assert.match(formatted, /Return not \(p and q\)\./);
+    });
+});
+//# sourceMappingURL=formatter-roundtrip.test.js.map

package/dist/test/unit/formatter-roundtrip.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter-roundtrip.test.js","sourceRoot":"","sources":["../../../test/unit/formatter-roundtrip.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,GAAG,EAAE,MAAM,6BAA6B,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAI3D,wDAAwD;AACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACjF,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,qBAAqB,CAAC,CAAC;AAE7E,SAAS,MAAM,CAAC,MAAc,EAAE,UAAmB,KAAK;IACtD,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,SAAS,GAAG,MAAM,CAAC,CAAC;IACrG,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC1C,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,QAAQ;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+CAA+C;AAC/C,SAAS,eAAe,CAAC,MAAc,EAAE,UAAmB,KAAK;IAC/D,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACjD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IACpG,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,QAAQ,GAA8C;IAC1D,CAAC,wBAAwB,EAAE,KAAK,CAAC;IACjC,CAAC,6BAA6B,EAAE,KAAK,CAAC;IACtC,CAAC,0BAA0B,EAAE,KAAK,CAAC;IACnC,CAAC,0BAA0B,EAAE,KAAK,CAAC;IACnC,CAAC,0BAA0B,EAAE,KAAK,CAAC;CACpC,CAAC;AAEF,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QACvC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE;YACd,MAAM,SAAS,GAAG,eAAe,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;YACzF,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACrC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACjC,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,qCAAqC,EAAE,oBAAoB;YACvF,eAAe,EAAE,cAAc,EAAE,eAAe,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,0BAA0B,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAChC,MAAM,QAAQ,GAAsD;YAClE,6BAA6B;YAC7B,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC;YAC7B,CAAC,4BAA4B,EAAE,QAAQ,EAAE,0BAA0B,CAAC;YACpE,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC;YACtB,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YACpB,CAAC,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC;YACjC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACf,CAAC,sBAAsB,EAAE,MAAM,EAAE,qBAAqB,CAAC;SACxD,CAAC;QACF,KAAK,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC7C,MAAM,GAAG,GAAG,gCAAgC,GAAG,eAAe,OAAO,KAAK,CAAC;YAC3E,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;YACvC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC;YAC3D,MAAM,IAAI,GAAI,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAgB,CAAC;YACzF,MAAM,CAAC,KAAK,CAAE,IAAI,CAAC,IAA2B,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACxE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,sCAAsC,EAAE,EAAE;YACtE,oFAAoF,EAAE,EAAE;YACxF,uCAAuC;YACvC,wEAAwE;gBACtE,wHAAwH;YAC1H,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,+KAA+K,CAAC,CAAC;IAC3M,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC/B,MAAM,IAAI,GAAG;YACX,4BAA4B;YAC5B,6BAA6B;YAC7B,2BAA2B;YAC3B,kCAAkC;YAClC,yCAAyC;YACzC,+BAA+B;YAC/B,uBAAuB;YACvB,qBAAqB;YACrB,sBAAsB;YACtB,wBAAwB;YACxB,2CAA2C;YAC3C,4CAA4C;YAC5C,wCAAwC;SACzC,CAAC;QACF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CACjC,SAAS,CAAC,yFAAyF,IAAI,EAAE,CAAC,CAAC;QAC7G,MAAM,SAAS,GAAG,eAAe,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,+BAA+B,CAAC,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,gCAAgC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,4BAA4B,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,0BAA0B,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/governance/controls-registry-parity.test.d.ts

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

package/dist/test/unit/governance/controls-registry-parity.test.d.ts.map

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

package/dist/test/unit/governance/controls-registry-parity.test.js

@@ -0,0 +1,28 @@
+import { test } from 'node:test';
+import assert from 'node:assert/strict';
+import { readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { CONTROLS_REGISTRY } from '../../../src/governance/controls-registry.data.js';
+import { locateSiblingSource } from '../../helpers/sibling-source.js';
+// 内置副本与真相源深度相等（ADR 0045 §2.2）。候选依次为：本地兄弟 locales、CI 子目录 locales、
+// CI 已 checkout 的 core classpath 副本（core 侧有自己的 locales 一致性门禁，故传递相等）。
+// CI 中全部缺失即失败；本地未并列 checkout 时跳过。
+test('controls 副本与真相源一致', (t) => {
+    const cwd = process.cwd();
+    const source = locateSiblingSource([
+        join(cwd, '..', 'aster-lang-locales', 'controls', 'registry.json'),
+        join(cwd, 'aster-lang-locales', 'controls', 'registry.json'),
+        join(cwd, 'aster-lang-core', 'src', 'main', 'resources', 'governance', 'controls-registry.json'),
+    ], 'aster-lang-locales 或 aster-lang-core 以校验控制项注册表副本一致性');
+    if (source === undefined)
+        return t.skip('本地未并列 checkout aster-lang-locales');
+    assert.deepEqual(CONTROLS_REGISTRY, JSON.parse(readFileSync(source, 'utf8')));
+});
+test('CI 中真相源缺失即失败而非跳过', () => {
+    const missing = [join(process.cwd(), 'no-such-dir', 'registry.json')];
+    assert.equal(locateSiblingSource(missing, 'x', {}), undefined);
+    assert.equal(locateSiblingSource(missing, 'x', { CI: '' }), undefined);
+    assert.throws(() => locateSiblingSource(missing, 'x', { CI: 'true' }), /CI 中必须 checkout x/);
+    assert.throws(() => locateSiblingSource(missing, 'x', { GITHUB_ACTIONS: 'true' }), /CI 中必须 checkout x/);
+});
+//# sourceMappingURL=controls-registry-parity.test.js.map

package/dist/test/unit/governance/controls-registry-parity.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"controls-registry-parity.test.js","sourceRoot":"","sources":["../../../../test/unit/governance/controls-registry-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,EAAE,iBAAiB,EAAE,MAAM,mDAAmD,CAAC;AACtF,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAEtE,iEAAiE;AACjE,qEAAqE;AACrE,kCAAkC;AAClC,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC,EAAE,EAAE;IAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAC1B,MAAM,MAAM,GAAG,mBAAmB,CAChC;QACE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,oBAAoB,EAAE,UAAU,EAAE,eAAe,CAAC;QAClE,IAAI,CAAC,GAAG,EAAE,oBAAoB,EAAE,UAAU,EAAE,eAAe,CAAC;QAC5D,IAAI,CAAC,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,wBAAwB,CAAC;KACjG,EACD,qDAAqD,CACtD,CAAC;IACF,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAC7E,MAAM,CAAC,SAAS,CAAC,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAC5B,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC;IACtE,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;IAC/D,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;IACvE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC;IAC5F,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC;AAC1G,CAAC,CAAC,CAAC"}

package/dist/test/unit/governance/controls-registry-profiles.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=controls-registry-profiles.test.d.ts.map

package/dist/test/unit/governance/controls-registry-profiles.test.d.ts.map

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

package/dist/test/unit/governance/controls-registry-profiles.test.js

@@ -0,0 +1,106 @@
+import { test } from 'node:test';
+import assert from 'node:assert/strict';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parse } from '../../../src/parser.js';
+import { lowerModule } from '../../../src/lower_to_core.js';
+import { typecheckModule } from '../../../src/typecheck.js';
+import { controlRegistryFrom } from '../../../src/governance/controls.js';
+// 注册表档案读取：与 Java ControlRegistryTest 的档案用例逐条对应（规则同 locales 校验口径）。
+// 注入的注册表可能来自运行时 JSON，故以 unknown 构造畸形输入。
+function registryWithProfiles(profiles) {
+    return controlRegistryFrom({
+        version: '9',
+        frameworks: [{ id: 'EU_AI_ACT', title: { en: 'a', zh: 'a', de: 'a' } }],
+        controls: [{ key: 'EU_AI_ACT:ART14', framework: 'EU_AI_ACT', article: '14', title: { en: 'a', zh: 'a', de: 'a' } }],
+        clauses: [],
+        profiles,
+    });
+}
+function profile(id, ruleId, registered, frameworks) {
+    const requires = { ruleId, registeredControls: registered, frameworks };
+    return id === undefined ? { requires } : { id, requires };
+}
+function profileIds(r, candidates) {
+    return candidates.filter((id) => r.profile?.(id) !== undefined);
+}
+test('合法档案照常登记', () => {
+    const hr = registryWithProfiles([profile('hr', true, false, ['EU_AI_ACT'])]).profile?.('hr');
+    assert.deepEqual(hr, { id: 'hr', ruleId: true, registeredControls: false, frameworks: ['EU_AI_ACT'] });
+});
+test('畸形档案不登记且不影响其它档案', () => {
+    const good = profile('ok', true, true, []);
+    const bad = [
+        profile(undefined, true, true, []),
+        profile(42, true, true, []),
+        profile('Bad_Id', true, true, []),
+        profile('x' + 'a'.repeat(64), true, true, []),
+        profile('bad', 'yes', true, []),
+        profile('bad', true, 1, []),
+        profile('bad', true, true, 'EU_AI_ACT'),
+        profile('bad', true, true, ['NOPE']),
+        profile('bad', true, true, [7]),
+        { id: 'bad' },
+    ];
+    const candidates = ['ok', 'bad', 'Bad_Id', 'x' + 'a'.repeat(64), '42'];
+    for (const b of bad) {
+        assert.deepEqual(profileIds(registryWithProfiles([good, b]), candidates), ['ok'], JSON.stringify(b));
+    }
+});
+test('重复档案 id 全部不登记', () => {
+    const r = registryWithProfiles([profile('dup', true, true, []), profile('dup', false, false, []), profile('ok', true, true, [])]);
+    assert.equal(r.profile?.('dup'), undefined);
+    assert.notEqual(r.profile?.('ok'), undefined);
+});
+test('profiles 不是数组抛出', () => {
+    assert.throws(() => registryWithProfiles({}), /profiles/);
+});
+test('profiles 为 null 视为无档案', () => {
+    assert.equal(registryWithProfiles(null).profile?.('governed'), undefined);
+});
+test('声明畸形档案的模块得到 E705', () => {
+    const r = registryWithProfiles([profile('acme', true, true, ['NOPE'])]);
+    const src = 'Module m.\nProfile "acme".\n\nRule r produce Int:\n  Return 1.\n';
+    const diags = typecheckModule(lowerModule(parse(lex(canonicalize(src))).ast), { controls: r });
+    assert.equal(diags.filter((d) => d.code === "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */).length, 1, JSON.stringify(diags));
+});
+// 根 frameworks 形态不可信：非数组、null/非对象条目、空白 id 都不抛出，只是不计入已登记框架
+function registryWithFrameworks(frameworks) {
+    return controlRegistryFrom({
+        version: '9',
+        frameworks,
+        controls: [],
+        clauses: [],
+        profiles: [profile('ok', true, true, []), profile('blank', true, true, ['']), profile('eu', true, true, ['EU_AI_ACT'])],
+    });
+}
+test('根 frameworks 畸形时不抛出，畸形条目与空白 id 不计入', () => {
+    const variants = [
+        'EU_AI_ACT',
+        null,
+        [null, 7, 'EU_AI_ACT', { id: '' }, { id: '   ' }, { id: 3 }],
+    ];
+    for (const fws of variants) {
+        const r = registryWithFrameworks(fws);
+        assert.deepEqual(profileIds(r, ['ok', 'blank', 'eu']), ['ok'], JSON.stringify(fws));
+    }
+    const good = registryWithFrameworks([null, { id: ' ' }, { id: 'EU_AI_ACT' }]);
+    assert.deepEqual(profileIds(good, ['ok', 'blank', 'eu']), ['ok', 'eu']);
+});
+// 空白的确切定义：只由 ASCII 空白（空格 \t \n \v \f \r，即 Java 正则默认的 \s）组成；
+// 其它 Unicode 空白（如 NBSP）不算空白，id 照常登记，以便 Java 用 id.matches("\\s*") 得到同一结果
+test('空白 id 只按 ASCII 空白判定', () => {
+    for (const blank of ['', ' ', '\t\n\v\f\r ']) {
+        const r = controlRegistryFrom({
+            version: '9', frameworks: [{ id: blank }], controls: [], clauses: [],
+            profiles: [profile('p', true, true, [blank])],
+        });
+        assert.equal(r.profile?.('p'), undefined, JSON.stringify(blank));
+    }
+    const nbsp = controlRegistryFrom({
+        version: '9', frameworks: [{ id: ' ' }], controls: [], clauses: [],
+        profiles: [profile('p', true, true, [' '])],
+    });
+    assert.deepEqual(nbsp.profile?.('p')?.frameworks, [' ']);
+});
+//# sourceMappingURL=controls-registry-profiles.test.js.map

package/dist/test/unit/governance/controls-registry-profiles.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"controls-registry-profiles.test.js","sourceRoot":"","sources":["../../../../test/unit/governance/controls-registry-profiles.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAM1E,kEAAkE;AAClE,wCAAwC;AAExC,SAAS,oBAAoB,CAAC,QAAiB;IAC7C,OAAO,mBAAmB,CAAC;QACzB,OAAO,EAAE,GAAG;QACZ,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC;QACvE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,iBAAiB,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC;QACnH,OAAO,EAAE,EAAE;QACX,QAAQ;KAC0B,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,OAAO,CAAC,EAAW,EAAE,MAAe,EAAE,UAAmB,EAAE,UAAmB;IACrF,MAAM,QAAQ,GAAG,EAAE,MAAM,EAAE,kBAAkB,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;IACxE,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,UAAU,CAAC,CAAkB,EAAE,UAA6B;IACnE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC;AAClE,CAAC;AAED,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE;IACpB,MAAM,EAAE,GAAG,oBAAoB,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;IAC7F,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;AACzG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAc;QACrB,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QAClC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QAC3B,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QACjC,OAAO,CAAC,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7C,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;QAC/B,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC;QACvC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC;QACpC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,EAAE,EAAE,EAAE,KAAK,EAAE;KACd,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACvE,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACvG,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE;IACzB,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAClI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;IAC5C,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC3B,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;AAC5D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACjC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAC5B,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,kEAAkE,CAAC;IAC/E,MAAM,KAAK,GAAG,eAAe,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAgB,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5G,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/G,CAAC,CAAC,CAAC;AAEH,0DAA0D;AAC1D,SAAS,sBAAsB,CAAC,UAAmB;IACjD,OAAO,mBAAmB,CAAC;QACzB,OAAO,EAAE,GAAG;QACZ,UAAU;QACV,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;KACrF,CAAC,CAAC;AACxC,CAAC;AAED,IAAI,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAC9C,MAAM,QAAQ,GAAc;QAC1B,WAAW;QACX,IAAI;QACJ,CAAC,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;KAC7D,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,IAAI,GAAG,sBAAsB,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAC1E,CAAC,CAAC,CAAC;AAEH,4DAA4D;AAC5D,wEAAwE;AACxE,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;IAC/B,KAAK,MAAM,KAAK,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,aAAa,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,mBAAmB,CAAC;YAC5B,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE;YACpE,QAAQ,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;SACX,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,IAAI,GAAG,mBAAmB,CAAC;QAC/B,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE;QAClE,QAAQ,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KACT,CAAC,CAAC;IACtC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC"}

package/dist/test/unit/governance/governance-check.test.d.ts

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

package/dist/test/unit/governance/governance-check.test.d.ts.map

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