@miragon/pulse-analytics-client 0.0.0-bootstrap.0 → 0.21.0

package/dist/promql-labels.test-support.js

@@ -0,0 +1,237 @@
+/**
+ * Test support for the metrics-contract guards — never imported by runtime
+ * code. Resolves every selector of a parsed PromQL expression
+ * (`promql-parse.test-support.ts`) to its contract series and asserts that
+ * each label the expression names — in a matcher, a `by`/`without` grouping, an
+ * `on`/`ignoring` vector match or a `group_left`/`group_right` include list —
+ * is a label that operand can carry.
+ *
+ * Label availability propagates the way PromQL evaluates: a selector carries
+ * its series' declared labels (`le` added on `_bucket`), `increase()` keeps
+ * them, `sum by (a)` narrows to `a`, `histogram_quantile` consumes `le`, a
+ * one-to-one `on (a)` match keeps `a`. So `sum by (a)(sum by (b)(x))` fails
+ * even when `a` is declared on `x`. Unknown functions and series are reported
+ * as violations instead of passing silently.
+ */
+import { parsePromql, } from "./promql-parse.test-support.js";
+/**
+ * Catalogue over the contract: counters/gauges by `promName`, histograms as
+ * their `_sum`/`_count`/`_bucket` series (`_bucket` adds `le`). The bare
+ * histogram name is deliberately absent — classic histograms expose no such
+ * series, so a query on it reads nothing. `extra` adds non-contract series
+ * (Prometheus' own `ALERTS`, `up`, …) with their documented labels.
+ */
+export function contractCatalog(metrics, extra = {}) {
+    const series = new Map(Object.entries(extra));
+    for (const m of metrics) {
+        const info = { labels: m.labels, knownValues: m.knownValues };
+        if (m.type !== "histogram") {
+            series.set(m.promName, info);
+            continue;
+        }
+        series.set(`${m.promName}_sum`, info);
+        series.set(`${m.promName}_count`, info);
+        series.set(`${m.promName}_bucket`, { ...info, labels: [...m.labels, "le"] });
+    }
+    return (name) => series.get(name);
+}
+const vector = (labels, series) => ({
+    kind: "vector",
+    labels: new Set(labels),
+    series,
+});
+const isVector = (s) => s.kind === "vector";
+/** Functions whose result keeps the label set of their (first) vector argument. */
+const LABEL_PRESERVING = new Set([
+    "abs ceil changes clamp clamp_max clamp_min delta deriv exp floor idelta increase irate ln",
+    "log10 log2 predict_linear rate resets round sgn sort sort_desc sqrt timestamp",
+    "avg_over_time count_over_time last_over_time max_over_time min_over_time present_over_time",
+    "quantile_over_time stddev_over_time stdvar_over_time sum_over_time",
+]
+    .join(" ")
+    .split(" "));
+/** Aggregators that return a subset of their input series, labels intact. */
+const SAMPLE_SELECTING = new Set(["topk", "bottomk", "limitk", "limit_ratio"]);
+const isWildcard = (alt) => alt === ".*" || alt === ".+" || alt.startsWith("$");
+class LabelChecker {
+    catalog;
+    violations = [];
+    series = new Set();
+    checkedLabels = 0;
+    constructor(catalog) {
+        this.catalog = catalog;
+    }
+    fail(message) {
+        this.violations.push(message);
+    }
+    requireLabel(scope, label, context) {
+        this.checkedLabels++;
+        if (scope.labels.has(label))
+            return;
+        this.fail(`${context}: "${label}" is not a label of ${describeSeries(scope)} ` +
+            `(available: ${[...scope.labels].sort().join(", ") || "none"})`);
+    }
+    eval(node) {
+        switch (node.type) {
+            case "number":
+                return { kind: "scalar" };
+            case "string":
+                return { kind: "string", value: node.value };
+            case "selector":
+                return this.evalSelector(node);
+            case "call":
+                return this.evalCall(node);
+            case "aggregate":
+                return this.evalAggregate(node);
+            case "binary":
+                return this.evalBinary(node);
+        }
+    }
+    evalSelector(node) {
+        if (!node.name) {
+            this.fail("selector without a metric name — not supported");
+            return vector([], []);
+        }
+        this.series.add(node.name);
+        const info = this.catalog(node.name);
+        if (!info) {
+            this.fail(`"${node.name}" is neither a contract series nor an allowlisted one`);
+            return vector([], [node.name]);
+        }
+        const scope = vector(info.labels, [node.name]);
+        for (const m of node.matchers) {
+            if (m.label === "__name__")
+                continue;
+            this.requireLabel(scope, m.label, `selector ${node.name}{${m.label}${m.op}"${m.value}"}`);
+            this.checkKnownValues(node.name, info, m);
+        }
+        return scope;
+    }
+    /** A hardcoded value of a label with documented `knownValues` must be one of them. */
+    checkKnownValues(series, info, m) {
+        const known = info.knownValues?.[m.label];
+        if (!known)
+            return;
+        const values = m.op === "=~" || m.op === "!~" ? m.value.split("|") : [m.value];
+        for (const value of values.filter((v) => !isWildcard(v))) {
+            if (known.includes(value))
+                continue;
+            this.fail(`selector ${series}{${m.label}${m.op}"${m.value}"}: "${value}" is not a knownValue ` +
+                `of ${m.label} (${known.join(", ")})`);
+        }
+    }
+    evalCall(node) {
+        const args = node.args.map((a) => this.eval(a));
+        const firstVector = args.find(isVector);
+        if (node.func === "histogram_quantile")
+            return this.evalHistogramQuantile(args[1]);
+        if (LABEL_PRESERVING.has(node.func) && firstVector)
+            return firstVector;
+        if (node.func === "vector")
+            return vector([], []);
+        this.fail(`unsupported function ${node.func}() — extend promql-labels.test-support.ts`);
+        return firstVector ?? { kind: "scalar" };
+    }
+    evalHistogramQuantile(arg) {
+        if (!arg || !isVector(arg)) {
+            this.fail("histogram_quantile() needs a bucket vector as its second argument");
+            return vector([], []);
+        }
+        this.requireLabel(arg, "le", "histogram_quantile()");
+        return vector([...arg.labels].filter((l) => l !== "le"), arg.series);
+    }
+    evalAggregate(node) {
+        const param = node.param ? this.eval(node.param) : undefined;
+        const inner = this.eval(node.expr);
+        if (!isVector(inner)) {
+            this.fail(`${node.op}() over a non-vector expression`);
+            return vector([], []);
+        }
+        const g = node.grouping;
+        for (const label of g?.labels ?? []) {
+            this.requireLabel(inner, label, `${node.op} ${g?.mode} (${label})`);
+        }
+        const labels = aggregateLabels(node.op, inner, g);
+        if (node.op === "count_values" && param?.kind === "string")
+            labels.add(param.value);
+        return vector(labels, inner.series);
+    }
+    evalBinary(node) {
+        const lhs = this.eval(node.lhs);
+        const rhs = this.eval(node.rhs);
+        if (!isVector(lhs) || !isVector(rhs)) {
+            if (node.matching)
+                this.fail(`vector matching on "${node.op}" with a scalar operand`);
+            if (isVector(lhs))
+                return lhs;
+            return isVector(rhs) ? rhs : { kind: "scalar" };
+        }
+        const m = node.matching;
+        if (m)
+            this.checkMatching(node.op, m, lhs, rhs);
+        return vector(binaryLabels(node.op, m, lhs, rhs), [...lhs.series, ...rhs.series]);
+    }
+    checkMatching(op, m, lhs, rhs) {
+        for (const label of m.labels) {
+            if (m.mode === "on") {
+                // Matching on a label one side lacks pairs everything with "" — a bug.
+                this.requireLabel(lhs, label, `${op} on (${label}), left side`);
+                this.requireLabel(rhs, label, `${op} on (${label}), right side`);
+                continue;
+            }
+            this.checkedLabels++;
+            if (!lhs.labels.has(label) && !rhs.labels.has(label)) {
+                this.fail(`${op} ignoring (${label}): "${label}" is a label of neither ` +
+                    `${describeSeries(lhs)} nor ${describeSeries(rhs)}`);
+            }
+        }
+        // group_x(include) copies labels from the "one" side.
+        const one = m.group === "group_left" ? rhs : lhs;
+        for (const label of m.include)
+            this.requireLabel(one, label, `${op} ${m.group} (${label})`);
+    }
+}
+function describeSeries(scope) {
+    const names = [...new Set(scope.series)];
+    return names.length ? names.join(" / ") : "the expression";
+}
+function aggregateLabels(op, inner, g) {
+    if (SAMPLE_SELECTING.has(op))
+        return new Set(inner.labels);
+    if (!g)
+        return new Set();
+    if (g.mode === "by")
+        return new Set(g.labels.filter((l) => inner.labels.has(l)));
+    return new Set([...inner.labels].filter((l) => !g.labels.includes(l)));
+}
+/** Result labels of a vector/vector operation (Prometheus' `resultMetric`). */
+function binaryLabels(op, m, lhs, rhs) {
+    if (op === "or")
+        return new Set([...lhs.labels, ...rhs.labels]);
+    if (op === "and" || op === "unless")
+        return new Set(lhs.labels);
+    if (m?.group === "group_left")
+        return new Set([...lhs.labels, ...m.include]);
+    if (m?.group === "group_right")
+        return new Set([...rhs.labels, ...m.include]);
+    if (m?.mode === "on")
+        return new Set([...lhs.labels].filter((l) => m.labels.includes(l)));
+    if (m?.mode === "ignoring")
+        return new Set([...lhs.labels].filter((l) => !m.labels.includes(l)));
+    return new Set(lhs.labels);
+}
+/**
+ * Parse `query` and check every label it names against `catalog`. Throws on a
+ * syntax outside the supported subset; everything else lands in `violations`.
+ */
+export function checkQueryLabels(query, catalog) {
+    const checker = new LabelChecker(catalog);
+    const result = checker.eval(parsePromql(query));
+    return {
+        violations: checker.violations,
+        series: [...checker.series],
+        checkedLabels: checker.checkedLabels,
+        resultLabels: isVector(result) ? [...result.labels].sort() : undefined,
+    };
+}
+//# sourceMappingURL=promql-labels.test-support.js.map

package/dist/promql-labels.test-support.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"promql-labels.test-support.js","sourceRoot":"","sources":["../src/promql-labels.test-support.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACL,WAAW,GAKZ,MAAM,gCAAgC,CAAA;AAqBvC;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAsC,EACtC,QAA8C,EAAE;IAEhD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAqB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;IACjE,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,IAAI,GAAe,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAA;QACzE,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;YAC5B,SAAQ;QACV,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,MAAM,EAAE,IAAI,CAAC,CAAA;QACrC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,QAAQ,EAAE,IAAI,CAAC,CAAA;QACvC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,SAAS,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAA;IAC9E,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AACnC,CAAC;AAWD,MAAM,MAAM,GAAG,CAAC,MAAwB,EAAE,MAAyB,EAAe,EAAE,CAAC,CAAC;IACpF,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC;IACvB,MAAM;CACP,CAAC,CAAA;AAEF,MAAM,QAAQ,GAAG,CAAC,CAAQ,EAAoB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAA;AAEpE,mFAAmF;AACnF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B;IACE,2FAA2F;IAC3F,+EAA+E;IAC/E,4FAA4F;IAC5F,oEAAoE;CACrE;KACE,IAAI,CAAC,GAAG,CAAC;KACT,KAAK,CAAC,GAAG,CAAC,CACd,CAAA;AAED,6EAA6E;AAC7E,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAA;AAE9E,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;AAavF,MAAM,YAAY;IAKa;IAJpB,UAAU,GAAa,EAAE,CAAA;IACzB,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,aAAa,GAAG,CAAC,CAAA;IAEjB,YAA6B,OAAsB;QAAtB,YAAO,GAAP,OAAO,CAAe;IAAG,CAAC;IAE/C,IAAI,CAAC,OAAe;QAC1B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC/B,CAAC;IAEO,YAAY,CAAC,KAAkB,EAAE,KAAa,EAAE,OAAe;QACrE,IAAI,CAAC,aAAa,EAAE,CAAA;QACpB,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAM;QACnC,IAAI,CAAC,IAAI,CACP,GAAG,OAAO,MAAM,KAAK,uBAAuB,cAAc,CAAC,KAAK,CAAC,GAAG;YAClE,eAAe,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,CAClE,CAAA;IACH,CAAC;IAED,IAAI,CAAC,IAAc;QACjB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;YAC3B,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAA;YAC9C,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YAChC,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;YAC5B,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAA;YACjC,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;QAChC,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,IAA6C;QAChE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,IAAI,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAA;YAC3D,OAAO,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;QACvB,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,uDAAuD,CAAC,CAAA;YAC/E,OAAO,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QAChC,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QAC9C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU;gBAAE,SAAQ;YACpC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,YAAY,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAA;YACzF,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;QAC3C,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED,sFAAsF;IAC9E,gBAAgB,CAAC,MAAc,EAAE,IAAgB,EAAE,CAAU;QACnE,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QACzC,IAAI,CAAC,KAAK;YAAE,OAAM;QAClB,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QAC9E,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,SAAQ;YACnC,IAAI,CAAC,IAAI,CACP,YAAY,MAAM,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,QAAQ,KAAK,wBAAwB;gBAClF,MAAM,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACxC,CAAA;QACH,CAAC;IACH,CAAC;IAEO,QAAQ,CAAC,IAAyC;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/C,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB;YAAE,OAAO,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QAClF,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW;YAAE,OAAO,WAAW,CAAA;QACtE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;QACjD,IAAI,CAAC,IAAI,CAAC,wBAAwB,IAAI,CAAC,IAAI,2CAA2C,CAAC,CAAA;QACvF,OAAO,WAAW,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC1C,CAAC;IAEO,qBAAqB,CAAC,GAAsB;QAClD,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAA;YAC9E,OAAO,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;QACvB,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,sBAAsB,CAAC,CAAA;QACpD,OAAO,MAAM,CACX,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EACzC,GAAG,CAAC,MAAM,CACX,CAAA;IACH,CAAC;IAEO,aAAa,CAAC,IAA8C;QAClE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAClC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,iCAAiC,CAAC,CAAA;YACtD,OAAO,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;QACvB,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAA;QACvB,KAAK,MAAM,KAAK,IAAI,CAAC,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,KAAK,KAAK,GAAG,CAAC,CAAA;QACrE,CAAC;QACD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;QACjD,IAAI,IAAI,CAAC,EAAE,KAAK,cAAc,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACnF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IACrC,CAAC;IAEO,UAAU,CAAC,IAA2C;QAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC/B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,QAAQ;gBAAE,IAAI,CAAC,IAAI,CAAC,uBAAuB,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAA;YACrF,IAAI,QAAQ,CAAC,GAAG,CAAC;gBAAE,OAAO,GAAG,CAAA;YAC7B,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QACjD,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAA;QACvB,IAAI,CAAC;YAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;QAC/C,OAAO,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IACnF,CAAC;IAEO,aAAa,CAAC,EAAU,EAAE,CAAiB,EAAE,GAAgB,EAAE,GAAgB;QACrF,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACpB,uEAAuE;gBACvE,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,KAAK,cAAc,CAAC,CAAA;gBAC/D,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,KAAK,eAAe,CAAC,CAAA;gBAChE,SAAQ;YACV,CAAC;YACD,IAAI,CAAC,aAAa,EAAE,CAAA;YACpB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrD,IAAI,CAAC,IAAI,CACP,GAAG,EAAE,cAAc,KAAK,OAAO,KAAK,0BAA0B;oBAC5D,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,cAAc,CAAC,GAAG,CAAC,EAAE,CACtD,CAAA;YACH,CAAC;QACH,CAAC;QACD,sDAAsD;QACtD,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAA;QAChD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,OAAO;YAAE,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,GAAG,CAAC,CAAA;IAC7F,CAAC;CACF;AAED,SAAS,cAAc,CAAC,KAAkB;IACxC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;IACxC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAA;AAC5D,CAAC;AAED,SAAS,eAAe,CAAC,EAAU,EAAE,KAAkB,EAAE,CAAuB;IAC9E,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC1D,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAA;IACxB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAChF,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACxE,CAAC;AAED,+EAA+E;AAC/E,SAAS,YAAY,CACnB,EAAU,EACV,CAA6B,EAC7B,GAAgB,EAChB,GAAgB;IAEhB,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/D,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ;QAAE,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC/D,IAAI,CAAC,EAAE,KAAK,KAAK,YAAY;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;IAC5E,IAAI,CAAC,EAAE,KAAK,KAAK,aAAa;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;IAC7E,IAAI,CAAC,EAAE,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACzF,IAAI,CAAC,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAChG,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;AAC5B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,OAAsB;IACpE,MAAM,OAAO,GAAG,IAAI,YAAY,CAAC,OAAO,CAAC,CAAA;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/C,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;QAC3B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;KACvE,CAAA;AACH,CAAC"}

package/dist/promql-labels.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=promql-labels.test.d.ts.map

package/dist/promql-labels.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"promql-labels.test.d.ts","sourceRoot":"","sources":["../src/promql-labels.test.ts"],"names":[],"mappings":""}

package/dist/promql-labels.test.js

@@ -0,0 +1,190 @@
+import { describe, expect, it } from "vitest";
+import { checkQueryLabels, contractCatalog } from "./promql-labels.test-support.js";
+import { parsePromql } from "./promql-parse.test-support.js";
+/**
+ * The checker behind the selector-label contract guard
+ * (`metrics-contract-labels.test.ts`). These cases pin down that each
+ * violation class is actually caught — a checker that silently accepts
+ * everything would let the guard pass vacuously.
+ */
+const catalog = contractCatalog([
+    {
+        promName: "inc_total",
+        type: "counter",
+        labels: ["process_definition_key", "activity_id", "engine_id"],
+    },
+    {
+        promName: "ended_total",
+        type: "counter",
+        labels: ["process_definition_key", "process_definition_version", "engine_id", "state"],
+        knownValues: { state: ["COMPLETED", "EXTERNALLY_TERMINATED"] },
+    },
+    {
+        promName: "dur_seconds",
+        type: "histogram",
+        labels: ["process_definition_key", "engine_id"],
+    },
+    { promName: "backlog", type: "gauge", labels: ["engine_id"] },
+], { ALERTS: { labels: ["alertname", "alertstate", "engine_id"] } });
+const check = (query) => checkQueryLabels(query, catalog);
+const violations = (query) => check(query).violations;
+describe("checkQueryLabels — accepted shapes", () => {
+    it.each([
+        'sum(increase(inc_total{process_definition_key="k",engine_id=~"a|b"}[7d]))',
+        "sum by (activity_id)(increase(inc_total[86400s] @ 1700000000))",
+        'histogram_quantile(0.95, sum by (le)(increase(dur_seconds_bucket{engine_id="a"}[7d])))',
+        "sum(increase(dur_seconds_sum[7d])) / sum(increase(dur_seconds_count[7d]))",
+        'sum(increase(ended_total{state="COMPLETED"}[7d]))',
+        "sum by (engine_id) (rate(ended_total[15m])) == 0 and sum by (engine_id) (backlog) > 0",
+        'ALERTS{alertstate="firing",engine_id="a"}',
+        "count by (engine_id)(inc_total)",
+        'sum by (engine_id) (rate(inc_total{engine_id=~"$engine_id"}[$__rate_interval]))',
+        "sum(rate(inc_total[5m])) * 60",
+        "-sum(inc_total offset 1h)",
+        "topk(3, sum by (activity_id)(inc_total))",
+        "inc_total / on (engine_id) group_left (process_definition_version) ended_total",
+    ])("%s", (query) => {
+        expect(violations(query)).toEqual([]);
+    });
+    it("counts every label reference it verifies", () => {
+        const result = check('sum by (activity_id)(inc_total{engine_id="a",activity_id="x"})');
+        expect(result.checkedLabels).toBe(3);
+        expect(result.series).toEqual(["inc_total"]);
+        expect(result.resultLabels).toEqual(["activity_id"]);
+    });
+});
+describe("checkQueryLabels — violations", () => {
+    it("flags a matcher label the series does not declare (the version-compare bug)", () => {
+        const [v, ...rest] = violations('sum(increase(inc_total{process_definition_key="k",process_definition_version="2"}[7d]))');
+        expect(rest).toEqual([]);
+        expect(v).toContain('"process_definition_version" is not a label of inc_total');
+    });
+    it("flags a by-label the aggregated series does not declare", () => {
+        expect(violations("sum by (state)(increase(inc_total[7d]))")).toEqual([
+            expect.stringContaining('sum by (state): "state" is not a label of inc_total'),
+        ]);
+    });
+    it("tracks label narrowing through nested aggregations", () => {
+        expect(violations("sum by (activity_id)(sum by (process_definition_key)(inc_total))")).toEqual([
+            expect.stringContaining('"activity_id" is not a label of inc_total'),
+        ]);
+    });
+    it("flags without-labels the operand does not carry", () => {
+        expect(violations("sum without (state)(inc_total)")).toHaveLength(1);
+        expect(check("sum without (activity_id)(inc_total)").resultLabels).toEqual([
+            "engine_id",
+            "process_definition_key",
+        ]);
+    });
+    it("flags unknown series, including a bare histogram name", () => {
+        expect(violations("sum(nope_total)")).toEqual([
+            expect.stringContaining('"nope_total" is neither a contract series'),
+        ]);
+        expect(violations("sum(dur_seconds)")).toHaveLength(1);
+    });
+    it("requires le for histogram_quantile and consumes it", () => {
+        expect(violations("histogram_quantile(0.5, sum by (engine_id)(dur_seconds_bucket))")).toEqual([
+            expect.stringContaining('histogram_quantile(): "le" is not a label'),
+        ]);
+        expect(check("histogram_quantile(0.5, dur_seconds_bucket)").resultLabels).toEqual([
+            "engine_id",
+            "process_definition_key",
+        ]);
+        expect(violations("histogram_quantile(0.5)")).toHaveLength(1);
+    });
+    it("checks on/ignoring/group_left/group_right label lists against both operands", () => {
+        expect(violations("inc_total / on (activity_id) backlog")).toEqual([
+            expect.stringContaining("on (activity_id), right side"),
+        ]);
+        expect(violations("inc_total / ignoring (state) backlog")).toEqual([
+            expect.stringContaining('"state" is a label of neither inc_total nor backlog'),
+        ]);
+        expect(violations("inc_total * on (engine_id) group_left (state) backlog")).toEqual([
+            expect.stringContaining('group_left (state): "state" is not a label of backlog'),
+        ]);
+        expect(violations("backlog * on (engine_id) group_right (state) inc_total")).toEqual([
+            expect.stringContaining('group_right (state): "state" is not a label of backlog'),
+        ]);
+        expect(violations("inc_total + on (engine_id) 1")).toHaveLength(1);
+    });
+    it("flags hardcoded values outside the documented knownValues", () => {
+        expect(violations('ended_total{state="DONE"}')).toEqual([
+            expect.stringContaining('"DONE" is not a knownValue of state'),
+        ]);
+        expect(violations('ended_total{state=~"COMPLETED|DONE|.*"}')).toHaveLength(1);
+    });
+    it("reports unsupported functions and name-less selectors instead of passing them", () => {
+        expect(violations('label_replace(inc_total, "x", "$1", "activity_id", "(.*)")')).toEqual([
+            expect.stringContaining("unsupported function label_replace()"),
+        ]);
+        expect(violations('{engine_id="a"}')).toEqual([
+            expect.stringContaining("selector without a metric name"),
+        ]);
+        expect(violations('{__name__="backlog",engine_id="a"}')).toEqual([]);
+        expect(violations("sum(1)")).toEqual([expect.stringContaining("non-vector")]);
+    });
+});
+describe("checkQueryLabels — result labels", () => {
+    it.each([
+        ["inc_total or backlog", ["activity_id", "engine_id", "process_definition_key"]],
+        ["backlog unless inc_total", ["engine_id"]],
+        ["inc_total / on (engine_id) backlog", ["engine_id"]],
+        ["inc_total / ignoring (activity_id) inc_total", ["engine_id", "process_definition_key"]],
+        [
+            "backlog * on (engine_id) group_right inc_total",
+            ["activity_id", "engine_id", "process_definition_key"],
+        ],
+        ['count_values("value", backlog)', ["value"]],
+        ["vector(1)", []],
+        ["2 * backlog", ["engine_id"]],
+    ])("%s → %j", (query, labels) => {
+        expect(check(query).resultLabels).toEqual(labels);
+    });
+    it("has no result labels for a scalar expression", () => {
+        expect(check("1 + 2").resultLabels).toBeUndefined();
+    });
+});
+describe("parsePromql", () => {
+    it("folds parentheses, unary signs and range/offset/@ postfixes into the operand", () => {
+        expect(parsePromql("(-inc_total[5m] offset 1h @ start())")).toEqual({
+            type: "selector",
+            name: "inc_total",
+            matchers: [],
+        });
+        // Grafana interpolates its interval variables as durations, offsets included.
+        expect(parsePromql("inc_total[1h] @ 1700000000 offset $__range")).toEqual({
+            type: "selector",
+            name: "inc_total",
+            matchers: [],
+        });
+    });
+    it("parses grouping after the aggregation body and binds ^ right-associatively", () => {
+        expect(parsePromql("sum(inc_total) by (engine_id)")).toMatchObject({
+            type: "aggregate",
+            grouping: { mode: "by", labels: ["engine_id"] },
+        });
+        expect(parsePromql("1 ^ 2 ^ 3")).toMatchObject({ rhs: { type: "binary", op: "^" } });
+        expect(parsePromql("1 - 2 * 3")).toMatchObject({ op: "-", rhs: { op: "*" } });
+    });
+    it("unescapes label values", () => {
+        expect(parsePromql('x{a="q\\"uote",b=`raw\\`}')).toMatchObject({
+            matchers: [
+                { label: "a", value: 'q"uote' },
+                { label: "b", value: "raw\\" },
+            ],
+        });
+    });
+    it.each([
+        "sum(inc_total",
+        "inc_total{engine_id}",
+        'inc_total{engine_id=="a"}',
+        "inc_total @ now",
+        "sum by engine_id (inc_total)",
+        "sum()",
+        "inc_total )",
+        "inc_total # comment",
+    ])("rejects %s", (query) => {
+        expect(() => parsePromql(query)).toThrow(/PromQL:/);
+    });
+});
+//# sourceMappingURL=promql-labels.test.js.map

package/dist/promql-labels.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"promql-labels.test.js","sourceRoot":"","sources":["../src/promql-labels.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAA;AAC7C,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAA;AACnF,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAE5D;;;;;GAKG;AAEH,MAAM,OAAO,GAAG,eAAe,CAC7B;IACE;QACE,QAAQ,EAAE,WAAW;QACrB,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,CAAC,wBAAwB,EAAE,aAAa,EAAE,WAAW,CAAC;KAC/D;IACD;QACE,QAAQ,EAAE,aAAa;QACvB,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,CAAC,wBAAwB,EAAE,4BAA4B,EAAE,WAAW,EAAE,OAAO,CAAC;QACtF,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,WAAW,EAAE,uBAAuB,CAAC,EAAE;KAC/D;IACD;QACE,QAAQ,EAAE,aAAa;QACvB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,CAAC,wBAAwB,EAAE,WAAW,CAAC;KAChD;IACD,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE;CAC9D,EACD,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,YAAY,EAAE,WAAW,CAAC,EAAE,EAAE,CACjE,CAAA;AAED,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;AACjE,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,UAAU,CAAA;AAE7D,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,EAAE,CAAC,IAAI,CAAC;QACN,2EAA2E;QAC3E,gEAAgE;QAChE,wFAAwF;QACxF,2EAA2E;QAC3E,mDAAmD;QACnD,uFAAuF;QACvF,2CAA2C;QAC3C,iCAAiC;QACjC,iFAAiF;QACjF,+BAA+B;QAC/B,2BAA2B;QAC3B,0CAA0C;QAC1C,gFAAgF;KACjF,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QACjB,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACvC,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,KAAK,CAAC,gEAAgE,CAAC,CAAA;QACtF,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAA;QAC5C,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAA;IACtD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,UAAU,CAC7B,yFAAyF,CAC1F,CAAA;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QACxB,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,0DAA0D,CAAC,CAAA;IACjF,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,UAAU,CAAC,yCAAyC,CAAC,CAAC,CAAC,OAAO,CAAC;YACpE,MAAM,CAAC,gBAAgB,CAAC,qDAAqD,CAAC;SAC/E,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,UAAU,CAAC,kEAAkE,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7F,MAAM,CAAC,gBAAgB,CAAC,2CAA2C,CAAC;SACrE,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,UAAU,CAAC,gCAAgC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;QACpE,MAAM,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC;YACzE,WAAW;YACX,wBAAwB;SACzB,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5C,MAAM,CAAC,gBAAgB,CAAC,2CAA2C,CAAC;SACrE,CAAC,CAAA;QACF,MAAM,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,UAAU,CAAC,iEAAiE,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5F,MAAM,CAAC,gBAAgB,CAAC,2CAA2C,CAAC;SACrE,CAAC,CAAA;QACF,MAAM,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC;YAChF,WAAW;YACX,wBAAwB;SACzB,CAAC,CAAA;QACF,MAAM,CAAC,UAAU,CAAC,yBAAyB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IAC/D,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,UAAU,CAAC,sCAAsC,CAAC,CAAC,CAAC,OAAO,CAAC;YACjE,MAAM,CAAC,gBAAgB,CAAC,8BAA8B,CAAC;SACxD,CAAC,CAAA;QACF,MAAM,CAAC,UAAU,CAAC,sCAAsC,CAAC,CAAC,CAAC,OAAO,CAAC;YACjE,MAAM,CAAC,gBAAgB,CAAC,qDAAqD,CAAC;SAC/E,CAAC,CAAA;QACF,MAAM,CAAC,UAAU,CAAC,uDAAuD,CAAC,CAAC,CAAC,OAAO,CAAC;YAClF,MAAM,CAAC,gBAAgB,CAAC,uDAAuD,CAAC;SACjF,CAAC,CAAA;QACF,MAAM,CAAC,UAAU,CAAC,wDAAwD,CAAC,CAAC,CAAC,OAAO,CAAC;YACnF,MAAM,CAAC,gBAAgB,CAAC,wDAAwD,CAAC;SAClF,CAAC,CAAA;QACF,MAAM,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IACpE,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,UAAU,CAAC,2BAA2B,CAAC,CAAC,CAAC,OAAO,CAAC;YACtD,MAAM,CAAC,gBAAgB,CAAC,qCAAqC,CAAC;SAC/D,CAAC,CAAA;QACF,MAAM,CAAC,UAAU,CAAC,yCAAyC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IAC/E,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,UAAU,CAAC,4DAA4D,CAAC,CAAC,CAAC,OAAO,CAAC;YACvF,MAAM,CAAC,gBAAgB,CAAC,sCAAsC,CAAC;SAChE,CAAC,CAAA;QACF,MAAM,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5C,MAAM,CAAC,gBAAgB,CAAC,gCAAgC,CAAC;SAC1D,CAAC,CAAA;QACF,MAAM,CAAC,UAAU,CAAC,oCAAoC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QACpE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IAC/E,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,IAAI,CAAC;QACN,CAAC,sBAAsB,EAAE,CAAC,aAAa,EAAE,WAAW,EAAE,wBAAwB,CAAC,CAAC;QAChF,CAAC,0BAA0B,EAAE,CAAC,WAAW,CAAC,CAAC;QAC3C,CAAC,oCAAoC,EAAE,CAAC,WAAW,CAAC,CAAC;QACrD,CAAC,8CAA8C,EAAE,CAAC,WAAW,EAAE,wBAAwB,CAAC,CAAC;QACzF;YACE,gDAAgD;YAChD,CAAC,aAAa,EAAE,WAAW,EAAE,wBAAwB,CAAC;SACvD;QACD,CAAC,gCAAgC,EAAE,CAAC,OAAO,CAAC,CAAC;QAC7C,CAAC,WAAW,EAAE,EAAE,CAAC;QACjB,CAAC,aAAa,EAAE,CAAC,WAAW,CAAC,CAAC;KAC/B,CAAC,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QAC9B,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACnD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,aAAa,EAAE,CAAA;IACrD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,WAAW,CAAC,sCAAsC,CAAC,CAAC,CAAC,OAAO,CAAC;YAClE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,EAAE;SACb,CAAC,CAAA;QACF,8EAA8E;QAC9E,MAAM,CAAC,WAAW,CAAC,4CAA4C,CAAC,CAAC,CAAC,OAAO,CAAC;YACxE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,EAAE;SACb,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,CAAC,WAAW,CAAC,+BAA+B,CAAC,CAAC,CAAC,aAAa,CAAC;YACjE,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE;SAChD,CAAC,CAAA;QACF,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QACpF,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;IAC/E,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,WAAW,CAAC,2BAA2B,CAAC,CAAC,CAAC,aAAa,CAAC;YAC7D,QAAQ,EAAE;gBACR,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE;gBAC/B,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE;aAC/B;SACF,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,IAAI,CAAC;QACN,eAAe;QACf,sBAAsB;QACtB,2BAA2B;QAC3B,iBAAiB;QACjB,8BAA8B;QAC9B,OAAO;QACP,aAAa;QACb,qBAAqB;KACtB,CAAC,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE;QACzB,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IACrD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/dist/promql-parse.test-support.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Test support for the metrics-contract guards — never imported by runtime
+ * code. A parser for the PromQL subset the analytics consumers write (TS
+ * queries, alert rules, Grafana dashboards) into the small AST the label
+ * checker (`promql-labels.test-support.ts`) walks.
+ *
+ * Anything outside the supported subset throws instead of parsing to
+ * something approximate — extend the parser when a new query shape needs it.
+ */
+export interface Matcher {
+    label: string;
+    op: "=" | "!=" | "=~" | "!~";
+    value: string;
+}
+export interface Grouping {
+    mode: "by" | "without";
+    labels: string[];
+}
+export interface VectorMatching {
+    mode?: "on" | "ignoring";
+    labels: string[];
+    group?: "group_left" | "group_right";
+    include: string[];
+}
+/**
+ * Parsed expression. Parentheses, unary signs and the range / `offset` / `@`
+ * postfixes are folded into their operand — none of them changes the label set.
+ */
+export type PromNode = {
+    type: "number";
+} | {
+    type: "string";
+    value: string;
+} | {
+    type: "selector";
+    name: string | undefined;
+    matchers: Matcher[];
+} | {
+    type: "call";
+    func: string;
+    args: PromNode[];
+} | {
+    type: "aggregate";
+    op: string;
+    grouping?: Grouping;
+    param?: PromNode;
+    expr: PromNode;
+} | {
+    type: "binary";
+    op: string;
+    lhs: PromNode;
+    rhs: PromNode;
+    matching?: VectorMatching;
+};
+/** Parse one PromQL expression; throws on anything outside the supported subset. */
+export declare function parsePromql(src: string): PromNode;
+//# sourceMappingURL=promql-parse.test-support.d.ts.map

package/dist/promql-parse.test-support.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"promql-parse.test-support.d.ts","sourceRoot":"","sources":["../src/promql-parse.test-support.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AA+DH,MAAM,WAAW,OAAO;IACtB,KAAK,EAAE,MAAM,CAAA;IACb,EAAE,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAA;IAC5B,KAAK,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,IAAI,GAAG,SAAS,CAAA;IACtB,MAAM,EAAE,MAAM,EAAE,CAAA;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,IAAI,GAAG,UAAU,CAAA;IACxB,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,KAAK,CAAC,EAAE,YAAY,GAAG,aAAa,CAAA;IACpC,OAAO,EAAE,MAAM,EAAE,CAAA;CAClB;AAED;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,OAAO,EAAE,CAAA;CAAE,GACnE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,EAAE,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACxF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,EAAE,cAAc,CAAA;CAAE,CAAA;AA8O3F,oFAAoF;AACpF,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAEjD"}