@aster-cloud/aster-lang-ts 1.0.30 → 1.0.32

package/dist/test/unit/governance/governance-check.test.js

@@ -0,0 +1,169 @@
+import { test } from 'node:test';
+import assert from 'node:assert/strict';
+import { existsSync, readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parse } from '../../../src/parser.js';
+import { lowerModule } from '../../../src/lower_to_core.js';
+import { typecheckModule } from '../../../src/typecheck.js';
+import { typecheckBrowser } from '../../../src/typecheck/browser.js';
+import { compileAndTypecheck } from '../../../src/browser.js';
+import { Core } from '../../../src/core/core_ir.js';
+import { checkGovernance, controls, returnsVerdict, ruleId } from '../../../src/typecheck/governance.js';
+function coreOf(body) {
+    const src = `Module probe.\n${body}\n`;
+    const ast = parse(lex(canonicalize(src))).ast;
+    return lowerModule(ast);
+}
+function diagnoseFull(body) {
+    return typecheckModule(coreOf(body));
+}
+function diagnose(body) {
+    return diagnoseFull(body).map((d) => String(d.code));
+}
+/** 手工构造一个规则函数，用于覆盖 CNL 语法难以产出的 Core 形态。 */
+function handFunc(name, body, annotations = []) {
+    return Core.Func(name, [], [], Core.TypeName('Unknown'), [], body, [], false, undefined, undefined, annotations);
+}
+const VERDICT_RULE = 'Rule main produce Verdict:\n  Return Verdict.allow().';
+test('返回 Verdict 且无 @id 报 W700', () => {
+    assert.ok(diagnose(VERDICT_RULE).includes("W700" /* ErrorCode.GOV_VERDICT_RULE_MISSING_ID */));
+});
+test('未声明返回类型但返回 Verdict 调用也报 W700', () => {
+    assert.ok(diagnose('Rule main produce:\n  Return Verdict.deny("no").').includes("W700" /* ErrorCode.GOV_VERDICT_RULE_MISSING_ID */));
+});
+test('有 @id 不报 W700', () => {
+    assert.ok(!diagnose(`@id("R-1")\n${VERDICT_RULE}`).includes("W700" /* ErrorCode.GOV_VERDICT_RULE_MISSING_ID */));
+});
+test('返回 Bool 不报 W700', () => {
+    assert.ok(!diagnose('Rule main produce Bool:\n  Return true.').includes("W700" /* ErrorCode.GOV_VERDICT_RULE_MISSING_ID */));
+});
+test('重复 @id 报恰好一个 E701，列出全部规则', () => {
+    const diags = diagnoseFull('@id("R-1")\nRule alpha produce Verdict:\n  Return Verdict.allow().\n\n@id("R-1")\nRule beta produce Verdict:\n  Return Verdict.allow().');
+    const dup = diags.filter((d) => d.code === "E701" /* ErrorCode.GOV_DUPLICATE_RULE_ID */);
+    assert.equal(dup.length, 1, diags.map((d) => d.code).join(','));
+    assert.equal(dup[0].data.rules, 'alpha, beta');
+    assert.equal(dup[0].data.id, 'R-1');
+});
+test('@id 非字符串报 E702', () => {
+    assert.ok(diagnose(`@id(42)\n${VERDICT_RULE}`).includes("E702" /* ErrorCode.GOV_ANNOTATION_ARG_INVALID */));
+});
+test('@id 命名参数报 E702', () => {
+    assert.ok(diagnose(`@id(value: "R-1")\n${VERDICT_RULE}`).includes("E702" /* ErrorCode.GOV_ANNOTATION_ARG_INVALID */));
+});
+test('@control 可重复', () => {
+    const codes = diagnose(`@id("R-1")\n@control("EU_AI_ACT:ART14")\n@control("GDPR:ART6")\n${VERDICT_RULE}`);
+    assert.equal(codes.filter((c) => c === 'W700' || c === 'E701' || c === 'E702').length, 0, codes.join(','));
+});
+test('用户 Define Verdict 报 DUPLICATE_SYMBOL', () => {
+    assert.ok(diagnose('Define Verdict has approved.\n\nRule main produce Bool:\n  Return true.').includes("E104" /* ErrorCode.DUPLICATE_SYMBOL */));
+});
+test('空白 @id("") 报 E702 且同时报 W700', () => {
+    const codes = diagnose(`@id("")\n${VERDICT_RULE}`);
+    assert.ok(codes.includes("E702" /* ErrorCode.GOV_ANNOTATION_ARG_INVALID */), codes.join(','));
+    assert.ok(codes.includes("W700" /* ErrorCode.GOV_VERDICT_RULE_MISSING_ID */), codes.join(','));
+});
+test('同一规则多个 @id 报 E702，ruleId 为空', () => {
+    const m = coreOf(`@id("A")\n@id("B")\n${VERDICT_RULE}`);
+    const diags = typecheckModule(m);
+    const e702 = diags.filter((d) => d.code === "E702" /* ErrorCode.GOV_ANNOTATION_ARG_INVALID */);
+    assert.equal(e702.length, 1, diags.map((d) => d.code).join(','));
+    assert.equal(e702[0].data.annotation, 'id');
+    const func = m.decls.find((d) => d.kind === 'Func');
+    assert.equal(ruleId(func), undefined);
+});
+test('@reason 非字符串报 E702', () => {
+    const diags = diagnoseFull(`@id("R-1")\n@reason(42)\n${VERDICT_RULE}`);
+    const e702 = diags.filter((d) => d.code === "E702" /* ErrorCode.GOV_ANNOTATION_ARG_INVALID */);
+    assert.equal(e702.length, 1, diags.map((d) => d.code).join(','));
+    assert.equal(e702[0].data.annotation, 'reason');
+});
+test('ruleId / controls 读取合法注解值', () => {
+    const m = coreOf(`@id("R-1")\n@control("EU_AI_ACT:ART14")\n@control("GDPR:ART6")\n@control("")\n${VERDICT_RULE}`);
+    const func = m.decls.find((d) => d.kind === 'Func');
+    assert.equal(ruleId(func), 'R-1');
+    assert.deepEqual(controls(func), ['EU_AI_ACT:ART14', 'GDPR:ART6']);
+});
+test('returnsVerdict 穿透 Block → Scope → Return（手工构造 Core IR）', () => {
+    const ret = Core.Return(Core.Call(Core.Name('Verdict.deny'), [Core.String('no')]));
+    const func = handFunc('main', Core.Block([Core.Scope([ret])]));
+    assert.equal(returnsVerdict(func), true);
+    const codes = checkGovernance({ name: 'probe', decls: [func] }).map((d) => d.code);
+    assert.deepEqual(codes, ["W700" /* ErrorCode.GOV_VERDICT_RULE_MISSING_ID */]);
+});
+test('returnsVerdict 不经由变量判定', () => {
+    const body = Core.Block([
+        Core.Let('v', Core.Call(Core.Name('Verdict.allow'), [])),
+        Core.Return(Core.Name('v')),
+    ]);
+    assert.equal(returnsVerdict(handFunc('main', body)), false);
+});
+test('注解 name 为 null/undefined 不抛异常', () => {
+    const bogus = [{ name: null }, { name: undefined }];
+    const func = handFunc('main', Core.Block([Core.Return(Core.Bool(true))]), bogus);
+    assert.doesNotThrow(() => checkGovernance({ name: 'probe', decls: [func] }));
+    assert.deepEqual(checkGovernance({ name: 'probe', decls: [func] }), []);
+    assert.equal(ruleId(func), undefined);
+    assert.deepEqual(controls(func), []);
+});
+test('浏览器路径同样报 W700', () => {
+    const codes = typecheckBrowser(coreOf(VERDICT_RULE)).map((d) => String(d.code));
+    assert.ok(codes.includes("W700" /* ErrorCode.GOV_VERDICT_RULE_MISSING_ID */), codes.join(','));
+});
+test('已登记控制点无 W704', () => {
+    const codes = diagnose(`@id("R-1")\n@control("EU_AI_ACT:ART14")\n${VERDICT_RULE}`);
+    assert.equal(codes.filter((c) => c === 'W704').length, 0, codes.join(','));
+});
+test('未登记与形态非法都报 W704，同键只报一次', () => {
+    const codes = diagnose(`@id("R-1")\n@control("ACME:ART1")\n@control("ACME:ART1")\n@control("eu_ai_act:art14")\n${VERDICT_RULE}`);
+    assert.equal(codes.filter((c) => c === 'W704').length, 2, codes.join(','));
+});
+test('注入空注册表时已登记键也报 W704', () => {
+    const empty = { version: '0.0.0', has: () => false };
+    const fn = handFunc('main', Core.Block([]), [
+        { name: 'id', args: [{ name: '$0', value: 'R-1' }] },
+        { name: 'control', args: [{ name: '$0', value: 'EU_AI_ACT:ART14' }] },
+    ]);
+    const diags = checkGovernance({ name: 'probe', decls: [fn] }, { controls: empty });
+    assert.ok(diags.some((d) => d.code === 'W704'), JSON.stringify(diags));
+});
+test('注入的注册表放行一切时形态非法键仍报 W704', () => {
+    const permissive = { version: 'x', has: () => true };
+    const body = `@id("R-1")\n@control("eu_ai_act:art14")\n${VERDICT_RULE}`;
+    const diags = typecheckModule(coreOf(body), { controls: permissive });
+    const w704 = diags.filter((d) => d.code === "W704" /* ErrorCode.GOV_CONTROL_UNREGISTERED */);
+    assert.equal(w704.length, 1, JSON.stringify(diags));
+});
+test('注入的注册表沿 Node / 浏览器 / compileAndTypecheck 透传', () => {
+    const empty = { version: '0.0.0', has: () => false };
+    const body = `@id("R-1")\n@control("EU_AI_ACT:ART14")\n${VERDICT_RULE}`;
+    const nodeCodes = typecheckModule(coreOf(body), { controls: empty }).map((d) => String(d.code));
+    const browserCodes = typecheckBrowser(coreOf(body), { controls: empty }).map((d) => String(d.code));
+    const compiled = compileAndTypecheck(`Module probe.\n${body}\n`, { controls: empty });
+    const compiledCodes = compiled.typeErrors.map((d) => String(d.code));
+    for (const codes of [nodeCodes, browserCodes, compiledCodes]) {
+        assert.ok(codes.includes("W704" /* ErrorCode.GOV_CONTROL_UNREGISTERED */), codes.join(','));
+    }
+});
+// 诊断黄金（ADR 0045 §3）：源文在 aster-lang-test tier3 type-checker 桶，期望在本仓 expected/；
+// 既有 golden 回归脚本读 npm 版语料，新源文发布前读不到，故直读兄弟仓（本地 ../ 或 CI 工作区 ./）。
+// CI 的 test job 会 checkout aster-lang-test，因此 CI 中缺失即失败；仅本地未并列 checkout 时跳过。
+test('W704 诊断黄金与期望文件一致', (t) => {
+    const name = 'governance_control_unregistered';
+    const relative = ['corpus', 'tier3-fixtures', 'type-checker', `${name}.aster`];
+    const source = [
+        join(process.cwd(), '..', 'aster-lang-test', ...relative),
+        join(process.cwd(), 'aster-lang-test', ...relative),
+    ].find((c) => existsSync(c));
+    if (source === undefined) {
+        assert.ok(!process.env.CI, 'CI 中须 checkout aster-lang-test（见 .github/workflows/ci.yml test job）');
+        return t.skip('aster-lang-test 未并列 checkout');
+    }
+    const ast = parse(lex(canonicalize(readFileSync(source, 'utf8')))).ast;
+    const actual = typecheckModule(lowerModule(ast)).map(({ code, severity, message }) => ({ code, severity, message }));
+    const expectedPath = join(process.cwd(), 'test', 'type-checker', 'expected', `${name}.errors.json`);
+    const expected = JSON.parse(readFileSync(expectedPath, 'utf8')).diagnostics;
+    assert.deepEqual(actual, expected);
+});
+//# sourceMappingURL=governance-check.test.js.map

package/dist/test/unit/governance/governance-check.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"governance-check.test.js","sourceRoot":"","sources":["../../../../test/unit/governance/governance-check.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,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,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAC;AAEpD,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,sCAAsC,CAAC;AAGzG,SAAS,MAAM,CAAC,IAAY;IAC1B,MAAM,GAAG,GAAG,kBAAkB,IAAI,IAAI,CAAC;IACvC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAgB,CAAC;IAC3D,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,2CAA2C;AAC3C,SAAS,QAAQ,CAAC,IAAY,EAAE,IAAqB,EAAE,cAAqC,EAAE;IAC5F,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;AACnH,CAAC;AAED,MAAM,YAAY,GAAG,uDAAuD,CAAC;AAE7E,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACpC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,QAAQ,oDAAuC,CAAC,CAAC;AACpF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;IACxC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC,CAAC,QAAQ,oDAAuC,CAAC,CAAC;AAC1H,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE;IACzB,MAAM,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,eAAe,YAAY,EAAE,CAAC,CAAC,QAAQ,oDAAuC,CAAC,CAAC;AACtG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC3B,MAAM,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,yCAAyC,CAAC,CAAC,QAAQ,oDAAuC,CAAC,CAAC;AAClH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACpC,MAAM,KAAK,GAAG,YAAY,CACxB,yIAAyI,CAC1I,CAAC;IACF,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;IAC5E,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,KAAK,CAAE,GAAG,CAAC,CAAC,CAAE,CAAC,IAA0B,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACvE,MAAM,CAAC,KAAK,CAAE,GAAG,CAAC,CAAC,CAAE,CAAC,IAAuB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC1B,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,YAAY,YAAY,EAAE,CAAC,CAAC,QAAQ,mDAAsC,CAAC,CAAC;AACjG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC1B,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,sBAAsB,YAAY,EAAE,CAAC,CAAC,QAAQ,mDAAsC,CAAC,CAAC;AAC3G,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;IACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,mEAAmE,YAAY,EAAE,CAAC,CAAC;IAC1G,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7G,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;IAChD,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,yEAAyE,CAAC,CAAC,QAAQ,yCAA4B,CAAC,CAAC;AACtI,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;IACvC,MAAM,KAAK,GAAG,QAAQ,CAAC,YAAY,YAAY,EAAE,CAAC,CAAC;IACnD,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,mDAAsC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACjF,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,oDAAuC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACpF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;IACvC,MAAM,CAAC,GAAG,MAAM,CAAC,uBAAuB,YAAY,EAAE,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,sDAAyC,CAAC,CAAC;IAClF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,MAAM,CAAC,KAAK,CAAE,IAAI,CAAC,CAAC,CAAE,CAAC,IAA+B,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC;IAC1E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;AACxC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,4BAA4B,YAAY,EAAE,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,sDAAyC,CAAC,CAAC;IAClF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,MAAM,CAAC,KAAK,CAAE,IAAI,CAAC,CAAC,CAAE,CAAC,IAA+B,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;AAC/E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACrC,MAAM,CAAC,GAAG,MAAM,CAAC,iFAAiF,YAAY,EAAE,CAAC,CAAC;IAClH,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC;IAC1E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC,CAAC;AACrE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnF,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,oDAAuC,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;IAClC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QACtB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;KAC5B,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAC9D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;IACzC,MAAM,KAAK,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAA4B,CAAC;IAC/E,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjF,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7E,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACxE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;IACtC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;AACvC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE;IACzB,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,oDAAuC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACpF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;IACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,4CAA4C,YAAY,EAAE,CAAC,CAAC;IACnF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;IAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,0FAA0F,YAAY,EAAE,CAAC,CAAC;IACjI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAC9B,MAAM,KAAK,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;IACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE;QAC1C,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;QACpD,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,EAAE;KACtE,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;AACzE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACnC,MAAM,UAAU,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IACrD,MAAM,IAAI,GAAG,4CAA4C,YAAY,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,oDAAuC,CAAC,CAAC;IAChF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;IACvD,MAAM,KAAK,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;IACrD,MAAM,IAAI,GAAG,4CAA4C,YAAY,EAAE,CAAC;IACxE,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChG,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpG,MAAM,QAAQ,GAAG,mBAAmB,CAAC,kBAAkB,IAAI,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACtF,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,KAAK,IAAI,CAAC,SAAS,EAAE,YAAY,EAAE,aAAa,CAAC,EAAE,CAAC;QAC7D,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,iDAAoC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACjF,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,gEAAgE;AAChE,6EAA6E;AAC7E,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC,EAAE,EAAE;IAC7B,MAAM,IAAI,GAAG,iCAAiC,CAAC;IAC/C,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,gBAAgB,EAAE,cAAc,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG;QACb,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,QAAQ,CAAC;QACzD,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,iBAAiB,EAAE,GAAG,QAAQ,CAAC;KACpD,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,qEAAqE,CAAC,CAAC;QAClG,OAAO,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAgB,CAAC;IACpF,MAAM,MAAM,GAAG,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IACrH,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;IACpG,MAAM,QAAQ,GAAI,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAgC,CAAC,WAAW,CAAC;IAC5G,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AACrC,CAAC,CAAC,CAAC"}

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

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

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

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

package/dist/test/unit/governance/profile-check.test.js

@@ -0,0 +1,139 @@
+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 { typecheckBrowser } from '../../../src/typecheck/browser.js';
+import { controlRegistryFrom, defaultControlRegistry } from '../../../src/governance/controls.js';
+// ADR 0046 §4：档案检查。场景与 Java ProfileCheckTest 逐条对应（源码、错误码、数量、消息子串一致）。
+function diagnoseSource(src, controls) {
+    const ast = parse(lex(canonicalize(src))).ast;
+    return typecheckModule(lowerModule(ast), controls ? { controls } : {});
+}
+/** 声明了档案的探针模块源码。 */
+function profiled(id, body) {
+    return `Module probe.\nProfile "${id}".\n\n${body}\n`;
+}
+function count(d, code) {
+    return d.filter((x) => x.code === code).length;
+}
+/** 拼接某错误码的全部消息，便于断言包含关系。 */
+function messages(d, code) {
+    return d.filter((x) => x.code === code).map((x) => x.message).join('\n');
+}
+const show = (d) => JSON.stringify(d.map(({ code, message }) => ({ code, message })));
+test('未知档案报 E705', () => {
+    const diags = diagnoseSource('Module m.\nProfile "nope".\n\nRule r produce Int:\n  Return 1.\n');
+    assert.equal(count(diags, "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */), 1, show(diags));
+    assert.ok(messages(diags, "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */).includes("unknown profile 'nope' (controls registry 1.1.0)"));
+    const e705 = diags.find((d) => d.code === "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */);
+    assert.equal(e705.span?.start.line, 1, 'E705 应定位到 Module 声明行');
+});
+test('缺 @id 报 E706 且 W700 照常', () => {
+    const diags = diagnoseSource(profiled('governed', 'Rule r produce Verdict:\n  Return Verdict.allow().'));
+    assert.equal(count(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */), 1, show(diags));
+    assert.equal(count(diags, "W700" /* ErrorCode.GOV_VERDICT_RULE_MISSING_ID */), 1);
+    assert.ok(messages(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */).includes("Rule 'r' violates profile 'governed': missing @id"));
+    const e706 = diags.find((d) => d.code === "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */);
+    assert.ok(e706.span !== undefined, 'E706 应定位到规则');
+});
+test('未登记控制点报 E706', () => {
+    const diags = diagnoseSource(profiled('governed', '@id("R-1")\n@control("ACME:ART1")\nRule r produce Verdict:\n  Return Verdict.allow().'));
+    assert.ok(messages(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */).includes('unregistered control ACME:ART1'), show(diags));
+    assert.equal(count(diags, "W704" /* ErrorCode.GOV_CONTROL_UNREGISTERED */), 1);
+});
+test('重复控制点每条要求只报一次', () => {
+    const diags = diagnoseSource(profiled('governed', '@id("R-1")\n@control("ACME:ART1")\n@control("ACME:ART1")\nRule r produce Verdict:\n  Return Verdict.allow().'));
+    assert.equal(count(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */), 1, show(diags));
+});
+test('缺所需框架控制点报 E706', () => {
+    const diags = diagnoseSource(profiled('eu-ai-act-high-risk', '@id("R-1")\n@control("GDPR:ART6")\nRule r produce Verdict:\n  Return Verdict.allow().'));
+    assert.ok(messages(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */).includes('no registered control from framework EU_AI_ACT'), show(diags));
+    assert.equal(count(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */), 1);
+});
+test('合规规则零 E70x', () => {
+    const diags = diagnoseSource(profiled('eu-ai-act-high-risk', '@id("R-1")\n@control("EU_AI_ACT:ART14")\nRule r produce Verdict:\n  Return Verdict.allow().'));
+    assert.equal(count(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */) + count(diags, "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */), 0, show(diags));
+});
+test('非 Verdict 规则不受档案约束', () => {
+    const diags = diagnoseSource(profiled('governed', 'Rule helper produce Int:\n  Return 1.'));
+    assert.equal(count(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */), 0, show(diags));
+});
+test('未声明档案的模块零 E70x', () => {
+    const diags = diagnoseSource('Module m.\n\nRule r produce Verdict:\n  Return Verdict.allow().\n');
+    assert.equal(count(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */) + count(diags, "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */), 0, show(diags));
+});
+test('未知档案下缺 @id 的 Verdict 规则只报 E705 与 W700', () => {
+    const diags = diagnoseSource('Module m.\nProfile "nope".\n\nRule r produce Verdict:\n  Return Verdict.allow().\n');
+    assert.equal(count(diags, "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */), 1, show(diags));
+    assert.equal(count(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */), 0, show(diags));
+    assert.equal(count(diags, "W700" /* ErrorCode.GOV_VERDICT_RULE_MISSING_ID */), 1, show(diags));
+});
+test('高风险档案下未登记的同框架键同时违反两条要求', () => {
+    const diags = diagnoseSource(profiled('eu-ai-act-high-risk', '@id("R-1")\n@control("EU_AI_ACT:ART99")\nRule r produce Verdict:\n  Return Verdict.allow().'));
+    const e706 = messages(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */);
+    assert.ok(e706.includes('unregistered control EU_AI_ACT:ART99'), show(diags));
+    assert.ok(e706.includes('no registered control from framework EU_AI_ACT'), show(diags));
+    assert.equal(count(diags, "W704" /* ErrorCode.GOV_CONTROL_UNREGISTERED */), 1, show(diags));
+});
+test('注入的注册表携带自定义档案与框架', () => {
+    const custom = controlRegistryFrom({
+        version: '9.9.9',
+        // 档案引用的框架须在根 frameworks 中登记，否则档案不登记
+        frameworks: [
+            { id: 'ACME', title: { en: 'a', zh: 'a', de: 'a' } },
+            { id: 'SOX', title: { en: 's', zh: 's', de: 's' } },
+        ],
+        controls: [
+            { key: 'ACME:ART1', framework: 'ACME', article: '1', title: { en: 'a', zh: 'a', de: 'a' } },
+            { key: 'acme:bad', framework: 'ACME', article: 'x', title: { en: 'b', zh: 'b', de: 'b' } },
+        ],
+        clauses: [],
+        profiles: [
+            { id: 'acme', title: { en: 'a', zh: 'a', de: 'a' }, requires: { ruleId: false, registeredControls: true, frameworks: ['ACME', 'SOX'] } },
+        ],
+    });
+    const ok = diagnoseSource(profiled('acme', '@control("ACME:ART1")\nRule r produce Verdict:\n  Return Verdict.allow().'), custom);
+    assert.equal(count(ok, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */) + count(ok, "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */), 0, show(ok));
+    // 形态非法键即便在注入数据中登记也不算已登记，亦不覆盖框架
+    const bad = diagnoseSource(profiled('acme', '@control("acme:bad")\nRule r produce Verdict:\n  Return Verdict.allow().'), custom);
+    const e706 = messages(bad, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */);
+    assert.ok(e706.includes('unregistered control acme:bad'), show(bad));
+    assert.ok(e706.includes('no registered control from framework ACME, SOX'), show(bad));
+    // 默认档案在自定义注册表中不存在
+    const unknown = diagnoseSource(profiled('governed', 'Rule h produce Int:\n  Return 1.'), custom);
+    assert.ok(messages(unknown, "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */).includes("unknown profile 'governed' (controls registry 9.9.9)"), show(unknown));
+});
+test('只含 version/has 的手写注册表视为无档案', () => {
+    const minimal = { version: '0.1.0', has: (k) => defaultControlRegistry.has(k) };
+    const diags = diagnoseSource(profiled('governed', '@id("R-1")\nRule r produce Verdict:\n  Return Verdict.allow().'), minimal);
+    assert.equal(count(diags, "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */), 1, show(diags));
+    assert.equal(count(diags, "E706" /* ErrorCode.GOV_PROFILE_VIOLATION */), 0, show(diags));
+});
+test('默认注册表含档案与框架归属', () => {
+    assert.equal(defaultControlRegistry.version, '1.1.0');
+    assert.deepEqual(defaultControlRegistry.profile?.('governed'), { id: 'governed', ruleId: true, registeredControls: true, frameworks: [] });
+    assert.deepEqual(defaultControlRegistry.profile?.('eu-ai-act-high-risk')?.frameworks, ['EU_AI_ACT']);
+    assert.equal(defaultControlRegistry.profile?.('nope'), undefined);
+    assert.equal(defaultControlRegistry.frameworkOf?.('EU_AI_ACT:ART14'), 'EU_AI_ACT');
+});
+test('缺 profiles 的输入视为空档案', () => {
+    const r = controlRegistryFrom({
+        version: '9',
+        frameworks: [],
+        controls: [{ key: 'A:B', framework: 'A', article: 'B', title: { en: 'a', zh: 'a', de: 'a' } }],
+        clauses: [],
+    });
+    assert.equal(r.profile?.('governed'), undefined);
+    assert.equal(r.has('A:B'), true);
+});
+test('浏览器类型检查路径同样报 E705', () => {
+    const src = 'Module m.\nProfile "nope".\n\nRule r produce Int:\n  Return 1.\n';
+    const core = lowerModule(parse(lex(canonicalize(src))).ast);
+    const diags = typecheckBrowser(core);
+    assert.equal(count(diags, "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */), 1, show(diags));
+    assert.ok(messages(diags, "E705" /* ErrorCode.GOV_PROFILE_UNKNOWN */).includes("unknown profile 'nope' (controls registry 1.1.0)"));
+});
+//# sourceMappingURL=profile-check.test.js.map

package/dist/test/unit/governance/profile-check.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile-check.test.js","sourceRoot":"","sources":["../../../../test/unit/governance/profile-check.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,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAKlG,qEAAqE;AAErE,SAAS,cAAc,CAAC,GAAW,EAAE,QAA0B;IAC7D,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAgB,CAAC;IAC3D,OAAO,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,oBAAoB;AACpB,SAAS,QAAQ,CAAC,EAAU,EAAE,IAAY;IACxC,OAAO,2BAA2B,EAAE,SAAS,IAAI,IAAI,CAAC;AACxD,CAAC;AAED,SAAS,KAAK,CAAC,CAAiC,EAAE,IAAe;IAC/D,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;AACjD,CAAC;AAED,4BAA4B;AAC5B,SAAS,QAAQ,CAAC,CAAiC,EAAE,IAAe;IAClE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAiC,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;AAE9H,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;IACtB,MAAM,KAAK,GAAG,cAAc,CAAC,kEAAkE,CAAC,CAAC;IACjG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,6CAAgC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,6CAAgC,CAAC,QAAQ,CAAC,kDAAkD,CAAC,CAAC,CAAC;IACvH,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAE,CAAC;IAC1E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,sBAAsB,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;IAClC,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,UAAU,EAAE,oDAAoD,CAAC,CAAC,CAAC;IACzG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,+CAAkC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,qDAAwC,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,+CAAkC,CAAC,QAAQ,CAAC,mDAAmD,CAAC,CAAC,CAAC;IAC1H,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAE,CAAC;IAC5E,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,aAAa,CAAC,CAAC;AACpD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;IACxB,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,UAAU,EAAE,uFAAuF,CAAC,CAAC,CAAC;IAC5I,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,+CAAkC,CAAC,QAAQ,CAAC,gCAAgC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACpH,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,kDAAqC,EAAE,CAAC,CAAC,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE;IACzB,MAAM,KAAK,GAAG,cAAc,CAC1B,QAAQ,CAAC,UAAU,EAAE,8GAA8G,CAAC,CACrI,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,+CAAkC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC1B,MAAM,KAAK,GAAG,cAAc,CAC1B,QAAQ,CAAC,qBAAqB,EAAE,uFAAuF,CAAC,CACzH,CAAC;IACF,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,+CAAkC,CAAC,QAAQ,CAAC,gDAAgD,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACpI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,+CAAkC,EAAE,CAAC,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;IACtB,MAAM,KAAK,GAAG,cAAc,CAC1B,QAAQ,CAAC,qBAAqB,EAAE,6FAA6F,CAAC,CAC/H,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,+CAAkC,GAAG,KAAK,CAAC,KAAK,6CAAgC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC5H,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAC9B,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,UAAU,EAAE,uCAAuC,CAAC,CAAC,CAAC;IAC5F,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,+CAAkC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC1B,MAAM,KAAK,GAAG,cAAc,CAAC,mEAAmE,CAAC,CAAC;IAClG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,+CAAkC,GAAG,KAAK,CAAC,KAAK,6CAAgC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC5H,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACjD,MAAM,KAAK,GAAG,cAAc,CAAC,oFAAoF,CAAC,CAAC;IACnH,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,6CAAgC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,+CAAkC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,qDAAwC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACpF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;IAClC,MAAM,KAAK,GAAG,cAAc,CAC1B,QAAQ,CAAC,qBAAqB,EAAE,6FAA6F,CAAC,CAC/H,CAAC;IACF,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,+CAAkC,CAAC;IAC9D,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,sCAAsC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,gDAAgD,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACxF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,kDAAqC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAC5B,MAAM,MAAM,GAAG,mBAAmB,CAAC;QACjC,OAAO,EAAE,OAAO;QAChB,oCAAoC;QACpC,UAAU,EAAE;YACV,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE;YACpD,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE;SACpD;QACD,QAAQ,EAAE;YACR,EAAE,GAAG,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE;YAC3F,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE;SAC3F;QACD,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE;YACR,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE;SACzI;KACF,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,EAAE,2EAA2E,CAAC,EAAE,MAAM,CAAC,CAAC;IACjI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,+CAAkC,GAAG,KAAK,CAAC,EAAE,6CAAgC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACjH,+BAA+B;IAC/B,MAAM,GAAG,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,EAAE,0EAA0E,CAAC,EAAE,MAAM,CAAC,CAAC;IACjI,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,+CAAkC,CAAC;IAC5D,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,+BAA+B,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,gDAAgD,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACtF,kBAAkB;IAClB,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,UAAU,EAAE,kCAAkC,CAAC,EAAE,MAAM,CAAC,CAAC;IACjG,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,6CAAgC,CAAC,QAAQ,CAAC,sDAAsD,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;AAC9I,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4BAA4B,EAAE,GAAG,EAAE;IACtC,MAAM,OAAO,GAAoB,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACjG,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,UAAU,EAAE,gEAAgE,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9H,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,6CAAgC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,+CAAkC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE;IACzB,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACtD,MAAM,CAAC,SAAS,CAAC,sBAAsB,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3I,MAAM,CAAC,SAAS,CAAC,sBAAsB,CAAC,OAAO,EAAE,CAAC,qBAAqB,CAAC,EAAE,UAAU,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IACrG,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC;IAClE,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,WAAW,EAAE,CAAC,iBAAiB,CAAC,EAAE,WAAW,CAAC,CAAC;AACrF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;IAC/B,MAAM,CAAC,GAAG,mBAAmB,CAAC;QAC5B,OAAO,EAAE,GAAG;QACZ,UAAU,EAAE,EAAE;QACd,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC;QAC9F,OAAO,EAAE,EAAE;KACZ,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC;IACjD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;AACnC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mBAAmB,EAAE,GAAG,EAAE;IAC7B,MAAM,GAAG,GAAG,kEAAkE,CAAC;IAC/E,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAgB,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,6CAAgC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,6CAAgC,CAAC,QAAQ,CAAC,kDAAkD,CAAC,CAAC,CAAC;AACzH,CAAC,CAAC,CAAC"}

package/dist/test/unit/governance/verdict-typecheck.test.d.ts

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

package/dist/test/unit/governance/verdict-typecheck.test.d.ts.map

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

package/dist/test/unit/governance/verdict-typecheck.test.js

@@ -0,0 +1,80 @@
+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';
+function diagnose(body) {
+    const src = `Module probe.\n${body}\n`;
+    const ast = parse(lex(canonicalize(src))).ast;
+    const core = lowerModule(ast);
+    return typecheckModule(core).map((d) => String(d.code));
+}
+test('produce Verdict 不被当成类型参数，allow 通过', () => {
+    const codes = diagnose('@id("R-1")\nRule main produce Verdict:\n  Return Verdict.allow().');
+    assert.ok(!codes.includes("E003" /* ErrorCode.RETURN_TYPE_MISMATCH */), codes.join(','));
+    assert.ok(!codes.includes("E212" /* ErrorCode.EFF_INFER_UNKNOWN_BUILTIN */), codes.join(','));
+});
+test('produce Bool 返回 Verdict 报 E003', () => {
+    const codes = diagnose('@id("R-1")\nRule main produce Bool:\n  Return Verdict.allow().');
+    assert.ok(codes.includes("E003" /* ErrorCode.RETURN_TYPE_MISMATCH */), codes.join(','));
+});
+test('两个分支类型不一致报错', () => {
+    // 两引擎均在 If 分支汇合处报不一致（与 Java 侧裁定一致），返回 then 分支类型
+    const codes = diagnose('@id("R-1")\nRule main given x, produce Verdict:\n  If x equals to 1:\n    Return Verdict.allow().\n  Otherwise:\n    Return true.');
+    assert.ok(codes.includes("E008" /* ErrorCode.IF_BRANCH_MISMATCH */) || codes.includes("E003" /* ErrorCode.RETURN_TYPE_MISMATCH */), codes.join(','));
+});
+test('deny 缺参数报 E703', () => {
+    const codes = diagnose('@id("R-1")\nRule main produce Verdict:\n  Return Verdict.deny().');
+    assert.ok(codes.includes("E703" /* ErrorCode.GOV_VERDICT_CALL_ARITY */), codes.join(','));
+});
+test('deny 非 Text 参数报类型不匹配', () => {
+    const codes = diagnose('@id("R-1")\nRule main produce Verdict:\n  Return Verdict.deny(42).');
+    assert.ok(codes.includes("E001" /* ErrorCode.TYPE_MISMATCH */), codes.join(','));
+});
+test('require_approval 两个 Text 通过', () => {
+    const codes = diagnose('@id("R-1")\nRule main produce Verdict:\n  Return Verdict.require_approval("Senior Underwriter", "over cap").');
+    assert.equal(codes.filter((c) => c.startsWith('E')).length, 0, codes.join(','));
+});
+// ===== Verdict 不可当布尔用（ADR 0039 §2.2，评审 C1；Java VerdictTypeCheckTest 镜像）=====
+test('If 条件为 Verdict 报类型不匹配', () => {
+    const codes = diagnose('@id("R-1")\nRule main produce Text:\n  Let v be Verdict.deny("x").\n  If v:\n    Return "yes".\n  Return "no".');
+    assert.ok(codes.includes("E001" /* ErrorCode.TYPE_MISMATCH */), codes.join(','));
+});
+test('not 作用于 Verdict 报类型不匹配', () => {
+    const codes = diagnose('@id("R-1")\nRule main produce Bool:\n  Let v be Verdict.deny("x").\n  Return not v.');
+    assert.ok(codes.includes("E001" /* ErrorCode.TYPE_MISMATCH */), codes.join(','));
+});
+test('Verdict 与 true 相等比较报类型不匹配', () => {
+    const codes = diagnose('@id("R-1")\nRule main produce Bool:\n  Let v be Verdict.deny("x").\n  Return v equals to true.');
+    assert.ok(codes.includes("E001" /* ErrorCode.TYPE_MISMATCH */), codes.join(','));
+});
+// ===== Text 形参可作 reason/role（评审 I1）=====
+test('Text 形参作 reason 通过', () => {
+    const codes = diagnose('@id("R-1")\nRule main given reason as Text, produce Verdict:\n  Return Verdict.deny(reason).');
+    assert.equal(codes.filter((c) => c.startsWith('E')).length, 0, codes.join(','));
+});
+test('Text 形参作 role 与 reason 通过', () => {
+    const codes = diagnose('@id("R-1")\nRule main given role as Text, reason as Text, produce Verdict:\n  Return Verdict.require_approval(role, reason).');
+    assert.equal(codes.filter((c) => c.startsWith('E')).length, 0, codes.join(','));
+});
+test('个数不符时仍检查参数内未定义名', () => {
+    const codes = diagnose('@id("R-1")\nRule main produce Verdict:\n  Return Verdict.allow(missing_name).');
+    assert.ok(codes.includes("E703" /* ErrorCode.GOV_VERDICT_CALL_ARITY */), codes.join(','));
+    assert.ok(codes.includes("E101" /* ErrorCode.UNDEFINED_VARIABLE */), codes.join(','));
+});
+// ===== Verdict 字段 outcome/role/reason 为 Text（评审 I2）=====
+test('读取 outcome 得到 Text', () => {
+    const codes = diagnose('Rule main produce Text:\n  Let d be Verdict.deny("x").\n  Return d.outcome.');
+    assert.equal(codes.filter((c) => c.startsWith('E')).length, 0, codes.join(','));
+});
+test('Verdict 字段类型为 Text 而非 Unknown', () => {
+    const codes = diagnose('Rule main produce Int:\n  Let d be Verdict.require_approval("r", "x").\n  Return d.role.');
+    assert.ok(codes.includes("E003" /* ErrorCode.RETURN_TYPE_MISMATCH */), codes.join(','));
+});
+test('Verdict 未知字段仍报 E011', () => {
+    const codes = diagnose('Rule main produce Text:\n  Let d be Verdict.deny("x").\n  Return d.verdict.');
+    assert.ok(codes.includes("E011" /* ErrorCode.UNKNOWN_FIELD */), codes.join(','));
+});
+//# sourceMappingURL=verdict-typecheck.test.js.map

package/dist/test/unit/governance/verdict-typecheck.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict-typecheck.test.js","sourceRoot":"","sources":["../../../../test/unit/governance/verdict-typecheck.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;AAI5D,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,GAAG,GAAG,kBAAkB,IAAI,IAAI,CAAC;IACvC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAgB,CAAC;IAC3D,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,IAAI,CAAC,mCAAmC,EAAE,GAAG,EAAE;IAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,mEAAmE,CAAC,CAAC;IAC5F,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,6CAAgC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5E,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,kDAAqC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACnF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,gEAAgE,CAAC,CAAC;IACzF,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,6CAAgC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,aAAa,EAAE,GAAG,EAAE;IACvB,gDAAgD;IAChD,MAAM,KAAK,GAAG,QAAQ,CAAC,mIAAmI,CAAC,CAAC;IAC5J,MAAM,CAAC,EAAE,CACP,KAAK,CAAC,QAAQ,2CAA8B,IAAI,KAAK,CAAC,QAAQ,6CAAgC,EAC9F,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAChB,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC1B,MAAM,KAAK,GAAG,QAAQ,CAAC,kEAAkE,CAAC,CAAC;IAC3F,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,+CAAkC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC/E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sBAAsB,EAAE,GAAG,EAAE;IAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,oEAAoE,CAAC,CAAC;IAC7F,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,sCAAyB,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACtE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;IACvC,MAAM,KAAK,GAAG,QAAQ,CAAC,8GAA8G,CAAC,CAAC;IACvI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAClF,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,gHAAgH,CAAC,CAAC;IACzI,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,sCAAyB,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACtE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;IAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,qFAAqF,CAAC,CAAC;IAC9G,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,sCAAyB,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACtE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,gGAAgG,CAAC,CAAC;IACzH,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,sCAAyB,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACtE,CAAC,CAAC,CAAC;AAEH,0CAA0C;AAE1C,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,8FAA8F,CAAC,CAAC;IACvH,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAClF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,8HAA8H,CAAC,CAAC;IACvJ,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAClF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC3B,MAAM,KAAK,GAAG,QAAQ,CAAC,+EAA+E,CAAC,CAAC;IACxG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,+CAAkC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7E,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,2CAA8B,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3E,CAAC,CAAC,CAAC;AAEH,0DAA0D;AAE1D,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,6EAA6E,CAAC,CAAC;IACtG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAClF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;IACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,0FAA0F,CAAC,CAAC;IACnH,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,6CAAgC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;IAC/B,MAAM,KAAK,GAAG,QAAQ,CAAC,6EAA6E,CAAC,CAAC;IACtG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,sCAAyB,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACtE,CAAC,CAAC,CAAC"}

package/dist/test/unit/interpreter/verdict-builtins.test.d.ts

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

package/dist/test/unit/interpreter/verdict-builtins.test.d.ts.map

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

package/dist/test/unit/interpreter/verdict-builtins.test.js

@@ -0,0 +1,72 @@
+import { test } from 'node:test';
+import assert from 'node:assert/strict';
+import { compile } from '../../../src/browser.js';
+import { evaluate } from '../../../src/core/interpreter.js';
+function run(body, context = {}) {
+    const m = compile(`Module probe.\n@id("R-1")\n${body}\n`);
+    assert.ok(m.core, JSON.stringify(m));
+    return evaluate(m.core, 'main', context, { maxSteps: 10_000 });
+}
+test('allow 形状与键序', () => {
+    const ev = run('Rule main produce Verdict:\n  Return Verdict.allow().');
+    assert.equal(ev.success, true);
+    assert.equal(JSON.stringify(ev.value), '{"__type":"Verdict","outcome":"ALLOW"}');
+});
+test('deny 带 reason', () => {
+    const ev = run('Rule main produce Verdict:\n  Return Verdict.deny("no consent").');
+    assert.equal(JSON.stringify(ev.value), '{"__type":"Verdict","outcome":"DENY","reason":"no consent"}');
+});
+test('require_approval 键序 role 在 reason 前', () => {
+    const ev = run('Rule main produce Verdict:\n  Return Verdict.require_approval("Senior Underwriter", "over cap").');
+    assert.equal(JSON.stringify(ev.value), '{"__type":"Verdict","outcome":"REQUIRE_APPROVAL","role":"Senior Underwriter","reason":"over cap"}');
+});
+test('escalate', () => {
+    const ev = run('Rule main produce Verdict:\n  Return Verdict.escalate("low confidence").');
+    assert.equal(JSON.stringify(ev.value), '{"__type":"Verdict","outcome":"ESCALATE","reason":"low confidence"}');
+});
+test('空 reason 运行时失败', () => {
+    const ev = run('Rule main produce Verdict:\n  Return Verdict.deny("").');
+    assert.equal(ev.success, false);
+    assert.match(String(ev.error), /Verdict\.deny/);
+});
+test('reason 为非 Text 变量时运行时失败', () => {
+    const ev = run('Rule main given n, produce Verdict:\n  Return Verdict.deny(n).', { n: 42 });
+    assert.equal(ev.success, false);
+    assert.match(String(ev.error), /Verdict\.deny/);
+});
+test('空白 reason/role 运行时失败', () => {
+    const deny = run('Rule main produce Verdict:\n  Return Verdict.deny("   ").');
+    assert.equal(deny.success, false);
+    assert.match(String(deny.error), /Verdict\.deny: reason must not be empty/);
+    const approval = run('Rule main given role as Text, produce Verdict:\n  Return Verdict.require_approval(role, "over cap").', { role: ' \t' });
+    assert.equal(approval.success, false);
+    assert.match(String(approval.error), /Verdict\.require_approval: role must not be empty/);
+});
+// ===== Verdict 在布尔上下文 fail-closed（ADR 0039 §2.2，评审 C1；truffle VerdictBuiltinsTest 镜像）=====
+// 类型检查会拒绝这些程序；此处直接构造 Core IR 绕过检查器，验证运行时这道最后防线。
+function runCore(statements) {
+    const core = {
+        kind: 'Module', name: 'probe', decls: [{
+                kind: 'Func', name: 'main', typeParams: [], params: [], ret: { kind: 'TypeName', name: 'Text' },
+                effects: [], effectCaps: [], effectCapsExplicit: false, body: { kind: 'Block', statements },
+            }],
+    };
+    return evaluate(core, 'main', {}, { maxSteps: 10_000 });
+}
+const letDeny = { kind: 'Let', name: 'v', expr: { kind: 'Call', target: { kind: 'Name', name: 'Verdict.deny' }, args: [{ kind: 'String', value: 'no consent' }] } };
+const ret = (value) => ({ kind: 'Return', expr: { kind: 'String', value } });
+test('If 条件为 Verdict 时求值失败而非放行', () => {
+    const ev = runCore([
+        letDeny,
+        { kind: 'If', cond: { kind: 'Name', name: 'v' }, thenBlock: { kind: 'Block', statements: [ret('approved')] }, elseBlock: null },
+        ret('rejected'),
+    ]);
+    assert.equal(ev.success, false);
+    assert.match(String(ev.error), /Verdict cannot be used as Bool/);
+});
+test('not 作用于 Verdict 时求值失败', () => {
+    const ev = runCore([letDeny, { kind: 'Return', expr: { kind: 'Call', target: { kind: 'Name', name: 'not' }, args: [{ kind: 'Name', name: 'v' }] } }]);
+    assert.equal(ev.success, false);
+    assert.match(String(ev.error), /Verdict cannot be used as Bool/);
+});
+//# sourceMappingURL=verdict-builtins.test.js.map

package/dist/test/unit/interpreter/verdict-builtins.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict-builtins.test.js","sourceRoot":"","sources":["../../../../test/unit/interpreter/verdict-builtins.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAE5D,SAAS,GAAG,CAAC,IAAY,EAAE,UAAmC,EAAE;IAC9D,MAAM,CAAC,GAAG,OAAO,CAAC,8BAA8B,IAAI,IAAI,CAAC,CAAC;IAC1D,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AAClE,CAAC;AAED,IAAI,CAAC,aAAa,EAAE,GAAG,EAAE;IACvB,MAAM,EAAE,GAAG,GAAG,CAAC,uDAAuD,CAAC,CAAC;IACxE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,wCAAwC,CAAC,CAAC;AACnF,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE;IACzB,MAAM,EAAE,GAAG,GAAG,CAAC,kEAAkE,CAAC,CAAC;IACnF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,6DAA6D,CAAC,CAAC;AACxG,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,qCAAqC,EAAE,GAAG,EAAE;IAC/C,MAAM,EAAE,GAAG,GAAG,CAAC,kGAAkG,CAAC,CAAC;IACnH,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,mGAAmG,CAAC,CAAC;AAC9I,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE;IACpB,MAAM,EAAE,GAAG,GAAG,CAAC,0EAA0E,CAAC,CAAC;IAC3F,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,qEAAqE,CAAC,CAAC;AAChH,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC1B,MAAM,EAAE,GAAG,GAAG,CAAC,wDAAwD,CAAC,CAAC;IACzE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACnC,MAAM,EAAE,GAAG,GAAG,CAAC,gEAAgE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5F,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,sBAAsB,EAAE,GAAG,EAAE;IAChC,MAAM,IAAI,GAAG,GAAG,CAAC,2DAA2D,CAAC,CAAC;IAC9E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAClC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,yCAAyC,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,GAAG,CAAC,sGAAsG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9I,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,mDAAmD,CAAC,CAAC;AAC5F,CAAC,CAAC,CAAC;AAEH,4FAA4F;AAC5F,gDAAgD;AAChD,SAAS,OAAO,CAAC,UAAqB;IACpC,MAAM,IAAI,GAAG;QACX,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gBACrC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE;gBAC/F,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE;aAC5F,CAAC;KACH,CAAC;IACF,OAAO,QAAQ,CAAC,IAAa,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AACnE,CAAC;AACD,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;AACpK,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AAErF,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACpC,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,OAAO;QACP,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE;QAC/H,GAAG,CAAC,UAAU,CAAC;KAChB,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,gCAAgC,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACjC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACtJ,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,gCAAgC,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC"}

package/dist/test/unit/list-numeric-fail-loud.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=list-numeric-fail-loud.test.d.ts.map

package/dist/test/unit/list-numeric-fail-loud.test.d.ts.map

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