@birdcc/linter 0.0.1-alpha.0

package/dist/rules/cfg.js

@@ -0,0 +1,264 @@
+import { isIP } from "node:net";
+import { channelOtherEntries, createProtocolDiagnostic, createRuleDiagnostic, extractFirstNumberAfterKeyword, hasBooleanValue, isProtocolType, numericValue, protocolDeclarations, pushUniqueDiagnostic, routerIdDeclarations, templateDeclarations, } from "./shared.js";
+const MAX_ASN = 4_294_967_294;
+const MAX_ROUTE_LIMIT = 10_000_000;
+const cfgNoProtocolRule = ({ parsed }) => {
+    if (protocolDeclarations(parsed).length > 0) {
+        return [];
+    }
+    return [
+        createRuleDiagnostic("cfg/no-protocol", "No protocol is specified in configuration", {
+            line: 1,
+            column: 1,
+            endLine: 1,
+            endColumn: 1,
+        }),
+    ];
+};
+const cfgMissingRouterIdRule = ({ parsed }) => {
+    if (routerIdDeclarations(parsed).length > 0) {
+        return [];
+    }
+    return [
+        createRuleDiagnostic("cfg/missing-router-id", "Router ID must be configured", {
+            line: 1,
+            column: 1,
+            endLine: 1,
+            endColumn: 1,
+        }),
+    ];
+};
+const diagnoseNumberExpected = (diagnostics, seen, range, declarationName, fieldName, value) => {
+    if (value === undefined) {
+        return;
+    }
+    if (numericValue(value) !== null) {
+        return;
+    }
+    pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("cfg/number-expected", `Protocol '${declarationName}' expects numeric value for '${fieldName}'`, range));
+};
+const diagnoseValueOutOfRange = (diagnostics, seen, range, declarationName, fieldName, value, min, max) => {
+    if (value === null) {
+        return;
+    }
+    if (value >= min && value <= max) {
+        return;
+    }
+    pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("cfg/value-out-of-range", `Protocol '${declarationName}' has out-of-range value for '${fieldName}': ${value}`, range));
+};
+const cfgNumericRules = ({ parsed }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    for (const declaration of protocolDeclarations(parsed)) {
+        for (const statement of declaration.statements) {
+            if (statement.kind === "local-as") {
+                diagnoseNumberExpected(diagnostics, seen, statement.asnRange, declaration.name, "local as", statement.asn);
+                diagnoseValueOutOfRange(diagnostics, seen, statement.asnRange, declaration.name, "local as", numericValue(statement.asn), 1, MAX_ASN);
+            }
+            if (statement.kind === "neighbor" && statement.asnRange) {
+                diagnoseNumberExpected(diagnostics, seen, statement.asnRange, declaration.name, "neighbor as", statement.asn);
+                diagnoseValueOutOfRange(diagnostics, seen, statement.asnRange, declaration.name, "neighbor as", numericValue(statement.asn), 1, MAX_ASN);
+            }
+            if (statement.kind === "other") {
+                const lowerText = statement.text.toLowerCase();
+                const holdNumber = extractFirstNumberAfterKeyword(lowerText, "hold");
+                if (holdNumber === null && /\bhold\b/.test(lowerText)) {
+                    diagnoseNumberExpected(diagnostics, seen, statement, declaration.name, "hold", "");
+                }
+                diagnoseValueOutOfRange(diagnostics, seen, statement, declaration.name, "hold", holdNumber, 3, 65_535);
+                const keepaliveNumber = extractFirstNumberAfterKeyword(lowerText, "keepalive");
+                if (keepaliveNumber === null && /\bkeepalive\b/.test(lowerText)) {
+                    diagnoseNumberExpected(diagnostics, seen, statement, declaration.name, "keepalive", "");
+                }
+                diagnoseValueOutOfRange(diagnostics, seen, statement, declaration.name, "keepalive", keepaliveNumber, 1, 65_535);
+                const ttlNumber = extractFirstNumberAfterKeyword(lowerText, "ttl");
+                if (ttlNumber === null && /\bttl\b/.test(lowerText)) {
+                    diagnoseNumberExpected(diagnostics, seen, statement, declaration.name, "ttl", "");
+                }
+                diagnoseValueOutOfRange(diagnostics, seen, statement, declaration.name, "ttl", ttlNumber, 1, 255);
+            }
+            if (statement.kind !== "channel") {
+                continue;
+            }
+            for (const entry of statement.entries) {
+                if (entry.kind === "limit") {
+                    diagnoseNumberExpected(diagnostics, seen, entry.valueRange, declaration.name, "limit", entry.value);
+                    diagnoseValueOutOfRange(diagnostics, seen, entry.valueRange, declaration.name, "limit", numericValue(entry.value), 0, MAX_ROUTE_LIMIT);
+                }
+                if (entry.kind !== "other") {
+                    continue;
+                }
+                const maxPrefixMatch = entry.text.match(/\bmax\s+prefix\s+([^;\s]+)/i);
+                if (!maxPrefixMatch) {
+                    continue;
+                }
+                const token = maxPrefixMatch[1] ?? "";
+                diagnoseNumberExpected(diagnostics, seen, entry, declaration.name, "max prefix", token);
+                diagnoseValueOutOfRange(diagnostics, seen, entry, declaration.name, "max prefix", numericValue(token), 0, MAX_ROUTE_LIMIT);
+            }
+        }
+    }
+    return diagnostics;
+};
+const cfgSwitchValueExpectedRule = ({ parsed }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    const switchPattern = /\b(passive|stub|bfd|enabled|disabled|check\s+link|deterministic\s+med)\b\s+([^;\s]+)/i;
+    for (const declaration of protocolDeclarations(parsed)) {
+        for (const statement of declaration.statements) {
+            if (statement.kind === "other") {
+                const matched = statement.text.match(switchPattern);
+                if (matched) {
+                    const token = matched[2] ?? "";
+                    if (!hasBooleanValue(token)) {
+                        pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("cfg/switch-value-expected", `Protocol '${declaration.name}' expects boolean value for '${matched[1]}'`, statement));
+                    }
+                }
+            }
+            if (statement.kind !== "channel") {
+                continue;
+            }
+            for (const entry of statement.entries) {
+                if (entry.kind !== "keep-filtered") {
+                    continue;
+                }
+                if (hasBooleanValue(entry.value)) {
+                    continue;
+                }
+                pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("cfg/switch-value-expected", `Protocol '${declaration.name}' expects boolean value for keep filtered`, entry.valueRange));
+            }
+        }
+    }
+    return diagnostics;
+};
+const extractIps = (text) => {
+    const parts = text
+        .split(/[^0-9A-Fa-f:./]+/)
+        .map((item) => item.trim())
+        .filter((item) => item.length > 0);
+    const values = [];
+    for (const part of parts) {
+        const candidate = part.includes("/") ? (part.split("/")[0] ?? "") : part;
+        if (isIP(candidate) !== 0) {
+            values.push(candidate);
+        }
+    }
+    return values;
+};
+const cfgIpNetworkMismatchRule = ({ parsed }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    for (const declaration of protocolDeclarations(parsed)) {
+        for (const entry of channelOtherEntries(declaration)) {
+            if (entry.channelType !== "ipv4" && entry.channelType !== "ipv6") {
+                continue;
+            }
+            for (const value of extractIps(entry.text)) {
+                const family = isIP(value);
+                if ((entry.channelType === "ipv4" && family === 4) ||
+                    (entry.channelType === "ipv6" && family === 6)) {
+                    continue;
+                }
+                pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("cfg/ip-network-mismatch", `Protocol '${declaration.name}' channel '${entry.channelType}' contains mismatched address '${value}'`, entry.range));
+            }
+        }
+    }
+    return diagnostics;
+};
+const cfgIncompatibleTypeRule = ({ parsed }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    for (const declaration of protocolDeclarations(parsed)) {
+        for (const statement of declaration.statements) {
+            if (statement.kind === "neighbor" && statement.addressKind !== "ip") {
+                pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("cfg/incompatible-type", `Protocol '${declaration.name}' neighbor address must be an IP literal`, statement.addressRange));
+            }
+            if (statement.kind === "other" &&
+                /\brouter\s+id\s+\S+/i.test(statement.text)) {
+                const matched = statement.text.match(/\brouter\s+id\s+([^;\s]+)/i);
+                const value = matched?.[1] ?? "";
+                if (value && isIP(value) !== 4) {
+                    pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("cfg/incompatible-type", `Router id '${value}' must be IPv4`, statement));
+                }
+            }
+        }
+    }
+    return diagnostics;
+};
+const hasTemplateCycleFrom = (start, graph) => {
+    const path = new Set();
+    let current = start;
+    let hops = 0;
+    const maxHops = graph.size + 1;
+    while (current.length > 0) {
+        if (path.has(current)) {
+            return true;
+        }
+        path.add(current);
+        current = graph.get(current) ?? "";
+        hops += 1;
+        if (hops > maxHops) {
+            return true;
+        }
+    }
+    return false;
+};
+const cfgCircularTemplateRule = ({ parsed }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    const templates = templateDeclarations(parsed);
+    if (templates.length === 0) {
+        return diagnostics;
+    }
+    const graph = new Map();
+    const ranges = new Map();
+    for (const template of templates) {
+        const name = template.name.toLowerCase();
+        ranges.set(name, template.nameRange);
+        if (template.fromTemplate) {
+            graph.set(name, template.fromTemplate.toLowerCase());
+        }
+    }
+    for (const template of templates) {
+        const name = template.name.toLowerCase();
+        if (!hasTemplateCycleFrom(name, graph)) {
+            continue;
+        }
+        const range = ranges.get(name) ?? template.nameRange;
+        pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("cfg/circular-template", `Template '${template.name}' is in a circular inheritance chain`, range));
+    }
+    return diagnostics;
+};
+const cfgProtocolSpecificHintRule = ({ parsed }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    for (const declaration of protocolDeclarations(parsed)) {
+        if (!isProtocolType(declaration, "bgp")) {
+            continue;
+        }
+        for (const statement of declaration.statements) {
+            if (statement.kind !== "other") {
+                continue;
+            }
+            if (!/\bneighbor\s+\S+\s+as\s+[^0-9\s;]+/i.test(statement.text)) {
+                continue;
+            }
+            pushUniqueDiagnostic(diagnostics, seen, createProtocolDiagnostic("cfg/number-expected", `Protocol '${declaration.name}' expects numeric ASN in neighbor statement`, declaration, "error"));
+        }
+    }
+    return diagnostics;
+};
+export const cfgRules = [
+    cfgNoProtocolRule,
+    cfgMissingRouterIdRule,
+    cfgNumericRules,
+    cfgSwitchValueExpectedRule,
+    cfgIpNetworkMismatchRule,
+    cfgIncompatibleTypeRule,
+    cfgCircularTemplateRule,
+    cfgProtocolSpecificHintRule,
+];
+export const collectCfgRuleDiagnostics = (context) => {
+    return cfgRules.flatMap((rule) => rule(context));
+};
+//# sourceMappingURL=cfg.js.map

package/dist/rules/cfg.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cfg.js","sourceRoot":"","sources":["../../src/rules/cfg.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAGhC,OAAO,EACL,mBAAmB,EACnB,wBAAwB,EACxB,oBAAoB,EACpB,8BAA8B,EAC9B,eAAe,EACf,cAAc,EACd,YAAY,EACZ,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,GAErB,MAAM,aAAa,CAAC;AAErB,MAAM,OAAO,GAAG,aAAa,CAAC;AAC9B,MAAM,eAAe,GAAG,UAAU,CAAC;AAEnC,MAAM,iBAAiB,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IACjD,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO;QACL,oBAAoB,CAClB,iBAAiB,EACjB,2CAA2C,EAC3C;YACE,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,OAAO,EAAE,CAAC;YACV,SAAS,EAAE,CAAC;SACb,CACF;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IACtD,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO;QACL,oBAAoB,CAClB,uBAAuB,EACvB,8BAA8B,EAC9B;YACE,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,OAAO,EAAE,CAAC;YACV,SAAS,EAAE,CAAC;SACb,CACF;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,WAA6B,EAC7B,IAAiB,EACjB,KAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,KAAyB,EACnB,EAAE;IACR,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;IACT,CAAC;IAED,IAAI,YAAY,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QACjC,OAAO;IACT,CAAC;IAED,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,qBAAqB,EACrB,aAAa,eAAe,gCAAgC,SAAS,GAAG,EACxE,KAAK,CACN,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,WAA6B,EAC7B,IAAiB,EACjB,KAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,KAAoB,EACpB,GAAW,EACX,GAAW,EACL,EAAE;IACR,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO;IACT,CAAC;IAED,IAAI,KAAK,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,EAAE,CAAC;QACjC,OAAO;IACT,CAAC;IAED,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,wBAAwB,EACxB,aAAa,eAAe,iCAAiC,SAAS,MAAM,KAAK,EAAE,EACnF,KAAK,CACN,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,eAAe,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IAC/C,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAClC,sBAAsB,CACpB,WAAW,EACX,IAAI,EACJ,SAAS,CAAC,QAAQ,EAClB,WAAW,CAAC,IAAI,EAChB,UAAU,EACV,SAAS,CAAC,GAAG,CACd,CAAC;gBACF,uBAAuB,CACrB,WAAW,EACX,IAAI,EACJ,SAAS,CAAC,QAAQ,EAClB,WAAW,CAAC,IAAI,EAChB,UAAU,EACV,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC,EAC3B,CAAC,EACD,OAAO,CACR,CAAC;YACJ,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACxD,sBAAsB,CACpB,WAAW,EACX,IAAI,EACJ,SAAS,CAAC,QAAQ,EAClB,WAAW,CAAC,IAAI,EAChB,aAAa,EACb,SAAS,CAAC,GAAG,CACd,CAAC;gBACF,uBAAuB,CACrB,WAAW,EACX,IAAI,EACJ,SAAS,CAAC,QAAQ,EAClB,WAAW,CAAC,IAAI,EAChB,aAAa,EACb,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC,EAC3B,CAAC,EACD,OAAO,CACR,CAAC;YACJ,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC/B,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBAE/C,MAAM,UAAU,GAAG,8BAA8B,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBACrE,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;oBACtD,sBAAsB,CACpB,WAAW,EACX,IAAI,EACJ,SAAS,EACT,WAAW,CAAC,IAAI,EAChB,MAAM,EACN,EAAE,CACH,CAAC;gBACJ,CAAC;gBACD,uBAAuB,CACrB,WAAW,EACX,IAAI,EACJ,SAAS,EACT,WAAW,CAAC,IAAI,EAChB,MAAM,EACN,UAAU,EACV,CAAC,EACD,MAAM,CACP,CAAC;gBAEF,MAAM,eAAe,GAAG,8BAA8B,CACpD,SAAS,EACT,WAAW,CACZ,CAAC;gBACF,IAAI,eAAe,KAAK,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;oBAChE,sBAAsB,CACpB,WAAW,EACX,IAAI,EACJ,SAAS,EACT,WAAW,CAAC,IAAI,EAChB,WAAW,EACX,EAAE,CACH,CAAC;gBACJ,CAAC;gBACD,uBAAuB,CACrB,WAAW,EACX,IAAI,EACJ,SAAS,EACT,WAAW,CAAC,IAAI,EAChB,WAAW,EACX,eAAe,EACf,CAAC,EACD,MAAM,CACP,CAAC;gBAEF,MAAM,SAAS,GAAG,8BAA8B,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;gBACnE,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;oBACpD,sBAAsB,CACpB,WAAW,EACX,IAAI,EACJ,SAAS,EACT,WAAW,CAAC,IAAI,EAChB,KAAK,EACL,EAAE,CACH,CAAC;gBACJ,CAAC;gBACD,uBAAuB,CACrB,WAAW,EACX,IAAI,EACJ,SAAS,EACT,WAAW,CAAC,IAAI,EAChB,KAAK,EACL,SAAS,EACT,CAAC,EACD,GAAG,CACJ,CAAC;YACJ,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACjC,SAAS;YACX,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;gBACtC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC3B,sBAAsB,CACpB,WAAW,EACX,IAAI,EACJ,KAAK,CAAC,UAAU,EAChB,WAAW,CAAC,IAAI,EAChB,OAAO,EACP,KAAK,CAAC,KAAK,CACZ,CAAC;oBACF,uBAAuB,CACrB,WAAW,EACX,IAAI,EACJ,KAAK,CAAC,UAAU,EAChB,WAAW,CAAC,IAAI,EAChB,OAAO,EACP,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,EACzB,CAAC,EACD,eAAe,CAChB,CAAC;gBACJ,CAAC;gBAED,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC3B,SAAS;gBACX,CAAC;gBAED,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;gBACvE,IAAI,CAAC,cAAc,EAAE,CAAC;oBACpB,SAAS;gBACX,CAAC;gBAED,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACtC,sBAAsB,CACpB,WAAW,EACX,IAAI,EACJ,KAAK,EACL,WAAW,CAAC,IAAI,EAChB,YAAY,EACZ,KAAK,CACN,CAAC;gBACF,uBAAuB,CACrB,WAAW,EACX,IAAI,EACJ,KAAK,EACL,WAAW,CAAC,IAAI,EAChB,YAAY,EACZ,YAAY,CAAC,KAAK,CAAC,EACnB,CAAC,EACD,eAAe,CAChB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IAC1D,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,aAAa,GACjB,uFAAuF,CAAC;IAE1F,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC/B,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gBACpD,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC/B,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC5B,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,2BAA2B,EAC3B,aAAa,WAAW,CAAC,IAAI,gCAAgC,OAAO,CAAC,CAAC,CAAC,GAAG,EAC1E,SAAS,CACV,CACF,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACjC,SAAS;YACX,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;gBACtC,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBACnC,SAAS;gBACX,CAAC;gBAED,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oBACjC,SAAS;gBACX,CAAC;gBAED,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,2BAA2B,EAC3B,aAAa,WAAW,CAAC,IAAI,2CAA2C,EACxE,KAAK,CAAC,UAAU,CACjB,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAY,EAAE;IAC5C,MAAM,KAAK,GAAG,IAAI;SACf,KAAK,CAAC,kBAAkB,CAAC;SACzB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAErC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzE,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IACxD,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,KAAK,MAAM,KAAK,IAAI,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;gBACjE,SAAS;YACX,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC3B,IACE,CAAC,KAAK,CAAC,WAAW,KAAK,MAAM,IAAI,MAAM,KAAK,CAAC,CAAC;oBAC9C,CAAC,KAAK,CAAC,WAAW,KAAK,MAAM,IAAI,MAAM,KAAK,CAAC,CAAC,EAC9C,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,yBAAyB,EACzB,aAAa,WAAW,CAAC,IAAI,cAAc,KAAK,CAAC,WAAW,kCAAkC,KAAK,GAAG,EACtG,KAAK,CAAC,KAAK,CACZ,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IACvD,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;gBACpE,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,uBAAuB,EACvB,aAAa,WAAW,CAAC,IAAI,0CAA0C,EACvE,SAAS,CAAC,YAAY,CACvB,CACF,CAAC;YACJ,CAAC;YAED,IACE,SAAS,CAAC,IAAI,KAAK,OAAO;gBAC1B,sBAAsB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAC3C,CAAC;gBACD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;gBACnE,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACjC,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC/B,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,uBAAuB,EACvB,cAAc,KAAK,gBAAgB,EACnC,SAAS,CACV,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,KAAa,EACb,KAA0B,EACjB,EAAE;IACX,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;IAE/B,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,CAAC;QAEV,IAAI,IAAI,GAAG,OAAO,EAAE,CAAC;YACnB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IACvD,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,SAAS,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC/C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAE9C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;QACrC,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;YAC1B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACzC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACvC,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC;QACrD,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,uBAAuB,EACvB,aAAa,QAAQ,CAAC,IAAI,sCAAsC,EAChE,KAAK,CACN,CACF,CAAC;IACJ,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IAC3D,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;YACxC,SAAS;QACX,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC/B,SAAS;YACX,CAAC;YAED,IAAI,CAAC,qCAAqC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChE,SAAS;YACX,CAAC;YAED,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,wBAAwB,CACtB,qBAAqB,EACrB,aAAa,WAAW,CAAC,IAAI,6CAA6C,EAC1E,WAAW,EACX,OAAO,CACR,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,iBAAiB;IACjB,sBAAsB;IACtB,eAAe;IACf,0BAA0B;IAC1B,wBAAwB;IACxB,uBAAuB;IACvB,uBAAuB;IACvB,2BAA2B;CAC5B,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAgC,EACd,EAAE;IACpB,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC"}

package/dist/rules/net.d.ts

@@ -0,0 +1,5 @@
+import type { BirdDiagnostic } from "@birdcc/core";
+import { type BirdRule } from "./shared.js";
+export declare const netRules: BirdRule[];
+export declare const collectNetRuleDiagnostics: (context: Parameters<BirdRule>[0]) => BirdDiagnostic[];
+//# sourceMappingURL=net.d.ts.map

package/dist/rules/net.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"net.d.ts","sourceRoot":"","sources":["../../src/rules/net.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD,OAAO,EAKL,KAAK,QAAQ,EACd,MAAM,aAAa,CAAC;AAsPrB,eAAO,MAAM,QAAQ,EAAE,QAAQ,EAAuC,CAAC;AAEvE,eAAO,MAAM,yBAAyB,GACpC,SAAS,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAC/B,cAAc,EAEhB,CAAC"}

package/dist/rules/net.js

@@ -0,0 +1,140 @@
+import { isIP } from "node:net";
+import { createRuleDiagnostic, filterAndFunctionDeclarations, protocolDeclarations, pushUniqueDiagnostic, } from "./shared.js";
+const PREFIX_PATTERN_SOURCE = "([0-9A-Za-z:.]+\\/[^\\s,;{}[\\]]+)";
+const extractPrefixes = (text) => {
+    const prefixes = [];
+    const prefixPattern = new RegExp(PREFIX_PATTERN_SOURCE, "g");
+    let matched = prefixPattern.exec(text);
+    while (matched) {
+        const raw = matched[1] ?? "";
+        const [address, lengthText] = raw.split("/");
+        if (!address || !lengthText) {
+            matched = prefixPattern.exec(text);
+            continue;
+        }
+        const normalizedLength = lengthText.trim();
+        const length = /^\d+$/.test(normalizedLength)
+            ? Number.parseInt(normalizedLength, 10)
+            : null;
+        prefixes.push({ address: address.trim(), length, raw });
+        matched = prefixPattern.exec(text);
+    }
+    return prefixes;
+};
+const statementText = (statement) => {
+    if (statement.kind === "expression") {
+        return statement.expressionText;
+    }
+    if (statement.kind === "other") {
+        return statement.text;
+    }
+    if (statement.kind === "if") {
+        return statement.conditionText ?? "";
+    }
+    if (statement.kind === "return") {
+        return statement.valueText ?? "";
+    }
+    if (statement.kind === "case") {
+        return statement.subjectText ?? "";
+    }
+    return "";
+};
+const analyzePrefix = (diagnostics, seen, prefix, range) => {
+    const family = isIP(prefix.address);
+    if (prefix.length === null || prefix.length < 0 || prefix.length > 128) {
+        pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("net/invalid-prefix-length", `Invalid prefix length in '${prefix.raw}'`, range));
+        return;
+    }
+    if (prefix.address.includes(".")) {
+        if (family !== 4) {
+            pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("net/invalid-ipv4-prefix", `Invalid IPv4 prefix '${prefix.raw}'`, range));
+            return;
+        }
+        if (prefix.length > 32) {
+            pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("net/max-prefix-length", `Invalid max prefix length ${prefix.length} for IPv4 prefix '${prefix.raw}'`, range));
+        }
+        return;
+    }
+    if (prefix.address.includes(":")) {
+        if (family !== 6) {
+            pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("net/invalid-ipv6-prefix", `Invalid IPv6 prefix '${prefix.raw}'`, range));
+            return;
+        }
+        if (prefix.length > 128) {
+            pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("net/max-prefix-length", `Invalid max prefix length ${prefix.length} for IPv6 prefix '${prefix.raw}'`, range));
+        }
+        return;
+    }
+    pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("net/invalid-ipv4-prefix", `Invalid IP prefix '${prefix.raw}'`, range));
+};
+const netPrefixRules = ({ parsed }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    for (const declaration of filterAndFunctionDeclarations(parsed)) {
+        for (const statement of declaration.statements) {
+            const text = statementText(statement);
+            if (!text) {
+                continue;
+            }
+            for (const prefix of extractPrefixes(text)) {
+                analyzePrefix(diagnostics, seen, prefix, statement);
+            }
+        }
+        for (const match of declaration.matches) {
+            for (const prefix of extractPrefixes(match.right)) {
+                analyzePrefix(diagnostics, seen, prefix, match);
+            }
+        }
+        for (const literal of declaration.literals) {
+            if (literal.kind !== "prefix") {
+                continue;
+            }
+            for (const prefix of extractPrefixes(literal.value)) {
+                analyzePrefix(diagnostics, seen, prefix, literal);
+            }
+        }
+    }
+    return diagnostics;
+};
+const netMaxPrefixRule = ({ parsed }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    for (const declaration of protocolDeclarations(parsed)) {
+        for (const statement of declaration.statements) {
+            if (statement.kind !== "channel") {
+                continue;
+            }
+            if (statement.channelType !== "ipv4" &&
+                statement.channelType !== "ipv6") {
+                continue;
+            }
+            const channelText = statement.entries
+                .filter((entry) => entry.kind === "other")
+                .map((entry) => entry.text)
+                .join(" ");
+            const matched = channelText.match(/\bmax\s+prefix\s+([^;\s]+)/i);
+            if (!matched) {
+                continue;
+            }
+            const token = (matched[1] ?? "").trim();
+            if (!/^\d+$/.test(token)) {
+                pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("net/invalid-prefix-length", `Invalid prefix length in 'max prefix ${token}'`, statement));
+                continue;
+            }
+            const length = Number.parseInt(token, 10);
+            if (Number.isNaN(length)) {
+                continue;
+            }
+            const maxAllowed = statement.channelType === "ipv4" ? 32 : 128;
+            if (length > maxAllowed) {
+                pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("net/max-prefix-length", `Invalid max prefix length ${length} for ${statement.channelType}`, statement));
+            }
+        }
+    }
+    return diagnostics;
+};
+export const netRules = [netPrefixRules, netMaxPrefixRule];
+export const collectNetRuleDiagnostics = (context) => {
+    return netRules.flatMap((rule) => rule(context));
+};
+//# sourceMappingURL=net.js.map

package/dist/rules/net.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"net.js","sourceRoot":"","sources":["../../src/rules/net.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAGhC,OAAO,EACL,oBAAoB,EACpB,6BAA6B,EAC7B,oBAAoB,EACpB,oBAAoB,GAErB,MAAM,aAAa,CAAC;AAQrB,MAAM,qBAAqB,GAAG,oCAAoC,CAAC;AAEnE,MAAM,eAAe,GAAG,CAAC,IAAY,EAAiB,EAAE;IACtD,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,aAAa,GAAG,IAAI,MAAM,CAAC,qBAAqB,EAAE,GAAG,CAAC,CAAC;IAC7D,IAAI,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEvC,OAAO,OAAO,EAAE,CAAC;QACf,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;YAC5B,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,SAAS;QACX,CAAC;QAED,MAAM,gBAAgB,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC;YAC3C,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,EAAE,EAAE,CAAC;YACvC,CAAC,CAAC,IAAI,CAAC;QACT,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAExD,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,SAA8B,EAAU,EAAE;IAC/D,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC,cAAc,CAAC;IAClC,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC,IAAI,CAAC;IACxB,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC,aAAa,IAAI,EAAE,CAAC;IACvC,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC,SAAS,IAAI,EAAE,CAAC;IACnC,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC;IACrC,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,WAA6B,EAC7B,IAAiB,EACjB,MAAmB,EACnB,KAAkB,EACZ,EAAE;IACR,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAEpC,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QACvE,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,2BAA2B,EAC3B,6BAA6B,MAAM,CAAC,GAAG,GAAG,EAC1C,KAAK,CACN,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;YACjB,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,yBAAyB,EACzB,wBAAwB,MAAM,CAAC,GAAG,GAAG,EACrC,KAAK,CACN,CACF,CAAC;YACF,OAAO;QACT,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACvB,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,uBAAuB,EACvB,6BAA6B,MAAM,CAAC,MAAM,qBAAqB,MAAM,CAAC,GAAG,GAAG,EAC5E,KAAK,CACN,CACF,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;YACjB,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,yBAAyB,EACzB,wBAAwB,MAAM,CAAC,GAAG,GAAG,EACrC,KAAK,CACN,CACF,CAAC;YACF,OAAO;QACT,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;YACxB,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,uBAAuB,EACvB,6BAA6B,MAAM,CAAC,MAAM,qBAAqB,MAAM,CAAC,GAAG,GAAG,EAC5E,KAAK,CACN,CACF,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IAED,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,yBAAyB,EACzB,sBAAsB,MAAM,CAAC,GAAG,GAAG,EACnC,KAAK,CACN,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,cAAc,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IAC9C,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,WAAW,IAAI,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC;QAChE,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;YACtC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,SAAS;YACX,CAAC;YAED,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C,aAAa,CAAC,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;YACxC,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClD,aAAa,CAAC,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC3C,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9B,SAAS;YACX,CAAC;YAED,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpD,aAAa,CAAC,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IAChD,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACjC,SAAS;YACX,CAAC;YAED,IACE,SAAS,CAAC,WAAW,KAAK,MAAM;gBAChC,SAAS,CAAC,WAAW,KAAK,MAAM,EAChC,CAAC;gBACD,SAAS;YACX,CAAC;YAED,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO;iBAClC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC;iBACzC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;iBAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;YACjE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,SAAS;YACX,CAAC;YAED,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,2BAA2B,EAC3B,wCAAwC,KAAK,GAAG,EAChD,SAAS,CACV,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC1C,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzB,SAAS;YACX,CAAC;YAED,MAAM,UAAU,GAAG,SAAS,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YAC/D,IAAI,MAAM,GAAG,UAAU,EAAE,CAAC;gBACxB,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,uBAAuB,EACvB,6BAA6B,MAAM,QAAQ,SAAS,CAAC,WAAW,EAAE,EAClE,SAAS,CACV,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAe,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAgC,EACd,EAAE;IACpB,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC"}

package/dist/rules/normalize.d.ts

@@ -0,0 +1,6 @@
+import type { BirdDiagnostic } from "@birdcc/core";
+import type { ParsedBirdDocument } from "@birdcc/parser";
+export declare const normalizeBaseDiagnostics: (parsed: ParsedBirdDocument, coreDiagnostics: BirdDiagnostic[], options?: {
+    uri?: string;
+}) => BirdDiagnostic[];
+//# sourceMappingURL=normalize.d.ts.map

package/dist/rules/normalize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.d.ts","sourceRoot":"","sources":["../../src/rules/normalize.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAkEzD,eAAO,MAAM,wBAAwB,GACnC,QAAQ,kBAAkB,EAC1B,iBAAiB,cAAc,EAAE,EACjC,UAAS;IAAE,GAAG,CAAC,EAAE,MAAM,CAAA;CAAO,KAC7B,cAAc,EAkBhB,CAAC"}

package/dist/rules/normalize.js

@@ -0,0 +1,65 @@
+import { isRuleCode, RULE_SEVERITY } from "./catalog.js";
+const CORE_CODE_MAP = {
+    "semantic/duplicate-definition": "sym/duplicate",
+    "semantic/undefined-reference": "sym/undefined",
+    "semantic/circular-template": "cfg/circular-template",
+    "type/mismatch": "type/mismatch",
+    "type/undefined-variable": "sym/variable-scope",
+    "type/unknown-expression": "cfg/incompatible-type",
+    "semantic/invalid-router-id": "cfg/incompatible-type",
+    "semantic/invalid-neighbor-address": "cfg/incompatible-type",
+    "semantic/invalid-cidr": "net/invalid-prefix-length",
+    "semantic/missing-include": "sym/undefined",
+};
+const PARSER_TO_CFG_SYNTAX = new Set([
+    "syntax/missing-semicolon",
+    "syntax/unbalanced-brace",
+    "parser/syntax-error",
+    "parser/missing-symbol",
+    "parser/runtime-error",
+]);
+const normalizeCode = (code) => {
+    if (isRuleCode(code)) {
+        return code;
+    }
+    if (code in CORE_CODE_MAP) {
+        return CORE_CODE_MAP[code];
+    }
+    if (PARSER_TO_CFG_SYNTAX.has(code)) {
+        return "cfg/syntax-error";
+    }
+    return "cfg/incompatible-type";
+};
+const normalizeMessage = (code, mappedCode, message) => {
+    if (code === mappedCode) {
+        return message;
+    }
+    return `[${code}] ${message}`;
+};
+const toNormalizedDiagnostic = (diagnostic, fallbackUri) => {
+    const mappedCode = normalizeCode(diagnostic.code);
+    return {
+        ...diagnostic,
+        code: mappedCode,
+        severity: RULE_SEVERITY[mappedCode],
+        message: normalizeMessage(diagnostic.code, mappedCode, diagnostic.message),
+        uri: diagnostic.uri ?? fallbackUri,
+    };
+};
+export const normalizeBaseDiagnostics = (parsed, coreDiagnostics, options = {}) => {
+    const parserDiagnostics = parsed.issues.map((issue) => ({
+        code: issue.code,
+        message: issue.message,
+        severity: "error",
+        source: "parser",
+        uri: options.uri,
+        range: {
+            line: issue.line,
+            column: issue.column,
+            endLine: issue.endLine,
+            endColumn: issue.endColumn,
+        },
+    }));
+    return [...parserDiagnostics, ...coreDiagnostics].map((diagnostic) => toNormalizedDiagnostic(diagnostic, options.uri));
+};
+//# sourceMappingURL=normalize.js.map

package/dist/rules/normalize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.js","sourceRoot":"","sources":["../../src/rules/normalize.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAiB,aAAa,EAAE,MAAM,cAAc,CAAC;AAExE,MAAM,aAAa,GAA6B;IAC9C,+BAA+B,EAAE,eAAe;IAChD,8BAA8B,EAAE,eAAe;IAC/C,4BAA4B,EAAE,uBAAuB;IACrD,eAAe,EAAE,eAAe;IAChC,yBAAyB,EAAE,oBAAoB;IAC/C,yBAAyB,EAAE,uBAAuB;IAClD,4BAA4B,EAAE,uBAAuB;IACrD,mCAAmC,EAAE,uBAAuB;IAC5D,uBAAuB,EAAE,2BAA2B;IACpD,0BAA0B,EAAE,eAAe;CAC5C,CAAC;AAEF,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,0BAA0B;IAC1B,yBAAyB;IACzB,qBAAqB;IACrB,uBAAuB;IACvB,sBAAsB;CACvB,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC,IAAY,EAAY,EAAE;IAC/C,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,IAAI,aAAa,EAAE,CAAC;QAC1B,OAAO,aAAa,CAAC,IAAI,CAAa,CAAC;IACzC,CAAC;IAED,IAAI,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAED,OAAO,uBAAuB,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAY,EACZ,UAAoB,EACpB,OAAe,EACP,EAAE;IACV,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,UAA0B,EAC1B,WAAoB,EACJ,EAAE;IAClB,MAAM,UAAU,GAAG,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO;QACL,GAAG,UAAU;QACb,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC;QACnC,OAAO,EAAE,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC;QAC1E,GAAG,EAAE,UAAU,CAAC,GAAG,IAAI,WAAW;KACnC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,MAA0B,EAC1B,eAAiC,EACjC,UAA4B,EAAE,EACZ,EAAE;IACpB,MAAM,iBAAiB,GAAqB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACxE,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,QAAQ;QAChB,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,KAAK,EAAE;YACL,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,SAAS,EAAE,KAAK,CAAC,SAAS;SAC3B;KACF,CAAC,CAAC,CAAC;IAEJ,OAAO,CAAC,GAAG,iBAAiB,EAAE,GAAG,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACnE,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,CAChD,CAAC;AACJ,CAAC,CAAC"}

package/dist/rules/ospf.d.ts

@@ -0,0 +1,5 @@
+import type { BirdDiagnostic } from "@birdcc/core";
+import { type BirdRule } from "./shared.js";
+export declare const ospfRules: BirdRule[];
+export declare const collectOspfRuleDiagnostics: (context: Parameters<BirdRule>[0]) => BirdDiagnostic[];
+//# sourceMappingURL=ospf.d.ts.map

package/dist/rules/ospf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ospf.d.ts","sourceRoot":"","sources":["../../src/rules/ospf.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD,OAAO,EAML,KAAK,QAAQ,EACd,MAAM,aAAa,CAAC;AAwMrB,eAAO,MAAM,SAAS,EAAE,QAAQ,EAK/B,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,SAAS,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAC/B,cAAc,EAEhB,CAAC"}