@greyworld/code-check-core 1.0.0

package/dist/tools/node-pattern/node-matcher.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-matcher.d.ts","sourceRoot":"","sources":["../../../src/tools/node-pattern/node-matcher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,UAAU,GAChB;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,GACf;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAE5B;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,OAAO,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,YAAY,CAAC;AAE1D,wBAAgB,cAAc,CAAC,EAAE,EAAE,gBAAgB,GAAG,EAAE,IAAI,YAAY,CAEvE;AAED,MAAM,WAAW,sBAAsB;IACnC,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,uBAAuB;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;CAC7C;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CACtB,OAAO,EAAE,WAAW,EACpB,KAAK,EAAE,YAAY,EAAE,EACrB,MAAM,EAAE,MAAM,GACf,sBAAsB,CAsCxB;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CACtB,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,YAAY,EAAE,EACrB,MAAM,EAAE,MAAM,GACf,uBAAuB,CA0EzB"}

package/dist/tools/node-pattern/node-matcher.js

@@ -0,0 +1,122 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isGroupMatcher = isGroupMatcher;
+exports.matchNodes = matchNodes;
+exports.matchGroup = matchGroup;
+function isGroupMatcher(el) {
+    return "kind" in el && el.kind === "group";
+}
+/**
+ * Try to consume nodes from `nodes[offset..]` according to
+ * the matcher's quantifier.
+ *
+ * Returns how many nodes were consumed (greedy for multi-quantifiers).
+ */
+function matchNodes(matcher, nodes, offset) {
+    const { predicate, quantifier } = matcher;
+    const remaining = nodes.length - offset;
+    switch (quantifier.type) {
+        case "one": {
+            if (remaining < 1 || !predicate(nodes[offset])) {
+                return { matched: false, consumed: 0 };
+            }
+            return { matched: true, consumed: 1 };
+        }
+        case "optional": {
+            if (remaining >= 1 && predicate(nodes[offset])) {
+                return { matched: true, consumed: 1 };
+            }
+            return { matched: true, consumed: 0 };
+        }
+        case "zeroOrMore": {
+            let count = 0;
+            while (offset + count < nodes.length && predicate(nodes[offset + count])) {
+                count++;
+            }
+            return { matched: true, consumed: count };
+        }
+        case "oneOrMore": {
+            let count = 0;
+            while (offset + count < nodes.length && predicate(nodes[offset + count])) {
+                count++;
+            }
+            if (count === 0) {
+                return { matched: false, consumed: 0 };
+            }
+            return { matched: true, consumed: count };
+        }
+    }
+}
+/**
+ * Try to match a group (a sequence of matchers repeated per quantifier).
+ *
+ * Inner matcher tags are accumulated across all iterations
+ * into `innerTags`.
+ */
+function matchGroup(group, nodes, offset) {
+    const { matchers, quantifier } = group;
+    function matchSequenceOnce(start) {
+        let pos = start;
+        const tags = {};
+        for (const matcher of matchers) {
+            const result = matchNodes(matcher, nodes, pos);
+            if (!result.matched)
+                return null;
+            if (matcher.tag) {
+                const captured = nodes.slice(pos, pos + result.consumed);
+                tags[matcher.tag] = (tags[matcher.tag] ?? []).concat(captured);
+            }
+            pos += result.consumed;
+        }
+        return { consumed: pos - start, tags };
+    }
+    function mergeTags(target, source) {
+        for (const [key, value] of Object.entries(source)) {
+            target[key] = (target[key] ?? []).concat(value);
+        }
+    }
+    const innerTags = {};
+    switch (quantifier.type) {
+        case "one": {
+            const seq = matchSequenceOnce(offset);
+            if (!seq)
+                return { matched: false, consumed: 0, innerTags };
+            mergeTags(innerTags, seq.tags);
+            return { matched: true, consumed: seq.consumed, innerTags };
+        }
+        case "optional": {
+            const seq = matchSequenceOnce(offset);
+            if (!seq)
+                return { matched: true, consumed: 0, innerTags };
+            mergeTags(innerTags, seq.tags);
+            return { matched: true, consumed: seq.consumed, innerTags };
+        }
+        case "zeroOrMore": {
+            let total = 0;
+            while (true) {
+                const seq = matchSequenceOnce(offset + total);
+                if (!seq || seq.consumed === 0)
+                    break;
+                mergeTags(innerTags, seq.tags);
+                total += seq.consumed;
+            }
+            return { matched: true, consumed: total, innerTags };
+        }
+        case "oneOrMore": {
+            let total = 0;
+            let count = 0;
+            while (true) {
+                const seq = matchSequenceOnce(offset + total);
+                if (!seq || seq.consumed === 0)
+                    break;
+                mergeTags(innerTags, seq.tags);
+                total += seq.consumed;
+                count++;
+            }
+            if (count === 0)
+                return { matched: false, consumed: 0, innerTags };
+            return { matched: true, consumed: total, innerTags };
+        }
+    }
+}
+//# sourceMappingURL=node-matcher.js.map

package/dist/tools/node-pattern/node-matcher.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-matcher.js","sourceRoot":"","sources":["../../../src/tools/node-pattern/node-matcher.ts"],"names":[],"mappings":";;AA6CA,wCAEC;AAmBD,gCA0CC;AAQD,gCA8EC;AArJD,SAAgB,cAAc,CAAC,EAAoB;IAC/C,OAAO,MAAM,IAAI,EAAE,IAAK,EAAmB,CAAC,IAAI,KAAK,OAAO,CAAC;AACjE,CAAC;AAaD;;;;;GAKG;AACH,SAAgB,UAAU,CACtB,OAAoB,EACpB,KAAqB,EACrB,MAAc;IAEd,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;IAExC,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,IAAI,SAAS,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC7C,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;YAC3C,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAC1C,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,IAAI,SAAS,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC7C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;YAC1C,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAC1C,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAChB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,OAAO,MAAM,GAAG,KAAK,GAAG,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;gBACvE,KAAK,EAAE,CAAC;YACZ,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,OAAO,MAAM,GAAG,KAAK,GAAG,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;gBACvE,KAAK,EAAE,CAAC;YACZ,CAAC;YACD,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACd,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;YAC3C,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAgB,UAAU,CACtB,KAAmB,EACnB,KAAqB,EACrB,MAAc;IAEd,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAEvC,SAAS,iBAAiB,CACtB,KAAa;QAEb,IAAI,GAAG,GAAG,KAAK,CAAC;QAChB,MAAM,IAAI,GAAmC,EAAE,CAAC;QAEhD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC/C,IAAI,CAAC,MAAM,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAEjC,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;gBACd,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACzD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACnE,CAAC;YACD,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC;QAC3B,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,GAAG,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC;IAC3C,CAAC;IAED,SAAS,SAAS,CACd,MAAsC,EACtC,MAAsC;QAEtC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAmC,EAAE,CAAC;IAErD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACtC,IAAI,CAAC,GAAG;gBAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC;YAC5D,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC;QAChE,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACtC,IAAI,CAAC,GAAG;gBAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC;YAC3D,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC;QAChE,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAChB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,OAAO,IAAI,EAAE,CAAC;gBACV,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC;gBAC9C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC;oBAAE,MAAM;gBACtC,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC/B,KAAK,IAAI,GAAG,CAAC,QAAQ,CAAC;YAC1B,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QACzD,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,OAAO,IAAI,EAAE,CAAC;gBACV,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC;gBAC9C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC;oBAAE,MAAM;gBACtC,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC/B,KAAK,IAAI,GAAG,CAAC,QAAQ,CAAC;gBACtB,KAAK,EAAE,CAAC;YACZ,CAAC;YACD,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC;YACnE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QACzD,CAAC;IACL,CAAC;AACL,CAAC"}

package/dist/tools/node-pattern/node-pattern.d.ts

@@ -0,0 +1,65 @@
+import type { MarkdownNode } from "../ast-parser/markdown";
+import type { NodeMatchElement } from "./node-matcher";
+export interface NodeMatchFailure {
+    /** 0-based index of the element that failed. */
+    matcherIndex: number;
+    /** Display string of the expected element. */
+    expectedDisplay: string;
+    /** Number of unconsumed nodes at point of failure. */
+    remainingCount: number;
+    /** The node that was encountered (if any remain). */
+    actual?: MarkdownNode;
+}
+export interface NodePatternMatch {
+    /** Nodes consumed by each element (parallel to the elements array). */
+    captures: MarkdownNode[][];
+    /** Nodes indexed by tag name. */
+    tagged: Record<string, MarkdownNode[]>;
+    /** Start index within the input node array. */
+    startIndex: number;
+    /** Total number of nodes consumed. */
+    length: number;
+}
+export type NodeMatchResult = {
+    ok: true;
+    value: NodePatternMatch;
+} | {
+    ok: false;
+    error: NodeMatchFailure;
+};
+/**
+ * A sequence-level pattern for flat AST node arrays.
+ *
+ * Analogous to LinePattern for text: instead of matching segments
+ * within a single string, NodePattern matches ordered elements
+ * against a sequence of MarkdownNode siblings.
+ *
+ * Elements can be single-node matchers or groups (repeatable
+ * sub-sequences).
+ */
+export declare class NodePattern {
+    private readonly elements;
+    constructor(elements: NodeMatchElement[]);
+    /**
+     * Human-readable display of the expected node sequence.
+     */
+    toDisplayFormat(): string;
+    /**
+     * Test whether the node sequence (from the start) matches.
+     */
+    test(nodes: MarkdownNode[]): boolean;
+    /**
+     * Match the full element sequence starting from `nodes[0]`.
+     */
+    match(nodes: MarkdownNode[]): NodeMatchResult;
+    /**
+     * Slide across the node array and collect every non-overlapping match.
+     */
+    findAll(nodes: MarkdownNode[]): NodePatternMatch[];
+    /**
+     * Produce a diagnostic message when a node sequence fails to match.
+     */
+    describeFailure(nodes: MarkdownNode[]): string | null;
+    private matchAt;
+}
+//# sourceMappingURL=node-pattern.d.ts.map

package/dist/tools/node-pattern/node-pattern.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-pattern.d.ts","sourceRoot":"","sources":["../../../src/tools/node-pattern/node-pattern.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAGvD,MAAM,WAAW,gBAAgB;IAC7B,gDAAgD;IAChD,YAAY,EAAE,MAAM,CAAC;IACrB,8CAA8C;IAC9C,eAAe,EAAE,MAAM,CAAC;IACxB,sDAAsD;IACtD,cAAc,EAAE,MAAM,CAAC;IACvB,qDAAqD;IACrD,MAAM,CAAC,EAAE,YAAY,CAAC;CACzB;AAED,MAAM,WAAW,gBAAgB;IAC7B,uEAAuE;IACvE,QAAQ,EAAE,YAAY,EAAE,EAAE,CAAC;IAC3B,iCAAiC;IACjC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;IACvC,+CAA+C;IAC/C,UAAU,EAAE,MAAM,CAAC;IACnB,sCAAsC;IACtC,MAAM,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,eAAe,GACrB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,gBAAgB,CAAA;CAAE,GACrC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAE7C;;;;;;;;;GASG;AACH,qBAAa,WAAW;IACpB,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;gBAElC,QAAQ,EAAE,gBAAgB,EAAE;IAIxC;;OAEG;IACH,eAAe,IAAI,MAAM;IAIzB;;OAEG;IACH,IAAI,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,OAAO;IAIpC;;OAEG;IACH,KAAK,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,eAAe;IAI7C;;OAEG;IACH,OAAO,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,gBAAgB,EAAE;IAiBlD;;OAEG;IACH,eAAe,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,MAAM,GAAG,IAAI;IAYrD,OAAO,CAAC,OAAO;CAsElB"}

package/dist/tools/node-pattern/node-pattern.js

@@ -0,0 +1,129 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.NodePattern = void 0;
+const node_matcher_1 = require("./node-matcher");
+/**
+ * A sequence-level pattern for flat AST node arrays.
+ *
+ * Analogous to LinePattern for text: instead of matching segments
+ * within a single string, NodePattern matches ordered elements
+ * against a sequence of MarkdownNode siblings.
+ *
+ * Elements can be single-node matchers or groups (repeatable
+ * sub-sequences).
+ */
+class NodePattern {
+    constructor(elements) {
+        this.elements = elements;
+    }
+    /**
+     * Human-readable display of the expected node sequence.
+     */
+    toDisplayFormat() {
+        return this.elements.map((m) => m.display).join(" ");
+    }
+    /**
+     * Test whether the node sequence (from the start) matches.
+     */
+    test(nodes) {
+        return this.match(nodes).ok;
+    }
+    /**
+     * Match the full element sequence starting from `nodes[0]`.
+     */
+    match(nodes) {
+        return this.matchAt(nodes, 0);
+    }
+    /**
+     * Slide across the node array and collect every non-overlapping match.
+     */
+    findAll(nodes) {
+        const results = [];
+        let i = 0;
+        while (i < nodes.length) {
+            const result = this.matchAt(nodes, i);
+            if (result.ok) {
+                results.push(result.value);
+                i += Math.max(result.value.length, 1);
+            }
+            else {
+                i++;
+            }
+        }
+        return results;
+    }
+    /**
+     * Produce a diagnostic message when a node sequence fails to match.
+     */
+    describeFailure(nodes) {
+        const result = this.match(nodes);
+        if (result.ok)
+            return null;
+        const { matcherIndex, expectedDisplay, actual } = result.error;
+        const actualDesc = actual ? `${actual.type}` : "<end of sequence>";
+        return (`Mismatch at matcher #${matcherIndex}: ` +
+            `expected ${expectedDisplay}, got ${actualDesc}`);
+    }
+    matchAt(nodes, start) {
+        let offset = start;
+        const captures = [];
+        const taggedMap = {};
+        for (let i = 0; i < this.elements.length; i++) {
+            const element = this.elements[i];
+            if ((0, node_matcher_1.isGroupMatcher)(element)) {
+                const result = (0, node_matcher_1.matchGroup)(element, nodes, offset);
+                if (!result.matched) {
+                    return {
+                        ok: false,
+                        error: {
+                            matcherIndex: i,
+                            expectedDisplay: element.display,
+                            remainingCount: nodes.length - offset,
+                            actual: offset < nodes.length ? nodes[offset] : undefined,
+                        },
+                    };
+                }
+                const captured = nodes.slice(offset, offset + result.consumed);
+                captures.push(captured);
+                if (element.tag) {
+                    taggedMap[element.tag] = captured;
+                }
+                for (const [key, value] of Object.entries(result.innerTags)) {
+                    taggedMap[key] = (taggedMap[key] ?? []).concat(value);
+                }
+                offset += result.consumed;
+            }
+            else {
+                const result = (0, node_matcher_1.matchNodes)(element, nodes, offset);
+                if (!result.matched) {
+                    return {
+                        ok: false,
+                        error: {
+                            matcherIndex: i,
+                            expectedDisplay: element.display,
+                            remainingCount: nodes.length - offset,
+                            actual: offset < nodes.length ? nodes[offset] : undefined,
+                        },
+                    };
+                }
+                const captured = nodes.slice(offset, offset + result.consumed);
+                captures.push(captured);
+                if (element.tag) {
+                    taggedMap[element.tag] = captured;
+                }
+                offset += result.consumed;
+            }
+        }
+        return {
+            ok: true,
+            value: {
+                captures,
+                tagged: taggedMap,
+                startIndex: start,
+                length: offset - start,
+            },
+        };
+    }
+}
+exports.NodePattern = NodePattern;
+//# sourceMappingURL=node-pattern.js.map

package/dist/tools/node-pattern/node-pattern.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-pattern.js","sourceRoot":"","sources":["../../../src/tools/node-pattern/node-pattern.ts"],"names":[],"mappings":";;;AAEA,iDAAwE;AA4BxE;;;;;;;;;GASG;AACH,MAAa,WAAW;IAGpB,YAAY,QAA4B;QACpC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,eAAe;QACX,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IAED;;OAEG;IACH,IAAI,CAAC,KAAqB;QACtB,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAqB;QACvB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClC,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,KAAqB;QACzB,MAAM,OAAO,GAAuB,EAAE,CAAC;QACvC,IAAI,CAAC,GAAG,CAAC,CAAC;QAEV,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACtC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACZ,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC3B,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACJ,CAAC,EAAE,CAAC;YACR,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,KAAqB;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,MAAM,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QAE3B,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;QAC/D,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC;QACnE,OAAO,CACH,wBAAwB,YAAY,IAAI;YACxC,YAAY,eAAe,SAAS,UAAU,EAAE,CACnD,CAAC;IACN,CAAC;IAEO,OAAO,CAAC,KAAqB,EAAE,KAAa;QAChD,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,QAAQ,GAAqB,EAAE,CAAC;QACtC,MAAM,SAAS,GAAmC,EAAE,CAAC;QAErD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAEjC,IAAI,IAAA,6BAAc,EAAC,OAAO,CAAC,EAAE,CAAC;gBAC1B,MAAM,MAAM,GAAG,IAAA,yBAAU,EAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBAElD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;oBAClB,OAAO;wBACH,EAAE,EAAE,KAAK;wBACT,KAAK,EAAE;4BACH,YAAY,EAAE,CAAC;4BACf,eAAe,EAAE,OAAO,CAAC,OAAO;4BAChC,cAAc,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM;4BACrC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;yBAC5D;qBACJ,CAAC;gBACN,CAAC;gBAED,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAC/D,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAExB,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;oBACd,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;gBACtC,CAAC;gBACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC1D,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC1D,CAAC;gBAED,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACJ,MAAM,MAAM,GAAG,IAAA,yBAAU,EAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBAElD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;oBAClB,OAAO;wBACH,EAAE,EAAE,KAAK;wBACT,KAAK,EAAE;4BACH,YAAY,EAAE,CAAC;4BACf,eAAe,EAAE,OAAO,CAAC,OAAO;4BAChC,cAAc,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM;4BACrC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;yBAC5D;qBACJ,CAAC;gBACN,CAAC;gBAED,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAC/D,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAExB,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;oBACd,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;gBACtC,CAAC;gBAED,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC;YAC9B,CAAC;QACL,CAAC;QAED,OAAO;YACH,EAAE,EAAE,IAAI;YACR,KAAK,EAAE;gBACH,QAAQ;gBACR,MAAM,EAAE,SAAS;gBACjB,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,MAAM,GAAG,KAAK;aACzB;SACJ,CAAC;IACN,CAAC;CACJ;AArID,kCAqIC"}

package/dist/tools/section-check/index.d.ts

@@ -0,0 +1,4 @@
+export { SectionCheck, sectionCheck, bodyCheck } from "./section-check";
+export type { CheckFailure, BulletItem, SectionData } from "./types";
+export { BulletLine } from "./types";
+//# sourceMappingURL=index.d.ts.map

package/dist/tools/section-check/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tools/section-check/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACxE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC"}

package/dist/tools/section-check/index.js

@@ -0,0 +1,10 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BulletLine = exports.bodyCheck = exports.sectionCheck = exports.SectionCheck = void 0;
+var section_check_1 = require("./section-check");
+Object.defineProperty(exports, "SectionCheck", { enumerable: true, get: function () { return section_check_1.SectionCheck; } });
+Object.defineProperty(exports, "sectionCheck", { enumerable: true, get: function () { return section_check_1.sectionCheck; } });
+Object.defineProperty(exports, "bodyCheck", { enumerable: true, get: function () { return section_check_1.bodyCheck; } });
+var types_1 = require("./types");
+Object.defineProperty(exports, "BulletLine", { enumerable: true, get: function () { return types_1.BulletLine; } });
+//# sourceMappingURL=index.js.map

package/dist/tools/section-check/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/tools/section-check/index.ts"],"names":[],"mappings":";;;AAAA,iDAAwE;AAA/D,6GAAA,YAAY,OAAA;AAAE,6GAAA,YAAY,OAAA;AAAE,0GAAA,SAAS,OAAA;AAE9C,iCAAqC;AAA5B,mGAAA,UAAU,OAAA"}

package/dist/tools/section-check/section-check.d.ts

@@ -0,0 +1,46 @@
+import { type MarkdownNode } from "../ast-parser/markdown";
+import { type NodePattern } from "../node-pattern";
+import type { CheckFailure, BulletItem, SectionData } from "./types";
+import { BulletLine } from "./types";
+type SectionTarget = {
+    kind: "named";
+    title: string;
+    level: number;
+} | {
+    kind: "body";
+};
+export declare class SectionCheck {
+    private readonly parser;
+    private readonly target;
+    private readonly steps;
+    constructor(target: SectionTarget);
+    structure(pattern: NodePattern): this;
+    introLine(expected: string): this;
+    taggedTextEquals(tag: string, expected: string, options?: {
+        normalize?: (s: string) => string;
+    }): this;
+    eachBulletItem(check: (firstLine: BulletLine) => boolean, options?: {
+        includeNestedLists?: boolean;
+    }): this;
+    requireBulletList(options?: {
+        includeNestedLists?: boolean;
+        message?: string;
+    }): this;
+    eachBulletItemAsync(check: (item: BulletItem) => Promise<CheckFailure | null>, options?: {
+        includeNestedLists?: boolean;
+    }): this;
+    validate(check: (section: SectionData) => CheckFailure[] | Promise<CheckFailure[]>): this;
+    run(doc: MarkdownNode, code: string): Promise<CheckFailure[]>;
+    private extractSection;
+    private extractBodyText;
+    private resolveBulletItems;
+    private resolveListNodes;
+    private buildBulletItem;
+    private targetDisplay;
+}
+/** Target a named section (e.g. "## Argument Reference"). */
+export declare function sectionCheck(title: string, level: number): SectionCheck;
+/** Target the document body (H1 area, excluding frontmatter). */
+export declare function bodyCheck(): SectionCheck;
+export {};
+//# sourceMappingURL=section-check.d.ts.map

package/dist/tools/section-check/section-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"section-check.d.ts","sourceRoot":"","sources":["../../../src/tools/section-check/section-check.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,KAAK,YAAY,EACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,KAAK,WAAW,EAAyB,MAAM,iBAAiB,CAAC;AAC1E,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAErC,KAAK,aAAa,GACZ;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAiCvB,qBAAa,YAAY;IACrB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwB;IAC/C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAgB;IACvC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAc;gBAEjB,MAAM,EAAE,aAAa;IAIjC,SAAS,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI;IAKrC,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI;IAKjC,gBAAgB,CACnB,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,CAAA;KAAE,GAChD,IAAI;IAUA,cAAc,CACjB,KAAK,EAAE,CAAC,SAAS,EAAE,UAAU,KAAK,OAAO,EACzC,OAAO,CAAC,EAAE;QAAE,kBAAkB,CAAC,EAAE,OAAO,CAAA;KAAE,GAC3C,IAAI;IASA,iBAAiB,CAAC,OAAO,CAAC,EAAE;QAC/B,kBAAkB,CAAC,EAAE,OAAO,CAAC;QAC7B,OAAO,CAAC,EAAE,MAAM,CAAC;KACpB,GAAG,IAAI;IASD,mBAAmB,CACtB,KAAK,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,EACzD,OAAO,CAAC,EAAE;QAAE,kBAAkB,CAAC,EAAE,OAAO,CAAA;KAAE,GAC3C,IAAI;IASA,QAAQ,CACX,KAAK,EAAE,CACH,OAAO,EAAE,WAAW,KACnB,YAAY,EAAE,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,GAC9C,IAAI;IAKM,GAAG,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC;IAmI1E,OAAO,CAAC,cAAc;IAqCtB,OAAO,CAAC,eAAe;IAwBvB,OAAO,CAAC,kBAAkB;IAY1B,OAAO,CAAC,gBAAgB;IA4BxB,OAAO,CAAC,eAAe;IAoBvB,OAAO,CAAC,aAAa;CAKxB;AAED,6DAA6D;AAC7D,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAEvE;AAED,iEAAiE;AACjE,wBAAgB,SAAS,IAAI,YAAY,CAExC"}