@tiangong-lca/pcr 0.3.1 → 0.4.0

package/packages/pcr-core/src/compiler/normative-projection.js

@@ -0,0 +1,276 @@
+import { createHash } from 'node:crypto';
+import { compileMarkdownSourceDocument, contextForSpan, sectionForSpan, } from './source-context.js';
+/** Errors retain both offending authored positions; identifiers are unique only
+ * within their legacy family, and fallback identities belong to this snapshot. */
+export class NormativeProjectionError extends Error {
+    code;
+    family;
+    rule_id;
+    source_spans;
+    constructor(code, family, ruleId, spans) {
+        const locations = spans.map(span => `${span.start.line}:${span.start.column}`).join(' and ');
+        super(`${code}: ${family} rule ${JSON.stringify(ruleId)} at ${locations}; author distinct non-empty explicit rule IDs.`);
+        this.name = 'NormativeProjectionError';
+        this.code = code;
+        this.family = family;
+        this.rule_id = ruleId;
+        this.source_spans = spans;
+    }
+}
+function stripInlineCode(value) {
+    return value.replace(/`([^`]+)`/gu, '$1').trim();
+}
+function display(value) {
+    return stripInlineCode(value).replace(/\s+/gu, ' ').trim();
+}
+function normalizeId(value) {
+    return value.normalize('NFKD').replace(/[\u0300-\u036f]/gu, '').toLowerCase()
+        .replace(/&/gu, ' and ').replace(/[^a-z0-9]+/gu, '_').replace(/^_+|_+$/gu, '');
+}
+function normalizeHeader(value) {
+    const raw = stripInlineCode(value).toLowerCase();
+    const localized = {
+        '规则编号': 'rule_id', '适用对象': 'applies_to', '适用于': 'applies_to',
+        '规则': 'rule', '要求': 'rule', '来源': 'source_ids',
+    };
+    return localized[raw] ?? raw.replace(/[^a-z0-9]+/gu, '_').replace(/^_+|_+$/gu, '');
+}
+function sourceIds(value) {
+    const codes = value.match(/`([^`]+)`/gu) ?? [];
+    return codes.length > 0 ? codes.map(code => code.slice(1, -1).trim()).filter(Boolean)
+        : stripInlineCode(value).split(/[,;]/u).map(entry => entry.trim()).filter(Boolean);
+}
+function headingText(node) {
+    if ('value' in node)
+        return node.value;
+    if ('children' in node)
+        return node.children.map(headingText).join('');
+    return '';
+}
+function sectionFamily(title) {
+    const name = title.toLowerCase();
+    // Preserve legacy section-classification precedence where titles overlap.
+    if (['product category identity', '产品类别识别', 'reference flow', 'functional unit', '参考流', '功能单位'].some(alias => name.includes(alias)))
+        return null;
+    if (['system boundary', '系统边界', 'cut-off rules', 'cutoff rules', '截断规则'].some(alias => name.includes(alias)))
+        return 'system_boundary';
+    if (['allocation', '分配'].some(alias => name.includes(alias)))
+        return 'allocation';
+    if (['validation rules', '验证规则', '校验规则'].some(alias => name.includes(alias)))
+        return 'validation';
+    return null;
+}
+const familyOptions = {
+    system_boundary: { appliesTo: 'foreground_system_boundary', pointer: '/system_boundary/rules' },
+    allocation: { appliesTo: 'foreground_burden_allocation', pointer: '/allocation_rules' },
+    validation: { appliesTo: 'foreground_dataset_conformance', pointer: '/validation_rules' },
+};
+/** Project only the three reviewed legacy families. Source association is structural:
+ * whole actual H2 sections remain exact, including preambles and following notes.
+ * Exact ancestor preambles remain separately bound without copying unrelated
+ * sections; extraction and identity remain scoped to the original H2.
+ * The flattened display strings make no assertion of scientific applicability. */
+export function compileNormativeProjection(markdown) {
+    const { index, tree } = compileMarkdownSourceDocument(markdown);
+    const source = index.source;
+    const arrays = { system_boundary: [], allocation: [], validation: [] };
+    const authoredIds = {
+        system_boundary: new Map(), allocation: new Map(), validation: new Map(),
+    };
+    const pending = [];
+    const units = [];
+    const bindings = [];
+    const diagnostics = [];
+    const diagnosticKeys = new Set();
+    let active = null;
+    let ancestorHeading = null;
+    let hasAncestorPreamble = false;
+    let ancestorHasH2 = false;
+    let hasDocumentPreamble = false;
+    let documentHasScopeHeading = false;
+    let documentPreamble = null;
+    let ancestorPreamble = null;
+    function selection(node) {
+        const startOffset = node.position?.start.offset;
+        const endOffset = node.position?.end.offset;
+        if (startOffset === undefined || endOffset === undefined)
+            throw new Error('Markdown parser omitted a normative source position');
+        return { startOffset, endOffset };
+    }
+    function raw(node) {
+        const span = selection(node);
+        return source.slice(span.startOffset, span.endOffset);
+    }
+    function span(node) {
+        return contextForSpan(index, selection(node)).selected.span;
+    }
+    function preamble(startOffset, endOffset) {
+        const selected = contextForSpan(index, { startOffset, endOffset }).selected;
+        return { span: selected.span, markdown: selected.text };
+    }
+    function diagnose(unit, node, code, message) {
+        const sourceSpan = span(node);
+        const key = `${code}:${sourceSpan.start.offset}:${sourceSpan.end.offset}`;
+        if (diagnosticKeys.has(key))
+            return;
+        diagnosticKeys.add(key);
+        diagnostics.push({ code, message, unit_id: unit.unit_id, source_span: sourceSpan });
+    }
+    function add(unit, node, rule, explicit = '', appliesTo = '', sources = []) {
+        if (!rule)
+            return;
+        const family = unit.family;
+        const sourceSpan = span(node);
+        const explicitId = normalizeId(explicit);
+        if (explicit.trim() && !explicitId)
+            throw new NormativeProjectionError('INVALID_EXPLICIT_RULE_ID', family, explicit, [sourceSpan]);
+        if (explicitId) {
+            const previous = authoredIds[family].get(explicitId);
+            if (previous)
+                throw new NormativeProjectionError('DUPLICATE_NORMATIVE_RULE_ID', family, explicitId, [previous, sourceSpan]);
+            authoredIds[family].set(explicitId, sourceSpan);
+        }
+        pending.push({ unit, node, rule, explicitId, appliesTo, sources, sourceSpan });
+        const local = contextForSpan(index, selection(node));
+        for (const diagnostic of local.diagnostics) {
+            if (diagnostic.code === 'AMBIGUOUS_PROSE_ATTACHMENT')
+                diagnose(unit, node, diagnostic.code, diagnostic.message);
+        }
+    }
+    function flattenItem(unit, node) {
+        if (node.type === 'paragraph')
+            return [raw(node)];
+        if (node.type === 'list' || node.type === 'listItem')
+            return node.children.flatMap(child => flattenItem(unit, child));
+        diagnose(unit, node, 'UNSUPPORTED_NORMATIVE_BLOCK', `Unsupported ${node.type} inside a rule item is retained in its complete H2 source; its content is not inferred as a flat rule.`);
+        return [];
+    }
+    function cellText(cell) {
+        const first = cell.children[0];
+        const last = cell.children.at(-1);
+        if (!first || !last)
+            return '';
+        return source.slice(selection(first).startOffset, selection(last).endOffset);
+    }
+    function projectTable(unit, node) {
+        const header = node.children[0];
+        const headers = new Map(header?.children.map((cell, position) => [normalizeHeader(cellText(cell)), position]) ?? []);
+        if (!headers.has('rule') && !headers.has('requirement')) {
+            diagnose(unit, node, 'NON_RULE_TABLE', 'Table has no rule or requirement column; complete H2 source retained without inferring normative rows.');
+            return;
+        }
+        for (const row of node.children.slice(1)) {
+            function cell(names) {
+                for (const name of names) {
+                    const position = headers.get(name);
+                    if (position !== undefined) {
+                        const value = row.children[position];
+                        return value ? cellText(value).trim() : '';
+                    }
+                }
+                return '';
+            }
+            const rule = stripInlineCode(cell(['rule', 'requirement']));
+            if (!rule) {
+                diagnose(unit, row, 'UNSUPPORTED_NORMATIVE_BLOCK', 'Empty normative rule cell is retained in complete H2 source without creating a flat rule.');
+                continue;
+            }
+            add(unit, row, rule, cell(['rule_id', 'requirement_id', 'id']), stripInlineCode(cell(['applies_to', 'scope'])), sourceIds(cell(['source_ids', 'sources'])));
+        }
+    }
+    for (let position = 0; position < tree.children.length; position += 1) {
+        const node = tree.children[position];
+        if (!node)
+            continue;
+        if (node.type === 'heading' && node.depth <= 2) {
+            if (!documentHasScopeHeading && hasDocumentPreamble) {
+                documentPreamble = preamble(0, selection(node).startOffset);
+            }
+            documentHasScopeHeading = true;
+            active = null;
+            if (node.depth === 1) {
+                ancestorHeading = node;
+                hasAncestorPreamble = false;
+                ancestorHasH2 = false;
+                ancestorPreamble = null;
+                continue;
+            }
+            if (!ancestorHasH2 && ancestorHeading && hasAncestorPreamble) {
+                ancestorPreamble = preamble(selection(ancestorHeading).startOffset, selection(node).startOffset);
+            }
+            ancestorHasH2 = true;
+            const family = sectionFamily(headingText(node));
+            if (!family)
+                continue;
+            const selected = selection(node);
+            const h2Section = sectionForSpan(index, selected, 2);
+            const ancestorContext = [documentPreamble, ancestorPreamble].filter((entry) => entry !== null);
+            active = { unit_id: `normative_${h2Section.span.start.offset}`, family, span: h2Section.span,
+                markdown: h2Section.text, headings: contextForSpan(index, selected).headings,
+                ancestor_context: ancestorContext };
+            units.push(active);
+            if (ancestorContext.length > 0) {
+                diagnose(active, node, 'AMBIGUOUS_PROSE_ATTACHMENT', 'Ancestor preamble may govern this family; exact structural ancestor source retained separately without inferring applicability. Rule extraction remains scoped to this H2.');
+            }
+            continue;
+        }
+        // Keep the first ancestor preamble in scope across all sibling H2 sections.
+        // Later H2 body blocks cannot become a preamble for the next family.
+        // Document preambles also survive sibling H1 boundaries; initial source
+        // blocks are retained conservatively rather than classified as irrelevant.
+        if (!documentHasScopeHeading && node.type !== 'heading')
+            hasDocumentPreamble = true;
+        if (!ancestorHasH2 && node.type !== 'heading')
+            hasAncestorPreamble = true;
+        if (!active)
+            continue;
+        if (node.type === 'heading')
+            continue;
+        if (node.type === 'paragraph') {
+            const next = tree.children[position + 1];
+            const introduces = /[:：]$/u.test(raw(node).trim()) && (next?.type === 'list' || next?.type === 'table');
+            if (!introduces)
+                add(active, node, display(raw(node)));
+        }
+        else if (node.type === 'list') {
+            for (const item of node.children)
+                add(active, item, display(flattenItem(active, item).join(' ')));
+        }
+        else if (node.type === 'table')
+            projectTable(active, node);
+        else
+            diagnose(active, node, 'UNSUPPORTED_NORMATIVE_BLOCK', `Unsupported ${node.type} is retained in complete H2 source; no flat normative rule is inferred.`);
+    }
+    // Reserve every authored identity before allocating snapshot-local IDs. This
+    // preserves explicit IDs regardless of whether their table precedes the prose.
+    const assignedIds = {
+        system_boundary: new Set(authoredIds.system_boundary.keys()),
+        allocation: new Set(authoredIds.allocation.keys()),
+        validation: new Set(authoredIds.validation.keys()),
+    };
+    for (const entry of pending) {
+        const { unit, node, rule, explicitId, appliesTo, sources, sourceSpan } = entry;
+        const family = unit.family;
+        const output = arrays[family];
+        const candidate = `${family}_rule_${output.length + 1}`;
+        let ruleId = explicitId || candidate;
+        if (!explicitId && assignedIds[family].has(ruleId)) {
+            ruleId = `${candidate}_snapshot`;
+            let suffix = 2;
+            while (assignedIds[family].has(ruleId)) {
+                ruleId = `${candidate}_snapshot_${suffix}`;
+                suffix += 1;
+            }
+            diagnose(unit, node, 'SNAPSHOT_RULE_ID_DISAMBIGUATED', `Snapshot-local candidate ${JSON.stringify(candidate)} was disambiguated to ${JSON.stringify(ruleId)}; authored explicit ID ${JSON.stringify(candidate)} and all other authored explicit IDs remain unchanged.`);
+        }
+        assignedIds[family].add(ruleId);
+        bindings.push({ pointer: `${familyOptions[family].pointer}/${output.length}`, rule_id: ruleId,
+            identity_kind: explicitId ? 'explicit' : 'snapshot_local', unit_id: unit.unit_id, source_span: sourceSpan });
+        output.push({ rule_id: ruleId, applies_to: appliesTo || familyOptions[family].appliesTo, rule, source_ids: sources });
+    }
+    return { systemBoundaryRules: arrays.system_boundary, allocationRules: arrays.allocation,
+        validationRules: arrays.validation, context: { normalization: index.normalization,
+            source_sha256: `sha256:${createHash('sha256').update(source, 'utf8').digest('hex')}`,
+            identity_scope: 'projection_snapshot', units, bindings, diagnostics } };
+}
+//# sourceMappingURL=normative-projection.js.map

package/packages/pcr-core/src/compiler/normative-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normative-projection.js","sourceRoot":"pcr://source/","sources":["packages/pcr-core/src/compiler/normative-projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EACL,6BAA6B,EAAE,cAAc,EAAE,cAAc,GAE9D,MAAM,qBAAqB,CAAC;AAmD7B;kFACkF;AAClF,MAAM,OAAO,wBAAyB,SAAQ,KAAK;IACxC,IAAI,CAA6D;IACjE,MAAM,CAAkB;IACxB,OAAO,CAAS;IAChB,YAAY,CAAwB;IAC7C,YAAY,IAAsC,EAAE,MAAuB,EAAE,MAAc,EAAE,KAA4B;QACvH,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7F,KAAK,CAAC,GAAG,IAAI,KAAK,MAAM,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,SAAS,gDAAgD,CAAC,CAAC;QACzH,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;IAC5B,CAAC;CACF;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,OAAO,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AACnD,CAAC;AACD,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7D,CAAC;AACD,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE;SAC1E,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AACnF,CAAC;AACD,SAAS,eAAe,CAAC,KAAa;IACpC,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IACjD,MAAM,SAAS,GAAqC;QAClD,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY;QAC5D,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY;KAC/C,CAAC;IACF,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AACrF,CAAC;AACD,SAAS,SAAS,CAAC,KAAa;IAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;IAC/C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QACnF,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACvF,CAAC;AACD,SAAS,WAAW,CAAC,IAAW;IAC9B,IAAI,OAAO,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IACvC,IAAI,UAAU,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvE,OAAO,EAAE,CAAC;AACZ,CAAC;AACD,SAAS,aAAa,CAAC,KAAa;IAClC,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACjC,0EAA0E;IAC1E,IAAI,CAAC,2BAA2B,EAAE,QAAQ,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACjJ,IAAI,CAAC,iBAAiB,EAAE,MAAM,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,iBAAiB,CAAC;IACvI,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,YAAY,CAAC;IAClF,IAAI,CAAC,kBAAkB,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,YAAY,CAAC;IAClG,OAAO,IAAI,CAAC;AACd,CAAC;AACD,MAAM,aAAa,GAAG;IACpB,eAAe,EAAE,EAAE,SAAS,EAAE,4BAA4B,EAAE,OAAO,EAAE,wBAAwB,EAAE;IAC/F,UAAU,EAAE,EAAE,SAAS,EAAE,8BAA8B,EAAE,OAAO,EAAE,mBAAmB,EAAE;IACvF,UAAU,EAAE,EAAE,SAAS,EAAE,gCAAgC,EAAE,OAAO,EAAE,mBAAmB,EAAE;CAChB,CAAC;AAE5E;;;;kFAIkF;AAClF,MAAM,UAAU,0BAA0B,CAAC,QAAgB;IACzD,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,6BAA6B,CAAC,QAAQ,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,MAAM,MAAM,GAA6C,EAAE,eAAe,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACjH,MAAM,WAAW,GAAqD;QACpE,eAAe,EAAE,IAAI,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE;KACzE,CAAC;IACF,MAAM,OAAO,GAA2I,EAAE,CAAC;IAC3J,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,WAAW,GAA0B,EAAE,CAAC;IAC9C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,IAAI,MAAM,GAAyB,IAAI,CAAC;IACxC,IAAI,eAAe,GAAiB,IAAI,CAAC;IACzC,IAAI,mBAAmB,GAAG,KAAK,CAAC;IAChC,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,mBAAmB,GAAG,KAAK,CAAC;IAChC,IAAI,uBAAuB,GAAG,KAAK,CAAC;IACpC,IAAI,gBAAgB,GAAoC,IAAI,CAAC;IAC7D,IAAI,gBAAgB,GAAoC,IAAI,CAAC;IAE7D,SAAS,SAAS,CAAC,IAAW;QAC5B,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;QAChD,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC;QAC5C,IAAI,WAAW,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACjI,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;IACpC,CAAC;IACD,SAAS,GAAG,CAAC,IAAW;QACtB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACxD,CAAC;IACD,SAAS,IAAI,CAAC,IAAW;QACvB,OAAO,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC9D,CAAC;IACD,SAAS,QAAQ,CAAC,WAAmB,EAAE,SAAiB;QACtD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC;QAC5E,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1D,CAAC;IACD,SAAS,QAAQ,CAAC,IAAmB,EAAE,IAAW,EAAE,IAAiC,EAAE,OAAe;QACpG,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;QAC1E,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QACpC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,SAAS,GAAG,CAAC,IAAmB,EAAE,IAAW,EAAE,IAAY,EAAE,QAAQ,GAAG,EAAE,EAAE,SAAS,GAAG,EAAE,EAAE,OAAO,GAAa,EAAE;QAChH,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,wBAAwB,CAAC,0BAA0B,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QACnI,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACrD,IAAI,QAAQ;gBAAE,MAAM,IAAI,wBAAwB,CAAC,6BAA6B,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;YAC5H,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QACrD,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3C,IAAI,UAAU,CAAC,IAAI,KAAK,4BAA4B;gBAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;QAClH,CAAC;IACH,CAAC;IACD,SAAS,WAAW,CAAC,IAAmB,EAAE,IAAW;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAClD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACtH,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,6BAA6B,EAAE,eAAe,IAAI,CAAC,IAAI,wGAAwG,CAAC,CAAC;QACtL,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,SAAS,QAAQ,CAAC,IAAe;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC;IAC/E,CAAC;IACD,SAAS,YAAY,CAAC,IAAmB,EAAE,IAAW;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACrH,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;YACxD,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE,wGAAwG,CAAC,CAAC;YACjJ,OAAO;QACT,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,SAAS,IAAI,CAAC,KAAwB;gBACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACnC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;wBACrC,OAAO,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7C,CAAC;gBACH,CAAC;gBACD,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;YAC5D,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,6BAA6B,EAAE,2FAA2F,CAAC,CAAC;gBAChJ,SAAS;YACX,CAAC;YACD,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,SAAS,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9J,CAAC;IACH,CAAC;IACD,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,IAAI,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,uBAAuB,IAAI,mBAAmB,EAAE,CAAC;gBACpD,gBAAgB,GAAG,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC;YAC9D,CAAC;YACD,uBAAuB,GAAG,IAAI,CAAC;YAC/B,MAAM,GAAG,IAAI,CAAC;YACd,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;gBACrB,eAAe,GAAG,IAAI,CAAC;gBACvB,mBAAmB,GAAG,KAAK,CAAC;gBAC5B,aAAa,GAAG,KAAK,CAAC;gBACtB,gBAAgB,GAAG,IAAI,CAAC;gBACxB,SAAS;YACX,CAAC;YACD,IAAI,CAAC,aAAa,IAAI,eAAe,IAAI,mBAAmB,EAAE,CAAC;gBAC7D,gBAAgB,GAAG,QAAQ,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC;YACnG,CAAC;YACD,aAAa,GAAG,IAAI,CAAC;YACrB,MAAM,MAAM,GAAG,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YAChD,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;YACrD,MAAM,eAAe,GAAG,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAqC,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;YAClI,MAAM,GAAG,EAAE,OAAO,EAAE,aAAa,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI;gBAC1F,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,QAAQ;gBAC5E,gBAAgB,EAAE,eAAe,EAAE,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC/B,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,4BAA4B,EACjD,4KAA4K,CAAC,CAAC;YAClL,CAAC;YACD,SAAS;QACX,CAAC;QACD,4EAA4E;QAC5E,qEAAqE;QACrE,wEAAwE;QACxE,2EAA2E;QAC3E,IAAI,CAAC,uBAAuB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,mBAAmB,GAAG,IAAI,CAAC;QACpF,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,mBAAmB,GAAG,IAAI,CAAC;QAC1E,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;YACzC,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC;YACxG,IAAI,CAAC,UAAU;gBAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAChC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ;gBAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpG,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;;YACxD,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,6BAA6B,EAAE,eAAe,IAAI,CAAC,IAAI,yEAAyE,CAAC,CAAC;IAChK,CAAC;IACD,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,WAAW,GAAyC;QACxD,eAAe,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;QAC5D,UAAU,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAClD,UAAU,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;KACnD,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;QAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,SAAS,GAAG,GAAG,MAAM,SAAS,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,IAAI,MAAM,GAAG,UAAU,IAAI,SAAS,CAAC;QACrC,IAAI,CAAC,UAAU,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACnD,MAAM,GAAG,GAAG,SAAS,WAAW,CAAC;YACjC,IAAI,MAAM,GAAG,CAAC,CAAC;YACf,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvC,MAAM,GAAG,GAAG,SAAS,aAAa,MAAM,EAAE,CAAC;gBAC3C,MAAM,IAAI,CAAC,CAAC;YACd,CAAC;YACD,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,gCAAgC,EACnD,4BAA4B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,yBAAyB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,0BAA0B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,wDAAwD,CAAC,CAAC;QACrN,CAAC;QACD,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM;YAC3F,aAAa,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC;QAC/G,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;IACxH,CAAC;IACD,OAAO,EAAE,mBAAmB,EAAE,MAAM,CAAC,eAAe,EAAE,eAAe,EAAE,MAAM,CAAC,UAAU;QACtF,eAAe,EAAE,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa;YAC/E,aAAa,EAAE,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YACpF,cAAc,EAAE,qBAAqB,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,CAAC;AAC9E,CAAC","sourcesContent":["import { createHash } from 'node:crypto';\nimport type { Nodes, Table, TableCell } from 'mdast';\nimport {\n  compileMarkdownSourceDocument, contextForSpan, sectionForSpan,\n  type SourceHeading, type SourceSpan,\n} from './source-context.ts';\n\nexport type NormativeFamily = 'system_boundary' | 'allocation' | 'validation';\nexport interface NormativeRule {\n  rule_id: string;\n  applies_to: string;\n  rule: string;\n  source_ids: string[];\n}\nexport interface NormativeAncestorContext {\n  readonly span: SourceSpan;\n  readonly markdown: string;\n}\nexport interface NormativeUnit {\n  readonly unit_id: string;\n  readonly family: NormativeFamily;\n  readonly span: SourceSpan;\n  readonly markdown: string;\n  readonly headings: readonly SourceHeading[];\n  /** Exact document/H1 preambles in outer-to-inner structural order. Their\n   * semantic applicability is not inferred; H2 source remains separately bounded. */\n  readonly ancestor_context: readonly NormativeAncestorContext[];\n}\nexport interface NormativeBinding {\n  readonly pointer: string;\n  readonly rule_id: string;\n  readonly identity_kind: 'explicit' | 'snapshot_local';\n  readonly unit_id: string;\n  readonly source_span: SourceSpan;\n}\nexport interface NormativeDiagnostic {\n  readonly code: 'UNSUPPORTED_NORMATIVE_BLOCK' | 'NON_RULE_TABLE' | 'AMBIGUOUS_PROSE_ATTACHMENT' | 'SNAPSHOT_RULE_ID_DISAMBIGUATED';\n  readonly message: string;\n  readonly unit_id: string;\n  readonly source_span: SourceSpan;\n}\nexport interface NormativeProjectionContext {\n  readonly normalization: 'utf8-lf-v1';\n  readonly source_sha256: string;\n  readonly identity_scope: 'projection_snapshot';\n  readonly units: readonly NormativeUnit[];\n  readonly bindings: readonly NormativeBinding[];\n  readonly diagnostics: readonly NormativeDiagnostic[];\n}\nexport interface NormativeProjection {\n  readonly systemBoundaryRules: NormativeRule[];\n  readonly allocationRules: NormativeRule[];\n  readonly validationRules: NormativeRule[];\n  readonly context: NormativeProjectionContext;\n}\n\n/** Errors retain both offending authored positions; identifiers are unique only\n * within their legacy family, and fallback identities belong to this snapshot. */\nexport class NormativeProjectionError extends Error {\n  readonly code: 'DUPLICATE_NORMATIVE_RULE_ID' | 'INVALID_EXPLICIT_RULE_ID';\n  readonly family: NormativeFamily;\n  readonly rule_id: string;\n  readonly source_spans: readonly SourceSpan[];\n  constructor(code: NormativeProjectionError['code'], family: NormativeFamily, ruleId: string, spans: readonly SourceSpan[]) {\n    const locations = spans.map(span => `${span.start.line}:${span.start.column}`).join(' and ');\n    super(`${code}: ${family} rule ${JSON.stringify(ruleId)} at ${locations}; author distinct non-empty explicit rule IDs.`);\n    this.name = 'NormativeProjectionError';\n    this.code = code;\n    this.family = family;\n    this.rule_id = ruleId;\n    this.source_spans = spans;\n  }\n}\n\nfunction stripInlineCode(value: string): string {\n  return value.replace(/`([^`]+)`/gu, '$1').trim();\n}\nfunction display(value: string): string {\n  return stripInlineCode(value).replace(/\\s+/gu, ' ').trim();\n}\nfunction normalizeId(value: string): string {\n  return value.normalize('NFKD').replace(/[\\u0300-\\u036f]/gu, '').toLowerCase()\n    .replace(/&/gu, ' and ').replace(/[^a-z0-9]+/gu, '_').replace(/^_+|_+$/gu, '');\n}\nfunction normalizeHeader(value: string): string {\n  const raw = stripInlineCode(value).toLowerCase();\n  const localized: Readonly<Record<string, string>> = {\n    '规则编号': 'rule_id', '适用对象': 'applies_to', '适用于': 'applies_to',\n    '规则': 'rule', '要求': 'rule', '来源': 'source_ids',\n  };\n  return localized[raw] ?? raw.replace(/[^a-z0-9]+/gu, '_').replace(/^_+|_+$/gu, '');\n}\nfunction sourceIds(value: string): string[] {\n  const codes = value.match(/`([^`]+)`/gu) ?? [];\n  return codes.length > 0 ? codes.map(code => code.slice(1, -1).trim()).filter(Boolean)\n    : stripInlineCode(value).split(/[,;]/u).map(entry => entry.trim()).filter(Boolean);\n}\nfunction headingText(node: Nodes): string {\n  if ('value' in node) return node.value;\n  if ('children' in node) return node.children.map(headingText).join('');\n  return '';\n}\nfunction sectionFamily(title: string): NormativeFamily | null {\n  const name = title.toLowerCase();\n  // Preserve legacy section-classification precedence where titles overlap.\n  if (['product category identity', '产品类别识别', 'reference flow', 'functional unit', '参考流', '功能单位'].some(alias => name.includes(alias))) return null;\n  if (['system boundary', '系统边界', 'cut-off rules', 'cutoff rules', '截断规则'].some(alias => name.includes(alias))) return 'system_boundary';\n  if (['allocation', '分配'].some(alias => name.includes(alias))) return 'allocation';\n  if (['validation rules', '验证规则', '校验规则'].some(alias => name.includes(alias))) return 'validation';\n  return null;\n}\nconst familyOptions = {\n  system_boundary: { appliesTo: 'foreground_system_boundary', pointer: '/system_boundary/rules' },\n  allocation: { appliesTo: 'foreground_burden_allocation', pointer: '/allocation_rules' },\n  validation: { appliesTo: 'foreground_dataset_conformance', pointer: '/validation_rules' },\n} satisfies Record<NormativeFamily, { appliesTo: string; pointer: string }>;\n\n/** Project only the three reviewed legacy families. Source association is structural:\n * whole actual H2 sections remain exact, including preambles and following notes.\n * Exact ancestor preambles remain separately bound without copying unrelated\n * sections; extraction and identity remain scoped to the original H2.\n * The flattened display strings make no assertion of scientific applicability. */\nexport function compileNormativeProjection(markdown: string): NormativeProjection {\n  const { index, tree } = compileMarkdownSourceDocument(markdown);\n  const source = index.source;\n  const arrays: Record<NormativeFamily, NormativeRule[]> = { system_boundary: [], allocation: [], validation: [] };\n  const authoredIds: Record<NormativeFamily, Map<string, SourceSpan>> = {\n    system_boundary: new Map(), allocation: new Map(), validation: new Map(),\n  };\n  const pending: { unit: NormativeUnit; node: Nodes; rule: string; explicitId: string; appliesTo: string; sources: string[]; sourceSpan: SourceSpan }[] = [];\n  const units: NormativeUnit[] = [];\n  const bindings: NormativeBinding[] = [];\n  const diagnostics: NormativeDiagnostic[] = [];\n  const diagnosticKeys = new Set<string>();\n  let active: NormativeUnit | null = null;\n  let ancestorHeading: Nodes | null = null;\n  let hasAncestorPreamble = false;\n  let ancestorHasH2 = false;\n  let hasDocumentPreamble = false;\n  let documentHasScopeHeading = false;\n  let documentPreamble: NormativeAncestorContext | null = null;\n  let ancestorPreamble: NormativeAncestorContext | null = null;\n\n  function selection(node: Nodes): { startOffset: number; endOffset: number } {\n    const startOffset = node.position?.start.offset;\n    const endOffset = node.position?.end.offset;\n    if (startOffset === undefined || endOffset === undefined) throw new Error('Markdown parser omitted a normative source position');\n    return { startOffset, endOffset };\n  }\n  function raw(node: Nodes): string {\n    const span = selection(node);\n    return source.slice(span.startOffset, span.endOffset);\n  }\n  function span(node: Nodes): SourceSpan {\n    return contextForSpan(index, selection(node)).selected.span;\n  }\n  function preamble(startOffset: number, endOffset: number): NormativeAncestorContext {\n    const selected = contextForSpan(index, { startOffset, endOffset }).selected;\n    return { span: selected.span, markdown: selected.text };\n  }\n  function diagnose(unit: NormativeUnit, node: Nodes, code: NormativeDiagnostic['code'], message: string): void {\n    const sourceSpan = span(node);\n    const key = `${code}:${sourceSpan.start.offset}:${sourceSpan.end.offset}`;\n    if (diagnosticKeys.has(key)) return;\n    diagnosticKeys.add(key);\n    diagnostics.push({ code, message, unit_id: unit.unit_id, source_span: sourceSpan });\n  }\n  function add(unit: NormativeUnit, node: Nodes, rule: string, explicit = '', appliesTo = '', sources: string[] = []): void {\n    if (!rule) return;\n    const family = unit.family;\n    const sourceSpan = span(node);\n    const explicitId = normalizeId(explicit);\n    if (explicit.trim() && !explicitId) throw new NormativeProjectionError('INVALID_EXPLICIT_RULE_ID', family, explicit, [sourceSpan]);\n    if (explicitId) {\n      const previous = authoredIds[family].get(explicitId);\n      if (previous) throw new NormativeProjectionError('DUPLICATE_NORMATIVE_RULE_ID', family, explicitId, [previous, sourceSpan]);\n      authoredIds[family].set(explicitId, sourceSpan);\n    }\n    pending.push({ unit, node, rule, explicitId, appliesTo, sources, sourceSpan });\n    const local = contextForSpan(index, selection(node));\n    for (const diagnostic of local.diagnostics) {\n      if (diagnostic.code === 'AMBIGUOUS_PROSE_ATTACHMENT') diagnose(unit, node, diagnostic.code, diagnostic.message);\n    }\n  }\n  function flattenItem(unit: NormativeUnit, node: Nodes): string[] {\n    if (node.type === 'paragraph') return [raw(node)];\n    if (node.type === 'list' || node.type === 'listItem') return node.children.flatMap(child => flattenItem(unit, child));\n    diagnose(unit, node, 'UNSUPPORTED_NORMATIVE_BLOCK', `Unsupported ${node.type} inside a rule item is retained in its complete H2 source; its content is not inferred as a flat rule.`);\n    return [];\n  }\n  function cellText(cell: TableCell): string {\n    const first = cell.children[0];\n    const last = cell.children.at(-1);\n    if (!first || !last) return '';\n    return source.slice(selection(first).startOffset, selection(last).endOffset);\n  }\n  function projectTable(unit: NormativeUnit, node: Table): void {\n    const header = node.children[0];\n    const headers = new Map(header?.children.map((cell, position) => [normalizeHeader(cellText(cell)), position]) ?? []);\n    if (!headers.has('rule') && !headers.has('requirement')) {\n      diagnose(unit, node, 'NON_RULE_TABLE', 'Table has no rule or requirement column; complete H2 source retained without inferring normative rows.');\n      return;\n    }\n    for (const row of node.children.slice(1)) {\n      function cell(names: readonly string[]): string {\n        for (const name of names) {\n          const position = headers.get(name);\n          if (position !== undefined) {\n            const value = row.children[position];\n            return value ? cellText(value).trim() : '';\n          }\n        }\n        return '';\n      }\n      const rule = stripInlineCode(cell(['rule', 'requirement']));\n      if (!rule) {\n        diagnose(unit, row, 'UNSUPPORTED_NORMATIVE_BLOCK', 'Empty normative rule cell is retained in complete H2 source without creating a flat rule.');\n        continue;\n      }\n      add(unit, row, rule, cell(['rule_id', 'requirement_id', 'id']), stripInlineCode(cell(['applies_to', 'scope'])), sourceIds(cell(['source_ids', 'sources'])));\n    }\n  }\n  for (let position = 0; position < tree.children.length; position += 1) {\n    const node = tree.children[position];\n    if (!node) continue;\n    if (node.type === 'heading' && node.depth <= 2) {\n      if (!documentHasScopeHeading && hasDocumentPreamble) {\n        documentPreamble = preamble(0, selection(node).startOffset);\n      }\n      documentHasScopeHeading = true;\n      active = null;\n      if (node.depth === 1) {\n        ancestorHeading = node;\n        hasAncestorPreamble = false;\n        ancestorHasH2 = false;\n        ancestorPreamble = null;\n        continue;\n      }\n      if (!ancestorHasH2 && ancestorHeading && hasAncestorPreamble) {\n        ancestorPreamble = preamble(selection(ancestorHeading).startOffset, selection(node).startOffset);\n      }\n      ancestorHasH2 = true;\n      const family = sectionFamily(headingText(node));\n      if (!family) continue;\n      const selected = selection(node);\n      const h2Section = sectionForSpan(index, selected, 2);\n      const ancestorContext = [documentPreamble, ancestorPreamble].filter((entry): entry is NormativeAncestorContext => entry !== null);\n      active = { unit_id: `normative_${h2Section.span.start.offset}`, family, span: h2Section.span,\n        markdown: h2Section.text, headings: contextForSpan(index, selected).headings,\n        ancestor_context: ancestorContext };\n      units.push(active);\n      if (ancestorContext.length > 0) {\n        diagnose(active, node, 'AMBIGUOUS_PROSE_ATTACHMENT',\n          'Ancestor preamble may govern this family; exact structural ancestor source retained separately without inferring applicability. Rule extraction remains scoped to this H2.');\n      }\n      continue;\n    }\n    // Keep the first ancestor preamble in scope across all sibling H2 sections.\n    // Later H2 body blocks cannot become a preamble for the next family.\n    // Document preambles also survive sibling H1 boundaries; initial source\n    // blocks are retained conservatively rather than classified as irrelevant.\n    if (!documentHasScopeHeading && node.type !== 'heading') hasDocumentPreamble = true;\n    if (!ancestorHasH2 && node.type !== 'heading') hasAncestorPreamble = true;\n    if (!active) continue;\n    if (node.type === 'heading') continue;\n    if (node.type === 'paragraph') {\n      const next = tree.children[position + 1];\n      const introduces = /[:：]$/u.test(raw(node).trim()) && (next?.type === 'list' || next?.type === 'table');\n      if (!introduces) add(active, node, display(raw(node)));\n    } else if (node.type === 'list') {\n      for (const item of node.children) add(active, item, display(flattenItem(active, item).join(' ')));\n    } else if (node.type === 'table') projectTable(active, node);\n    else diagnose(active, node, 'UNSUPPORTED_NORMATIVE_BLOCK', `Unsupported ${node.type} is retained in complete H2 source; no flat normative rule is inferred.`);\n  }\n  // Reserve every authored identity before allocating snapshot-local IDs. This\n  // preserves explicit IDs regardless of whether their table precedes the prose.\n  const assignedIds: Record<NormativeFamily, Set<string>> = {\n    system_boundary: new Set(authoredIds.system_boundary.keys()),\n    allocation: new Set(authoredIds.allocation.keys()),\n    validation: new Set(authoredIds.validation.keys()),\n  };\n  for (const entry of pending) {\n    const { unit, node, rule, explicitId, appliesTo, sources, sourceSpan } = entry;\n    const family = unit.family;\n    const output = arrays[family];\n    const candidate = `${family}_rule_${output.length + 1}`;\n    let ruleId = explicitId || candidate;\n    if (!explicitId && assignedIds[family].has(ruleId)) {\n      ruleId = `${candidate}_snapshot`;\n      let suffix = 2;\n      while (assignedIds[family].has(ruleId)) {\n        ruleId = `${candidate}_snapshot_${suffix}`;\n        suffix += 1;\n      }\n      diagnose(unit, node, 'SNAPSHOT_RULE_ID_DISAMBIGUATED',\n        `Snapshot-local candidate ${JSON.stringify(candidate)} was disambiguated to ${JSON.stringify(ruleId)}; authored explicit ID ${JSON.stringify(candidate)} and all other authored explicit IDs remain unchanged.`);\n    }\n    assignedIds[family].add(ruleId);\n    bindings.push({ pointer: `${familyOptions[family].pointer}/${output.length}`, rule_id: ruleId,\n      identity_kind: explicitId ? 'explicit' : 'snapshot_local', unit_id: unit.unit_id, source_span: sourceSpan });\n    output.push({ rule_id: ruleId, applies_to: appliesTo || familyOptions[family].appliesTo, rule, source_ids: sources });\n  }\n  return { systemBoundaryRules: arrays.system_boundary, allocationRules: arrays.allocation,\n    validationRules: arrays.validation, context: { normalization: index.normalization,\n      source_sha256: `sha256:${createHash('sha256').update(source, 'utf8').digest('hex')}`,\n      identity_scope: 'projection_snapshot', units, bindings, diagnostics } };\n}\n"]}

package/packages/pcr-core/src/compiler/source-context.js

@@ -0,0 +1,231 @@
+import { unified } from 'unified';
+import remarkParse from 'remark-parse';
+import remarkGfm from 'remark-gfm';
+const MAX_SOURCE_CODE_UNITS = 8_000_000;
+const MAX_NODES = 250_000;
+const MAX_DEPTH = 256;
+/** Pure parse/index operation. Resource bounds fail explicitly, never truncate. */
+export function compileMarkdownSourceContext(input) {
+    return compileMarkdownSourceDocument(input).index;
+}
+/** One newly parsed, operation-owned source and AST. Production compilers call
+ * this factory from canonical text; no caller-supplied tree can bypass parsing or
+ * source/AST resource bounds. The document is neither cached nor shared across
+ * operations. Existing index-only callers retain their original public shape. */
+export function compileMarkdownSourceDocument(input) {
+    const source = input.replace(/^\uFEFF/, '').replace(/\r\n?/g, '\n');
+    if (source.length > MAX_SOURCE_CODE_UNITS)
+        throw new RangeError('Markdown exceeds source-context source limit');
+    const tree = unified().use(remarkParse).use(remarkGfm).parse(source);
+    const lineStarts = [0];
+    for (let offset = 0; offset < source.length; offset += 1) {
+        if (source[offset] === '\n')
+            lineStarts.push(offset + 1);
+    }
+    let count = 0;
+    function indexNode(node, parent, depth) {
+        count += 1;
+        if (count > MAX_NODES || depth > MAX_DEPTH)
+            throw new RangeError('Markdown exceeds source-context AST limit');
+        const start = node.position?.start.offset;
+        const end = node.position?.end.offset;
+        if (start === undefined || end === undefined)
+            throw new Error('Markdown parser omitted a source position');
+        const entry = { node, start, end, parent, children: [] };
+        if ('children' in node) {
+            for (const child of node.children)
+                entry.children.push(indexNode(child, entry, depth + 1));
+        }
+        return entry;
+    }
+    const root = indexNode(tree, null, 0);
+    function point(offset) {
+        let low = 0;
+        let high = lineStarts.length;
+        while (low + 1 < high) {
+            const middle = Math.floor((low + high) / 2);
+            const value = lineStarts[middle];
+            if (value !== undefined && value <= offset)
+                low = middle;
+            else
+                high = middle;
+        }
+        // The dense local index begins at zero; binary search keeps low in range.
+        return { offset, line: low + 1, column: offset - lineStarts[low] + 1 };
+    }
+    function block(start, end, kind) {
+        return { kind, span: { start: point(start), end: point(end) }, text: source.slice(start, end) };
+    }
+    function entryBlock(entry) {
+        return block(entry.start, entry.end, entry.node.type);
+    }
+    function headingContext(start) {
+        const headings = [];
+        for (const entry of root.children) {
+            if (entry.start > start)
+                break;
+            if (entry.node.type === 'heading') {
+                while (headings.length > 0 && headings[headings.length - 1].depth >= entry.node.depth)
+                    headings.pop();
+                headings.push({ ...entryBlock(entry), depth: entry.node.depth });
+            }
+        }
+        return headings;
+    }
+    function section(start, end, depth) {
+        if (depth !== undefined && (!Number.isInteger(depth) || depth < 1 || depth > 6)) {
+            throw new RangeError('Source section depth must be an integer from 1 to 6');
+        }
+        const headings = headingContext(start);
+        const current = depth === undefined ? headings.at(-1) : headings.find(heading => heading.depth === depth);
+        if (depth !== undefined && !current) {
+            throw new RangeError('Requested heading depth does not enclose the source selection');
+        }
+        let sectionStart = current?.span.start.offset ?? 0;
+        let sectionEnd = source.length;
+        for (const entry of root.children) {
+            if (entry.start > start && entry.node.type === 'heading' && (!current || entry.node.depth <= current.depth)) {
+                sectionEnd = entry.start;
+                break;
+            }
+        }
+        // A selection spanning sections cannot be assigned to either one safely.
+        if (end > sectionEnd) {
+            if (depth !== undefined)
+                throw new RangeError('Source selection crosses the requested heading scope');
+            sectionStart = 0;
+            sectionEnd = source.length;
+        }
+        return block(sectionStart, sectionEnd, 'section');
+    }
+    function offsets(selection) {
+        let start;
+        let end;
+        if ('startLine' in selection) {
+            const { startLine, endLine } = selection;
+            if (!Number.isInteger(startLine) || !Number.isInteger(endLine) || startLine < 1 || endLine < startLine || endLine > lineStarts.length) {
+                throw new RangeError('Source line selection is outside normalized Markdown');
+            }
+            // The integer bounds above establish this dense local array entry.
+            start = lineStarts[startLine - 1];
+            const next = lineStarts[endLine];
+            end = next === undefined ? source.length : next - 1;
+        }
+        else {
+            start = selection.startOffset;
+            end = selection.endOffset;
+        }
+        if (!Number.isInteger(start) || !Number.isInteger(end) || start < 0 || end <= start || end > source.length) {
+            throw new RangeError('Source offset selection must be a non-empty normalized Markdown span');
+        }
+        return { start, end };
+    }
+    function introBefore(entry) {
+        const siblings = entry.parent?.children ?? [];
+        let position = siblings.indexOf(entry) - 1;
+        const introductions = [];
+        while (position >= 0) {
+            const previous = siblings[position];
+            if (!previous || previous.node.type !== 'paragraph')
+                break;
+            introductions.unshift(previous);
+            position -= 1;
+        }
+        return introductions;
+    }
+    function group(entry) {
+        if (entry.node.type !== 'list' && entry.node.type !== 'table')
+            throw new Error('Expected a Markdown group');
+        const isTable = entry.node.type === 'table';
+        return {
+            kind: isTable ? 'table' : 'list',
+            source: entryBlock(entry),
+            ordered: entry.node.type === 'list' ? Boolean(entry.node.ordered) : null,
+            items: entry.children.map(entryBlock),
+            headers: isTable ? entry.children.slice(0, 1).map(entryBlock) : [],
+        };
+    }
+    function query(selection) {
+        const { start, end } = offsets(selection);
+        const selected = block(start, end, 'selection');
+        // Ignore surrounding layout only for node association, never for output.
+        let matchStart = start;
+        let matchEnd = end;
+        while (matchStart < matchEnd && /\s/u.test(source[matchStart] ?? ''))
+            matchStart += 1;
+        while (matchEnd > matchStart && /\s/u.test(source[matchEnd - 1] ?? ''))
+            matchEnd -= 1;
+        const path = [];
+        let cursor = root;
+        while (matchStart < matchEnd) {
+            const child = cursor.children.find(entry => entry.start <= matchStart && entry.end >= matchEnd);
+            if (!child)
+                break;
+            path.push(child);
+            cursor = child;
+        }
+        const top = path[0];
+        const headings = headingContext(matchStart);
+        const enclosingItems = path.filter(entry => entry.node.type === 'listItem').map(entryBlock);
+        const containers = path.filter(entry => entry.node.type === 'list' || entry.node.type === 'table');
+        let primary = containers[0] ?? top;
+        let introductions = primary ? introBefore(primary) : [];
+        // Selecting introductory prose exposes its following group, too.
+        if (primary?.node.type === 'paragraph') {
+            const siblings = primary.parent?.children ?? [];
+            let nextPosition = siblings.indexOf(primary) + 1;
+            while (siblings[nextPosition]?.node.type === 'paragraph')
+                nextPosition += 1;
+            const next = siblings[nextPosition];
+            if (next && (next.node.type === 'list' || next.node.type === 'table')) {
+                primary = next;
+                introductions = introBefore(primary);
+                containers.push(primary);
+            }
+            else
+                introductions = [];
+        }
+        const completeSelected = [...path].reverse().find(entry => entry.node.type === 'listItem' || entry.node.type === 'tableRow') ?? top;
+        const groups = containers.map(group);
+        let unit = primary ? entryBlock(primary) : section(start, end);
+        const diagnostics = [];
+        function uncertain(code, message) {
+            unit = section(start, end);
+            diagnostics.push({ code, message, span: selected.span });
+        }
+        if (!top) {
+            const overlapsBlock = root.children.some(entry => entry.start < matchEnd && entry.end > matchStart);
+            uncertain(overlapsBlock ? 'SPAN_CROSSES_BLOCKS' : 'NO_SOURCE_BLOCK', 'Selection cannot be assigned to one source block; complete relevant section retained.');
+        }
+        else if (top.node.type === 'heading' || (top.node.type !== 'paragraph' && top.node.type !== 'list' && top.node.type !== 'table' && top.node.type !== 'code' && top.node.type !== 'thematicBreak')) {
+            uncertain('UNSUPPORTED_CONTAINER', 'Container scope is not established by this compiler; complete relevant section retained.');
+        }
+        else if (primary && (primary.node.type === 'list' || primary.node.type === 'table')) {
+            const lastIntro = introductions.at(-1);
+            if (lastIntro) {
+                unit = block(introductions[0]?.start ?? primary.start, primary.end, primary.node.type === 'list' ? 'list_group' : 'table_group');
+                if (!/[:：]$/u.test(source.slice(lastIntro.start, lastIntro.end).trimEnd())) {
+                    uncertain('AMBIGUOUS_PROSE_ATTACHMENT', 'Preceding prose may govern this group but Markdown does not establish its scope; complete relevant section retained.');
+                }
+            }
+        }
+        return {
+            unit, section: section(start, end), selected, selectedBlock: completeSelected ? entryBlock(completeSelected) : null,
+            headings, introductions: introductions.map(entryBlock), enclosingItems, groups,
+            attribution: diagnostics.length === 0 ? 'structural' : 'uncertain', diagnostics,
+        };
+    }
+    function sectionQuery(selection, depth) {
+        const { start, end } = offsets(selection);
+        return section(start, end, depth);
+    }
+    return { tree, index: { source, normalization: 'utf8-lf-v1', contextForSpan: query, sectionForSpan: sectionQuery } };
+}
+export function contextForSpan(index, selection) {
+    return index.contextForSpan(selection);
+}
+/** Read a complete enclosing section without copying ancestor text into the index. */
+export function sectionForSpan(index, selection, depth) {
+    return index.sectionForSpan(selection, depth);
+}
+//# sourceMappingURL=source-context.js.map

package/packages/pcr-core/src/compiler/source-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-context.js","sourceRoot":"pcr://source/","sources":["packages/pcr-core/src/compiler/source-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,WAAW,MAAM,cAAc,CAAC;AACvC,OAAO,SAAS,MAAM,YAAY,CAAC;AA2EnC,MAAM,qBAAqB,GAAG,SAAS,CAAC;AACxC,MAAM,SAAS,GAAG,OAAO,CAAC;AAC1B,MAAM,SAAS,GAAG,GAAG,CAAC;AAEtB,mFAAmF;AACnF,MAAM,UAAU,4BAA4B,CAAC,KAAa;IACxD,OAAO,6BAA6B,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC;AACpD,CAAC;AAED;;;iFAGiF;AACjF,MAAM,UAAU,6BAA6B,CAAC,KAAa;IAIzD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,MAAM,GAAG,qBAAqB;QAAE,MAAM,IAAI,UAAU,CAAC,8CAA8C,CAAC,CAAC;IAChH,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;IACvB,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;QACzD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,IAAI;YAAE,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,SAAS,SAAS,CAAC,IAAW,EAAE,MAAoB,EAAE,KAAa;QACjE,KAAK,IAAI,CAAC,CAAC;QACX,IAAI,KAAK,GAAG,SAAS,IAAI,KAAK,GAAG,SAAS;YAAE,MAAM,IAAI,UAAU,CAAC,2CAA2C,CAAC,CAAC;QAC9G,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC3G,MAAM,KAAK,GAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAChE,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;YACvB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;gBAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7F,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACtC,SAAS,KAAK,CAAC,MAAc;QAC3B,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC;QAC7B,OAAO,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,IAAI,MAAM;gBAAE,GAAG,GAAG,MAAM,CAAC;;gBACpD,IAAI,GAAG,MAAM,CAAC;QACrB,CAAC;QACD,0EAA0E;QAC1E,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG,CAAE,GAAG,CAAC,EAAE,CAAC;IAC1E,CAAC;IACD,SAAS,KAAK,CAAC,KAAa,EAAE,GAAW,EAAE,IAAY;QACrD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;IAClG,CAAC;IACD,SAAS,UAAU,CAAC,KAAY;QAC9B,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC;IACD,SAAS,cAAc,CAAC,KAAa;QACnC,MAAM,QAAQ,GAAoB,EAAE,CAAC;QACrC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,KAAK,GAAG,KAAK;gBAAE,MAAM;YAC/B,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAClC,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK;oBAAE,QAAQ,CAAC,GAAG,EAAE,CAAC;gBACvG,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,SAAS,OAAO,CAAC,KAAa,EAAE,GAAW,EAAE,KAAc;QACzD,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;YAChF,MAAM,IAAI,UAAU,CAAC,qDAAqD,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;QAC1G,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,IAAI,UAAU,CAAC,+DAA+D,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,YAAY,GAAG,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;QACnD,IAAI,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;QAC/B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,KAAK,GAAG,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5G,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC;gBACzB,MAAM;YACR,CAAC;QACH,CAAC;QACD,yEAAyE;QACzE,IAAI,GAAG,GAAG,UAAU,EAAE,CAAC;YACrB,IAAI,KAAK,KAAK,SAAS;gBAAE,MAAM,IAAI,UAAU,CAAC,sDAAsD,CAAC,CAAC;YACtG,YAAY,GAAG,CAAC,CAAC;YACjB,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,CAAC;QACD,OAAO,KAAK,CAAC,YAAY,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IACpD,CAAC;IACD,SAAS,OAAO,CAAC,SAA0B;QACzC,IAAI,KAAa,CAAC;QAClB,IAAI,GAAW,CAAC;QAChB,IAAI,WAAW,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC;YACzC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,OAAO,GAAG,SAAS,IAAI,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;gBACtI,MAAM,IAAI,UAAU,CAAC,sDAAsD,CAAC,CAAC;YAC/E,CAAC;YACD,mEAAmE;YACnE,KAAK,GAAG,UAAU,CAAC,SAAS,GAAG,CAAC,CAAE,CAAC;YACnC,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;YACjC,GAAG,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QACtD,CAAC;aAAM,CAAC;YACN,KAAK,GAAG,SAAS,CAAC,WAAW,CAAC;YAC9B,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC;QAC5B,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;YAC3G,MAAM,IAAI,UAAU,CAAC,sEAAsE,CAAC,CAAC;QAC/F,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACxB,CAAC;IACD,SAAS,WAAW,CAAC,KAAY;QAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC;QAC9C,IAAI,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,aAAa,GAAY,EAAE,CAAC;QAClC,OAAO,QAAQ,IAAI,CAAC,EAAE,CAAC;YACrB,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACpC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,MAAM;YAC3D,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAChC,QAAQ,IAAI,CAAC,CAAC;QAChB,CAAC;QACD,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,SAAS,KAAK,CAAC,KAAY;QACzB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC5G,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;QAC5C,OAAO;YACL,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;YAChC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC;YACzB,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;YACxE,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;YACrC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE;SACnE,CAAC;IACJ,CAAC;IACD,SAAS,KAAK,CAAC,SAA0B;QACvC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QAChD,yEAAyE;QACzE,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,IAAI,QAAQ,GAAG,GAAG,CAAC;QACnB,OAAO,UAAU,GAAG,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YAAE,UAAU,IAAI,CAAC,CAAC;QACtF,OAAO,QAAQ,GAAG,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YAAE,QAAQ,IAAI,CAAC,CAAC;QACtF,MAAM,IAAI,GAAY,EAAE,CAAC;QACzB,IAAI,MAAM,GAAU,IAAI,CAAC;QACzB,OAAO,UAAU,GAAG,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,UAAU,IAAI,KAAK,CAAC,GAAG,IAAI,QAAQ,CAAC,CAAC;YAChG,IAAI,CAAC,KAAK;gBAAE,MAAM;YAClB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjB,MAAM,GAAG,KAAK,CAAC;QACjB,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC5F,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACnG,IAAI,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;QACnC,IAAI,aAAa,GAAG,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,iEAAiE;QACjE,IAAI,OAAO,EAAE,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC;YAChD,IAAI,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjD,OAAO,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,YAAY,IAAI,CAAC,CAAC;YAC5E,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;YACpC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;gBACtE,OAAO,GAAG,IAAI,CAAC;gBACf,aAAa,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;gBACrC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3B,CAAC;;gBAAM,aAAa,GAAG,EAAE,CAAC;QAC5B,CAAC;QACD,MAAM,gBAAgB,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,GAAG,CAAC;QACpI,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAwB,EAAE,CAAC;QAC5C,SAAS,SAAS,CAAC,IAA+B,EAAE,OAAe;YACjE,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC3B,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,QAAQ,IAAI,KAAK,CAAC,GAAG,GAAG,UAAU,CAAC,CAAC;YACpG,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,iBAAiB,EAAE,uFAAuF,CAAC,CAAC;QAChK,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,CAAC;YACpM,SAAS,CAAC,uBAAuB,EAAE,0FAA0F,CAAC,CAAC;QACjI,CAAC;aAAM,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;YACtF,MAAM,SAAS,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,SAAS,EAAE,CAAC;gBACd,IAAI,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;gBACjI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;oBAC3E,SAAS,CAAC,4BAA4B,EAAE,sHAAsH,CAAC,CAAC;gBAClK,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO;YACL,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI;YACnH,QAAQ,EAAE,aAAa,EAAE,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,cAAc,EAAE,MAAM;YAC9E,WAAW,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,EAAE,WAAW;SAChF,CAAC;IACJ,CAAC;IACD,SAAS,YAAY,CAAC,SAA0B,EAAE,KAAc;QAC9D,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAC1C,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,EAAE,CAAC;AACvH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAiC,EAAE,SAA0B;IAC1F,OAAO,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;AACzC,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,cAAc,CAAC,KAAiC,EAAE,SAA0B,EAAE,KAAc;IAC1G,OAAO,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;AAChD,CAAC","sourcesContent":["import { unified } from 'unified';\nimport remarkParse from 'remark-parse';\nimport remarkGfm from 'remark-gfm';\nimport type { Nodes, Root } from 'mdast';\n\n/** All locations refer to BOM-free, LF-normalized source. Offsets are zero-based\n * UTF-16 code units, start inclusive/end exclusive; lines/columns are one-based.\n * No scientific applicability, action, predicate or stable identity is inferred. */\nexport interface SourcePoint {\n  readonly offset: number;\n  readonly line: number;\n  readonly column: number;\n}\nexport interface SourceSpan {\n  readonly start: SourcePoint;\n  readonly end: SourcePoint;\n}\nexport interface SourceBlock {\n  readonly kind: string;\n  readonly span: SourceSpan;\n  readonly text: string;\n}\nexport interface SourceHeading extends SourceBlock {\n  readonly depth: number;\n}\nexport type SourceSelection =\n  | { readonly startLine: number; readonly endLine: number }\n  | { readonly startOffset: number; readonly endOffset: number };\nexport interface StructuralGroup {\n  readonly kind: 'list' | 'table';\n  readonly source: SourceBlock;\n  readonly ordered: boolean | null;\n  /** Authored order, complete item subtrees or complete table rows. */\n  readonly items: readonly SourceBlock[];\n  readonly headers: readonly SourceBlock[];\n}\nexport interface ContextDiagnostic {\n  readonly code: 'AMBIGUOUS_PROSE_ATTACHMENT' | 'UNSUPPORTED_CONTAINER' | 'SPAN_CROSSES_BLOCKS' | 'NO_SOURCE_BLOCK';\n  readonly message: string;\n  readonly span: SourceSpan;\n}\nexport interface NormativeSourceContext {\n  readonly unit: SourceBlock;\n  /** Complete enclosing section retains surrounding prose whose semantic relationship\n   * cannot be established by Markdown. Structural attribution is not a claim of\n   * scientific completeness or applicability of the isolated unit. */\n  readonly section: SourceBlock;\n  /** Exact caller-selected source, including indentation. */\n  readonly selected: SourceBlock;\n  /** Complete selected list item / table row / block, never a cell fragment. */\n  readonly selectedBlock: SourceBlock | null;\n  readonly headings: readonly SourceHeading[];\n  readonly introductions: readonly SourceBlock[];\n  /** Outer-to-inner complete item subtrees, including the selected item. */\n  readonly enclosingItems: readonly SourceBlock[];\n  readonly groups: readonly StructuralGroup[];\n  readonly attribution: 'structural' | 'uncertain';\n  readonly diagnostics: readonly ContextDiagnostic[];\n}\nexport interface MarkdownSourceContextIndex {\n  readonly source: string;\n  readonly normalization: 'utf8-lf-v1';\n  readonly contextForSpan: (selection: SourceSelection) => NormativeSourceContext;\n  /** Exact enclosing heading scope at the requested depth, or the nearest section\n   * when omitted. This retains ancestor preambles without serializing every\n   * ancestor section into every rule context. Depth is structural, not semantic.\n   * Missing depths or selections crossing that requested scope fail explicitly. */\n  readonly sectionForSpan: (selection: SourceSelection, depth?: number) => SourceBlock;\n}\n\ninterface Entry {\n  readonly node: Nodes;\n  readonly start: number;\n  readonly end: number;\n  readonly parent: Entry | null;\n  readonly children: Entry[];\n}\nconst MAX_SOURCE_CODE_UNITS = 8_000_000;\nconst MAX_NODES = 250_000;\nconst MAX_DEPTH = 256;\n\n/** Pure parse/index operation. Resource bounds fail explicitly, never truncate. */\nexport function compileMarkdownSourceContext(input: string): MarkdownSourceContextIndex {\n  return compileMarkdownSourceDocument(input).index;\n}\n\n/** One newly parsed, operation-owned source and AST. Production compilers call\n * this factory from canonical text; no caller-supplied tree can bypass parsing or\n * source/AST resource bounds. The document is neither cached nor shared across\n * operations. Existing index-only callers retain their original public shape. */\nexport function compileMarkdownSourceDocument(input: string): {\n  readonly tree: Root;\n  readonly index: MarkdownSourceContextIndex;\n} {\n  const source = input.replace(/^\\uFEFF/, '').replace(/\\r\\n?/g, '\\n');\n  if (source.length > MAX_SOURCE_CODE_UNITS) throw new RangeError('Markdown exceeds source-context source limit');\n  const tree = unified().use(remarkParse).use(remarkGfm).parse(source);\n  const lineStarts = [0];\n  for (let offset = 0; offset < source.length; offset += 1) {\n    if (source[offset] === '\\n') lineStarts.push(offset + 1);\n  }\n  let count = 0;\n  function indexNode(node: Nodes, parent: Entry | null, depth: number): Entry {\n    count += 1;\n    if (count > MAX_NODES || depth > MAX_DEPTH) throw new RangeError('Markdown exceeds source-context AST limit');\n    const start = node.position?.start.offset;\n    const end = node.position?.end.offset;\n    if (start === undefined || end === undefined) throw new Error('Markdown parser omitted a source position');\n    const entry: Entry = { node, start, end, parent, children: [] };\n    if ('children' in node) {\n      for (const child of node.children) entry.children.push(indexNode(child, entry, depth + 1));\n    }\n    return entry;\n  }\n  const root = indexNode(tree, null, 0);\n  function point(offset: number): SourcePoint {\n    let low = 0;\n    let high = lineStarts.length;\n    while (low + 1 < high) {\n      const middle = Math.floor((low + high) / 2);\n      const value = lineStarts[middle];\n      if (value !== undefined && value <= offset) low = middle;\n      else high = middle;\n    }\n    // The dense local index begins at zero; binary search keeps low in range.\n    return { offset, line: low + 1, column: offset - lineStarts[low]! + 1 };\n  }\n  function block(start: number, end: number, kind: string): SourceBlock {\n    return { kind, span: { start: point(start), end: point(end) }, text: source.slice(start, end) };\n  }\n  function entryBlock(entry: Entry): SourceBlock {\n    return block(entry.start, entry.end, entry.node.type);\n  }\n  function headingContext(start: number): SourceHeading[] {\n    const headings: SourceHeading[] = [];\n    for (const entry of root.children) {\n      if (entry.start > start) break;\n      if (entry.node.type === 'heading') {\n        while (headings.length > 0 && headings[headings.length - 1]!.depth >= entry.node.depth) headings.pop();\n        headings.push({ ...entryBlock(entry), depth: entry.node.depth });\n      }\n    }\n    return headings;\n  }\n  function section(start: number, end: number, depth?: number): SourceBlock {\n    if (depth !== undefined && (!Number.isInteger(depth) || depth < 1 || depth > 6)) {\n      throw new RangeError('Source section depth must be an integer from 1 to 6');\n    }\n    const headings = headingContext(start);\n    const current = depth === undefined ? headings.at(-1) : headings.find(heading => heading.depth === depth);\n    if (depth !== undefined && !current) {\n      throw new RangeError('Requested heading depth does not enclose the source selection');\n    }\n    let sectionStart = current?.span.start.offset ?? 0;\n    let sectionEnd = source.length;\n    for (const entry of root.children) {\n      if (entry.start > start && entry.node.type === 'heading' && (!current || entry.node.depth <= current.depth)) {\n        sectionEnd = entry.start;\n        break;\n      }\n    }\n    // A selection spanning sections cannot be assigned to either one safely.\n    if (end > sectionEnd) {\n      if (depth !== undefined) throw new RangeError('Source selection crosses the requested heading scope');\n      sectionStart = 0;\n      sectionEnd = source.length;\n    }\n    return block(sectionStart, sectionEnd, 'section');\n  }\n  function offsets(selection: SourceSelection): { start: number; end: number } {\n    let start: number;\n    let end: number;\n    if ('startLine' in selection) {\n      const { startLine, endLine } = selection;\n      if (!Number.isInteger(startLine) || !Number.isInteger(endLine) || startLine < 1 || endLine < startLine || endLine > lineStarts.length) {\n        throw new RangeError('Source line selection is outside normalized Markdown');\n      }\n      // The integer bounds above establish this dense local array entry.\n      start = lineStarts[startLine - 1]!;\n      const next = lineStarts[endLine];\n      end = next === undefined ? source.length : next - 1;\n    } else {\n      start = selection.startOffset;\n      end = selection.endOffset;\n    }\n    if (!Number.isInteger(start) || !Number.isInteger(end) || start < 0 || end <= start || end > source.length) {\n      throw new RangeError('Source offset selection must be a non-empty normalized Markdown span');\n    }\n    return { start, end };\n  }\n  function introBefore(entry: Entry): Entry[] {\n    const siblings = entry.parent?.children ?? [];\n    let position = siblings.indexOf(entry) - 1;\n    const introductions: Entry[] = [];\n    while (position >= 0) {\n      const previous = siblings[position];\n      if (!previous || previous.node.type !== 'paragraph') break;\n      introductions.unshift(previous);\n      position -= 1;\n    }\n    return introductions;\n  }\n  function group(entry: Entry): StructuralGroup {\n    if (entry.node.type !== 'list' && entry.node.type !== 'table') throw new Error('Expected a Markdown group');\n    const isTable = entry.node.type === 'table';\n    return {\n      kind: isTable ? 'table' : 'list',\n      source: entryBlock(entry),\n      ordered: entry.node.type === 'list' ? Boolean(entry.node.ordered) : null,\n      items: entry.children.map(entryBlock),\n      headers: isTable ? entry.children.slice(0, 1).map(entryBlock) : [],\n    };\n  }\n  function query(selection: SourceSelection): NormativeSourceContext {\n    const { start, end } = offsets(selection);\n    const selected = block(start, end, 'selection');\n    // Ignore surrounding layout only for node association, never for output.\n    let matchStart = start;\n    let matchEnd = end;\n    while (matchStart < matchEnd && /\\s/u.test(source[matchStart] ?? '')) matchStart += 1;\n    while (matchEnd > matchStart && /\\s/u.test(source[matchEnd - 1] ?? '')) matchEnd -= 1;\n    const path: Entry[] = [];\n    let cursor: Entry = root;\n    while (matchStart < matchEnd) {\n      const child = cursor.children.find(entry => entry.start <= matchStart && entry.end >= matchEnd);\n      if (!child) break;\n      path.push(child);\n      cursor = child;\n    }\n    const top = path[0];\n    const headings = headingContext(matchStart);\n    const enclosingItems = path.filter(entry => entry.node.type === 'listItem').map(entryBlock);\n    const containers = path.filter(entry => entry.node.type === 'list' || entry.node.type === 'table');\n    let primary = containers[0] ?? top;\n    let introductions = primary ? introBefore(primary) : [];\n    // Selecting introductory prose exposes its following group, too.\n    if (primary?.node.type === 'paragraph') {\n      const siblings = primary.parent?.children ?? [];\n      let nextPosition = siblings.indexOf(primary) + 1;\n      while (siblings[nextPosition]?.node.type === 'paragraph') nextPosition += 1;\n      const next = siblings[nextPosition];\n      if (next && (next.node.type === 'list' || next.node.type === 'table')) {\n        primary = next;\n        introductions = introBefore(primary);\n        containers.push(primary);\n      } else introductions = [];\n    }\n    const completeSelected = [...path].reverse().find(entry => entry.node.type === 'listItem' || entry.node.type === 'tableRow') ?? top;\n    const groups = containers.map(group);\n    let unit = primary ? entryBlock(primary) : section(start, end);\n    const diagnostics: ContextDiagnostic[] = [];\n    function uncertain(code: ContextDiagnostic['code'], message: string): void {\n      unit = section(start, end);\n      diagnostics.push({ code, message, span: selected.span });\n    }\n    if (!top) {\n      const overlapsBlock = root.children.some(entry => entry.start < matchEnd && entry.end > matchStart);\n      uncertain(overlapsBlock ? 'SPAN_CROSSES_BLOCKS' : 'NO_SOURCE_BLOCK', 'Selection cannot be assigned to one source block; complete relevant section retained.');\n    } else if (top.node.type === 'heading' || (top.node.type !== 'paragraph' && top.node.type !== 'list' && top.node.type !== 'table' && top.node.type !== 'code' && top.node.type !== 'thematicBreak')) {\n      uncertain('UNSUPPORTED_CONTAINER', 'Container scope is not established by this compiler; complete relevant section retained.');\n    } else if (primary && (primary.node.type === 'list' || primary.node.type === 'table')) {\n      const lastIntro = introductions.at(-1);\n      if (lastIntro) {\n        unit = block(introductions[0]?.start ?? primary.start, primary.end, primary.node.type === 'list' ? 'list_group' : 'table_group');\n        if (!/[:：]$/u.test(source.slice(lastIntro.start, lastIntro.end).trimEnd())) {\n          uncertain('AMBIGUOUS_PROSE_ATTACHMENT', 'Preceding prose may govern this group but Markdown does not establish its scope; complete relevant section retained.');\n        }\n      }\n    }\n    return {\n      unit, section: section(start, end), selected, selectedBlock: completeSelected ? entryBlock(completeSelected) : null,\n      headings, introductions: introductions.map(entryBlock), enclosingItems, groups,\n      attribution: diagnostics.length === 0 ? 'structural' : 'uncertain', diagnostics,\n    };\n  }\n  function sectionQuery(selection: SourceSelection, depth?: number): SourceBlock {\n    const { start, end } = offsets(selection);\n    return section(start, end, depth);\n  }\n  return { tree, index: { source, normalization: 'utf8-lf-v1', contextForSpan: query, sectionForSpan: sectionQuery } };\n}\n\nexport function contextForSpan(index: MarkdownSourceContextIndex, selection: SourceSelection): NormativeSourceContext {\n  return index.contextForSpan(selection);\n}\n\n/** Read a complete enclosing section without copying ancestor text into the index. */\nexport function sectionForSpan(index: MarkdownSourceContextIndex, selection: SourceSelection, depth?: number): SourceBlock {\n  return index.sectionForSpan(selection, depth);\n}\n"]}