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

package/dist/test/unit/mapping/entity-proposer.test.js

@@ -0,0 +1,168 @@
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { parseProposals, proposeEntities, verifyEntityCandidate } from '../../../src/mapping/entity-proposer.js';
+import { parseSourceIr } from '../../../src/mapping/source-ir.js';
+import { extractQuantities } from '../../../src/mapping/quantity-ir.js';
+/**
+ * Entity 提出器（ADR 0037 §3/§11.5）—— 三段式的第①段。
+ *
+ * <p>核心契约：**LLM 只能提出候选，不能定义什么叫正确**。
+ * 本测试用假 provider 驱动，不打真实 LLM——判定逻辑必须可离线验证。
+ */
+const DOC = [
+    '# 付款审批政策', '',
+    '单笔付款超过 $10,000 时需要财务经理审批。',
+    '低于该额度由部门主管批准。', '',
+].join('\n');
+const BY = 'llm:fake/test-model';
+/** 假 provider：返回预置文本，记录收到的请求。 */
+function fakeProvider(reply) {
+    // ★用 `| undefined` 而非 `?`：tsconfig 开了 exactOptionalPropertyTypes，
+    //   「属性可为 undefined」与「属性可缺席」是两回事。
+    const p = {
+        lastRequest: undefined,
+        async generate(request) {
+            p.lastRequest = request;
+            return {
+                content: reply, model: 'test-model',
+                usage: { promptTokens: 0, completionTokens: 0, totalTokens: 0 },
+            };
+        },
+        getName: () => 'fake',
+        getModel: () => 'test-model',
+    };
+    return p;
+}
+/** 造一条「位置与文本都正确」的提议。 */
+function truthful(text) {
+    return JSON.stringify([{ text, kind: 'Role', start: DOC.indexOf(text) }]);
+}
+describe('Entity 提出器 — 三段式第①段', () => {
+    it('★位置与文本都对的候选被接受', () => {
+        const r = parseProposals(truthful('财务经理'), DOC, 0, BY);
+        assert.strictEqual(r.candidates.length, 1, `应接受 1 条，实际 ${JSON.stringify(r)}`);
+        assert.strictEqual(r.candidates[0].text, '财务经理');
+        assert.strictEqual(r.candidates[0].proposedKind, 'Role');
+        assert.strictEqual(r.candidates[0].proposedBy, BY);
+        assert.strictEqual(DOC.slice(r.candidates[0].span.start, r.candidates[0].span.end), '财务经理');
+    });
+    it('★幻觉闸门：文本不在声称位置上 → 丢弃并报告', () => {
+        // LLM 最常见的幻觉：文本对但位置错。这会让双向导航指向错误的地方。
+        const wrongPos = JSON.stringify([{ text: '财务经理', kind: 'Role', start: 0 }]);
+        const r = parseProposals(wrongPos, DOC, 0, BY);
+        assert.strictEqual(r.candidates.length, 0, '位置错的候选必须丢弃。');
+        assert.strictEqual(r.rejected.length, 1);
+        assert.match(r.rejected[0].why, /不符/, `应说明不符，实际：${r.rejected[0].why}`);
+    });
+    it('★幻觉闸门：文档里根本没有的文本 → 丢弃', () => {
+        // 凭空编造的实体。
+        const invented = JSON.stringify([{ text: '首席合规官', kind: 'Role', start: 20 }]);
+        const r = parseProposals(invented, DOC, 0, BY);
+        assert.strictEqual(r.candidates.length, 0, '文档里不存在的文本必须丢弃。');
+        assert.strictEqual(r.rejected.length, 1);
+    });
+    it('★被丢弃的条目必须如实报告，不得静默吞掉', () => {
+        // 反向守卫：若 rejected 恒为空，「LLM 产出了不合规内容」这件事就消失了，
+        // 而那恰恰是评估模型可靠性最重要的信号。
+        const mixed = JSON.stringify([
+            { text: '财务经理', kind: 'Role', start: DOC.indexOf('财务经理') }, // 对
+            { text: '不存在的角色', kind: 'Role', start: 5 }, // 错
+            { text: '部门主管', kind: 'Party', start: 999 }, // 越界
+            { notText: 1 }, // 格式错
+        ]);
+        const r = parseProposals(mixed, DOC, 0, BY);
+        assert.strictEqual(r.candidates.length, 1, '只应接受那条正确的。');
+        assert.strictEqual(r.rejected.length, 3, `三条不合规都要报告，实际 ${JSON.stringify(r.rejected)}`);
+        assert.ok(r.rejected.every(x => x.why.length > 0), '每条丢弃都要说明原因。');
+    });
+    it('非 JSON / 非数组输出整体丢弃，不崩', () => {
+        for (const bad of ['我找到了这些实体：财务经理', '{"text":"x"}', '']) {
+            const r = parseProposals(bad, DOC, 0, BY);
+            assert.strictEqual(r.candidates.length, 0);
+            assert.strictEqual(r.rejected.length, 1, `输入 ${JSON.stringify(bad)} 应报告 1 条丢弃`);
+        }
+    });
+    it('容忍 LLM 套的 ```json 围栏（prompt 已要求不要，但模型常忘）', () => {
+        const fenced = '```json\n' + truthful('部门主管') + '\n```';
+        assert.strictEqual(parseProposals(fenced, DOC, 0, BY).candidates.length, 1);
+    });
+    it('★scope 偏移必须平移回原文（否则候选整体错位）', () => {
+        // LLM 看到的是切片，它给的 start 是切片内偏移；必须加上 scope 起点。
+        const base = 10;
+        const sliced = DOC.slice(base);
+        const inSlice = sliced.indexOf('财务经理');
+        const r = parseProposals(JSON.stringify([{ text: '财务经理', kind: 'Role', start: inSlice }]), DOC, base, BY);
+        assert.strictEqual(r.candidates.length, 1, `切片内偏移未被平移回原文 —— 实际 ${JSON.stringify(r.rejected)}`);
+        assert.strictEqual(r.candidates[0].span.start, base + inSlice);
+    });
+    it('★第②段恒判 REVIEW_REQUIRED —— 机器不得替人下结论', () => {
+        // ADR §3：AI 可以提出映射，但不能定义什么叫正确。
+        // Entity 的目标是**语义**对应，而 verifier 只能读 kind/value/name/origin
+        // （类型层是两引擎合法分叉的层，不在可依赖范围内，见 §5.1）。
+        const r = parseProposals(truthful('财务经理'), DOC, 0, BY);
+        const verdict = verifyEntityCandidate(r.candidates[0]);
+        assert.strictEqual(verdict.verdict, 'REVIEW_REQUIRED');
+        assert.match(verdict.reason, /语义/, '判定理由应说明这是语义判断。');
+    });
+    it('★temperature 必须为 0：同一文档反复提出应可复现', () => {
+        // 候选生成的可复现性是审计的前提——否则「上次为什么提了这条」永远说不清。
+        const p = fakeProvider('[]');
+        return proposeEntities(DOC, p).then(() => {
+            assert.strictEqual(p.lastRequest?.temperature, 0, `temperature 应为 0，实际 ${p.lastRequest?.temperature}`);
+        });
+    });
+    it('★scope 限定时只把该节点的文本喂给 LLM', () => {
+        const ir = parseSourceIr(DOC);
+        const heading = ir.children[0];
+        const p = fakeProvider('[]');
+        return proposeEntities(DOC, p, heading).then(() => {
+            assert.strictEqual(p.lastRequest?.prompt, DOC.slice(heading.span.start, heading.span.end), 'scope 限定时应只喂该节点的文本，而不是整篇文档。');
+        });
+    });
+    it('★与 Quantity 分工不重叠：Entity 不碰金额', () => {
+        // Quantity 由确定性模块处理（ADR §11）；两边都抽会产生重复候选。
+        const moneyTexts = extractQuantities(DOC).map(q => q.text);
+        assert.ok(moneyTexts.includes('$10,000'), '前置：文档里应有金额。');
+        // 即使 LLM 错误地提出了金额，它也只是一条普通候选——不会被特殊对待，
+        // 但契约上 systemPrompt 已明确要求不要输出。此处钉住 prompt 里那条要求。
+        const p = fakeProvider('[]');
+        return proposeEntities(DOC, p).then(() => {
+            assert.match(p.lastRequest?.systemPrompt ?? '', /不要输出金额/, 'systemPrompt 必须明确要求 LLM 不输出金额等数量 —— 那是确定性模块的职责。');
+        });
+    });
+    it('★注入守卫：kind 含标签字符 → 丢弃（防 reason 被渲染成 HTML）', () => {
+        // kind 是 **LLM 完全可控**的自由字符串，且原样进入 reason（人类可读文本）。
+        // 本仓有 6 处 dangerouslySetInnerHTML——一旦有人把 reason 接进去就是存储型 XSS。
+        // ★不能在此做 HTML 转义：那会改变 kind 的值，违反 §12.4「原样保留」。
+        //   正确做法是在源头限制**形态**——合法类别名本就不含这些字符。
+        const payload = JSON.stringify([
+            { text: '财务经理', kind: '<img src=x onerror=alert(1)>', start: DOC.indexOf('财务经理') },
+        ]);
+        const r = parseProposals(payload, DOC, 0, BY);
+        assert.strictEqual(r.candidates.length, 0, '含标签字符的 kind 必须丢弃。');
+        assert.match(r.rejected[0].why, /标签或控制字符/);
+    });
+    it('★合法类别（中英文）不得被注入守卫误伤', () => {
+        // 反向守卫：若字符白名单收得过紧，正常类别会被拒——那比不设防更糟，
+        // 因为它会静默丢掉真实候选。
+        for (const kind of ['Role', 'Obligation', '角色', '义务主体', 'Party_A']) {
+            const r = parseProposals(JSON.stringify([{ text: '财务经理', kind, start: DOC.indexOf('财务经理') }]), DOC, 0, BY);
+            assert.strictEqual(r.candidates.length, 1, `合法类别 ${JSON.stringify(kind)} 被误拒：${JSON.stringify(r.rejected)}`);
+        }
+    });
+    it('★资源上限：条目数超限整批拒绝，且如实报告', () => {
+        // 防「LLM 返回巨量条目」耗尽下游内存。★不静默截断——
+        // 调用方必须知道「LLM 返回量异常」这件事。
+        const many = JSON.stringify(Array.from({ length: 5000 }, () => ({ text: '财务经理', kind: 'Role', start: DOC.indexOf('财务经理') })));
+        const r = parseProposals(many, DOC, 0, BY);
+        assert.strictEqual(r.candidates.length, 0, '超限应整批拒绝。');
+        assert.strictEqual(r.rejected.length, 1);
+        assert.match(r.rejected[0].why, /条目数超上限/);
+    });
+    it('★超长 kind → 丢弃（防 reason 变成一大段不可控内容）', () => {
+        const r = parseProposals(JSON.stringify([{ text: '财务经理', kind: 'x'.repeat(200), start: DOC.indexOf('财务经理') }]), DOC, 0, BY);
+        assert.strictEqual(r.candidates.length, 0);
+        assert.match(r.rejected[0].why, /过长/);
+    });
+});
+//# sourceMappingURL=entity-proposer.test.js.map

package/dist/test/unit/mapping/entity-proposer.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity-proposer.test.js","sourceRoot":"","sources":["../../../../test/unit/mapping/entity-proposer.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAEjH,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AAExE;;;;;GAKG;AAEH,MAAM,GAAG,GAAG;IACV,UAAU,EAAE,EAAE;IACd,2BAA2B;IAC3B,eAAe,EAAE,EAAE;CACpB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,EAAE,GAAG,qBAAqB,CAAC;AAEjC,iCAAiC;AACjC,SAAS,YAAY,CAAC,KAAa;IACjC,kEAAkE;IAClE,kCAAkC;IAClC,MAAM,CAAC,GAAG;QACR,WAAW,EAAE,SAAmC;QAChD,KAAK,CAAC,QAAQ,CAAC,OAAmB;YAChC,CAAC,CAAC,WAAW,GAAG,OAAO,CAAC;YACxB,OAAO;gBACL,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY;gBACnC,KAAK,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE;aAChE,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM;QACrB,QAAQ,EAAE,GAAG,EAAE,CAAC,YAAY;KAC7B,CAAC;IACF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,wBAAwB;AACxB,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAEvD,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,cAAc,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9E,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAC1D,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACpD,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,qCAAqC;QACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,cAAc,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAE/C,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC;QAC1D,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,WAAW;QACX,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,GAAG,cAAc,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAE/C,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;QAC7D,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,6CAA6C;QAC7C,sBAAsB;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC;YAC3B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAG,IAAI;YACjE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,EAAsB,IAAI;YACpE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,EAAuB,KAAK;YACvE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAwD,MAAM;SAC7E,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAE5C,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC;QACzD,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,gBAAgB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACvF,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,KAAK,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,cAAc,EAAE,EAAE,CAAC,EAAE,CAAC;YACxD,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1C,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAClF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;QACxD,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,6CAA6C;QAC7C,MAAM,IAAI,GAAG,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,cAAc,CACtB,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAEnF,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EACvC,sBAAsB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACtD,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,+BAA+B;QAC/B,4DAA4D;QAC5D,mCAAmC;QACnC,MAAM,CAAC,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,CAAC;QAExD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,uCAAuC;QACvC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;YACvC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,CAAC,EAC9C,uBAAuB,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;QAChC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAE7B,OAAO,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;YAChD,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,EACtC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAC/C,6BAA6B,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,0CAA0C;QAC1C,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,CAAC;QAEzD,uCAAuC;QACvC,iDAAiD;QACjD,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;YACvC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,EAAE,YAAY,IAAI,EAAE,EAAE,QAAQ,EACtD,iDAAiD,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,kDAAkD;QAClD,8DAA8D;QAC9D,8CAA8C;QAC9C,qCAAqC;QACrC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;YAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,8BAA8B,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;SACnF,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAE9C,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC;QAChE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,oCAAoC;QACpC,gBAAgB;QAChB,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,GAAG,cAAc,CACtB,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACpF,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EACvC,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,+BAA+B;QAC/B,yBAAyB;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CACzB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpG,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAE3C,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,cAAc,CACtB,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EACrF,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACd,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/mapping/mapping-ir.test.d.ts

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

package/dist/test/unit/mapping/mapping-ir.test.d.ts.map

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

package/dist/test/unit/mapping/mapping-ir.test.js

@@ -0,0 +1,144 @@
+import { describe, it } 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 { computeNodeIds } from '../../../src/nodeid/node-id-map.js';
+import { verifyMapping } from '../../../src/mapping/mapping-ir.js';
+/**
+ * MappingIR verifier（ADR 0037 §4/§7）。
+ *
+ * <p>本测试钉的是**契约**：哪些映射机器能证明、哪些必须交人、哪些能证伪。
+ * 不钉实现细节。
+ */
+/** 从真实源码建「nodeId → 节点」解析器，走完整编译链。 */
+function resolverOf(src) {
+    const ir = JSON.parse(JSON.stringify(lowerModule(parse(lex(canonicalize(src))).ast)));
+    const ids = computeNodeIds(ir);
+    // nodeId → 原始节点：按路径在 IR 上走一遍（nodeId 就是路径）
+    const nodeAt = (id) => {
+        let cur = ir;
+        for (const seg of id.slice(2).split('.')) {
+            if (seg === '')
+                continue;
+            const m = /^([A-Za-z0-9_]+)(?:\{(.*)\}|\[(\d+)\])?$/.exec(seg);
+            if (!m || cur === null || typeof cur !== 'object')
+                return undefined;
+            cur = cur[m[1]];
+            if (m[2] !== undefined) {
+                cur = cur.find(e => e?.name === m[2] || e?.path === m[2]);
+            }
+            else if (m[3] !== undefined) {
+                cur = cur[Number(m[3])];
+            }
+        }
+        return cur;
+    };
+    return {
+        resolve: (id) => {
+            const n = nodeAt(id);
+            if (!n || typeof n.kind !== 'string')
+                return undefined;
+            // ★不能写 `name: n.name as string | undefined`：tsconfig 开了
+            //   exactOptionalPropertyTypes，显式 undefined 与「属性缺席」是两回事。
+            const out = { kind: n.kind, ...(n.value === undefined ? {} : { value: n.value }) };
+            return typeof n.name === 'string' ? { ...out, name: n.name } : out;
+        },
+        find: (kind, value) => {
+            for (const [id] of ids) {
+                const n = nodeAt(id);
+                if (n?.kind === kind && (value === undefined || n.value === value))
+                    return id;
+            }
+            throw new Error(`语料里找不到 kind=${kind} value=${String(value)} 的节点`);
+        },
+    };
+}
+const POLICY = [
+    'Module demo.approve.', '',
+    'Rule approve given amount, produce:',
+    '  If amount greater than 10000:',
+    '    Return "REFER".',
+    '  Otherwise:',
+    '    Return "APPROVE".', '',
+].join('\n');
+const mapping = (text, nodeId, start = 0) => ({ span: { start, end: start + text.length }, text, nodeId });
+describe('MappingIR verifier — 机器能证明的那一类', () => {
+    it('★`"$10,000"` ↔ Int(10000)：跨越「人类书写 ↔ IR 值」的鸿沟', () => {
+        // ADR §4 的原始场景。货币符号与千分位是人类惯例，IR 里只有 10000。
+        const { resolve, find } = resolverOf(POLICY);
+        const r = verifyMapping(mapping('$10,000', find('Int', 10000)), resolve);
+        assert.strictEqual(r.verdict, 'VERIFIED', `应判 VERIFIED（这正是 MappingIR 的价值所在）。实际 ${r.verdict}：${r.reason}`);
+    });
+    it('字符串字面量按原值比较', () => {
+        const { resolve, find } = resolverOf(POLICY);
+        const r = verifyMapping(mapping('"REFER"', find('String', 'REFER')), resolve);
+        assert.strictEqual(r.verdict, 'VERIFIED', r.reason);
+    });
+    it('★值矛盾必须 REJECTED，不得放过', () => {
+        // 反向守卫：没有这条，verifier 可以退化成「一律 VERIFIED」，
+        // 上面两条照样绿，而它就彻底没用了。
+        const { resolve, find } = resolverOf(POLICY);
+        const r = verifyMapping(mapping('$20,000', find('Int', 10000)), resolve);
+        assert.strictEqual(r.verdict, 'REJECTED', `文本 20000 与节点值 10000 矛盾，必须证伪。实际 ${r.verdict}`);
+        assert.match(r.reason, /矛盾/);
+    });
+    it('★带业务含义的映射一律交人，不猜（ADR §3）', () => {
+        // `"requires approval"` ↔ 某个 If/Call 节点：机器证不了。
+        // 判 REVIEW_REQUIRED 而**不是** REJECTED —— 那不是「错」，是「机器管不了」。
+        const { resolve, find } = resolverOf(POLICY);
+        const r = verifyMapping(mapping('requires approval', find('If')), resolve);
+        assert.strictEqual(r.verdict, 'REVIEW_REQUIRED', `非精确值节点应交人复核，实际 ${r.verdict}：${r.reason}`);
+    });
+    it('★Double 不参与机械验证（源码文本与 IR 值不可逆）', () => {
+        // 实测：`1.0` → number 1 → 回写 "1"；`1e3` → 1000。文本不可还原，
+        // 机器无法证明「这段文本就是这个 Double」。故交人，而不是用近似规则假装能证。
+        const r = verifyMapping(mapping('1.0', '$.fake'), () => ({ kind: 'Double', value: 1 }));
+        assert.strictEqual(r.verdict, 'REVIEW_REQUIRED', `Double 应交人复核（不可逆），实际 ${r.verdict}：${r.reason}`);
+        // ★必须断言**判定依据**，不只是判定结果。
+        //   变异验证发现：把 Double 加进 EXACT_VALUE_KINDS 后，结论仍是
+        //   REVIEW_REQUIRED —— 因为 parseLiteralFromText 里也没有 Double 分支，
+        //   两层防御恰好重叠。只断言 verdict 的话，EXACT_VALUE_KINDS 这道门
+        //   **结构上无法变红**（假门禁）。
+        //   断言 reason 提到「不属于可机械证明的精确值字面量」才真正钉住那道门。
+        assert.match(r.reason, /不属于可机械证明的精确值字面量/, `应因「kind 不在可验证清单」而交人，而不是因为「解析不出值」。实际：${r.reason}`);
+    });
+    it('★canonical 形态 ≠ 源码文本：`$10,000.00` 必须能验过 Decimal("10000")', () => {
+        // 100.00m 在 IR 里是 value:"100"（尾随零被规范化）。
+        // 若做字符串相等比较，这条会误判 REJECTED —— 一个数值上完全正确的映射。
+        const r = verifyMapping(mapping('$10,000.00', '$.fake'), () => ({ kind: 'Decimal', value: '10000' }));
+        assert.strictEqual(r.verdict, 'VERIFIED', `尾随零差异不应导致失败（必须按值比较而非按文本）。实际 ${r.verdict}：${r.reason}`);
+    });
+    it('★超安全整数的 Long 不得丢精度', () => {
+        // 9007199254740993 一旦过一次 JS number 就变 …992（本仓实测踩过）。
+        // verifier 全程字符串比较，必须验得过。
+        const big = '9007199254740993';
+        const ok = verifyMapping(mapping(big, '$.fake'), () => ({ kind: 'Long', value: big }));
+        assert.strictEqual(ok.verdict, 'VERIFIED', ok.reason);
+        // 且**差 1** 必须能被识别出来——若中途过了 number，这两个值会变得相等。
+        const bad = verifyMapping(mapping('9007199254740992', '$.fake'), () => ({ kind: 'Long', value: big }));
+        assert.strictEqual(bad.verdict, 'REJECTED', '相差 1 的大整数必须证伪 —— 若判 VERIFIED，说明中途经过了 JS number 并丢了精度。');
+    });
+    it('节点不存在 → REJECTED（不能静默当成「待复核」）', () => {
+        const { resolve } = resolverOf(POLICY);
+        const r = verifyMapping(mapping('$10,000', '$.decls{nonexistent}'), resolve);
+        assert.strictEqual(r.verdict, 'REJECTED');
+    });
+    it('★span 与 text 必须自洽，否则双向导航会跳错位置', () => {
+        const { resolve, find } = resolverOf(POLICY);
+        const id = find('Int', 10000);
+        // 区间宽度 3，但 text 长 7 —— span 指向的根本不是这段文本
+        const inconsistent = verifyMapping({ span: { start: 0, end: 3 }, text: '$10,000', nodeId: id }, resolve);
+        assert.strictEqual(inconsistent.verdict, 'REJECTED', inconsistent.reason);
+        // 非法区间
+        const bad = verifyMapping({ span: { start: 5, end: 5 }, text: '', nodeId: id }, resolve);
+        assert.strictEqual(bad.verdict, 'REJECTED', bad.reason);
+    });
+    it('每条结论都必须给出依据（含 VERIFIED，便于审计复核）', () => {
+        const { resolve, find } = resolverOf(POLICY);
+        const r = verifyMapping(mapping('$10,000', find('Int', 10000)), resolve);
+        assert.ok(r.reason.length > 0, 'VERIFIED 也必须说明依据，否则审计时无法复核。');
+    });
+});
+//# sourceMappingURL=mapping-ir.test.js.map

package/dist/test/unit/mapping/mapping-ir.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapping-ir.test.js","sourceRoot":"","sources":["../../../../test/unit/mapping/mapping-ir.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,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;AAE5D,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AAGnE;;;;;GAKG;AAEH,qCAAqC;AACrC,SAAS,UAAU,CAAC,GAAW;IAI7B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAgB,CAAC,CAAC,CAAC,CAAC;IACnG,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IAE/B,0CAA0C;IAC1C,MAAM,MAAM,GAAG,CAAC,EAAU,EAAuC,EAAE;QACjE,IAAI,GAAG,GAAY,EAAE,CAAC;QACtB,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,IAAI,GAAG,KAAK,EAAE;gBAAE,SAAS;YACzB,MAAM,CAAC,GAAG,0CAA0C,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC/D,IAAI,CAAC,CAAC,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YACpE,GAAG,GAAI,GAA+B,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YAC9C,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gBACvB,GAAG,GAAI,GAAiC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3F,CAAC;iBAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC9B,GAAG,GAAI,GAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QACD,OAAO,GAA0C,CAAC;IACpD,CAAC,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;YACd,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;YACrB,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YACvD,wDAAwD;YACxD,yDAAyD;YACzD,MAAM,GAAG,GAAmB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;YACnG,OAAO,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QACrE,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACpB,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC;gBACvB,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;gBACrB,IAAI,CAAC,EAAE,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC;oBAAE,OAAO,EAAE,CAAC;YAChF,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,eAAe,IAAI,UAAU,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG;IACb,sBAAsB,EAAE,EAAE;IAC1B,qCAAqC;IACrC,iCAAiC;IACjC,qBAAqB;IACrB,cAAc;IACd,uBAAuB,EAAE,EAAE;CAC5B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,MAAc,EAAE,KAAK,GAAG,CAAC,EAAoB,EAAE,CAC5E,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAEhE,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,2CAA2C;QAC3C,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAEzE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,EACtC,uCAAuC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC9E,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,yCAAyC;QACzC,oBAAoB;QACpB,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAEzE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,EACtC,kCAAkC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,+CAA+C;QAC/C,yDAAyD;QACzD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,mBAAmB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAE3E,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,iBAAiB,EAC7C,kBAAkB,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,oDAAoD;QACpD,4CAA4C;QAC5C,MAAM,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,EAC9C,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAExC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,iBAAiB,EAC7C,wBAAwB,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAEnD,yBAAyB;QACzB,gDAAgD;QAChD,+DAA+D;QAC/D,kDAAkD;QAClD,sBAAsB;QACtB,2CAA2C;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,iBAAiB,EACtC,uCAAuC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,wCAAwC;QACxC,4CAA4C;QAC5C,MAAM,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,EACrD,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAE/C,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,EACtC,+BAA+B,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,oDAAoD;QACpD,0BAA0B;QAC1B,MAAM,GAAG,GAAG,kBAAkB,CAAC;QAC/B,MAAM,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,EAC7C,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QAEtD,6CAA6C;QAC7C,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,CAAC,kBAAkB,EAAE,QAAQ,CAAC,EAC7D,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,EACxC,uDAAuD,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,SAAS,EAAE,sBAAsB,CAAC,EAAE,OAAO,CAAC,CAAC;QAC7E,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAE9B,wCAAwC;QACxC,MAAM,YAAY,GAAG,aAAa,CAChC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;QAE1E,OAAO;QACP,MAAM,GAAG,GAAG,aAAa,CACvB,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACjE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACzE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,6BAA6B,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/mapping/proof-ir.test.d.ts

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

package/dist/test/unit/mapping/proof-ir.test.d.ts.map

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

package/dist/test/unit/mapping/proof-ir.test.js

@@ -0,0 +1,119 @@
+import { describe, it } 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 { computeNodeIds } from '../../../src/nodeid/node-id-map.js';
+import { isApplicableTo, resolveEffective } from '../../../src/mapping/proof-ir.js';
+/**
+ * ProofIR（ADR 0037 §2/§6.1）。
+ *
+ * <p>核心契约：**proof 记录不可变，有效性算出来**。
+ * 用真实 IR 驱动——proof 锚定 nodeId + contentHash，改源码后自动失效。
+ */
+const V1 = [
+    'Module demo.approve.', '',
+    'Rule approve given amount, produce:',
+    '  If amount greater than 10000:',
+    '    Return "REFER".',
+    '  Otherwise:',
+    '    Return "APPROVE".', '',
+].join('\n');
+const idsOf = (src) => computeNodeIds(JSON.parse(JSON.stringify(lowerModule(parse(lex(canonicalize(src))).ast))));
+/** 找到阈值字面量节点（`10000`）。 */
+function thresholdNode(src) {
+    for (const [id, v] of idsOf(src)) {
+        if (v.kind === 'Int')
+            return { nodeId: id, contentHash: v.contentHash };
+    }
+    throw new Error('找不到 Int 节点');
+}
+function proofOf(anchor, overrides = {}) {
+    return {
+        mapping: { span: { start: 0, end: 7 }, text: '$10,000', nodeId: anchor.nodeId },
+        verdict: 'VERIFIED',
+        subject: { kind: 'VERIFIER', by: 'mapping-ir/v1' },
+        rule: { id: 'exact-value', version: '1' },
+        verifiedAgainst: anchor,
+        reason: '文本解析为 Int 10000，与目标节点一致。',
+        recordedAt: '2026-09-13T00:00:00Z',
+        ...overrides,
+    };
+}
+const hashLookup = (src) => (id) => idsOf(src).get(id)?.contentHash;
+describe('ProofIR — 不可变记录 + 有效性算出来', () => {
+    it('★内容未变 → proof 仍适用', () => {
+        const anchor = thresholdNode(V1);
+        const r = isApplicableTo(proofOf(anchor), hashLookup(V1));
+        assert.deepStrictEqual(r, { applicable: true });
+    });
+    it('★改了阈值 → proof 自动失效（记录本身不被修改）', () => {
+        const anchor = thresholdNode(V1);
+        const proof = proofOf(anchor);
+        const frozen = JSON.stringify(proof);
+        const v2 = V1.replace('10000', '20000');
+        assert.notStrictEqual(v2, V1, '★replace 未生效则本用例无效。');
+        const r = isApplicableTo(proof, hashLookup(v2));
+        assert.strictEqual(r.applicable, false, '阈值已变，proof 不应再适用。');
+        assert.strictEqual(r.applicable === false ? r.why : '', 'CONTENT_CHANGED');
+        // ★记录本身一个字节都没被改 —— 这是「不可变 + 水位线」的关键。
+        assert.strictEqual(JSON.stringify(proof), frozen, 'proof 记录被修改了 —— 应当只算有效性，绝不原地改写历史事实。');
+    });
+    it('节点已不存在 → NODE_GONE（与「内容变了」区分开）', () => {
+        const anchor = thresholdNode(V1);
+        const r = isApplicableTo(proofOf(anchor), () => undefined);
+        assert.strictEqual(r.applicable, false);
+        assert.strictEqual(r.applicable === false ? r.why : '', 'NODE_GONE');
+    });
+    it('★仲裁：只在「仍适用」的里面取最新', () => {
+        const anchor = thresholdNode(V1);
+        const old = proofOf(anchor, { recordedAt: '2026-01-01T00:00:00Z', verdict: 'REVIEW_REQUIRED' });
+        const recent = proofOf(anchor, { recordedAt: '2026-09-13T00:00:00Z', verdict: 'VERIFIED' });
+        const { effective } = resolveEffective([old, recent], hashLookup(V1));
+        assert.strictEqual(effective?.recordedAt, '2026-09-13T00:00:00Z', '应取最新的一条。');
+    });
+    it('★失效的 proof 不得参与仲裁（否则会拿旧版本的结论当现在的答案）', () => {
+        // 反向守卫：没有这条，resolveEffective 可以退化成「无脑取最新」——
+        // 上面那条照样绿，而一条早已失效的 proof 会被当成当前有效结论。
+        const anchor = thresholdNode(V1);
+        const stale = proofOf(anchor, { recordedAt: '2099-01-01T00:00:00Z' }); // 时间最新但内容已变
+        const v2 = V1.replace('10000', '20000');
+        const { effective } = resolveEffective([stale], hashLookup(v2));
+        assert.strictEqual(effective, undefined, '唯一的 proof 已失效，不应选出任何有效结论。');
+    });
+    it('★并存的分歧必须如实暴露，不静默吞掉', () => {
+        const anchor = thresholdNode(V1);
+        const machine = proofOf(anchor, {
+            recordedAt: '2026-09-13T00:00:00Z', verdict: 'REJECTED',
+            subject: { kind: 'VERIFIER', by: 'mapping-ir/v1' },
+        });
+        const expert = proofOf(anchor, {
+            recordedAt: '2026-09-12T00:00:00Z', verdict: 'VERIFIED',
+            subject: { kind: 'DOMAIN_EXPERT', by: 'alice' },
+        });
+        const { effective, conflicts } = resolveEffective([machine, expert], hashLookup(V1));
+        assert.strictEqual(effective?.verdict, 'REJECTED', '按时间应取机器那条。');
+        assert.strictEqual(conflicts.length, 1, '专家的相反结论必须出现在 conflicts 里 —— 静默吞掉会让「机器与专家分歧」这件事消失。');
+        assert.strictEqual(conflicts[0]?.subject.kind, 'DOMAIN_EXPERT');
+    });
+    it('结论相同的多条 proof 不算冲突', () => {
+        const anchor = thresholdNode(V1);
+        const a = proofOf(anchor, { recordedAt: '2026-09-13T00:00:00Z' });
+        const b = proofOf(anchor, { recordedAt: '2026-09-12T00:00:00Z' });
+        const { conflicts } = resolveEffective([a, b], hashLookup(V1));
+        assert.strictEqual(conflicts.length, 0, '同结论不应报冲突（否则噪声淹没真分歧）。');
+    });
+    it('空输入不崩', () => {
+        assert.deepStrictEqual(resolveEffective([], () => 'x'), { conflicts: [] });
+    });
+    it('★proof 必须记录主体与规则（§2 的「谁验的、按什么规则」）', () => {
+        const anchor = thresholdNode(V1);
+        const p = proofOf(anchor);
+        // 这两项是 ADR §2 明确要求 ProofIR 回答的问题；类型上是必填，
+        // 此处再钉一次运行时形态，防止将来被改成可选后悄悄缺失。
+        assert.ok(p.subject.kind && p.subject.by, 'subject 必须可追溯到具体主体。');
+        assert.ok(p.rule.id && p.rule.version, 'rule 必须带版本 —— 规则本身会演进，旧 proof 要说清当时用的哪一版。');
+    });
+});
+//# sourceMappingURL=proof-ir.test.js.map

package/dist/test/unit/mapping/proof-ir.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-ir.test.js","sourceRoot":"","sources":["../../../../test/unit/mapping/proof-ir.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,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;AAE5D,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAGpF;;;;;GAKG;AAEH,MAAM,EAAE,GAAG;IACT,sBAAsB,EAAE,EAAE;IAC1B,qCAAqC;IACrC,iCAAiC;IACjC,qBAAqB;IACrB,cAAc;IACd,uBAAuB,EAAE,EAAE;CAC5B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE,CAC5B,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1G,0BAA0B;AAC1B,SAAS,aAAa,CAAC,GAAW;IAChC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1E,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,MAA+C,EAC/C,YAA4B,EAAE;IAC7C,OAAO;QACL,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;QAC/E,OAAO,EAAE,UAAU;QACnB,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,eAAe,EAAE;QAClD,IAAI,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE;QACzC,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE,0BAA0B;QAClC,UAAU,EAAE,sBAAsB;QAClC,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC;AAEpF,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAErC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,EAAE,EAAE,qBAAqB,CAAC,CAAC;QAErD,MAAM,CAAC,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,mBAAmB,CAAC,CAAC;QAC7D,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAC;QAE3E,qCAAqC;QACrC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,EAC9C,qCAAqC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,sBAAsB,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,sBAAsB,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QAE5F,MAAM,EAAE,SAAS,EAAE,GAAG,gBAAgB,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;QACtE,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,UAAU,EAAE,sBAAsB,EAC9D,UAAU,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,4CAA4C;QAC5C,qCAAqC;QACrC,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,YAAY;QAEnF,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,GAAG,gBAAgB,CAAC,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;QAEhE,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,SAAS,EACrC,2BAA2B,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE;YAC9B,UAAU,EAAE,sBAAsB,EAAE,OAAO,EAAE,UAAU;YACvD,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,eAAe,EAAE;SACnD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE;YAC7B,UAAU,EAAE,sBAAsB,EAAE,OAAO,EAAE,UAAU;YACvD,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,OAAO,EAAE;SAChD,CAAC,CAAC;QAEH,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,gBAAgB,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;QAErF,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACjE,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EACpC,mDAAmD,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,sBAAsB,EAAE,CAAC,CAAC;QAClE,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,sBAAsB,EAAE,CAAC,CAAC;QAElE,MAAM,EAAE,SAAS,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,sBAAsB,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;QACf,MAAM,CAAC,eAAe,CAAC,gBAAgB,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1B,yCAAyC;QACzC,8BAA8B;QAC9B,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,qBAAqB,CAAC,CAAC;QACjE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,EACnC,2CAA2C,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/mapping/quantity-ir.test.d.ts

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

package/dist/test/unit/mapping/quantity-ir.test.d.ts.map

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