@kernlang/review 3.1.1 → 3.1.3

package/dist/rule-eval.js

@@ -0,0 +1,449 @@
+/**
+ * KERN Native Rule Evaluation Engine
+ *
+ * Evaluates .kern rule definitions against IR node trees.
+ * Rules use pattern/guard/expect/message nodes (all existing KERN types)
+ * under a `rule` root node.
+ */
+import { createFingerprint } from './types.js';
+// ── Concept → IR Wrapper ────────────────────────────────────────────────
+/** Flatten a concept payload into plain props (skip 'kind' — it becomes node type). */
+function flattenPayload(payload) {
+    const flat = {};
+    for (const [k, v] of Object.entries(payload)) {
+        if (k === 'kind')
+            continue;
+        flat[k] = v;
+    }
+    return flat;
+}
+function countUpLevels(specifier) {
+    const match = specifier.match(/^(\.\.\/)+/);
+    if (!match)
+        return 0;
+    return match[0].length / 3;
+}
+/** Convert a ConceptNode to an IRNode-shaped wrapper for the pattern matcher. */
+export function conceptNodeToIR(concept) {
+    const props = {
+        ...flattenPayload(concept.payload),
+        // Metadata after payload — metadata always wins on collision
+        _concept: true,
+        evidence: concept.evidence,
+        confidence: concept.confidence,
+        language: concept.language,
+    };
+    if (concept.containerId)
+        props.containerId = concept.containerId;
+    return {
+        type: concept.kind,
+        loc: {
+            line: concept.primarySpan.startLine,
+            col: concept.primarySpan.startCol,
+            endLine: concept.primarySpan.endLine,
+            endCol: concept.primarySpan.endCol,
+        },
+        props,
+        children: [],
+    };
+}
+/** Convert a ConceptEdge to an IRNode-shaped wrapper for the pattern matcher. */
+export function conceptEdgeToIR(edge) {
+    const props = {
+        ...flattenPayload(edge.payload),
+        _concept: true,
+        _edge: true,
+        sourceId: edge.sourceId,
+        targetId: edge.targetId,
+        evidence: edge.evidence,
+        confidence: edge.confidence,
+        language: edge.language,
+    };
+    if ('specifier' in edge.payload && typeof edge.payload.specifier === 'string') {
+        props.upLevels = countUpLevels(edge.payload.specifier);
+    }
+    return {
+        type: edge.kind,
+        loc: {
+            line: edge.primarySpan.startLine,
+            col: edge.primarySpan.startCol,
+            endLine: edge.primarySpan.endLine,
+            endCol: edge.primarySpan.endCol,
+        },
+        props,
+        children: [],
+    };
+}
+/** Build a rule index from a list of IR nodes, optionally including concept nodes and edges. */
+export function buildRuleIndex(nodes, concepts) {
+    const nodesByType = new Map();
+    const parentMap = new Map();
+    const allNodes = [];
+    function walk(node, parent) {
+        allNodes.push(node);
+        parentMap.set(node, parent);
+        const list = nodesByType.get(node.type);
+        if (list)
+            list.push(node);
+        else
+            nodesByType.set(node.type, [node]);
+        for (const child of node.children || []) {
+            walk(child, node);
+        }
+    }
+    for (const node of nodes)
+        walk(node);
+    // Add concept nodes and edges as flat IRNode wrappers (no parent, no children)
+    if (concepts) {
+        for (const cn of concepts.nodes) {
+            walk(conceptNodeToIR(cn));
+        }
+        for (const ce of concepts.edges) {
+            walk(conceptEdgeToIR(ce));
+        }
+    }
+    // Build peer index — index nodes by prop values for peer-scoped guards
+    const peerIndex = new Map();
+    for (const node of allNodes) {
+        const np = node.props || {};
+        for (const [field, val] of Object.entries(np)) {
+            if (typeof val !== 'string' || field.startsWith('_'))
+                continue;
+            let fieldMap = peerIndex.get(field);
+            if (!fieldMap) {
+                fieldMap = new Map();
+                peerIndex.set(field, fieldMap);
+            }
+            let list = fieldMap.get(val);
+            if (!list) {
+                list = [];
+                fieldMap.set(val, list);
+            }
+            list.push(node);
+        }
+    }
+    return { nodesByType, parentMap, allNodes, peerIndex };
+}
+const NO_MATCH = { matched: false, bindings: new Map() };
+/** Get props from a node safely. */
+function p(node) {
+    return node.props || {};
+}
+/** Get children of a specific type. */
+function childrenOf(node, type) {
+    const c = node.children || [];
+    return type ? c.filter(n => n.type === type) : c;
+}
+/**
+ * Match a pattern node against a target node.
+ *
+ * Pattern props:
+ * - type=X: target must have this type
+ * - prop=X: target must have this prop defined
+ * - Any other prop: target must have matching prop value
+ *
+ * Pattern children:
+ * - guard: evaluated as a guard clause
+ * - expect: evaluated as a quantifier
+ * - Nested pattern: matched recursively against target's children
+ */
+export function matchPattern(pattern, target, index) {
+    const pp = p(pattern);
+    const tp = p(target);
+    const bindings = new Map();
+    // Subject filtering — concept nodes isolated from IR nodes
+    // subject=concept → only concept nodes; anything else → only IR nodes
+    const subject = pp.subject;
+    const isConcept = tp._concept === true;
+    if (subject === 'concept' && !isConcept)
+        return NO_MATCH;
+    if (subject !== 'concept' && isConcept)
+        return NO_MATCH;
+    // Type check
+    if (pp.type && pp.type !== target.type)
+        return NO_MATCH;
+    // Prop existence check (prop=X means "target must have prop X")
+    if (pp.prop) {
+        const propName = pp.prop;
+        if (tp[propName] === undefined)
+            return NO_MATCH;
+    }
+    // Direct prop value matching (name=value checks target.props.name === value)
+    // Supports pipe-separated OR: subtype=auth|validation matches either
+    for (const [key, val] of Object.entries(pp)) {
+        if (['type', 'prop', 'subject', 'not'].includes(key))
+            continue;
+        if (key.startsWith('min-') || key.startsWith('max-')) {
+            const propName = key.slice(4);
+            const targetNum = Number(tp[propName]);
+            const bound = Number(val);
+            if (propName.length === 0 || Number.isNaN(targetNum) || Number.isNaN(bound))
+                return NO_MATCH;
+            if (key.startsWith('min-') && targetNum < bound)
+                return NO_MATCH;
+            if (key.startsWith('max-') && targetNum > bound)
+                return NO_MATCH;
+            continue;
+        }
+        if (tp[key] === undefined)
+            continue;
+        const strVal = String(val);
+        const targetVal = String(tp[key]);
+        if (strVal.includes('|')) {
+            const alternatives = strVal.split('|');
+            if (!alternatives.includes(targetVal))
+                return NO_MATCH;
+        }
+        else {
+            if (targetVal !== strVal)
+                return NO_MATCH;
+        }
+    }
+    // Capture all target props as bindings for message interpolation
+    for (const [key, val] of Object.entries(tp)) {
+        bindings.set(key, val);
+    }
+    bindings.set('type', target.type);
+    // Evaluate child guard nodes
+    for (const guard of childrenOf(pattern, 'guard')) {
+        if (!evaluateGuard(guard, target, index))
+            return NO_MATCH;
+    }
+    // Evaluate child expect nodes
+    for (const expect of childrenOf(pattern, 'expect')) {
+        if (!evaluateExpect(expect, target))
+            return NO_MATCH;
+    }
+    // Evaluate nested pattern children (match against target's children)
+    for (const subPattern of childrenOf(pattern, 'pattern')) {
+        const subPp = p(subPattern);
+        const matchType = subPp.type;
+        const targetChildren = matchType
+            ? childrenOf(target, matchType)
+            : (target.children || []);
+        let anyMatch = false;
+        for (const child of targetChildren) {
+            const result = matchPattern(subPattern, child, index);
+            if (result.matched) {
+                anyMatch = true;
+                for (const [k, v] of result.bindings)
+                    bindings.set(k, v);
+                break;
+            }
+        }
+        if (!anyMatch)
+            return NO_MATCH;
+    }
+    return { matched: true, bindings };
+}
+// ── Guard Evaluation ────────────────────────────────────────────────────
+/**
+ * Evaluate a guard clause against a target node.
+ *
+ * Guard props:
+ * - not=true: negate the result
+ * - prop=X: check if target has prop X (negated: check target does NOT have prop X)
+ * - scope=X: check if any ancestor has type X
+ * - peer=X: check if any node sharing the same value of prop X matches child patterns
+ *
+ * Guard children:
+ * - pattern: must match against target (negated: must NOT match)
+ *   When peer=X is set, child patterns match against peer nodes instead of target
+ */
+export function evaluateGuard(guard, target, index) {
+    const gp = p(guard);
+    const isNegated = gp.not === 'true' || gp.not === true;
+    let result = true;
+    // Prop existence check
+    if (gp.prop) {
+        const propName = gp.prop;
+        const tp = p(target);
+        if (tp[propName] === undefined)
+            result = false;
+    }
+    // Scope check — walk ancestor chain (AND-combined with prop check)
+    if (result && gp.scope) {
+        const scopeType = gp.scope;
+        let current = index.parentMap.get(target);
+        let found = false;
+        while (current) {
+            if (current.type === scopeType) {
+                found = true;
+                break;
+            }
+            current = index.parentMap.get(current);
+        }
+        if (!found)
+            result = false;
+    }
+    // Peer check — find nodes sharing the same prop value, match child patterns against them
+    if (result && gp.peer) {
+        const peerField = gp.peer;
+        const targetValue = p(target)[peerField];
+        if (!targetValue || typeof targetValue !== 'string') {
+            result = false;
+        }
+        else {
+            const peerPatterns = childrenOf(guard, 'pattern');
+            if (peerPatterns.length > 0) {
+                const fieldMap = index.peerIndex.get(peerField);
+                const peers = fieldMap?.get(targetValue) || [];
+                let anyPeerMatch = false;
+                for (const peer of peers) {
+                    if (peer === target)
+                        continue; // skip self
+                    let allMatch = true;
+                    for (const pp of peerPatterns) {
+                        if (!matchPattern(pp, peer, index).matched) {
+                            allMatch = false;
+                            break;
+                        }
+                    }
+                    if (allMatch) {
+                        anyPeerMatch = true;
+                        break;
+                    }
+                }
+                result = anyPeerMatch;
+            }
+        }
+    }
+    else {
+        // Child pattern matching (non-peer: match against target itself)
+        for (const subPattern of childrenOf(guard, 'pattern')) {
+            const subResult = matchPattern(subPattern, target, index);
+            if (!subResult.matched) {
+                result = false;
+                break;
+            }
+        }
+    }
+    return isNegated ? !result : result;
+}
+// ── Expect Evaluation ───────────────────────────────────────────────────
+/**
+ * Evaluate a quantifier (expect node) against a target node.
+ *
+ * Expect props:
+ * - child-type=X: count children of type X
+ * - min=N: require at least N matching children
+ * - max=N: require at most N matching children
+ * - exact=N: require exactly N matching children
+ */
+export function evaluateExpect(expect, target) {
+    const ep = p(expect);
+    const childType = ep['child-type'];
+    const matching = childType ? childrenOf(target, childType) : (target.children || []);
+    const count = matching.length;
+    const min = ep.min !== undefined ? Number(ep.min) : undefined;
+    const max = ep.max !== undefined ? Number(ep.max) : undefined;
+    const exact = ep.exact !== undefined ? Number(ep.exact) : undefined;
+    if (min !== undefined && !Number.isNaN(min) && count < min)
+        return false;
+    if (max !== undefined && !Number.isNaN(max) && count > max)
+        return false;
+    if (exact !== undefined && !Number.isNaN(exact) && count !== exact)
+        return false;
+    return true;
+}
+// ── Message Interpolation ───────────────────────────────────────────────
+/**
+ * Interpolate {{prop}} placeholders in a message template.
+ */
+export function interpolateMessage(template, bindings) {
+    return template.replace(/\{\{([\w-]+)\}\}/g, (_match, key) => {
+        const val = bindings.get(key);
+        return val !== undefined ? String(val) : `{{${key}}}`;
+    });
+}
+// ── Fix Action Construction ─────────────────────────────────────────────
+/**
+ * Build a FixAction from a fix node (body child with multiline code).
+ */
+function buildFixAction(fixNode, target, bindings) {
+    const fp = p(fixNode);
+    const op = fp.op || 'insert-after';
+    const bodyNode = childrenOf(fixNode, 'body')[0];
+    const code = bodyNode ? (p(bodyNode).code || '') : '';
+    if (!code)
+        return undefined;
+    const replacement = interpolateMessage(code, bindings);
+    const span = {
+        file: '',
+        startLine: target.loc?.line ?? 0,
+        startCol: target.loc?.col ?? 0,
+        endLine: target.loc?.endLine ?? target.loc?.line ?? 0,
+        endCol: target.loc?.endCol ?? target.loc?.col ?? 0,
+    };
+    return {
+        type: op,
+        span,
+        replacement,
+        description: fp.description || `Apply ${op} fix`,
+    };
+}
+// ── Rule Evaluation ─────────────────────────────────────────────────────
+/**
+ * Evaluate a single native KERN rule against an indexed IR tree.
+ * Returns findings for all matched nodes.
+ * When concepts are provided, concept nodes are included in the index
+ * and accessible via `subject=concept` in pattern nodes.
+ */
+export function evaluateRule(rule, index, filePath) {
+    const rp = p(rule);
+    const ruleId = rp.id || 'unnamed-rule';
+    const severity = rp.severity || 'warning';
+    const category = rp.category || 'pattern';
+    const confidence = rp.confidence !== undefined ? Number(rp.confidence) : undefined;
+    // Get the pattern node
+    const patternNode = childrenOf(rule, 'pattern')[0];
+    if (!patternNode)
+        return [];
+    // Get the message template
+    const messageNode = childrenOf(rule, 'message')[0];
+    const template = messageNode ? p(messageNode).template || '' : ruleId;
+    // Get optional fix node
+    const fixNode = childrenOf(rule, 'fix')[0];
+    // Determine which nodes to check based on pattern type
+    const patternType = p(patternNode).type;
+    const candidates = patternType
+        ? (index.nodesByType.get(patternType) || [])
+        : index.allNodes;
+    const findings = [];
+    for (const target of candidates) {
+        const result = matchPattern(patternNode, target, index);
+        if (!result.matched)
+            continue;
+        const message = interpolateMessage(template, result.bindings);
+        const line = target.loc?.line ?? 0;
+        const col = target.loc?.col ?? 1;
+        const finding = {
+            source: 'kern-native',
+            ruleId,
+            severity,
+            category,
+            message,
+            primarySpan: {
+                file: filePath,
+                startLine: line,
+                startCol: col,
+                endLine: target.loc?.endLine ?? line,
+                endCol: target.loc?.endCol ?? col,
+            },
+            fingerprint: createFingerprint(ruleId, line, col),
+        };
+        if (confidence !== undefined)
+            finding.confidence = confidence;
+        // Build autofix if fix node exists
+        if (fixNode) {
+            const action = buildFixAction(fixNode, target, result.bindings);
+            if (action) {
+                action.span.file = filePath;
+                finding.autofix = action;
+            }
+        }
+        findings.push(finding);
+    }
+    return findings;
+}
+//# sourceMappingURL=rule-eval.js.map

package/dist/rule-eval.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-eval.js","sourceRoot":"","sources":["../src/rule-eval.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAE/C,2EAA2E;AAE3E,uFAAuF;AACvF,SAAS,cAAc,CAAC,OAAgD;IACtE,MAAM,IAAI,GAA4B,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,KAAK,MAAM;YAAE,SAAS;QAC3B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CAAC,SAAiB;IACtC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC5C,IAAI,CAAC,KAAK;QAAE,OAAO,CAAC,CAAC;IACrB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,eAAe,CAAC,OAAoB;IAClD,MAAM,KAAK,GAA4B;QACrC,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC;QAClC,6DAA6D;QAC7D,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC;IACF,IAAI,OAAO,CAAC,WAAW;QAAE,KAAK,CAAC,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;IAEjE,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,GAAG,EAAE;YACH,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,SAAS;YACnC,GAAG,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ;YACjC,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO;YACpC,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM;SACnC;QACD,KAAK;QACL,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,eAAe,CAAC,IAAiB;IAC/C,MAAM,KAAK,GAA4B;QACrC,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC;QAC/B,QAAQ,EAAE,IAAI;QACd,KAAK,EAAE,IAAI;QACX,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAC;IAEF,IAAI,WAAW,IAAI,IAAI,CAAC,OAAO,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC9E,KAAK,CAAC,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACzD,CAAC;IAED,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG,EAAE;YACH,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,SAAS;YAChC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,QAAQ;YAC9B,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO;YACjC,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM;SAChC;QACD,KAAK;QACL,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAgBD,gGAAgG;AAChG,MAAM,UAAU,cAAc,CAAC,KAAe,EAAE,QAAqB;IACnE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA8B,CAAC;IACxD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,SAAS,IAAI,CAAC,IAAY,EAAE,MAAe;QACzC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAE5B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;YACrB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAExC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YACxC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAErC,+EAA+E;IAC/E,IAAI,QAAQ,EAAE,CAAC;QACb,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC/D,IAAI,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;gBAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAAC,CAAC;YACxE,IAAI,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,IAAI,GAAG,EAAE,CAAC;gBAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAAC,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACzD,CAAC;AAUD,MAAM,QAAQ,GAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AAEtE,oCAAoC;AACpC,SAAS,CAAC,CAAC,IAAY;IACrB,OAAO,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,uCAAuC;AACvC,SAAS,UAAU,CAAC,IAAY,EAAE,IAAa;IAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IAC9B,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,YAAY,CAAC,OAAe,EAAE,MAAc,EAAE,KAAgB;IAC5E,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACtB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACrB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE5C,2DAA2D;IAC3D,sEAAsE;IACtE,MAAM,OAAO,GAAG,EAAE,CAAC,OAA6B,CAAC;IACjD,MAAM,SAAS,GAAG,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC;IACvC,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,SAAS;QAAE,OAAO,QAAQ,CAAC;IACzD,IAAI,OAAO,KAAK,SAAS,IAAI,SAAS;QAAE,OAAO,QAAQ,CAAC;IAExD,aAAa;IACb,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;QAAE,OAAO,QAAQ,CAAC;IAExD,gEAAgE;IAChE,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAc,CAAC;QACnC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;IAClD,CAAC;IAED,6EAA6E;IAC7E,qEAAqE;IACrE,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC5C,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/D,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACrD,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,SAAS,GAAG,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YACvC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,OAAO,QAAQ,CAAC;YAC7F,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,SAAS,GAAG,KAAK;gBAAE,OAAO,QAAQ,CAAC;YACjE,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,SAAS,GAAG,KAAK;gBAAE,OAAO,QAAQ,CAAC;YACjE,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,SAAS;QACpC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,SAAS,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAClC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC;gBAAE,OAAO,QAAQ,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,IAAI,SAAS,KAAK,MAAM;gBAAE,OAAO,QAAQ,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC5C,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAElC,6BAA6B;IAC7B,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC;IAC5D,CAAC;IAED,8BAA8B;IAC9B,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC;YAAE,OAAO,QAAQ,CAAC;IACvD,CAAC;IAED,qEAAqE;IACrE,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;QAC5B,MAAM,SAAS,GAAG,KAAK,CAAC,IAA0B,CAAC;QACnD,MAAM,cAAc,GAAG,SAAS;YAC9B,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC;YAC/B,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QAE5B,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YACtD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,QAAQ,GAAG,IAAI,CAAC;gBAChB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ;oBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACzD,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ;YAAE,OAAO,QAAQ,CAAC;IACjC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrC,CAAC;AAED,2EAA2E;AAE3E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,MAAc,EAAE,KAAgB;IAC3E,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACpB,MAAM,SAAS,GAAG,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC;IAEvD,IAAI,MAAM,GAAG,IAAI,CAAC;IAElB,uBAAuB;IACvB,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAc,CAAC;QACnC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACrB,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,SAAS;YAAE,MAAM,GAAG,KAAK,CAAC;IACjD,CAAC;IAED,mEAAmE;IACnE,IAAI,MAAM,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,EAAE,CAAC,KAAe,CAAC;QACrC,IAAI,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,OAAO,OAAO,EAAE,CAAC;YACf,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAAC,KAAK,GAAG,IAAI,CAAC;gBAAC,MAAM;YAAC,CAAC;YACxD,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,CAAC,KAAK;YAAE,MAAM,GAAG,KAAK,CAAC;IAC7B,CAAC;IAED,yFAAyF;IACzF,IAAI,MAAM,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;QACtB,MAAM,SAAS,GAAG,EAAE,CAAC,IAAc,CAAC;QACpC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,WAAW,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;YACpD,MAAM,GAAG,KAAK,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,MAAM,YAAY,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAClD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,KAAK,GAAG,QAAQ,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;gBAC/C,IAAI,YAAY,GAAG,KAAK,CAAC;gBACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,IAAI,KAAK,MAAM;wBAAE,SAAS,CAAC,YAAY;oBAC3C,IAAI,QAAQ,GAAG,IAAI,CAAC;oBACpB,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;wBAC9B,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;4BAAC,QAAQ,GAAG,KAAK,CAAC;4BAAC,MAAM;wBAAC,CAAC;oBAC1E,CAAC;oBACD,IAAI,QAAQ,EAAE,CAAC;wBAAC,YAAY,GAAG,IAAI,CAAC;wBAAC,MAAM;oBAAC,CAAC;gBAC/C,CAAC;gBACD,MAAM,GAAG,YAAY,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,iEAAiE;QACjE,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YACtD,MAAM,SAAS,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YAC1D,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;gBAAC,MAAM,GAAG,KAAK,CAAC;gBAAC,MAAM;YAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;AACtC,CAAC;AAED,2EAA2E;AAE3E;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,MAAc;IAC3D,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACrB,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAuB,CAAC;IACzD,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC;IAE9B,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEpE,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,GAAG;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,GAAG;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAEjF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,2EAA2E;AAE3E;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,QAA8B;IACjF,OAAO,QAAQ,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,MAAM,EAAE,GAAW,EAAE,EAAE;QACnE,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2EAA2E;AAE3E;;GAEG;AACH,SAAS,cAAc,CAAC,OAAe,EAAE,MAAc,EAAE,QAA8B;IACrF,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACtB,MAAM,EAAE,GAAI,EAAE,CAAC,EAAa,IAAI,cAAc,CAAC;IAC/C,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAc,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAEhE,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG;QACX,IAAI,EAAE,EAAE;QACR,SAAS,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC;QAChC,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;QAC9B,OAAO,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,IAAI,MAAM,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC;QACrD,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;KACnD,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,EAAuB;QAC7B,IAAI;QACJ,WAAW;QACX,WAAW,EAAG,EAAE,CAAC,WAAsB,IAAI,SAAS,EAAE,MAAM;KAC7D,CAAC;AACJ,CAAC;AAED,2EAA2E;AAE3E;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,KAAgB,EAAE,QAAgB;IAC3E,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAI,EAAE,CAAC,EAAa,IAAI,cAAc,CAAC;IACnD,MAAM,QAAQ,GAAI,EAAE,CAAC,QAAsC,IAAI,SAAS,CAAC;IACzE,MAAM,QAAQ,GAAI,EAAE,CAAC,QAAsC,IAAI,SAAS,CAAC;IACzE,MAAM,UAAU,GAAG,EAAE,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEnF,uBAAuB;IACvB,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IAE5B,2BAA2B;IAC3B,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC,WAAW,CAAC,CAAC,QAAmB,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAElF,wBAAwB;IACxB,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAE3C,uDAAuD;IACvD,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,IAA0B,CAAC;IAC9D,MAAM,UAAU,GAAG,WAAW;QAC5B,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;QAC5C,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IAEnB,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,YAAY,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACxD,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,SAAS;QAE9B,MAAM,OAAO,GAAG,kBAAkB,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC;QAEjC,MAAM,OAAO,GAAkB;YAC7B,MAAM,EAAE,aAAa;YACrB,MAAM;YACN,QAAQ;YACR,QAAQ;YACR,OAAO;YACP,WAAW,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,SAAS,EAAE,IAAI;gBACf,QAAQ,EAAE,GAAG;gBACb,OAAO,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,IAAI,IAAI;gBACpC,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,IAAI,GAAG;aAClC;YACD,WAAW,EAAE,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC;SAClD,CAAC;QAEF,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC;QAE9D,mCAAmC;QACnC,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;YAChE,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,QAAQ,CAAC;gBAC5B,OAAO,CAAC,OAAO,GAAG,MAAM,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/rule-loader.d.ts

@@ -0,0 +1,17 @@
+/**
+ * KERN Native Rule Loader
+ *
+ * Discovers .kern rule files, parses them, validates structure,
+ * and wraps each rule in a KernLintRule adapter for the existing pipeline.
+ */
+import type { KernLintRule } from './kern-lint.js';
+/**
+ * Load native .kern rule files from a directory.
+ * Returns KernLintRule adapters for all valid rules found.
+ * Supports `import from="other.kern"` for rule composition.
+ */
+export declare function loadNativeRules(dirs: string[], skipIds?: Set<string>): KernLintRule[];
+/**
+ * Load native rules from the built-in rules directory.
+ */
+export declare function loadBuiltinNativeRules(): KernLintRule[];

package/dist/rule-loader.js

@@ -0,0 +1,155 @@
+/**
+ * KERN Native Rule Loader
+ *
+ * Discovers .kern rule files, parses them, validates structure,
+ * and wraps each rule in a KernLintRule adapter for the existing pipeline.
+ */
+import { readFileSync, existsSync, readdirSync, realpathSync } from 'fs';
+import { resolve, join, dirname } from 'path';
+import { fileURLToPath } from 'url';
+import { parseDocument } from '@kernlang/core';
+import { buildRuleIndex, evaluateRule } from './rule-eval.js';
+// ── Validation ──────────────────────────────────────────────────────────
+/** Validate that a rule node has the required structure. */
+function validateRule(rule) {
+    const errors = [];
+    const rp = rule.props || {};
+    const children = rule.children || [];
+    if (!rp.id)
+        errors.push('Rule missing id prop');
+    const hasPattern = children.some(c => c.type === 'pattern');
+    if (!hasPattern)
+        errors.push('Rule missing pattern child');
+    const hasMessage = children.some(c => c.type === 'message');
+    if (!hasMessage)
+        errors.push('Rule missing message child');
+    // Validate severity if present
+    if (rp.severity && !['error', 'warning', 'info'].includes(rp.severity)) {
+        errors.push(`Invalid severity: ${rp.severity}`);
+    }
+    // Validate category if present
+    if (rp.category && !['bug', 'type', 'pattern', 'style', 'structure'].includes(rp.category)) {
+        errors.push(`Invalid category: ${rp.category}`);
+    }
+    return errors;
+}
+// ── Rule Adapter ────────────────────────────────────────────────────────
+/**
+ * Wrap a parsed rule IRNode into a KernLintRule function.
+ * The adapter builds a RuleIndex from the target nodes and evaluates the rule.
+ * When concepts are provided, concept nodes are included in the index.
+ */
+function nativeRuleAdapter(ruleNode) {
+    const ruleId = ruleNode.props?.id || 'unnamed-rule';
+    const adapter = (nodes, concepts) => {
+        const index = buildRuleIndex(nodes, concepts);
+        // Pass empty filePath — the review pipeline patches it downstream
+        // (same pattern as ground-layer rules in ground-layer.ts:45)
+        return evaluateRule(ruleNode, index, '');
+    };
+    adapter.ruleId = ruleId;
+    return adapter;
+}
+// ── Loader ──────────────────────────────────────────────────────────────
+/**
+ * Load rules from a single .kern file, resolving imports recursively.
+ * The visited set guards against circular imports.
+ * allowedRoots constrains import resolution — imports that escape these dirs are rejected.
+ */
+function loadRulesFromFile(filePath, rules, visited, skipIds = new Set(), allowedRoots = []) {
+    const absPath = resolve(filePath);
+    if (visited.has(absPath))
+        return;
+    visited.add(absPath);
+    if (!existsSync(absPath)) {
+        console.warn(`[kern-native] Import not found: ${absPath}`);
+        return;
+    }
+    try {
+        const source = readFileSync(absPath, 'utf-8');
+        const doc = parseDocument(source);
+        const children = doc.children || [];
+        // Resolve imports first (relative to importing file)
+        for (const node of children) {
+            if (node.type !== 'import')
+                continue;
+            const from = node.props?.from || '';
+            if (!from || !from.endsWith('.kern'))
+                continue;
+            const importPath = resolve(dirname(absPath), from);
+            // Containment check: resolved import must be inside an allowed root
+            if (allowedRoots.length > 0) {
+                let realImportPath;
+                try {
+                    realImportPath = realpathSync(importPath);
+                }
+                catch {
+                    realImportPath = importPath;
+                }
+                const confined = allowedRoots.some(root => realImportPath.startsWith(root + '/') || realImportPath === root);
+                if (!confined) {
+                    console.warn(`[kern-native] Import '${from}' escapes allowed roots — skipped`);
+                    continue;
+                }
+            }
+            loadRulesFromFile(importPath, rules, visited, skipIds, allowedRoots);
+        }
+        // Extract and validate rule nodes
+        for (const ruleNode of children.filter(n => n.type === 'rule')) {
+            const errors = validateRule(ruleNode);
+            if (errors.length > 0) {
+                console.warn(`[kern-native] Skipping invalid rule in ${absPath}: ${errors.join(', ')}`);
+                continue;
+            }
+            const ruleId = ruleNode.props?.id;
+            if (ruleId && skipIds.has(ruleId)) {
+                console.warn(`[kern-native] Skipping duplicate ruleId '${ruleId}' from ${absPath} (already loaded)`);
+                continue;
+            }
+            const adapter = nativeRuleAdapter(ruleNode);
+            rules.push(adapter);
+            if (ruleId)
+                skipIds.add(ruleId);
+        }
+    }
+    catch (err) {
+        console.warn(`[kern-native] Failed to parse ${absPath}: ${err.message}`);
+    }
+}
+/**
+ * Load native .kern rule files from a directory.
+ * Returns KernLintRule adapters for all valid rules found.
+ * Supports `import from="other.kern"` for rule composition.
+ */
+export function loadNativeRules(dirs, skipIds = new Set()) {
+    const rules = [];
+    const visited = new Set();
+    // Compute real paths of allowed roots for containment checks
+    const allowedRoots = dirs.map(d => { try {
+        return realpathSync(resolve(d));
+    }
+    catch {
+        return resolve(d);
+    } });
+    for (const dir of dirs) {
+        if (!existsSync(dir))
+            continue;
+        const files = readdirSync(dir).filter((f) => f.endsWith('.kern'));
+        for (const file of files) {
+            loadRulesFromFile(join(dir, file), rules, visited, skipIds, allowedRoots);
+        }
+    }
+    return rules;
+}
+/**
+ * Load native rules from the built-in rules directory.
+ */
+export function loadBuiltinNativeRules() {
+    const __dirname = dirname(fileURLToPath(import.meta.url));
+    // Try dist/rules/native first, fall back to src/rules/native (dev mode)
+    const distDir = resolve(__dirname, 'rules', 'native');
+    const srcDir = resolve(__dirname, '..', 'src', 'rules', 'native');
+    const builtinDir = existsSync(distDir) ? distDir : srcDir;
+    return loadNativeRules([builtinDir]);
+}
+//# sourceMappingURL=rule-loader.js.map

package/dist/rule-loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-loader.js","sourceRoot":"","sources":["../src/rule-loader.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AACzE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAK/C,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9D,2EAA2E;AAE3E,4DAA4D;AAC5D,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IAErC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IAEhD,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC5D,IAAI,CAAC,UAAU;QAAE,MAAM,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAE3D,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC5D,IAAI,CAAC,UAAU;QAAE,MAAM,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAE3D,+BAA+B;IAC/B,IAAI,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAkB,CAAC,EAAE,CAAC;QACjF,MAAM,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IAClD,CAAC;IAED,+BAA+B;IAC/B,IAAI,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAkB,CAAC,EAAE,CAAC;QACrG,MAAM,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,2EAA2E;AAE3E;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,QAAgB;IACzC,MAAM,MAAM,GAAI,QAAQ,CAAC,KAAK,EAAE,EAAa,IAAI,cAAc,CAAC;IAChE,MAAM,OAAO,GAAG,CAAC,KAAe,EAAE,QAAqB,EAAmB,EAAE;QAC1E,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC9C,kEAAkE;QAClE,6DAA6D;QAC7D,OAAO,YAAY,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC;IACD,OAAwB,CAAC,MAAM,GAAG,MAAM,CAAC;IAC1C,OAAO,OAAuB,CAAC;AACjC,CAAC;AAED,2EAA2E;AAE3E;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,QAAgB,EAAE,KAAqB,EAAE,OAAoB,EAAE,UAAuB,IAAI,GAAG,EAAE,EAAE,eAAyB,EAAE;IACrJ,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO;IACjC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAErB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,mCAAmC,OAAO,EAAE,CAAC,CAAC;QAC3D,OAAO;IACT,CAAC;IAED,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC;QAEpC,qDAAqD;QACrD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACrC,MAAM,IAAI,GAAI,IAAI,CAAC,KAAK,EAAE,IAAe,IAAI,EAAE,CAAC;YAChD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC/C,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;YACnD,oEAAoE;YACpE,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,IAAI,cAAsB,CAAC;gBAC3B,IAAI,CAAC;oBAAC,cAAc,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;gBAAC,CAAC;gBAAC,MAAM,CAAC;oBAAC,cAAc,GAAG,UAAU,CAAC;gBAAC,CAAC;gBACzF,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,cAAc,KAAK,IAAI,CAAC,CAAC;gBAC7G,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,OAAO,CAAC,IAAI,CAAC,yBAAyB,IAAI,mCAAmC,CAAC,CAAC;oBAC/E,SAAS;gBACX,CAAC;YACH,CAAC;YACD,iBAAiB,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QACvE,CAAC;QAED,kCAAkC;QAClC,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;YAC/D,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;YACtC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,OAAO,CAAC,IAAI,CAAC,0CAA0C,OAAO,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxF,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAI,QAAQ,CAAC,KAAK,EAAE,EAAa,CAAC;YAC9C,IAAI,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClC,OAAO,CAAC,IAAI,CAAC,4CAA4C,MAAM,UAAU,OAAO,mBAAmB,CAAC,CAAC;gBACrG,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,IAAI,MAAM;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,IAAI,CAAC,iCAAiC,OAAO,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IACtF,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAAc,EAAE,UAAuB,IAAI,GAAG,EAAE;IAC9E,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,6DAA6D;IAC7D,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC;QAAC,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9G,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,iBAAiB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,wEAAwE;IACxE,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;IAC1D,OAAO,eAAe,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;AACvC,CAAC"}