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

package/dist/src/mapping/quantity-ir.d.ts

@@ -0,0 +1,93 @@
+import type { TextSpan } from './mapping-ir.js';
+/**
+ * QuantityIR —— 从人类文档里**机械抽取**数量实体（ADR 0037 §2/§10.5）。
+ *
+ * <h2>为什么 Quantity 和 Entity 要分开</h2>
+ *
+ * ADR §2 把它们并列为 `Document/Section/Span/Entity/Quantity`，但实测两者的
+ * 可抽取性**完全不同**：
+ *
+ * ```
+ *   Quantity（金额/百分比/时长/日期）  有稳定的**形态特征**  → 机械抽取，零 AI
+ *   Entity  （角色/主体/义务）        **没有**形态特征      → 需要识别，LLM 的位置
+ * ```
+ *
+ * 实测一份典型付款政策：
+ *
+ * ```
+ *   金额 $10,000 / $50,000 / $25    4 例   ← 正则可抽，100%
+ *   百分比 1.5%                      1 例   ← 同上
+ *   时长 24 小时                     1 例   ← 同上
+ *   日期 2026-01-01 / 2026-12-31     2 例   ← 同上
+ *   角色「财务经理」「部门主管」        2 例   ← **无任何可靠形态特征**
+ * ```
+ *
+ * 本模块**只做 Quantity**。Entity 的接口在 {@link EntityCandidate} 声明，
+ * 但**不提供实现**——按 ADR §3/§10，那是 LLM 提出候选、由人复核的部分，
+ * 不该由本模块假装能机械得出。
+ *
+ * <h2>★与 MappingIR 的关系：本模块只负责「找到」，不负责「判定」</h2>
+ *
+ * 抽取出的 Quantity 是**候选映射的左半边**（文本片段 + 位置）。它是否真的对应
+ * 某个 IR 节点，仍由 `MappingIR.verifyMapping` 判定。本模块**不做任何语义断言**。
+ */
+/** 数量的类别。刻意小而封闭——每多一种就多一份误抽风险。 */
+export type QuantityKind = 
+/** 货币金额（带货币符号）。 */
+'MONEY'
+/** 百分比。 */
+ | 'PERCENT'
+/** 时长（含单位）。 */
+ | 'DURATION'
+/** ISO 8601 日期。 */
+ | 'DATE';
+export interface Quantity {
+    readonly kind: QuantityKind;
+    readonly span: TextSpan;
+    /** 原文片段，**逐字节**取自文档（与 SourceIR 同规则：不改内容）。 */
+    readonly text: string;
+    /**
+     * 规范化后的数值，**十进制字符串**。
+     *
+     * <p>★不用 `number`：金额/时长可能超出 JS 安全整数，过一次 number 就丢精度
+     * （本仓实测踩过 `9007199254740993` → `…992`）。与 `MappingIR` 的比较口径一致。
+     *
+     * <p>`DATE` 的 `value` 是 ISO 日期串本身（`2026-01-01`），不转成时间戳——
+     * 时间戳依赖时区，不是原文里的信息。
+     */
+    readonly value: string;
+    /** 货币符号 / 时长单位；`PERCENT`、`DATE` 为 `undefined`。 */
+    readonly unit?: string;
+}
+/**
+ * Entity 候选（角色、主体、义务这类**语义实体**）。
+ *
+ * <p>★本模块**不实现**它的抽取。Entity 没有可靠的形态特征——「财务经理」
+ * 与「财务报表」在字符层面无从区分，只能靠语义识别。按 ADR §3：
+ *
+ * ```
+ *   LLM / 启发式 / 人  →  提出 EntityCandidate
+ *   确定性 verifier    →  判定（但对 Entity 只能给 REVIEW_REQUIRED）
+ * ```
+ *
+ * <p>此处声明接口是为了**把边界写进类型系统**：调用方一看就知道 Entity 必须
+ * 从外部传入，而不是指望本模块变出来。
+ */
+export interface EntityCandidate {
+    readonly span: TextSpan;
+    readonly text: string;
+    /** 提出者给出的类别（`Role` / `Party` / `Obligation` …），本模块不校验。 */
+    readonly proposedKind: string;
+    /** 谁提出的——与 `ProofIR.ProofSubject` 同源，便于追溯。 */
+    readonly proposedBy: string;
+}
+/**
+ * 从文档中抽取所有数量实体。
+ *
+ * <p>★**不做任何语义判断**——只按形态特征找出「这里有个数量」，以及它的
+ * 规范化数值。它是否对应某个 IR 节点，由 `MappingIR.verifyMapping` 判定。
+ *
+ * @returns 按出现位置升序；互不重叠
+ */
+export declare function extractQuantities(document: string): readonly Quantity[];
+//# sourceMappingURL=quantity-ir.d.ts.map

package/dist/src/mapping/quantity-ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"quantity-ir.d.ts","sourceRoot":"","sources":["../../../src/mapping/quantity-ir.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,kCAAkC;AAClC,MAAM,MAAM,YAAY;AACtB,mBAAmB;AACjB,OAAO;AACT,WAAW;GACT,SAAS;AACX,eAAe;GACb,UAAU;AACZ,mBAAmB;GACjB,MAAM,CAAC;AAEX,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;;;;OAQG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,kDAAkD;IAClD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,8CAA8C;IAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAqCD;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,QAAQ,EAAE,CA4DvE"}

package/dist/src/mapping/quantity-ir.js

@@ -0,0 +1,151 @@
+/**
+ * 抽取顺序**有意义**：先匹配的先占位，后面的不再重叠抽取。
+ *
+ * <p>★当前四类模式**几乎互斥**，唯一会相交的形态是 `$1.5%`：
+ * `MONEY` 匹配 `$1.5`、`PERCENT` 匹配 `1.5%`，区间重叠。此时**先声明者胜出**。
+ *
+ * <p>★我初稿在这里写了「MONEY 必须排在纯数字之前，否则 `$10,000` 会被拆成
+ * `10` 和 `000`」——**那是错的**：本模块根本没有「纯数字」模式，挪动 MONEY
+ * 的位置对 `$10,000` 毫无影响（已实测）。注释若声称一个并不存在的保护，
+ * 会误导后来者以为某处有约束而不敢动。
+ */
+const PATTERNS = [
+    // 货币：符号 + 数字（可含千分位与小数）。★`[$€£¥]` 本身就是左锚，无回溯问题。
+    { kind: 'MONEY', re: /[$€£¥]\s?\d[\d,]*(?:\.\d+)?/g },
+    // ISO 日期：定长，无回溯问题。
+    { kind: 'DATE', re: /\d{4}-\d{2}-\d{2}/g },
+    // ★以下两条必须带 `(?<![\d.])` 左锚——**这是 ReDoS 修复，不是可选优化**。
+    //
+    //   没有锚点时，`\d+` 会在**每个数字位置**重新起跑、贪婪吃到串尾，再因后缀
+    //   （`%` / 单位）不匹配而整体回退。对长数字串就是 O(n²)：
+    //
+    //     长度 5000 →   36ms
+    //     长度 10000 →  144ms      ← 翻倍
+    //     长度 20000 →  576ms      ← 再翻 4 倍
+    //     长度 40000 → 2304ms      ← 实测确认二次增长
+    //
+    //   加锚后同样输入 **0ms**（左锚让每个起点 O(1) 失败，不再重新贪婪扫描）。
+    //   ★语义完全不变：已逐例对照 9 组输入，新旧匹配结果逐字节相同。
+    //
+    //   本模块吃的是**人类文档**——攻击者可控的输入。没有这个锚点，一份构造过
+    //   的文档就能把抽取线程钉死。
+    { kind: 'PERCENT', re: /(?<![\d.])\d+(?:\.\d+)?\s?%/g },
+    { kind: 'DURATION', re: /(?<![\d.])\d+(?:\.\d+)?\s?(?:小时|分钟|天|秒|hours?|minutes?|days?|seconds?)/g },
+];
+/**
+ * 从文档中抽取所有数量实体。
+ *
+ * <p>★**不做任何语义判断**——只按形态特征找出「这里有个数量」，以及它的
+ * 规范化数值。它是否对应某个 IR 节点，由 `MappingIR.verifyMapping` 判定。
+ *
+ * @returns 按出现位置升序；互不重叠
+ */
+export function extractQuantities(document) {
+    const found = [];
+    // ★`claimed` 始终按 start 升序，用二分查重叠 —— 这是 **O(m²) 修复**。
+    //
+    //   原写法是 `claimed.some(c => ...)`：每个匹配都线性扫一遍已占位区间，
+    //   m 个匹配总功 O(m²)。实测（多匹配载荷 `'1% '.repeat(n)`）：
+    //     2000→12ms  4000→11ms  8000→35ms(×3.3)  16000→183ms(×5.2)
+    //
+    //   ★这个缺陷**逃过了 §12.6 的 ReDoS 门禁**：那里的载荷是
+    //   `'$' + '1'.repeat(40000)`——**只有一个匹配**，`claimed` 恒为 1，
+    //   O(m²) 项永不激活。门禁量的是对的东西（增长率），但**语料有盲区**。
+    const claimed = [];
+    /** 二分定位第一个 `end > start` 的区间；只需检查它是否与 [start,end) 重叠。 */
+    const overlaps = (start, end) => {
+        let lo = 0;
+        let hi = claimed.length;
+        while (lo < hi) {
+            const mid = (lo + hi) >> 1;
+            if (claimed[mid].end <= start)
+                lo = mid + 1;
+            else
+                hi = mid;
+        }
+        // claimed 互不重叠且有序，故只有 lo 处那个区间可能与之相交。
+        return lo < claimed.length && claimed[lo].start < end;
+    };
+    /** 按 start 升序插入，维持 `claimed` 的有序不变式。 */
+    const insertClaimed = (start, end) => {
+        let lo = 0;
+        let hi = claimed.length;
+        while (lo < hi) {
+            const mid = (lo + hi) >> 1;
+            if (claimed[mid].start < start)
+                lo = mid + 1;
+            else
+                hi = mid;
+        }
+        claimed.splice(lo, 0, { start, end });
+    };
+    for (const { kind, re } of PATTERNS) {
+        re.lastIndex = 0;
+        for (let m = re.exec(document); m !== null; m = re.exec(document)) {
+            const start = m.index;
+            const end = start + m[0].length;
+            // ★后来者不得与已占位区间重叠：保证输出无重叠，且优先级由 PATTERNS 顺序决定。
+            if (overlaps(start, end))
+                continue;
+            const parsed = normalize(kind, m[0]);
+            if (parsed === undefined)
+                continue; // 形态像但规范化不出来 → 不抽，绝不编造
+            insertClaimed(start, end);
+            found.push({
+                kind, span: { start, end }, text: m[0],
+                value: parsed.value,
+                ...(parsed.unit === undefined ? {} : { unit: parsed.unit }),
+            });
+        }
+    }
+    return found.sort((a, b) => a.span.start - b.span.start);
+}
+/**
+ * 把匹配到的文本规范化成「数值 + 单位」。
+ *
+ * <p>★返回 `undefined` = 规范化不出来（不抽取），**不是**抽成错的值。
+ */
+function normalize(kind, text) {
+    switch (kind) {
+        case 'DATE': {
+            // 日期保持原串——转时间戳会引入时区，那不是原文里的信息。
+            return /^\d{4}-\d{2}-\d{2}$/.test(text) ? { value: text } : undefined;
+        }
+        case 'MONEY': {
+            const m = /^([$€£¥])\s?(\d[\d,]*(?:\.\d+)?)$/.exec(text);
+            if (m === null)
+                return undefined;
+            const value = canonicalDecimal(m[2].replace(/,/g, ''));
+            return value === undefined ? undefined : { value, unit: m[1] };
+        }
+        case 'PERCENT': {
+            const m = /^(\d+(?:\.\d+)?)\s?%$/.exec(text);
+            if (m === null)
+                return undefined;
+            const value = canonicalDecimal(m[1]);
+            return value === undefined ? undefined : { value };
+        }
+        case 'DURATION': {
+            const m = /^(\d+(?:\.\d+)?)\s?(.+)$/.exec(text);
+            if (m === null)
+                return undefined;
+            const value = canonicalDecimal(m[1]);
+            return value === undefined ? undefined : { value, unit: m[2] };
+        }
+    }
+}
+/**
+ * 规范成可比较的十进制字符串：去尾随零、去多余前导零。
+ *
+ * <p>★全程字符串运算，**不经过 JS number** —— 与 `MappingIR.canonicalDecimalString`
+ * 同口径，保证「文档里的 $10,000」与「IR 里的 Int 10000」能按值比对。
+ */
+function canonicalDecimal(s) {
+    const m = /^(\d+)(?:\.(\d*))?$/.exec(s.trim());
+    if (m === null)
+        return undefined;
+    const intPart = m[1].replace(/^0+(?=\d)/, '');
+    const frac = (m[2] ?? '').replace(/0+$/, '');
+    return frac.length > 0 ? `${intPart}.${frac}` : intPart;
+}
+//# sourceMappingURL=quantity-ir.js.map

package/dist/src/mapping/quantity-ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quantity-ir.js","sourceRoot":"","sources":["../../../src/mapping/quantity-ir.ts"],"names":[],"mappings":"AAwFA;;;;;;;;;;GAUG;AACH,MAAM,QAAQ,GAAsD;IAClE,+CAA+C;IAC/C,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,8BAA8B,EAAE;IACrD,mBAAmB;IACnB,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,oBAAoB,EAAE;IAC1C,oDAAoD;IACpD,EAAE;IACF,6CAA6C;IAC7C,sCAAsC;IACtC,EAAE;IACF,uBAAuB;IACvB,kCAAkC;IAClC,sCAAsC;IACtC,wCAAwC;IACxC,EAAE;IACF,+CAA+C;IAC/C,qCAAqC;IACrC,EAAE;IACF,0CAA0C;IAC1C,kBAAkB;IAClB,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,8BAA8B,EAAE;IACvD,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,yEAAyE,EAAE;CACpG,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAgB;IAChD,MAAM,KAAK,GAAe,EAAE,CAAC;IAE7B,qDAAqD;IACrD,EAAE;IACF,mDAAmD;IACnD,+CAA+C;IAC/C,+DAA+D;IAC/D,EAAE;IACF,yCAAyC;IACzC,0DAA0D;IAC1D,2CAA2C;IAC3C,MAAM,OAAO,GAAqC,EAAE,CAAC;IAErD,yDAAyD;IACzD,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,GAAW,EAAW,EAAE;QACvD,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QACxB,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,OAAO,CAAC,GAAG,CAAE,CAAC,GAAG,IAAI,KAAK;gBAAE,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;;gBACxC,EAAE,GAAG,GAAG,CAAC;QAChB,CAAC;QACD,sCAAsC;QACtC,OAAO,EAAE,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,EAAE,CAAE,CAAC,KAAK,GAAG,GAAG,CAAC;IACzD,CAAC,CAAC;IAEF,wCAAwC;IACxC,MAAM,aAAa,GAAG,CAAC,KAAa,EAAE,GAAW,EAAQ,EAAE;QACzD,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QACxB,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,OAAO,CAAC,GAAG,CAAE,CAAC,KAAK,GAAG,KAAK;gBAAE,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;;gBACzC,EAAE,GAAG,GAAG,CAAC;QAChB,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,QAAQ,EAAE,CAAC;QACpC,EAAE,CAAC,SAAS,GAAG,CAAC,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClE,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;YACtB,MAAM,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAChC,8CAA8C;YAC9C,IAAI,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC;gBAAE,SAAS;YAEnC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS,CAAC,uBAAuB;YAE3D,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBACtC,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;aAC5D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,IAAkB,EAAE,IAAY;IACjD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,+BAA+B;YAC/B,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACxE,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,CAAC,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzD,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,SAAS,CAAC;YACjC,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;YACxD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC;QAClE,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,SAAS,CAAC;YACjC,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YACtC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QACrD,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,CAAC,GAAG,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,SAAS,CAAC;YACjC,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YACtC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,CAAS;IACjC,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AAC1D,CAAC"}

package/dist/src/mapping/source-ir.d.ts

@@ -0,0 +1,82 @@
+import type { TextSpan } from './mapping-ir.js';
+/**
+ * SourceIR —— 人类 artifact 的结构化表示（ADR 0037 §2/§9.5）。
+ *
+ * <h2>它解决的问题，与 LayoutMap 不是同一个</h2>
+ *
+ * ```
+ *   LayoutMap（aster-dev/src/lib/layout-map.ts）
+ *     display ↔ canonical，用于**本来就是 Aster 源码**的文本（《静夜思》demo）
+ *     手写、平铺、全文档逐字符覆盖 —— 20 字的诗可以，50 页的 Policy 不行
+ *
+ *   SourceIR（本模块）
+ *     **从未是 Aster** 的人类文档（Policy / SOP / 合同）的结构
+ *     机械推导、**嵌套**（标题层级）、只标结构不改内容
+ * ```
+ *
+ * <h2>★唯一的硬约束：offset 必须可回切原文</h2>
+ *
+ * `MappingIR.TextSpan` 是**字符偏移**的。SourceIR 的每个节点都必须携带能**逐字节
+ * 切回原文**的 span，否则「文本片段 ↔ IR 节点」这条链在第一步就断了。
+ *
+ * 故本模块**不做任何文本改写**——不 trim、不规范化、不转义。节点只记
+ * 「这段文本在哪里、是什么结构角色」，内容永远从原文按 span 切。
+ *
+ * <p>★这条约束还带来一个可机械验证的不变式：
+ * {@link verifyCoverage} 检查所有叶子 span 拼起来是否**无重叠、无越界**。
+ * 没有它，一个错位的 span 会静默把映射指向错误的文本。
+ */
+/** 结构角色。刻意保持**小而封闭**——每多一种就多一份解析歧义。 */
+export type SectionKind = 
+/** 整篇文档。 */
+'DOCUMENT'
+/** 标题及其管辖范围（`#`..`######`）。 */
+ | 'HEADING'
+/** 普通段落。 */
+ | 'PARAGRAPH'
+/** 列表项（`-` / `*` / `1.`）。 */
+ | 'LIST_ITEM'
+/** 代码块（``` 围栏）——★内容不参与语义映射，但位置要占住，否则覆盖率对不上。 */
+ | 'CODE_BLOCK';
+/**
+ * SourceIR 节点。
+ *
+ * <p>★`span` 指向**原始文档**的字符偏移；`text` 是冗余副本，便于调用方
+ * 独立核对（与 `MappingIR.CandidateMapping` 同样的设计——不依赖调用方重新切片）。
+ */
+export interface SourceNode {
+    /** 稳定标识，形如 `doc` / `doc.h[0]` / `doc.h[0].p[1]`。 */
+    readonly nodeId: string;
+    readonly kind: SectionKind;
+    readonly span: TextSpan;
+    readonly text: string;
+    /** 标题层级（1..6）；非 HEADING 为 `undefined`。 */
+    readonly level?: number;
+    readonly children: readonly SourceNode[];
+}
+/**
+ * 从 Markdown 文本推导 SourceIR。
+ *
+ * <p>★**只标结构，不改内容**。返回的每个节点都能用 `text.slice(span.start, span.end)`
+ * 逐字节切回原文——这由 {@link verifyCoverage} 机械验证。
+ *
+ * <p>选 Markdown 是因为它是本仓 Policy/SOP 的实际载体（实测
+ * `docs/p0a-signability-policy.md`：8 个标题、8 个列表项、19 个段落块）。
+ * 其他格式（docx/pdf）应当先转成 Markdown 再进本模块，而不是在这里堆解析器。
+ */
+export declare function parseSourceIr(document: string): SourceNode;
+/**
+ * 机械验证 SourceIR 的覆盖不变式。
+ *
+ * <p>检查每个节点的 `text` 是否**逐字节等于** `document.slice(span.start, span.end)`，
+ * 以及叶子节点之间**无重叠**。
+ *
+ * <p>★没有这道检查，一个错位的 span 会静默把映射指向错误的文本——不报错，
+ * 只是双向导航跳到别处。这与 `MappingIR` 里「span 与 text 必须自洽」同源。
+ *
+ * @returns 违规列表；空数组表示通过
+ */
+export declare function verifyCoverage(root: SourceNode, document: string): string[];
+/** 找出包含某个字符偏移的**最深**节点——「点击原文 → 定位结构」的基础。 */
+export declare function nodeAtOffset(root: SourceNode, offset: number): SourceNode | undefined;
+//# sourceMappingURL=source-ir.d.ts.map

package/dist/src/mapping/source-ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-ir.d.ts","sourceRoot":"","sources":["../../../src/mapping/source-ir.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,uCAAuC;AACvC,MAAM,MAAM,WAAW;AACrB,YAAY;AACV,UAAU;AACZ,+BAA+B;GAC7B,SAAS;AACX,YAAY;GACV,WAAW;AACb,6BAA6B;GAC3B,WAAW;AACb,+CAA+C;GAC7C,YAAY,CAAC;AAEjB;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,oDAAoD;IACpD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0CAA0C;IAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;CAC1C;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CA6C1D;AAmBD;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CA4C3E;AAED,6CAA6C;AAC7C,wBAAgB,YAAY,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAOrF"}

package/dist/src/mapping/source-ir.js

@@ -0,0 +1,231 @@
+/**
+ * 从 Markdown 文本推导 SourceIR。
+ *
+ * <p>★**只标结构，不改内容**。返回的每个节点都能用 `text.slice(span.start, span.end)`
+ * 逐字节切回原文——这由 {@link verifyCoverage} 机械验证。
+ *
+ * <p>选 Markdown 是因为它是本仓 Policy/SOP 的实际载体（实测
+ * `docs/p0a-signability-policy.md`：8 个标题、8 个列表项、19 个段落块）。
+ * 其他格式（docx/pdf）应当先转成 Markdown 再进本模块，而不是在这里堆解析器。
+ */
+export function parseSourceIr(document) {
+    // ★`text` 在 span 扩展后必须重算，否则 text 与 span 不再自洽（verifyCoverage 会抓）。
+    const blocks = splitBlocks(document);
+    const root = {
+        nodeId: 'doc', kind: 'DOCUMENT',
+        span: { start: 0, end: document.length },
+        text: document, children: [],
+    };
+    // 标题栈：栈顶是当前生效的最深标题。遇到同级或更浅的标题就出栈。
+    const stack = [];
+    const counters = new Map();
+    for (const block of blocks) {
+        const parent = stack.length > 0 ? stack[stack.length - 1].node : root;
+        const heading = matchHeading(block.text);
+        if (heading !== undefined) {
+            while (stack.length > 0 && stack[stack.length - 1].level >= heading.level) {
+                stack.pop();
+            }
+            const host = stack.length > 0 ? stack[stack.length - 1].node : root;
+            const node = {
+                nodeId: nextId(counters, host.nodeId, 'h'),
+                kind: 'HEADING', span: block.span, text: block.text,
+                level: heading.level, children: [],
+            };
+            host.children.push(node);
+            stack.push({ level: heading.level, node });
+            continue;
+        }
+        const kind = classify(block.text);
+        parent.children.push({
+            nodeId: nextId(counters, parent.nodeId, prefixOf(kind)),
+            kind, span: block.span, text: block.text, children: [],
+        });
+    }
+    // ★HEADING 的 span 必须**覆盖其管辖范围**，而不只是标题那一行。
+    //   否则父子 span 不满足包含关系：`doc.h[0]` = [0,8) 而其子段落 = [17,42)，
+    //   `nodeAtOffset` 无法从父下降到子，「点击原文 → 定位结构」直接失效。
+    //   实测踩过：查 `$10,000` 的所在节点返回 DOCUMENT 而非那个段落。
+    extendHeadingSpans(root, document.length);
+    return freeze(root, document);
+}
+/**
+ * 把每个 HEADING 的 `span.end` 扩展到它最后一个后代的结尾。
+ *
+ * <p>★这使 span 树满足**包含不变式**（父覆盖子），这是 {@link nodeAtOffset}
+ * 能逐层下降的前提，也是 {@link verifyCoverage} 现在会检查的一条。
+ *
+ * <p>`text` 同步扩展——`text` 必须始终等于 `document.slice(span)`。
+ */
+function extendHeadingSpans(node, docLength) {
+    node.children.forEach(c => extendHeadingSpans(c, docLength));
+    if (node.kind !== 'HEADING' || node.children.length === 0)
+        return;
+    const lastEnd = Math.max(...node.children.map(c => c.span.end));
+    if (lastEnd > node.span.end) {
+        node.span = { start: node.span.start, end: lastEnd };
+    }
+}
+/**
+ * 机械验证 SourceIR 的覆盖不变式。
+ *
+ * <p>检查每个节点的 `text` 是否**逐字节等于** `document.slice(span.start, span.end)`，
+ * 以及叶子节点之间**无重叠**。
+ *
+ * <p>★没有这道检查，一个错位的 span 会静默把映射指向错误的文本——不报错，
+ * 只是双向导航跳到别处。这与 `MappingIR` 里「span 与 text 必须自洽」同源。
+ *
+ * @returns 违规列表；空数组表示通过
+ */
+export function verifyCoverage(root, document) {
+    const problems = [];
+    const leaves = [];
+    (function walk(n) {
+        const slice = document.slice(n.span.start, n.span.end);
+        if (slice !== n.text) {
+            problems.push(`${n.nodeId}: text 与 span 切片不符 —— span=[${n.span.start},${n.span.end}) `
+                + `切片 ${JSON.stringify(slice.slice(0, 30))} vs text ${JSON.stringify(n.text.slice(0, 30))}`);
+        }
+        if (n.span.start < 0 || n.span.end > document.length || n.span.end < n.span.start) {
+            problems.push(`${n.nodeId}: span 越界或倒置 [${n.span.start},${n.span.end})`);
+        }
+        if (n.children.length === 0) {
+            leaves.push(n);
+        }
+        else {
+            // ★包含不变式：父的 span 必须覆盖每个子。
+            //   没有这条，`doc.h[0]`=[0,8) 而其子段落=[17,42) 这种「子在父之外」
+            //   的树能悄悄通过——`nodeAtOffset` 无法下降，「点击原文→定位结构」
+            //   静默失效。实测踩过：查 $10,000 返回 DOCUMENT 而非那个段落。
+            for (const c of n.children) {
+                if (c.span.start < n.span.start || c.span.end > n.span.end) {
+                    problems.push(`${c.nodeId} 不被父 ${n.nodeId} 包含：子 [${c.span.start},${c.span.end}) `
+                        + `父 [${n.span.start},${n.span.end})`);
+                }
+            }
+            n.children.forEach(walk);
+        }
+    })(root);
+    // 叶子按起点排序后，相邻两个不得重叠。
+    const sorted = [...leaves].sort((a, b) => a.span.start - b.span.start);
+    for (let i = 1; i < sorted.length; i++) {
+        const prev = sorted[i - 1];
+        const cur = sorted[i];
+        if (cur.span.start < prev.span.end) {
+            problems.push(`叶子 span 重叠：${prev.nodeId} [${prev.span.start},${prev.span.end}) `
+                + `与 ${cur.nodeId} [${cur.span.start},${cur.span.end})`);
+        }
+    }
+    return problems;
+}
+/** 找出包含某个字符偏移的**最深**节点——「点击原文 → 定位结构」的基础。 */
+export function nodeAtOffset(root, offset) {
+    if (offset < root.span.start || offset >= root.span.end)
+        return undefined;
+    for (const child of root.children) {
+        const hit = nodeAtOffset(child, offset);
+        if (hit !== undefined)
+            return hit;
+    }
+    return root;
+}
+/**
+ * 按空行切块，并**保留每块的精确偏移**。
+ *
+ * <p>★不能用 `split(/\n\s*\n/)` 然后累加长度——分隔符长度不固定（`\n\n` vs
+ * `\n   \n`），累加会漂移。这里逐字符扫描，偏移由扫描位置直接给出。
+ *
+ * <p>围栏代码块（```）内的空行**不切**——否则一个代码块会被撕成多块，
+ * 而它的内容本就不该参与结构划分。
+ */
+function splitBlocks(doc) {
+    const blocks = [];
+    const lines = lineSpans(doc);
+    let fenced = false;
+    let cur = null;
+    const flush = () => {
+        if (cur === null)
+            return;
+        const text = doc.slice(cur.start, cur.end);
+        if (text.trim().length > 0)
+            blocks.push({ span: { ...cur }, text });
+        cur = null;
+    };
+    for (const ls of lines) {
+        const line = doc.slice(ls.start, ls.end);
+        if (/^\s*```/.test(line)) {
+            if (fenced) { // 收尾围栏：并入当前块后结束
+                if (cur !== null)
+                    cur.end = ls.end;
+                fenced = false;
+                flush();
+            }
+            else {
+                flush();
+                fenced = true;
+                cur = { start: ls.start, end: ls.end };
+            }
+            continue;
+        }
+        if (!fenced && line.trim().length === 0) {
+            flush();
+            continue;
+        }
+        if (cur === null)
+            cur = { start: ls.start, end: ls.end };
+        else
+            cur.end = ls.end;
+    }
+    flush();
+    return blocks;
+}
+/** 每行的 `[start, end)`，**不含**行尾换行（换行归入块间空隙）。 */
+function lineSpans(doc) {
+    const out = [];
+    let start = 0;
+    for (let i = 0; i <= doc.length; i++) {
+        if (i === doc.length || doc[i] === '\n') {
+            out.push({ start, end: i });
+            start = i + 1;
+        }
+    }
+    return out;
+}
+function matchHeading(text) {
+    const m = /^(#{1,6})\s+\S/.exec(text);
+    return m === null ? undefined : { level: m[1].length };
+}
+function classify(text) {
+    if (/^\s*```/.test(text))
+        return 'CODE_BLOCK';
+    if (/^\s*(?:[-*+]\s|\d+\.\s)/.test(text))
+        return 'LIST_ITEM';
+    return 'PARAGRAPH';
+}
+function prefixOf(kind) {
+    switch (kind) {
+        case 'LIST_ITEM': return 'li';
+        case 'CODE_BLOCK': return 'code';
+        default: return 'p';
+    }
+}
+/** 在**同一父节点**下按前缀递增编号——保证 nodeId 在文档内唯一且可预测。 */
+function nextId(counters, parentId, prefix) {
+    let byPrefix = counters.get(parentId);
+    if (byPrefix === undefined) {
+        byPrefix = new Map();
+        counters.set(parentId, byPrefix);
+    }
+    const n = byPrefix.get(prefix) ?? 0;
+    byPrefix.set(prefix, n + 1);
+    return `${parentId}.${prefix}[${n}]`;
+}
+function freeze(n, document) {
+    const children = n.children.map(c => freeze(c, document));
+    if (document !== undefined)
+        n.text = document.slice(n.span.start, n.span.end);
+    return n.level === undefined
+        ? { nodeId: n.nodeId, kind: n.kind, span: n.span, text: n.text, children }
+        : { nodeId: n.nodeId, kind: n.kind, span: n.span, text: n.text, level: n.level, children };
+}
+//# sourceMappingURL=source-ir.js.map

package/dist/src/mapping/source-ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-ir.js","sourceRoot":"","sources":["../../../src/mapping/source-ir.ts"],"names":[],"mappings":"AA4DA;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,QAAgB;IAC5C,iEAAiE;IACjE,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,IAAI,GAAgB;QACxB,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU;QAC/B,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,MAAM,EAAE;QACxC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE;KAC7B,CAAC;IAEF,kCAAkC;IAClC,MAAM,KAAK,GAA2C,EAAE,CAAC;IACzD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+B,CAAC;IAExD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACvE,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEzC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBAC3E,KAAK,CAAC,GAAG,EAAE,CAAC;YACd,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YACrE,MAAM,IAAI,GAAgB;gBACxB,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC1C,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI;gBACnD,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;aACnC,CAAC;YACF,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3C,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;YACnB,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE;SACvD,CAAC,CAAC;IACL,CAAC;IAED,2CAA2C;IAC3C,0DAA0D;IAC1D,+CAA+C;IAC/C,8CAA8C;IAC9C,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,kBAAkB,CAAC,IAAiB,EAAE,SAAiB;IAC9D,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAChE,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACvD,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAAC,IAAgB,EAAE,QAAgB;IAC/D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,CAAC,SAAS,IAAI,CAAC,CAAa;QAC1B,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CACX,GAAG,CAAC,CAAC,MAAM,+BAA+B,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI;kBACtE,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAClF,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,iBAAiB,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,0BAA0B;YAC1B,kDAAkD;YAClD,6CAA6C;YAC7C,4CAA4C;YAC5C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC3B,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;oBAC3D,QAAQ,CAAC,IAAI,CACX,GAAG,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI;0BACjE,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC3C,CAAC;YACH,CAAC;YACD,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAET,qBAAqB;IACrB,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CACX,cAAc,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI;kBAChE,KAAK,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,YAAY,CAAC,IAAgB,EAAE,MAAc;IAC3D,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC1E,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxC,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC;IACpC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAeD;;;;;;;;GAQG;AACH,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,GAAG,GAA0C,IAAI,CAAC;IAEtD,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO;QACzB,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACpE,GAAG,GAAG,IAAI,CAAC;IACb,CAAC,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,IAAI,MAAM,EAAE,CAAC,CAAC,gBAAgB;gBAC5B,IAAI,GAAG,KAAK,IAAI;oBAAE,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC;gBACnC,MAAM,GAAG,KAAK,CAAC;gBACf,KAAK,EAAE,CAAC;YACV,CAAC;iBAAM,CAAC;gBACN,KAAK,EAAE,CAAC;gBACR,MAAM,GAAG,IAAI,CAAC;gBACd,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;YACzC,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAAC,KAAK,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QAC/D,IAAI,GAAG,KAAK,IAAI;YAAE,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;;YACpD,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC;IACxB,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,+CAA+C;AAC/C,SAAS,SAAS,CAAC,GAAW;IAC5B,MAAM,GAAG,GAAqC,EAAE,CAAC;IACjD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,KAAK,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACxC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5B,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,YAAY,CAAC;IAC9C,IAAI,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC;IAC7D,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAiB;IACjC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,WAAW,CAAC,CAAC,OAAO,IAAI,CAAC;QAC9B,KAAK,YAAY,CAAC,CAAC,OAAO,MAAM,CAAC;QACjC,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC;IACtB,CAAC;AACH,CAAC;AAED,gDAAgD;AAChD,SAAS,MAAM,CAAC,QAA0C,EAAE,QAAgB,EAAE,MAAc;IAC1F,IAAI,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAAC,CAAC;IACvF,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,OAAO,GAAG,QAAQ,IAAI,MAAM,IAAI,CAAC,GAAG,CAAC;AACvC,CAAC;AAED,SAAS,MAAM,CAAC,CAAc,EAAE,QAAiB;IAC/C,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1D,IAAI,QAAQ,KAAK,SAAS;QAAE,CAAC,CAAC,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9E,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS;QAC1B,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE;QAC1E,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC/F,CAAC"}