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

package/dist/test/unit/mapping/redos-budget.test.js

@@ -23,31 +23,57 @@ import { parseSourceIr } from '../../../src/mapping/source-ir.js';
  * <p>实测（未加锚时）正是二次：5000→36ms、10000→144ms、20000→576ms、
  * 40000→2304ms，每翻倍约 ×4。
  */
+/** 单次计时（毫秒）。 */
+function timeOnce(fn) {
+    const t = process.hrtime.bigint();
+    fn();
+    return Number(process.hrtime.bigint() - t) / 1e6;
+}
 /** 取多次测量的**最小值**——最小值最接近真实计算量，受调度抖动干扰最小。 */
 function timeOf(fn, repeats = 7) {
     let best = Infinity;
-    for (let i = 0; i < repeats; i++) {
-        const t = process.hrtime.bigint();
-        fn();
-        const ms = Number(process.hrtime.bigint() - t) / 1e6;
-        if (ms < best)
-            best = ms;
-    }
+    for (let i = 0; i < repeats; i++)
+        best = Math.min(best, timeOnce(fn));
     return best;
 }
+/**
+ * 增长率门禁的规模倍数。
+ *
+ * ★原先只把输入**翻倍**：线性 ≈2×、二次 ≈4×，门槛 3× 夹在中间，两侧各只有
+ * 1.5 倍的缝。共享 runner 的一次调度突发就能跨过这条缝——2026-10-10 发布
+ * 1.0.31 时自检用例就这样误红过（已知二次算法没被判出来）。
+ *
+ * ×8 后线性 ≈8×、二次 ≈64×，两带之间拉开 8 倍；判据改用**增长指数**
+ * （log 比值 / log 倍数：线性=1，二次=2），门槛取中点 1.5，即比值 <8^1.5≈22.6，
+ * 两侧都有约 2.8 倍余量。
+ */
+const SCALE = 8;
+const EXPONENT_LIMIT = 1.5;
+const ROUNDS = 11;
 /**
  * 断言 `fn` 对长度 n 的输入呈**次二次**增长。
  *
- * @param ratioLimit 输入翻倍时允许的最大耗时倍数。线性=2，二次=4。
- *   取 3.0 作门槛：线性(2)有 50% 余量，二次(4)被稳稳挡住。
+ * ★量法：两种规模**各自**预热，再**交替**测量，各取最小值。
+ * - 只预热一次不够：JIT 可能在小规模测量期间才升到最优层级，
+ *   小规模被测成「慢的那一层」，比值被系统性压低。
+ * - 调度、GC 噪声只会让一次测量变慢、不会变快，所以最小值最接近真实计算量；
+ *   交替测量让噪声突发两组均摊。满载实测最小值比中位数更稳。
+ * - 本地满载（10 个忙循环 + 并行跑另一仓全量测试）30 轮：
+ *   SourceIR 指数 ≤1.24，自检（已知二次）≥1.99，门槛 1.5 两侧都有余量。
  */
-function assertSubQuadratic(label, build, fn, base, ratioLimit = 3.0) {
+function assertSubQuadratic(label, build, fn, base) {
     const small = build(base);
-    const large = build(base * 2);
-    // 预热：让 JIT 稳定下来，否则第一次调用的编译开销会污染比值。
-    fn(build(base / 4));
-    const tSmall = timeOf(() => { fn(small); });
-    const tLarge = timeOf(() => { fn(large); });
+    const large = build(base * SCALE);
+    for (let i = 0; i < 3; i++) {
+        fn(small);
+        fn(large);
+    }
+    let tSmall = Infinity;
+    let tLarge = Infinity;
+    for (let i = 0; i < ROUNDS; i++) {
+        tSmall = Math.min(tSmall, timeOnce(() => { fn(small); }));
+        tLarge = Math.min(tLarge, timeOnce(() => { fn(large); }));
+    }
     // ★耗时过短时比值噪声极大（0.1ms vs 0.2ms 的比值毫无意义）。
     //
     //   ★这里原本写的是 `if (tLarge < 1.0) assert.ok(tLarge < 50)` ——
@@ -64,9 +90,10 @@ function assertSubQuadratic(label, build, fn, base, ratioLimit = 3.0) {
         return;
     }
     const ratio = tLarge / Math.max(tSmall, 0.001);
-    assert.ok(ratio < ratioLimit, `${label}：输入 ${base}→${base * 2}（翻倍）耗时 ${tSmall.toFixed(2)}ms→`
-        + `${tLarge.toFixed(2)}ms，增长 ${ratio.toFixed(1)}× —— 应 <${ratioLimit}×。\n`
-        + '★接近 4× 意味着**二次回溯**：某条正则在每个起始位置都重新贪婪扫描再回退。\n'
+    const exponent = Math.log(ratio) / Math.log(SCALE);
+    assert.ok(exponent < EXPONENT_LIMIT, `${label}：输入 ${base}→${base * SCALE}（×${SCALE}）耗时最小值 ${tSmall.toFixed(2)}ms→`
+        + `${tLarge.toFixed(2)}ms，增长 ${ratio.toFixed(1)}×、指数 ${exponent.toFixed(2)} —— 应 <${EXPONENT_LIMIT}。\n`
+        + '★指数接近 2 意味着**二次回溯**：某条正则在每个起始位置都重新贪婪扫描再回退。\n'
         + '  人类文档是攻击者可控输入，一份构造过的文档就能钉死抽取线程。');
 }
 /**
@@ -95,6 +122,8 @@ function assertWithinBudget(label, input, fn, budgetMs = 500) {
         + '★修复态实测 ~2.5ms，缺陷态（撤掉 `(?<![\\d.])` 左锚）同规模约 10s（2500×）。\n'
         + '  超预算说明 ReDoS 左锚被去掉了，长数字串上的全量回退回来了。');
 }
+/** 自检参照算法的结果落点：可观察的副作用，阻止 V8 把双重循环当死代码消除。 */
+let selfCheckSink = 0;
 describe('ReDoS 时间预算门禁 — 量增长率而非绝对耗时', () => {
     it('★QuantityIR：长数字串上呈次二次增长', () => {
         // ★改用绝对预算：见 assertWithinBudget 的注释（增长率在此有无解的两难）。
@@ -116,7 +145,9 @@ describe('ReDoS 时间预算门禁 — 量增长率而非绝对耗时', () => {
         //   纯属测量噪声（实测 8 次里红 1 次，0.34ms→1.36ms 报 4.0×）。
         //   提高规模让 large 稳定超过 10ms，比值才有意义。
         //   ★20000 仍不够（3.22ms→10.02ms 曾报 3.1×），再提到 40000。
-        40000);
+        //   ★规模倍数改为 ×8 后回到 20000（large=160000 行）：40000×8 时堆压力
+        //     让修复态指数在满载下升到 1.5 附近，20000 则稳定在 ≤1.24。
+        20000);
     });
     it('★SourceIR：长单行（无换行）不得触发回溯', () => {
         assertWithinBudget('parseSourceIr / 超长单行', '#'.repeat(80000) + ' 标题', s => parseSourceIr(s));
@@ -155,14 +186,20 @@ describe('ReDoS 时间预算门禁 — 量增长率而非绝对耗时', () => {
         // ★本仓反复记录的教训：「门禁在结构上无法变红」是最危险的假绿。
         //   这条把一个**已知二次**的函数喂给同一套判定逻辑，若判定通过，
         //   说明 assertSubQuadratic 根本测不出二次增长——量具没连上。
+        //
+        // ★参照算法必须让 V8 **无法化简**：原先的 `acc += 1` 每次迭代极廉价
+        //   （1.0.31 发布时 CI 上整条自检只跑了 154ms 就误红），小规模一侧贴着噪声，
+        //   且结果被丢弃、可被优化的余地无从排除。现改为逐字符混合哈希（无闭式解），
+        //   结果写进模块级 sink（可观察副作用）。
         const quadratic = (s) => {
             let acc = 0;
-            for (let i = 0; i < s.length; i++)
+            for (let i = 0; i < s.length; i++) {
                 for (let j = 0; j < s.length; j++)
-                    acc += 1;
-            return acc;
+                    acc = (Math.imul(acc, 31) + (s.charCodeAt(j) ^ i)) | 0;
+            }
+            selfCheckSink = acc;
         };
-        assert.throws(() => { assertSubQuadratic('自检', n => 'x'.repeat(n), quadratic, 3000); }, /增长 .* —— 应 </, '已知二次算法未被判定为超线性 —— assertSubQuadratic 失效，本文件所有门禁都是假绿。');
+        assert.throws(() => { assertSubQuadratic('自检', n => 'x'.repeat(n), quadratic, 1000); }, /指数 .* —— 应 </, '已知二次算法未被判定为超线性 —— assertSubQuadratic 失效，本文件所有门禁都是假绿。');
     });
 });
 //# sourceMappingURL=redos-budget.test.js.map

package/dist/test/unit/mapping/redos-budget.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"redos-budget.test.js","sourceRoot":"","sources":["../../../../test/unit/mapping/redos-budget.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAElE;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,4CAA4C;AAC5C,SAAS,MAAM,CAAC,EAAc,EAAE,OAAO,GAAG,CAAC;IACzC,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,EAAE,EAAE,CAAC;QACL,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;QACrD,IAAI,EAAE,GAAG,IAAI;YAAE,IAAI,GAAG,EAAE,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CACzB,KAAa,EACb,KAA4B,EAC5B,EAA0B,EAC1B,IAAY,EACZ,UAAU,GAAG,GAAG;IAEhB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAE9B,mCAAmC;IACnC,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IAEpB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5C,wCAAwC;IACxC,EAAE;IACF,2DAA2D;IAC3D,sDAAsD;IACtD,qCAAqC;IACrC,4CAA4C;IAC5C,EAAE;IACF,0CAA0C;IAC1C,2CAA2C;IAC3C,yBAAyB;IACzB,MAAM,cAAc,GAAG,GAAG,CAAC;IAC3B,IAAI,MAAM,GAAG,cAAc,EAAE,CAAC;QAC5B,MAAM,CAAC,EAAE,CAAC,MAAM,GAAG,cAAc,EAC/B,GAAG,KAAK,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,cAAc,KAAK,CAAC,CAAC;QACnE,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,CAAC,EAAE,CAAC,KAAK,GAAG,UAAU,EAC1B,GAAG,KAAK,OAAO,IAAI,IAAI,IAAI,GAAG,CAAC,UAAU,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK;UAC7D,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,UAAU,MAAM;UACxE,6CAA6C;UAC7C,kCAAkC,CAAC,CAAC;AAC1C,CAAC;AAGD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,kBAAkB,CAAC,KAAa,EAAE,KAAa,EAC5B,EAA0B,EAAE,QAAQ,GAAG,GAAG;IACpE,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,QAAQ,EACrB,GAAG,KAAK,IAAI,KAAK,CAAC,MAAM,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,QAAQ,OAAO;UACzE,0DAA0D;UAC1D,qCAAqC,CAAC,CAAC;AAC7C,CAAC;AAED,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,iDAAiD;QACjD,kBAAkB,CAAC,0BAA0B,EAC3C,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,wCAAwC;QACxC,kBAAkB,CAAC,4BAA4B,EAC7C,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,kCAAkC;QAClC,8DAA8D;QAC9D,kBAAkB,CAAC,4BAA4B,EAC7C,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,2BAA2B;QAC3B,kBAAkB,CAChB,wBAAwB,EACxB,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAClG,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;QACrB,sDAAsD;QACtD,+CAA+C;QAC/C,kCAAkC;QAClC,kDAAkD;QAClD,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,kBAAkB,CAAC,sBAAsB,EACvC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,4BAA4B;QAC5B,EAAE;QACF,+CAA+C;QAC/C,2CAA2C;QAC3C,4BAA4B;QAC5B,EAAE;QACF,0CAA0C;QAC1C,0DAA0D;QAC1D,uDAAuD;QACvD,EAAE;QACF,0CAA0C;QAC1C,oBAAoB;QACpB,EAAE;QACF,6CAA6C;QAC7C,0CAA0C;QAC1C,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE;YAClC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACxB,aAAa,CAAC,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,aAAa,CAAC,CAAC,CAAC,CAAC;YACjB,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;QACnD,CAAC,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EACf,4BAA4B,CAAC,wBAAwB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB;kBAClF,yCAAyC;kBACzC,4CAA4C,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,kCAAkC;QAClC,qCAAqC;QACrC,4CAA4C;QAC5C,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE;YACtC,IAAI,GAAG,GAAG,CAAC,CAAC;YACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;gBAAE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;oBAAE,GAAG,IAAI,CAAC,CAAC;YAC/E,OAAO,GAAG,CAAC;QACb,CAAC,CAAC;QAEF,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,GAAG,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EACxE,cAAc,EACd,sDAAsD,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"redos-budget.test.js","sourceRoot":"","sources":["../../../../test/unit/mapping/redos-budget.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAElE;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,gBAAgB;AAChB,SAAS,QAAQ,CAAC,EAAc;IAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;IAClC,EAAE,EAAE,CAAC;IACL,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;AACnD,CAAC;AAED,4CAA4C;AAC5C,SAAS,MAAM,CAAC,EAAc,EAAE,OAAO,GAAG,CAAC;IACzC,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE;QAAE,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,KAAK,GAAG,CAAC,CAAC;AAChB,MAAM,cAAc,GAAG,GAAG,CAAC;AAC3B,MAAM,MAAM,GAAG,EAAE,CAAC;AAElB;;;;;;;;;;GAUG;AACH,SAAS,kBAAkB,CACzB,KAAa,EACb,KAA4B,EAC5B,EAA0B,EAC1B,IAAY;IAEZ,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IAElC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAAC,CAAC;IAErD,IAAI,MAAM,GAAG,QAAQ,CAAC;IACtB,IAAI,MAAM,GAAG,QAAQ,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,wCAAwC;IACxC,EAAE;IACF,2DAA2D;IAC3D,sDAAsD;IACtD,qCAAqC;IACrC,4CAA4C;IAC5C,EAAE;IACF,0CAA0C;IAC1C,2CAA2C;IAC3C,yBAAyB;IACzB,MAAM,cAAc,GAAG,GAAG,CAAC;IAC3B,IAAI,MAAM,GAAG,cAAc,EAAE,CAAC;QAC5B,MAAM,CAAC,EAAE,CAAC,MAAM,GAAG,cAAc,EAC/B,GAAG,KAAK,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,cAAc,KAAK,CAAC,CAAC;QACnE,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,CAAC,EAAE,CAAC,QAAQ,GAAG,cAAc,EACjC,GAAG,KAAK,OAAO,IAAI,IAAI,IAAI,GAAG,KAAK,KAAK,KAAK,UAAU,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK;UAC3E,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,cAAc,KAAK;UACrG,8CAA8C;UAC9C,kCAAkC,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,kBAAkB,CAAC,KAAa,EAAE,KAAa,EAC5B,EAA0B,EAAE,QAAQ,GAAG,GAAG;IACpE,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,QAAQ,EACrB,GAAG,KAAK,IAAI,KAAK,CAAC,MAAM,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,QAAQ,OAAO;UACzE,0DAA0D;UAC1D,qCAAqC,CAAC,CAAC;AAC7C,CAAC;AAED,6CAA6C;AAC7C,IAAI,aAAa,GAAG,CAAC,CAAC;AAEtB,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,iDAAiD;QACjD,kBAAkB,CAAC,0BAA0B,EAC3C,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,wCAAwC;QACxC,kBAAkB,CAAC,4BAA4B,EAC7C,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,kCAAkC;QAClC,8DAA8D;QAC9D,kBAAkB,CAAC,4BAA4B,EAC7C,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,2BAA2B;QAC3B,kBAAkB,CAChB,wBAAwB,EACxB,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAClG,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;QACrB,sDAAsD;QACtD,+CAA+C;QAC/C,kCAAkC;QAClC,kDAAkD;QAClD,sDAAsD;QACtD,4CAA4C;QAC5C,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,kBAAkB,CAAC,sBAAsB,EACvC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,4BAA4B;QAC5B,EAAE;QACF,+CAA+C;QAC/C,2CAA2C;QAC3C,4BAA4B;QAC5B,EAAE;QACF,0CAA0C;QAC1C,0DAA0D;QAC1D,uDAAuD;QACvD,EAAE;QACF,0CAA0C;QAC1C,oBAAoB;QACpB,EAAE;QACF,6CAA6C;QAC7C,0CAA0C;QAC1C,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE;YAClC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACxB,aAAa,CAAC,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,aAAa,CAAC,CAAC,CAAC,CAAC;YACjB,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;QACnD,CAAC,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EACf,4BAA4B,CAAC,wBAAwB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB;kBAClF,yCAAyC;kBACzC,4CAA4C,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,kCAAkC;QAClC,qCAAqC;QACrC,4CAA4C;QAC5C,EAAE;QACF,8CAA8C;QAC9C,kDAAkD;QAClD,yCAAyC;QACzC,0BAA0B;QAC1B,MAAM,SAAS,GAAG,CAAC,CAAS,EAAQ,EAAE;YACpC,IAAI,GAAG,GAAG,CAAC,CAAC;YACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;oBAAE,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5F,CAAC;YACD,aAAa,GAAG,GAAG,CAAC;QACtB,CAAC,CAAC;QAEF,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,GAAG,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EACxE,cAAc,EACd,sDAAsD,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/parser/governance-sugar.test.d.ts

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

package/dist/test/unit/parser/governance-sugar.test.d.ts.map

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

package/dist/test/unit/parser/governance-sugar.test.js

@@ -0,0 +1,258 @@
+/**
+ * ADR 0046 §2/§5：Profile 声明与 When/Otherwise 语法糖在 TS 前端的解析与降糖。
+ *
+ * 降糖须与 aster-lang-core（AstBuilder）产出逐字段一致的 Core IR：
+ * `When c, outcome.` → `If c: Return Verdict.*(…)`（无 else）；`Otherwise outcome.` → `Return Verdict.*(…)`。
+ * 语法糖把 If 与 Return 写在同一行，故与长写法只在去掉 origin 后相等。
+ */
+import { describe, 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 { parseWithLexicon } from '../../../src/parser.js';
+import { lowerModule } from '../../../src/lower_to_core.js';
+import { formatCNL } from '../../../src/formatter.js';
+import { EN_US } from '../../../src/config/lexicons/en-US.js';
+import { ZH_CN } from '../../../src/config/lexicons/zh-CN.js';
+import { DE_DE } from '../../../src/config/lexicons/de-DE.js';
+import { HI_IN } from '../../../src/config/lexicons/hi-IN.js';
+// 源码 → Core 的完整管线；任何解析错误都抛出（消息即首条诊断）
+function toCore(source, lexicon = EN_US) {
+    const tokens = lex(canonicalize(source, lexicon), lexicon);
+    const result = parseWithLexicon(tokens, lexicon);
+    const errors = result.diagnostics.filter((d) => d.severity === 'error');
+    if (errors.length > 0)
+        throw new Error(errors.map((d) => d.message).join('\n'));
+    return lowerModule(result.ast);
+}
+function stripOrigins(o) {
+    if (Array.isArray(o))
+        return o.map(stripOrigins);
+    if (!o || typeof o !== 'object')
+        return o;
+    const out = {};
+    for (const [k, v] of Object.entries(o)) {
+        if (k !== 'origin')
+            out[k] = stripOrigins(v);
+    }
+    return out;
+}
+function bodyOf(core) {
+    const func = core.decls[0];
+    return func.body.statements;
+}
+const OUTCOME_ERROR = /Expected allow, deny, escalate or require approval by … because … after When\/Otherwise/;
+/** 单条语句作为 Verdict 规则体时，须报语法糖结论错误。 */
+function assertOutcomeError(stmt) {
+    assert.throws(() => toCore(['Module m.', '', 'Rule r given n, produce Verdict:', stmt, ''].join('\n')), OUTCOME_ERROR, stmt);
+}
+const SUGAR_MESSAGES = /Otherwise must be the last statement|Expected allow, deny, escalate/;
+/** 规则体须报给定的普通解析错误，且不带任何语法糖消息。 */
+function assertPlainParseError(body, expected) {
+    const src = ['Module m.', '', 'Rule r given n as Int, produce Verdict:', body, ''].join('\n');
+    assert.throws(() => toCore(src), (e) => {
+        assert.doesNotMatch(e.message, SUGAR_MESSAGES, body);
+        assert.match(e.message, expected, body);
+        return true;
+    });
+}
+describe('ADR 0046 — Profile 声明', () => {
+    test('Profile 声明进入 Core.Module.profile', () => {
+        const core = toCore('Module m.\nProfile "governed".\n\nRule r produce Int:\n  Return 1.\n');
+        assert.equal(core.profile, 'governed');
+    });
+    test('带连字符的档案 id 可声明', () => {
+        const core = toCore('Module m.\nProfile "eu-ai-act-high-risk".\n\nRule r produce Int:\n  Return 1.\n');
+        assert.equal(core.profile, 'eu-ai-act-high-risk');
+    });
+    test('未声明档案时 Core.Module 不含 profile 键', () => {
+        const core = toCore('Module m.\n\nRule r produce Int:\n  Return 1.\n');
+        assert.equal('profile' in core, false);
+        assert.equal(JSON.stringify(core).includes('"profile"'), false);
+    });
+    test('小写 profile 参数名不受影响', () => {
+        const core = toCore('Module m.\n\nRule r given profile, produce Int:\n  Return profile.\n');
+        assert.equal('profile' in core, false);
+    });
+    test('档案 id 形态非法抛错', () => {
+        assert.throws(() => toCore('Module m.\nProfile "Bad_Id".\n'), /Profile id must match \^\[a-z\]\[a-z0-9-\]\{0,63\}\$: Bad_Id/);
+    });
+    test('重复声明或不在模块头之后抛错', () => {
+        const misplaced = /Profile must follow the Module header and appear at most once/;
+        assert.throws(() => toCore('Module m.\nProfile "a".\nProfile "b".\n'), misplaced);
+        assert.throws(() => toCore('Profile "a".\nModule m.\n'), misplaced);
+        assert.throws(() => toCore('Module m.\n\nRule r produce Int:\n  Return 1.\n\nProfile "a".\n'), misplaced);
+        // 第二个模块头本身即被拒绝（与 Java 一致），其后的 Profile 无从覆盖已声明的档案
+        assert.throws(() => toCore('Module a.\nProfile "x".\nModule b.\nProfile "y".\n'), /Module header must appear once, at the start of the file/);
+    });
+});
+describe('ADR 0046 — When/Otherwise 语法糖', () => {
+    test('语法糖与长写法的 Core 去 origin 后相等', () => {
+        const sugar = ['Module m.', '', 'Rule decide given amount, produce Verdict:',
+            '  When amount at least 100, require approval by "Officer" because "large".',
+            '  When amount at most 0, deny "negative".',
+            '  When amount at least 50, escalate "review".',
+            '  Otherwise allow.', ''].join('\n');
+        const long = ['Module m.', '', 'Rule decide given amount, produce Verdict:',
+            '  If amount at least 100:', '    Return Verdict.require_approval("Officer", "large").',
+            '  If amount at most 0:', '    Return Verdict.deny("negative").',
+            '  If amount at least 50:', '    Return Verdict.escalate("review").',
+            '  Return Verdict.allow().', ''].join('\n');
+        assert.deepEqual(stripOrigins(toCore(sugar)), stripOrigins(toCore(long)));
+    });
+    test('合成节点带有源码行号（不是第 0 行）', () => {
+        const core = toCore(['Module m.', '', 'Rule r given n, produce Verdict:',
+            '  When n at least 1, deny "x".', '  Otherwise allow.', ''].join('\n'));
+        const [when, otherwise] = bodyOf(core);
+        assert.equal(when.origin?.start.line, 4);
+        assert.equal(when.thenBlock.origin?.start.line, 4);
+        assert.equal(when.thenBlock.statements[0].origin?.start.line, 4);
+        assert.equal(otherwise.origin?.start.line, 5);
+    });
+    test('Otherwise 之后还有语句抛错', () => {
+        assert.throws(() => toCore(['Module m.', '', 'Rule r produce Verdict:', '  Otherwise allow.',
+            '  Return Verdict.deny("x").', ''].join('\n')), /Otherwise must be the last statement of its block/);
+    });
+    test('Otherwise 只收尾所在块：嵌套块内收尾不影响外层后续语句', () => {
+        const core = toCore(['Module m.', '', 'Rule r given n as Int, produce Verdict:', '  If n at least 1:',
+            '    Otherwise deny "x".', '  Return Verdict.allow().', ''].join('\n'));
+        assert.equal(bodyOf(core).length, 2);
+        assert.throws(() => toCore(['Module m.', '', 'Rule r given n as Int, produce Verdict:', '  If n at least 1:',
+            '    Otherwise deny "x".', '    Return Verdict.allow().', ''].join('\n')), /Otherwise must be the last statement of its block/);
+    });
+    test('结论词组合非法抛错', () => {
+        for (const outcome of ['allow "x"', 'deny', 'approve "x"',
+            'require approval by "a"', 'require approval by "a" since "b"']) {
+            assert.throws(() => toCore(['Module m.', '', 'Rule r given n, produce Verdict:',
+                `  When n at least 1, ${outcome}.`, '  Otherwise allow.', ''].join('\n')), OUTCOME_ERROR, outcome);
+        }
+        assert.throws(() => toCore(['Module m.', '', 'Rule r produce Verdict:',
+            '  Otherwise approve "x".', ''].join('\n')), OUTCOME_ERROR);
+    });
+    test('结论含非单词记号同样报结论错误（对齐 Java A5）', () => {
+        for (const outcome of ['deny 42', 'deny "a" + "b"', 'escalate ("x")', 'allow, deny "x"',
+            'deny "x" because 1', 'require approval by "a" because "b" now', 'allow 1.5']) {
+            assertOutcomeError(`  When n at least 1, ${outcome}.`);
+            assertOutcomeError(`  Otherwise ${outcome}.`);
+        }
+    });
+    test('结论中的句点结束语句：错误与 Java 相同', () => {
+        const rule = (...body) => ['Module m.', '', 'Rule r given n, produce Verdict:', ...body, ''].join('\n');
+        // When 的结论只剩 `deny x`，`y.` 成为下一条语句，Otherwise 仍收尾：报结论错误
+        assert.throws(() => toCore(rule('  When n at least 1, deny x.y.', '  Otherwise allow.')), OUTCOME_ERROR);
+        // Otherwise 之后的 `y.` 是下一条语句：报 Otherwise 收尾错误，而非结论错误
+        assert.throws(() => toCore(rule('  Otherwise deny x.y.')), (e) => {
+            assert.equal(e.message.split('\n')[0], 'Otherwise must be the last statement of its block');
+            return true;
+        });
+    });
+    test('同一块内 Otherwise 收尾检查先于结论校验（对齐 Java AstBuilder）', () => {
+        const src = ['Module m.', '', 'Rule r given n, produce Verdict:', '  When n at least 1, deny 42.',
+            '  Otherwise allow.', '  Return Verdict.deny("x").', ''].join('\n');
+        assert.throws(() => toCore(src), (e) => {
+            assert.equal(e.message.split('\n')[0], 'Otherwise must be the last statement of its block');
+            return true;
+        });
+    });
+    test('Otherwise 后紧跟逗号或冒号不是语法糖：报普通解析错误而非语法糖消息', () => {
+        // If 块之后：按 else 分支解析，缺换行
+        assertPlainParseError('  If n at least 1:\n    Return Verdict.deny("x").\n  Otherwise, Return Verdict.allow().', /^Expected newline$/);
+        assertPlainParseError('  If n at least 1:\n    Return Verdict.deny("x").\n  Otherwise: Return Verdict.allow().', /^Expected newline$/);
+        // 没有前置 If：结论不得以逗号或冒号开头
+        assertPlainParseError('  Otherwise, Return Verdict.allow().', /^Unexpected ',' where an outcome was expected$/);
+        assertPlainParseError('  Otherwise: Return Verdict.allow().', /^Unexpected ':' where an outcome was expected$/);
+    });
+    test('If 块后的 Otherwise 换行块仍是 else 分支', () => {
+        const core = toCore(['Module m.', '', 'Rule r given a, produce Int:', '  If a at least 1:', '    Return 1.',
+            '  Otherwise:', '    Return 2.', ''].join('\n'));
+        const body = bodyOf(core);
+        assert.equal(body.length, 1);
+        const first = body[0];
+        assert.equal(first.kind, 'If');
+        assert.ok(first.elseBlock, '应有 else 块');
+        assert.equal(first.elseBlock.statements.length, 1);
+    });
+    test('If 块后紧随 Otherwise 语法糖是独立语句，不被吞作 else', () => {
+        const core = toCore(['Module m.', '', 'Rule r given a, produce Verdict:', '  If a at least 1:',
+            '    Return Verdict.deny("x").', '  Otherwise allow.', ''].join('\n'));
+        const body = bodyOf(core);
+        assert.equal(body.length, 2);
+        assert.equal(body[0].kind, 'If');
+        assert.equal(body[0].elseBlock, null);
+        assert.equal(body[1].kind, 'Return');
+    });
+    test('Match 分支的 When 不受影响', () => {
+        const core = toCore(['Module m.', '', 'Rule r given n, produce Int:',
+            '  Match n:', '    When 1, Return 10.', '    When x, Return 20.', ''].join('\n'));
+        assert.equal(bodyOf(core)[0].kind, 'Match');
+    });
+    test('Verdict 成员调用不受新词影响', () => {
+        const core = toCore('Module m.\n\nRule r produce Verdict:\n  Return Verdict.allow().\n');
+        const ret = bodyOf(core)[0];
+        assert.equal(ret.kind, 'Return');
+        assert.equal(ret.expr.kind, 'Call');
+    });
+    test('中文与德文档案与语法糖同样降糖', () => {
+        // 英文长写法关闭冠词删除，保留与中德源文同名的参数 a（对齐 Java 测试的同一组源文）
+        const enKeepArticles = {
+            ...EN_US,
+            canonicalization: { ...EN_US.canonicalization, removeArticles: false },
+        };
+        const expected = stripOrigins(toCore(['Module m.', 'Profile "governed".', '',
+            'Rule r given a produce Verdict:',
+            '  If a at least 100:', '    Return Verdict.require_approval("Officer", "large").',
+            '  If a at least 50:', '    Return Verdict.escalate("review").',
+            '  If a at least 1:', '    Return Verdict.deny("x").',
+            '  Return Verdict.allow().', ''].join('\n'), enKeepArticles));
+        const zhSrc = ['模块 m。', '档案 "governed"。', '',
+            '规则 r 给定 a 产出 Verdict：',
+            '  当 a 至少 100，需审批人 "Officer" 因为 "large"。',
+            '  当 a 至少 50，升级 "review"。',
+            '  当 a 至少 1，拒绝 "x"。',
+            '  否则 允许。', ''].join('\n');
+        const deSrc = ['Modul m.', 'Profil "governed".', '',
+            'Regel r gegeben a liefert Verdict:',
+            '  bei a mindestens 100, Genehmigung durch "Officer" weil "large".',
+            '  bei a mindestens 50, eskalieren "review".',
+            '  bei a mindestens 1, ablehnen "x".',
+            '  sonst erlauben.', ''].join('\n');
+        assert.deepEqual(stripOrigins(toCore(zhSrc, ZH_CN)), expected, 'zh-CN');
+        assert.deepEqual(stripOrigins(toCore(deSrc, DE_DE)), expected, 'de-DE');
+    });
+    test('印地语档案与语法糖同样降糖', () => {
+        // 用词取自真实 hi-IN 词法包（暂定，待母语审校）；与中德用例同一策略与期望
+        const enKeepArticles = {
+            ...EN_US,
+            canonicalization: { ...EN_US.canonicalization, removeArticles: false },
+        };
+        const expected = stripOrigins(toCore(['Module m.', 'Profile "governed".', '',
+            'Rule r given a produce Verdict:',
+            '  If a at least 100:', '    Return Verdict.require_approval("Officer", "large").',
+            '  If a at least 50:', '    Return Verdict.escalate("review").',
+            '  If a at least 1:', '    Return Verdict.deny("x").',
+            '  Return Verdict.allow().', ''].join('\n'), enKeepArticles));
+        const hiSrc = ['मॉड्यूल m।', 'प्रोफ़ाइल "governed"।', '',
+            'नियम r दिया गया a उत्पन्न Verdict:',
+            '  जब a कम से कम 100, अनुमोदक "Officer" क्योंकि "large"।',
+            '  जब a कम से कम 50, आगे बढ़ाएँ "review"।',
+            '  जब a कम से कम 1, अस्वीकार "x"।',
+            '  अन्यथा अनुमति।', ''].join('\n');
+        const hi = toCore(hiSrc, HI_IN);
+        assert.equal(hi.profile, 'governed');
+        assert.deepEqual(stripOrigins(hi), expected, 'hi-IN');
+    });
+});
+describe('ADR 0046 — 格式化器', () => {
+    test('格式化器保留 Profile 行', () => {
+        const out = formatCNL('Module m.\nProfile "governed".\n\nRule r produce Int:\n  Return 1.\n');
+        assert.match(out, /^Module m\.\nProfile "governed"\./);
+    });
+    test('格式化器把语法糖按长写法输出（ADR 0046 §10 已知限制）', () => {
+        const sugar = ['Module m.', '', 'Rule r given n, produce Verdict:',
+            '  When n at least 1, deny "x".', '  Otherwise allow.', ''].join('\n');
+        const long = ['Module m.', '', 'Rule r given n, produce Verdict:',
+            '  If n at least 1:', '    Return Verdict.deny("x").', '  Return Verdict.allow().', ''].join('\n');
+        assert.equal(formatCNL(sugar), formatCNL(long));
+    });
+});
+//# sourceMappingURL=governance-sugar.test.js.map

package/dist/test/unit/parser/governance-sugar.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"governance-sugar.test.js","sourceRoot":"","sources":["../../../../test/unit/parser/governance-sugar.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAI9D,qCAAqC;AACrC,SAAS,MAAM,CAAC,MAAc,EAAE,UAAmB,KAAK;IACtD,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC1C,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,QAAQ;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,MAAM,CAAC,IAAiB;IAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC;IACxC,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;AAC9B,CAAC;AAED,MAAM,aAAa,GAAG,yFAAyF,CAAC;AAEhH,qCAAqC;AACrC,SAAS,kBAAkB,CAAC,IAAY;IACtC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACpG,aAAa,EAAE,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,cAAc,GAAG,qEAAqE,CAAC;AAE7F,iCAAiC;AACjC,SAAS,qBAAqB,CAAC,IAAY,EAAE,QAAgB;IAC3D,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,yCAAyC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9F,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAQ,EAAE,EAAE;QAC5C,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,sEAAsE,CAAC,CAAC;QAC5F,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,iFAAiF,CAAC,CAAC;QACvG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,iDAAiD,CAAC,CAAC;QACvE,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,EAAE,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,sEAAsE,CAAC,CAAC;QAC5F,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,gCAAgC,CAAC,EAC1D,8DAA8D,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC1B,MAAM,SAAS,GAAG,+DAA+D,CAAC;QAClF,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,yCAAyC,CAAC,EAAE,SAAS,CAAC,CAAC;QAClF,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,2BAA2B,CAAC,EAAE,SAAS,CAAC,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,iEAAiE,CAAC,EAAE,SAAS,CAAC,CAAC;QAC1G,iDAAiD;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,oDAAoD,CAAC,EAC9E,0DAA0D,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAI,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,4CAA4C;YAC1E,4EAA4E;YAC5E,2CAA2C;YAC3C,+CAA+C;YAC/C,oBAAoB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,4CAA4C;YACzE,2BAA2B,EAAE,0DAA0D;YACvF,wBAAwB,EAAE,sCAAsC;YAChE,0BAA0B,EAAE,wCAAwC;YACpE,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC;YACtE,gCAAgC,EAAE,oBAAoB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,MAAM,CAAC,IAAI,CAA2B,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,yBAAyB,EAAE,oBAAoB;YAC1F,6BAA6B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,mDAAmD,CAAC,CAAC;IACzG,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,yCAAyC,EAAE,oBAAoB;YACnG,yBAAyB,EAAE,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,yCAAyC,EAAE,oBAAoB;YAC1G,yBAAyB,EAAE,6BAA6B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAC3E,mDAAmD,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE;QACrB,KAAK,MAAM,OAAO,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa;YACvD,yBAAyB,EAAE,mCAAmC,CAAC,EAAE,CAAC;YAClE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC;gBAC7E,wBAAwB,OAAO,GAAG,EAAE,oBAAoB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;QACvG,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,yBAAyB;YACpE,0BAA0B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACvC,KAAK,MAAM,OAAO,IAAI,CAAC,SAAS,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,iBAAiB;YACrF,oBAAoB,EAAE,yCAAyC,EAAE,WAAW,CAAC,EAAE,CAAC;YAChF,kBAAkB,CAAC,wBAAwB,OAAO,GAAG,CAAC,CAAC;YACvD,kBAAkB,CAAC,eAAe,OAAO,GAAG,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAClC,MAAM,IAAI,GAAG,CAAC,GAAG,IAAc,EAAU,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC,EAAE,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1H,uDAAuD;QACvD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,gCAAgC,EAAE,oBAAoB,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;QACzG,oDAAoD;QACpD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,EAAE,CAAC,CAAQ,EAAE,EAAE;YACtE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,mDAAmD,CAAC,CAAC;YAC5F,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC,EAAE,+BAA+B;YAC/F,oBAAoB,EAAE,6BAA6B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAQ,EAAE,EAAE;YAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,mDAAmD,CAAC,CAAC;YAC5F,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAClD,yBAAyB;QACzB,qBAAqB,CAAC,yFAAyF,EAC7G,oBAAoB,CAAC,CAAC;QACxB,qBAAqB,CAAC,yFAAyF,EAC7G,oBAAoB,CAAC,CAAC;QACxB,uBAAuB;QACvB,qBAAqB,CAAC,sCAAsC,EAAE,gDAAgD,CAAC,CAAC;QAChH,qBAAqB,CAAC,sCAAsC,EAAE,gDAAgD,CAAC,CAAC;IAClH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,8BAA8B,EAAE,oBAAoB,EAAE,eAAe;YACzG,cAAc,EAAE,eAAe,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAY,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,SAAU,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC,EAAE,oBAAoB;YAC5F,+BAA+B,EAAE,oBAAoB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAE,IAAI,CAAC,CAAC,CAAa,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,8BAA8B;YAClE,YAAY,EAAE,wBAAwB,EAAE,wBAAwB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACpF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,mEAAmE,CAAC,CAAC;QACzF,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAgB,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC3B,+CAA+C;QAC/C,MAAM,cAAc,GAAY;YAC9B,GAAG,KAAK;YACR,gBAAgB,EAAE,EAAE,GAAG,KAAK,CAAC,gBAAgB,EAAE,cAAc,EAAE,KAAK,EAAE;SACvE,CAAC;QACF,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,qBAAqB,EAAE,EAAE;YAC1E,iCAAiC;YACjC,sBAAsB,EAAE,0DAA0D;YAClF,qBAAqB,EAAE,wCAAwC;YAC/D,oBAAoB,EAAE,+BAA+B;YACrD,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,gBAAgB,EAAE,EAAE;YAC1C,uBAAuB;YACvB,yCAAyC;YACzC,0BAA0B;YAC1B,oBAAoB;YACpB,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,UAAU,EAAE,oBAAoB,EAAE,EAAE;YACjD,oCAAoC;YACpC,mEAAmE;YACnE,6CAA6C;YAC7C,qCAAqC;YACrC,mBAAmB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE;QACzB,0CAA0C;QAC1C,MAAM,cAAc,GAAY;YAC9B,GAAG,KAAK;YACR,gBAAgB,EAAE,EAAE,GAAG,KAAK,CAAC,gBAAgB,EAAE,cAAc,EAAE,KAAK,EAAE;SACvE,CAAC;QACF,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,qBAAqB,EAAE,EAAE;YAC1E,iCAAiC;YACjC,sBAAsB,EAAE,0DAA0D;YAClF,qBAAqB,EAAE,wCAAwC;YAC/D,oBAAoB,EAAE,+BAA+B;YACrD,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,CAAC,YAAY,EAAE,uBAAuB,EAAE,EAAE;YACtD,oCAAoC;YACpC,yDAAyD;YACzD,0CAA0C;YAC1C,kCAAkC;YAClC,kBAAkB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QACrC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,sEAAsE,CAAC,CAAC;QAC9F,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,mCAAmC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC;YAChE,gCAAgC,EAAE,oBAAoB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC;YAC/D,oBAAoB,EAAE,+BAA+B,EAAE,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/parser/module-header.test.d.ts

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

package/dist/test/unit/parser/module-header.test.d.ts.map

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

package/dist/test/unit/parser/module-header.test.js

@@ -0,0 +1,25 @@
+/**
+ * 模块头只能出现一次且位于文件开头（与 Java `module : NEWLINE* (moduleHeader …)? … topLevelDecl*` 一致）。
+ */
+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';
+const MISPLACED = 'Module header must appear once, at the start of the file';
+function errorsOf(source) {
+    return parse(lex(canonicalize(source))).diagnostics
+        .filter((d) => d.severity === 'error')
+        .map((d) => d.message);
+}
+test('第二个模块头报错', () => {
+    assert.deepEqual(errorsOf('Module a.\nModule b.\n\nRule r produce Int:\n  Return 1.\n'), [MISPLACED]);
+});
+test('声明之后的模块头报错', () => {
+    assert.deepEqual(errorsOf('Rule r produce Int:\n  Return 1.\n\nModule a.\n'), [MISPLACED]);
+});
+test('单个模块头与无模块头都照常解析', () => {
+    assert.deepEqual(errorsOf('Module a.\n\nRule r produce Int:\n  Return 1.\n'), []);
+    assert.deepEqual(errorsOf('Rule r produce Int:\n  Return 1.\n'), []);
+});
+//# sourceMappingURL=module-header.test.js.map

package/dist/test/unit/parser/module-header.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-header.test.js","sourceRoot":"","sources":["../../../../test/unit/parser/module-header.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,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;AAE/C,MAAM,SAAS,GAAG,0DAA0D,CAAC;AAE7E,SAAS,QAAQ,CAAC,MAAc;IAC9B,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW;SAChD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC3B,CAAC;AAED,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE;IACpB,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,4DAA4D,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;AACxG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;IACtB,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,iDAAiD,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;AAC7F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC3B,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,iDAAiD,CAAC,EAAE,EAAE,CAAC,CAAC;IAClF,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,oCAAoC,CAAC,EAAE,EAAE,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC"}

package/dist/test/unit/parser/positional-annotation-args.test.d.ts

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

package/dist/test/unit/parser/positional-annotation-args.test.d.ts.map

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

package/dist/test/unit/parser/positional-annotation-args.test.js

@@ -0,0 +1,26 @@
+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';
+function lower(src) {
+    const ast = parse(lex(canonicalize(src))).ast;
+    return lowerModule(ast);
+}
+test('位置字符串参数注解降为 $0 键', () => {
+    const core = lower('Module probe.\n@id("PII-001")\nRule main produce Bool:\n  Return true.\n');
+    const fn = core.decls.find((d) => d.kind === 'Func');
+    assert.deepEqual(fn.annotations, [{ name: 'id', args: [{ name: '$0', value: 'PII-001' }] }]);
+});
+test('多个位置参数依次编号', () => {
+    const core = lower('Module probe.\n@tag("a", "b")\nRule main produce Bool:\n  Return true.\n');
+    const fn = core.decls.find((d) => d.kind === 'Func');
+    assert.deepEqual(fn.annotations[0].args.map((a) => a.name), ['$0', '$1']);
+});
+test('命名参数仍按原名保留', () => {
+    const core = lower('Module probe.\n@id(value: "X")\nRule main produce Bool:\n  Return true.\n');
+    const fn = core.decls.find((d) => d.kind === 'Func');
+    assert.deepEqual(fn.annotations[0].args.map((a) => a.name), ['value']);
+});
+//# sourceMappingURL=positional-annotation-args.test.js.map

package/dist/test/unit/parser/positional-annotation-args.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"positional-annotation-args.test.js","sourceRoot":"","sources":["../../../../test/unit/parser/positional-annotation-args.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;AAG5D,SAAS,KAAK,CAAC,GAAW;IACxB,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,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC/F,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAsG,CAAC;IAC1J,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC/F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC/F,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAwE,CAAC;IAC5H,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,WAAY,CAAC,CAAC,CAAE,CAAC,IAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAC/E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,2EAA2E,CAAC,CAAC;IAChG,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAwE,CAAC;IAC5H,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,WAAY,CAAC,CAAC,CAAE,CAAC,IAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC"}

package/dist/test/unit/parser/prefix-operator-call.test.d.ts

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

package/dist/test/unit/parser/prefix-operator-call.test.d.ts.map

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