@ontrails/warden 1.0.0-beta.13 → 1.0.0-beta.15

package/dist/rules/error-mapping-completeness.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Validates that registered transport error mappers cover every error category.
+ *
+ * Scans `createTransportErrorMapper(...)` calls and resolves simple object
+ * literals, identifier bindings, and object-property references in the same
+ * file so incomplete mapper registrations are caught before they ship.
+ */
+import type { WardenRule } from './types.js';
+/**
+ * Flags `createTransportErrorMapper()` registrations that omit error categories.
+ */
+export declare const errorMappingCompleteness: WardenRule;
+//# sourceMappingURL=error-mapping-completeness.d.ts.map

package/dist/rules/error-mapping-completeness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-mapping-completeness.d.ts","sourceRoot":"","sources":["../../src/rules/error-mapping-completeness.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAcH,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AAsN/D;;GAEG;AACH,eAAO,MAAM,wBAAwB,EAAE,UAmCtC,CAAC"}

package/dist/rules/error-mapping-completeness.js

@@ -0,0 +1,160 @@
+/**
+ * Validates that registered transport error mappers cover every error category.
+ *
+ * Scans `createTransportErrorMapper(...)` calls and resolves simple object
+ * literals, identifier bindings, and object-property references in the same
+ * file so incomplete mapper registrations are caught before they ship.
+ */
+import { errorCategories } from '@ontrails/core';
+import { getStringValue, identifierName, isStringLiteral, offsetToLine, parse, walk, } from './ast.js';
+import { isTestFile } from './scan.js';
+const MEMBER_EXPRESSION_TYPES = new Set([
+    'MemberExpression',
+    'StaticMemberExpression',
+]);
+const getPropertyName = (node) => {
+    if (!node) {
+        return null;
+    }
+    return (identifierName(node) ??
+        (isStringLiteral(node) ? getStringValue(node) : null));
+};
+const collectObjectBindings = (ast) => {
+    const bindings = new Map();
+    walk(ast, (node) => {
+        if (node.type !== 'VariableDeclarator') {
+            return;
+        }
+        const { id, init } = node;
+        const bindingName = identifierName(id);
+        if (bindingName && init?.type === 'ObjectExpression') {
+            bindings.set(bindingName, init);
+        }
+    });
+    return bindings;
+};
+const getObjectProperties = (objectNode) => objectNode.type === 'ObjectExpression'
+    ? (objectNode['properties'] ?? [])
+    : [];
+const findObjectPropertyValue = (objectNode, propertyName) => {
+    for (const property of getObjectProperties(objectNode)) {
+        if (property.type !== 'Property') {
+            continue;
+        }
+        const key = getPropertyName(property.key);
+        if (key === propertyName) {
+            return property.value ?? null;
+        }
+    }
+    return null;
+};
+const resolveIdentifierObject = (node, bindings) => bindings.get(node.name ?? '') ?? null;
+const resolveMemberObject = (node, bindings, depth, resolve) => {
+    const { object, property } = node;
+    const propertyName = getPropertyName(property);
+    if (!propertyName) {
+        return null;
+    }
+    const objectNode = resolve(object, bindings, depth + 1);
+    return objectNode
+        ? resolve(findObjectPropertyValue(objectNode, propertyName) ?? undefined, bindings, depth + 1)
+        : null;
+};
+const resolveObjectExpression = function resolveObjectExpression(node, bindings, depth = 0) {
+    if (!node || depth > 4) {
+        return null;
+    }
+    if (node.type === 'ObjectExpression') {
+        return node;
+    }
+    if (node.type === 'Identifier') {
+        return resolveIdentifierObject(node, bindings);
+    }
+    return MEMBER_EXPRESSION_TYPES.has(node.type)
+        ? resolveMemberObject(node, bindings, depth, resolveObjectExpression)
+        : null;
+};
+const addMappedCategory = (categories, property) => {
+    if (property.type === 'SpreadElement') {
+        return false;
+    }
+    if (property.type !== 'Property') {
+        return true;
+    }
+    const key = getPropertyName(property.key);
+    if (key) {
+        categories.add(key);
+    }
+    return true;
+};
+const collectMappedCategories = (mapperObject) => {
+    if (mapperObject.type !== 'ObjectExpression') {
+        return null;
+    }
+    const categories = new Set();
+    for (const property of getObjectProperties(mapperObject)) {
+        if (!addMappedCategory(categories, property)) {
+            return null;
+        }
+    }
+    return categories;
+};
+const createDiagnostic = (filePath, line, missingCategories) => ({
+    filePath,
+    line,
+    message: `Transport error mapper is missing mappings for: ${missingCategories.join(', ')}. Registered createTransportErrorMapper() calls must cover every ErrorCategory.`,
+    rule: 'error-mapping-completeness',
+    severity: 'error',
+});
+const getCallArgs = (node) => node.arguments ?? [];
+const getCallCallee = (node) => node.callee;
+const isMapperFactoryCall = (node) => node.type === 'CallExpression' &&
+    identifierName(getCallCallee(node)) === 'createTransportErrorMapper';
+const findMissingCategories = (mappedCategories) => errorCategories.filter((category) => !mappedCategories.has(category));
+const resolveMappedCategories = (node, bindings) => {
+    const [firstArg] = getCallArgs(node);
+    const mapperObject = resolveObjectExpression(firstArg, bindings);
+    return mapperObject ? collectMappedCategories(mapperObject) : null;
+};
+const inspectMapperCall = (node, bindings, filePath, sourceCode) => {
+    if (!isMapperFactoryCall(node)) {
+        return null;
+    }
+    const mappedCategories = resolveMappedCategories(node, bindings);
+    if (!mappedCategories) {
+        return null;
+    }
+    const missingCategories = findMissingCategories(mappedCategories);
+    if (missingCategories.length === 0) {
+        return null;
+    }
+    return createDiagnostic(filePath, offsetToLine(sourceCode, node.start), missingCategories);
+};
+/**
+ * Flags `createTransportErrorMapper()` registrations that omit error categories.
+ */
+export const errorMappingCompleteness = {
+    check(sourceCode, filePath) {
+        if (isTestFile(filePath) ||
+            !sourceCode.includes('createTransportErrorMapper')) {
+            return [];
+        }
+        const ast = parse(filePath, sourceCode);
+        if (!ast) {
+            return [];
+        }
+        const bindings = collectObjectBindings(ast);
+        const diagnostics = [];
+        walk(ast, (node) => {
+            const diagnostic = inspectMapperCall(node, bindings, filePath, sourceCode);
+            if (diagnostic) {
+                diagnostics.push(diagnostic);
+            }
+        });
+        return diagnostics;
+    },
+    description: 'Require registered transport error mappers to cover every ErrorCategory.',
+    name: 'error-mapping-completeness',
+    severity: 'error',
+};
+//# sourceMappingURL=error-mapping-completeness.js.map

package/dist/rules/error-mapping-completeness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-mapping-completeness.js","sourceRoot":"","sources":["../../src/rules/error-mapping-completeness.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,OAAO,EACL,cAAc,EACd,cAAc,EACd,eAAe,EACf,YAAY,EACZ,KAAK,EACL,IAAI,GACL,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAGvC,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,kBAAkB;IAClB,wBAAwB;CACzB,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,CAAC,IAAyB,EAAiB,EAAE;IACnE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CACL,cAAc,CAAC,IAAI,CAAC;QACpB,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CACtD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,GAAY,EAAgC,EAAE;IAC3E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE5C,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACvC,OAAO;QACT,CAAC;QAED,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,IAAwC,CAAC;QAC9D,MAAM,WAAW,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;QAEvC,IAAI,WAAW,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrD,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,UAAmB,EAAsB,EAAE,CACtE,UAAU,CAAC,IAAI,KAAK,kBAAkB;IACpC,CAAC,CAAC,CAAE,UAAU,CAAC,YAAY,CAAoC,IAAI,EAAE,CAAC;IACtE,CAAC,CAAC,EAAE,CAAC;AAET,MAAM,uBAAuB,GAAG,CAC9B,UAAmB,EACnB,YAAoB,EACJ,EAAE;IAClB,KAAK,MAAM,QAAQ,IAAI,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC;QACvD,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QAED,MAAM,GAAG,GAAG,eAAe,CAAE,QAAyC,CAAC,GAAG,CAAC,CAAC;QAC5E,IAAI,GAAG,KAAK,YAAY,EAAE,CAAC;YACzB,OAAQ,QAA2C,CAAC,KAAK,IAAI,IAAI,CAAC;QACpE,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,IAAa,EACb,QAAsC,EACtB,EAAE,CAClB,QAAQ,CAAC,GAAG,CAAE,IAA0B,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC;AAE/D,MAAM,mBAAmB,GAAG,CAC1B,IAAa,EACb,QAAsC,EACtC,KAAa,EACb,OAImB,EACH,EAAE;IAClB,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAgD,CAAC;IAC9E,MAAM,YAAY,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC/C,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACxD,OAAO,UAAU;QACf,CAAC,CAAC,OAAO,CACL,uBAAuB,CAAC,UAAU,EAAE,YAAY,CAAC,IAAI,SAAS,EAC9D,QAAQ,EACR,KAAK,GAAG,CAAC,CACV;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,SAAS,uBAAuB,CAC9D,IAAyB,EACzB,QAAsC,EACtC,KAAK,GAAG,CAAC;IAET,IAAI,CAAC,IAAI,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACjD,CAAC;IAED,OAAO,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3C,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,uBAAuB,CAAC;QACrE,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,UAAuB,EACvB,QAAiB,EACR,EAAE;IACX,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,GAAG,GAAG,eAAe,CAAE,QAAyC,CAAC,GAAG,CAAC,CAAC;IAC5E,IAAI,GAAG,EAAE,CAAC;QACR,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,YAAqB,EACO,EAAE;IAC9B,IAAI,YAAY,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,QAAQ,IAAI,mBAAmB,CAAC,YAAY,CAAC,EAAE,CAAC;QACzD,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC7C,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,QAAgB,EAChB,IAAY,EACZ,iBAAoC,EAClB,EAAE,CAAC,CAAC;IACtB,QAAQ;IACR,IAAI;IACJ,OAAO,EAAE,mDAAmD,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,iFAAiF;IACzK,IAAI,EAAE,4BAA4B;IAClC,QAAQ,EAAE,OAAO;CAClB,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,CAAC,IAAa,EAAsB,EAAE,CACvD,IAA2C,CAAC,SAAS,IAAI,EAAE,CAAC;AAE/D,MAAM,aAAa,GAAG,CAAC,IAAa,EAAuB,EAAE,CAC1D,IAA6B,CAAC,MAAM,CAAC;AAExC,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAW,EAAE,CACrD,IAAI,CAAC,IAAI,KAAK,gBAAgB;IAC9B,cAAc,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,4BAA4B,CAAC;AAEvE,MAAM,qBAAqB,GAAG,CAC5B,gBAAqC,EAClB,EAAE,CACrB,eAAe,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;AAExE,MAAM,uBAAuB,GAAG,CAC9B,IAAa,EACb,QAAsC,EACV,EAAE;IAC9B,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,YAAY,GAAG,uBAAuB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACjE,OAAO,YAAY,CAAC,CAAC,CAAC,uBAAuB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACrE,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAa,EACb,QAAsC,EACtC,QAAgB,EAChB,UAAkB,EACO,EAAE;IAC3B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACjE,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;IAClE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,gBAAgB,CACrB,QAAQ,EACR,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,EACpC,iBAAiB,CAClB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAe;IAClD,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,IACE,UAAU,CAAC,QAAQ,CAAC;YACpB,CAAC,UAAU,CAAC,QAAQ,CAAC,4BAA4B,CAAC,EAClD,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAuB,EAAE,CAAC;QAE3C,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;YACjB,MAAM,UAAU,GAAG,iBAAiB,CAClC,IAAI,EACJ,QAAQ,EACR,QAAQ,EACR,UAAU,CACX,CAAC;YACF,IAAI,UAAU,EAAE,CAAC;gBACf,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,WAAW,EACT,0EAA0E;IAC5E,IAAI,EAAE,4BAA4B;IAClC,QAAQ,EAAE,OAAO;CAClB,CAAC"}

package/dist/rules/example-valid.d.ts

@@ -0,0 +1,6 @@
+import type { WardenRule } from './types.js';
+/**
+ * Checks that contour examples validate against their schema.
+ */
+export declare const exampleValid: WardenRule;
+//# sourceMappingURL=example-valid.d.ts.map

package/dist/rules/example-valid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"example-valid.d.ts","sourceRoot":"","sources":["../../src/rules/example-valid.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AAuX/D;;GAEG;AACH,eAAO,MAAM,YAAY,EAAE,UAQ1B,CAAC"}

package/dist/rules/example-valid.js

@@ -0,0 +1,203 @@
+import { contour } from '@ontrails/core';
+import { z } from 'zod';
+import { extractStringLiteral, findConfigProperty, findContourDefinitions, getStringValue, identifierName, offsetToLine, parse, } from './ast.js';
+import { isTestFile } from './scan.js';
+class UnsupportedContourEvaluationError extends Error {
+}
+const buildInvalidExampleDiagnostic = (contourName, message, filePath, line) => ({
+    filePath,
+    line,
+    message: `Contour "${contourName}" has invalid examples: ${message}`,
+    rule: 'example-valid',
+    severity: 'error',
+});
+const getPropertyName = (node) => {
+    if (typeof node !== 'object' || node === null) {
+        return null;
+    }
+    const { name } = node;
+    if (typeof name === 'string') {
+        return name;
+    }
+    return extractStringLiteral(node);
+};
+const requireNode = (node) => {
+    if (!node) {
+        throw new UnsupportedContourEvaluationError('Missing node in contour evaluation.');
+    }
+    return node;
+};
+// The evaluator table is declared before `evaluateNode` so the recursive
+// dispatch can read it at call time without any forward references. Entries
+// are registered below once each per-type evaluator is defined.
+const contourNodeEvaluators = new Map();
+const evaluateNode = (node, env) => {
+    const evaluator = contourNodeEvaluators.get(node.type);
+    if (evaluator) {
+        return evaluator(node, env);
+    }
+    throw new UnsupportedContourEvaluationError(`Unsupported AST node "${node.type}" in contour evaluation.`);
+};
+const evaluateArrayExpression = (node, env) => {
+    const elements = node['elements'];
+    return (elements ?? []).map((element) => evaluateNode(element, env));
+};
+const evaluateLiteralExpression = (node) => getStringValue(node) ?? node.value;
+const evaluateIdentifierExpression = (node, env) => {
+    const name = identifierName(node);
+    if (name === 'undefined') {
+        return undefined;
+    }
+    if (name === 'z') {
+        return z;
+    }
+    if (!name || !env.has(name)) {
+        throw new UnsupportedContourEvaluationError(`Unknown identifier "${name ?? '<unknown>'}" in contour evaluation.`);
+    }
+    return env.get(name);
+};
+const evaluateWrappedExpression = (node, env) => evaluateNode(requireNode(node.expression), env);
+const evaluateNullExpression = () => null;
+const evaluateObjectExpression = (node, env) => {
+    const properties = node['properties'];
+    const value = {};
+    for (const property of properties ?? []) {
+        if (property.type !== 'Property') {
+            throw new UnsupportedContourEvaluationError(`Unsupported object property type "${property.type}".`);
+        }
+        const propertyName = getPropertyName(property.key);
+        if (!propertyName) {
+            throw new UnsupportedContourEvaluationError('Unsupported object property key in contour evaluation.');
+        }
+        value[propertyName] = evaluateNode(requireNode(property.value), env);
+    }
+    return value;
+};
+const evaluateCallArguments = (node, env) => (node['arguments'] ?? []).map((arg) => evaluateNode(arg, env));
+const resolveContourFallbackOptions = (shape) => typeof shape === 'object' &&
+    shape !== null &&
+    Object.hasOwn(shape, 'id') &&
+    shape['id'] !== undefined
+    ? { identity: 'id' }
+    : null;
+const resolveContourOptions = (shape, options) => {
+    if (options === undefined) {
+        const fallbackOptions = resolveContourFallbackOptions(shape);
+        if (fallbackOptions !== null) {
+            return fallbackOptions;
+        }
+        throw new UnsupportedContourEvaluationError('Contour evaluator requires literal options, or an `id` field when options are omitted.');
+    }
+    if (typeof options !== 'object' || options === null) {
+        throw new UnsupportedContourEvaluationError('Contour evaluator requires literal options when provided.');
+    }
+    return options;
+};
+const evaluateContourCall = (args) => {
+    const [name, shape, options] = args;
+    if (typeof name !== 'string') {
+        throw new UnsupportedContourEvaluationError('Contour evaluator requires a literal name.');
+    }
+    return contour(name, shape, resolveContourOptions(shape, options));
+};
+const evaluateMemberCall = (callee, args, env) => {
+    const receiver = evaluateNode(requireNode(callee.object), env);
+    const propertyName = getPropertyName(callee.property);
+    if (!propertyName) {
+        throw new UnsupportedContourEvaluationError('Unsupported member property in contour evaluation.');
+    }
+    const method = receiver[propertyName];
+    if (typeof method !== 'function') {
+        throw new UnsupportedContourEvaluationError(`Contour evaluator could not call "${propertyName}".`);
+    }
+    return Reflect.apply(method, receiver, args);
+};
+const evaluateCallExpression = (node, env) => {
+    const args = evaluateCallArguments(node, env);
+    const callee = requireNode(node['callee']);
+    if (callee.type === 'Identifier') {
+        const calleeName = identifierName(callee);
+        if (calleeName !== 'contour') {
+            throw new UnsupportedContourEvaluationError(`Unsupported contour evaluator call "${calleeName ?? '<unknown>'}".`);
+        }
+        return evaluateContourCall(args);
+    }
+    if (callee.type !== 'MemberExpression' &&
+        callee.type !== 'StaticMemberExpression') {
+        throw new UnsupportedContourEvaluationError(`Unsupported callee type "${callee.type}".`);
+    }
+    return evaluateMemberCall(callee, args, env);
+};
+const EVALUATOR_REGISTRATIONS = [
+    ['ArrayExpression', evaluateArrayExpression],
+    ['BooleanLiteral', evaluateLiteralExpression],
+    ['Literal', evaluateLiteralExpression],
+    ['NumericLiteral', evaluateLiteralExpression],
+    ['StringLiteral', evaluateLiteralExpression],
+    ['CallExpression', evaluateCallExpression],
+    ['Identifier', evaluateIdentifierExpression],
+    ['NullLiteral', evaluateNullExpression],
+    ['ObjectExpression', evaluateObjectExpression],
+    ['ParenthesizedExpression', evaluateWrappedExpression],
+    ['TSAsExpression', evaluateWrappedExpression],
+    ['TSSatisfiesExpression', evaluateWrappedExpression],
+];
+for (const [type, evaluator] of EVALUATOR_REGISTRATIONS) {
+    contourNodeEvaluators.set(type, evaluator);
+}
+const hasExamples = (definition) => definition.options !== null &&
+    findConfigProperty(definition.options, 'examples') !== null;
+const evaluateContourDefinition = (definition, env) => evaluateNode(definition.call, env);
+const buildContourExampleErrorDiagnostic = (definition, error, sourceCode, filePath) => {
+    if (error instanceof UnsupportedContourEvaluationError ||
+        !hasExamples(definition) ||
+        !(error instanceof Error)) {
+        return null;
+    }
+    return buildInvalidExampleDiagnostic(definition.name, error.message, filePath, offsetToLine(sourceCode, definition.start));
+};
+const evaluateContourExamples = (definition, env, sourceCode, filePath) => {
+    try {
+        const value = evaluateContourDefinition(definition, env);
+        if (definition.bindingName) {
+            env.set(definition.bindingName, value);
+        }
+        return null;
+    }
+    catch (error) {
+        return buildContourExampleErrorDiagnostic(definition, error, sourceCode, filePath);
+    }
+};
+const collectContourExampleDiagnostics = (definitions, sourceCode, filePath) => {
+    const diagnostics = [];
+    const env = new Map();
+    for (const definition of definitions) {
+        const diagnostic = evaluateContourExamples(definition, env, sourceCode, filePath);
+        if (diagnostic) {
+            diagnostics.push(diagnostic);
+        }
+    }
+    return diagnostics;
+};
+const checkContourExamples = (sourceCode, filePath) => {
+    if (isTestFile(filePath)) {
+        return [];
+    }
+    const ast = parse(filePath, sourceCode);
+    if (!ast) {
+        return [];
+    }
+    return collectContourExampleDiagnostics(findContourDefinitions(ast), sourceCode, filePath);
+};
+/**
+ * Checks that contour examples validate against their schema.
+ */
+export const exampleValid = {
+    check(sourceCode, filePath) {
+        return checkContourExamples(sourceCode, filePath);
+    },
+    description: 'Ensure every contour example validates against the declared contour schema.',
+    name: 'example-valid',
+    severity: 'error',
+};
+//# sourceMappingURL=example-valid.js.map

package/dist/rules/example-valid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"example-valid.js","sourceRoot":"","sources":["../../src/rules/example-valid.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACzC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,sBAAsB,EACtB,cAAc,EACd,cAAc,EACd,YAAY,EACZ,KAAK,GACN,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAGvC,MAAM,iCAAkC,SAAQ,KAAK;CAAG;AAIxD,MAAM,6BAA6B,GAAG,CACpC,WAAmB,EACnB,OAAe,EACf,QAAgB,EAChB,IAAY,EACM,EAAE,CAAC,CAAC;IACtB,QAAQ;IACR,IAAI;IACJ,OAAO,EAAE,YAAY,WAAW,2BAA2B,OAAO,EAAE;IACpE,IAAI,EAAE,eAAe;IACrB,QAAQ,EAAE,OAAO;CAClB,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,CAAC,IAAa,EAAiB,EAAE;IACvD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,GAAG,IAAmC,CAAC;IACrD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,oBAAoB,CAAC,IAAe,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAyB,EAAW,EAAE;IACzD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,iCAAiC,CACzC,qCAAqC,CACtC,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAOF,yEAAyE;AACzE,4EAA4E;AAC5E,gEAAgE;AAChE,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAgC,CAAC;AAEtE,MAAM,YAAY,GAAyB,CACzC,IAAa,EACb,GAAiC,EACxB,EAAE;IACX,MAAM,SAAS,GAAG,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,IAAI,iCAAiC,CACzC,yBAAyB,IAAI,CAAC,IAAI,0BAA0B,CAC7D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAyB,CACpD,IAAa,EACb,GAAiC,EACb,EAAE;IACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAmC,CAAC;IACpE,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAyB,CACtD,IAAa,EACJ,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC;AAEjD,MAAM,4BAA4B,GAAyB,CACzD,IAAa,EACb,GAAiC,EACxB,EAAE;IACX,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;QACjB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,iCAAiC,CACzC,uBAAuB,IAAI,IAAI,WAAW,0BAA0B,CACrE,CAAC;IACJ,CAAC;IAED,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAyB,CACtD,IAAa,EACb,GAAiC,EACxB,EAAE,CACX,YAAY,CACV,WAAW,CAAE,IAA4C,CAAC,UAAU,CAAC,EACrE,GAAG,CACJ,CAAC;AAEJ,MAAM,sBAAsB,GAAyB,GAAS,EAAE,CAAC,IAAI,CAAC;AAEtE,MAAM,wBAAwB,GAAyB,CACrD,IAAa,EACb,GAAiC,EACR,EAAE;IAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAmC,CAAC;IACxE,MAAM,KAAK,GAA4B,EAAE,CAAC;IAE1C,KAAK,MAAM,QAAQ,IAAI,UAAU,IAAI,EAAE,EAAE,CAAC;QACxC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,IAAI,iCAAiC,CACzC,qCAAqC,QAAQ,CAAC,IAAI,IAAI,CACvD,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,MAAM,IAAI,iCAAiC,CACzC,wDAAwD,CACzD,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,YAAY,CAAC,GAAG,YAAY,CAChC,WAAW,CAAC,QAAQ,CAAC,KAA4B,CAAC,EAClD,GAAG,CACJ,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAa,EACb,GAAiC,EACb,EAAE,CACtB,CAAE,IAAI,CAAC,WAAW,CAAoC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACxE,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CACvB,CAAC;AAEJ,MAAM,6BAA6B,GAAG,CACpC,KAAc,EACwB,EAAE,CACxC,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACd,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;IACzB,KAAuB,CAAC,IAAI,CAAC,KAAK,SAAS;IAC1C,CAAC,CAAE,EAAE,QAAQ,EAAE,IAAI,EAAoC;IACvD,CAAC,CAAC,IAAI,CAAC;AAEX,MAAM,qBAAqB,GAAG,CAC5B,KAAc,EACd,OAAgB,EACe,EAAE;IACjC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,eAAe,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC;QAC7D,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;YAC7B,OAAO,eAAe,CAAC;QACzB,CAAC;QAED,MAAM,IAAI,iCAAiC,CACzC,wFAAwF,CACzF,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,IAAI,iCAAiC,CACzC,2DAA2D,CAC5D,CAAC;IACJ,CAAC;IAED,OAAO,OAAwC,CAAC;AAClD,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAwB,EAAW,EAAE;IAChE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IACpC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,IAAI,iCAAiC,CACzC,4CAA4C,CAC7C,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CACZ,IAAI,EACJ,KAAsB,EACtB,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CACtC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,MAAe,EACf,IAAwB,EACxB,GAAiC,EACxB,EAAE;IACX,MAAM,QAAQ,GAAG,YAAY,CAC3B,WAAW,CAAE,MAA0C,CAAC,MAAM,CAAC,EAC/D,GAAG,CACJ,CAAC;IACF,MAAM,YAAY,GAAG,eAAe,CACjC,MAA4C,CAAC,QAAQ,CACvD,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,IAAI,iCAAiC,CACzC,oDAAoD,CACrD,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAI,QAAoC,CAAC,YAAY,CAAC,CAAC;IACnE,IAAI,OAAO,MAAM,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,iCAAiC,CACzC,qCAAqC,YAAY,IAAI,CACtD,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAyB,CACnD,IAAa,EACb,GAAiC,EACxB,EAAE;IACX,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAwB,CAAC,CAAC;IAElE,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,iCAAiC,CACzC,uCAAuC,UAAU,IAAI,WAAW,IAAI,CACrE,CAAC;QACJ,CAAC;QAED,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,IACE,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAClC,MAAM,CAAC,IAAI,KAAK,wBAAwB,EACxC,CAAC;QACD,MAAM,IAAI,iCAAiC,CACzC,4BAA4B,MAAM,CAAC,IAAI,IAAI,CAC5C,CAAC;IACJ,CAAC;IAED,OAAO,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAGtB;IACL,CAAC,iBAAiB,EAAE,uBAAuB,CAAC;IAC5C,CAAC,gBAAgB,EAAE,yBAAyB,CAAC;IAC7C,CAAC,SAAS,EAAE,yBAAyB,CAAC;IACtC,CAAC,gBAAgB,EAAE,yBAAyB,CAAC;IAC7C,CAAC,eAAe,EAAE,yBAAyB,CAAC;IAC5C,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;IAC1C,CAAC,YAAY,EAAE,4BAA4B,CAAC;IAC5C,CAAC,aAAa,EAAE,sBAAsB,CAAC;IACvC,CAAC,kBAAkB,EAAE,wBAAwB,CAAC;IAC9C,CAAC,yBAAyB,EAAE,yBAAyB,CAAC;IACtD,CAAC,gBAAgB,EAAE,yBAAyB,CAAC;IAC7C,CAAC,uBAAuB,EAAE,yBAAyB,CAAC;CACrD,CAAC;AAEF,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,uBAAuB,EAAE,CAAC;IACxD,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,UAA6B,EAAW,EAAE,CAC7D,UAAU,CAAC,OAAO,KAAK,IAAI;IAC3B,kBAAkB,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,IAAI,CAAC;AAE9D,MAAM,yBAAyB,GAAG,CAChC,UAA6B,EAC7B,GAAiC,EACxB,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAEjD,MAAM,kCAAkC,GAAG,CACzC,UAA6B,EAC7B,KAAc,EACd,UAAkB,EAClB,QAAgB,EACS,EAAE;IAC3B,IACE,KAAK,YAAY,iCAAiC;QAClD,CAAC,WAAW,CAAC,UAAU,CAAC;QACxB,CAAC,CAAC,KAAK,YAAY,KAAK,CAAC,EACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,6BAA6B,CAClC,UAAU,CAAC,IAAI,EACf,KAAK,CAAC,OAAO,EACb,QAAQ,EACR,YAAY,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,CAC3C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,UAA6B,EAC7B,GAAyB,EACzB,UAAkB,EAClB,QAAgB,EACS,EAAE;IAC3B,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,yBAAyB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACzD,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC3B,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,kCAAkC,CACvC,UAAU,EACV,KAAK,EACL,UAAU,EACV,QAAQ,CACT,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,WAAyC,EACzC,UAAkB,EAClB,QAAgB,EACa,EAAE;IAC/B,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmB,CAAC;IAEvC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,uBAAuB,CACxC,UAAU,EACV,GAAG,EACH,UAAU,EACV,QAAQ,CACT,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,UAAkB,EAClB,QAAgB,EACa,EAAE;IAC/B,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,gCAAgC,CACrC,sBAAsB,CAAC,GAAG,CAAC,EAC3B,UAAU,EACV,QAAQ,CACT,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAe;IACtC,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,OAAO,oBAAoB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACpD,CAAC;IACD,WAAW,EACT,6EAA6E;IAC/E,IAAI,EAAE,eAAe;IACrB,QAAQ,EAAE,OAAO;CAClB,CAAC"}

package/dist/rules/fires-declarations.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Validates that `ctx.fire()` calls match the declared `fires` array.
+ *
+ * Statically analyzes trail `blaze` functions to find `ctx.fire('signalId', ...)`
+ * calls and compares them against the `fires: [...]` declaration in the trail
+ * config. Reports errors for undeclared fires and warnings for unused ones.
+ *
+ * Mirrors `cross-declarations` structurally — same extraction, same reporting
+ * shape, same const-identifier resolution, same context-parameter handling.
+ */
+import type { WardenRule } from './types.js';
+/**
+ * Validates that `ctx.fire()` calls align with declared `fires` arrays.
+ */
+export declare const firesDeclarations: WardenRule;
+//# sourceMappingURL=fires-declarations.d.ts.map

package/dist/rules/fires-declarations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fires-declarations.d.ts","sourceRoot":"","sources":["../../src/rules/fires-declarations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAgBH,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AA6iB/D;;GAEG;AACH,eAAO,MAAM,iBAAiB,EAAE,UAuB/B,CAAC"}