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

package/dist/rules/fires-declarations.js

@@ -0,0 +1,444 @@
+/**
+ * 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 { extractFirstStringArg, extractStringLiteral, findConfigProperty, findBlazeBodies, findTrailDefinitions, identifierName, offsetToLine, parse, deriveConstString, walkScope, } from './ast.js';
+import { isTestFile } from './scan.js';
+// ---------------------------------------------------------------------------
+// Const identifier resolution
+// ---------------------------------------------------------------------------
+/** Try to resolve an Identifier element to a string via const declaration. */
+const resolveIdentifierElement = (el, sourceCode) => {
+    const name = identifierName(el);
+    if (!name) {
+        return null;
+    }
+    return deriveConstString(name, sourceCode);
+};
+/**
+ * Resolve an array element to a static signal ID when possible.
+ *
+ * Returns null for entries the rule can't statically resolve — callers should
+ * treat "unresolved" as "trust the runtime" rather than a missing declaration.
+ * In particular, object-form references (e.g. `fires: [orderPlaced]` where
+ * `orderPlaced` is a `Signal` imported from elsewhere) resolve via runtime
+ * normalization in `trail()`, not at lint time.
+ */
+const resolveFireElementId = (element, sourceCode) => {
+    const literalValue = extractStringLiteral(element);
+    if (literalValue !== null) {
+        return literalValue;
+    }
+    if (element.type === 'Identifier') {
+        return resolveIdentifierElement(element, sourceCode);
+    }
+    return null;
+};
+// ---------------------------------------------------------------------------
+// Declared fires extraction
+// ---------------------------------------------------------------------------
+/** Extract the ArrayExpression elements from a config's `fires` property. */
+const getFiresElements = (config) => {
+    const firesProp = findConfigProperty(config, 'fires');
+    if (!firesProp) {
+        return null;
+    }
+    const arrayNode = firesProp.value;
+    if (!arrayNode || arrayNode.type !== 'ArrayExpression') {
+        return null;
+    }
+    const elements = arrayNode['elements'];
+    return elements ?? null;
+};
+/**
+ * Extract declared fires from a `fires: [...]` array.
+ *
+ * Object-form entries (`fires: [someSignal]`) cannot be resolved at lint time;
+ * they're normalized at runtime by `trail()`. When any entry is unresolved,
+ * the rule reports `hasUnresolved: true`, and callers should suppress the
+ * "undeclared" diagnostic since the declared set is incomplete from our view.
+ */
+const resolveDeclaredFiresElements = (elements, sourceCode) => {
+    const ids = new Set();
+    let hasUnresolved = false;
+    for (const element of elements) {
+        const resolved = resolveFireElementId(element, sourceCode);
+        if (resolved) {
+            ids.add(resolved);
+        }
+        else {
+            hasUnresolved = true;
+        }
+    }
+    return { hasUnresolved, ids };
+};
+const extractDeclaredFires = (config, sourceCode) => {
+    const elements = getFiresElements(config);
+    return elements
+        ? resolveDeclaredFiresElements(elements, sourceCode)
+        : { hasUnresolved: false, ids: new Set() };
+};
+// ---------------------------------------------------------------------------
+// Called fires extraction — member expression helpers
+// ---------------------------------------------------------------------------
+const MEMBER_TYPES = new Set(['StaticMemberExpression', 'MemberExpression']);
+/** Extract object and property Identifier names from a MemberExpression. */
+const extractMemberPair = (callee) => {
+    if (!MEMBER_TYPES.has(callee.type)) {
+        return null;
+    }
+    const objName = identifierName(callee.object);
+    const propName = identifierName(callee.property);
+    return objName && propName ? { objName, propName } : null;
+};
+/**
+ * Extract the second parameter node from a blaze function node.
+ *
+ * Handles `(input, ctx) => ...`, `async (input, context) => ...`,
+ * `function(input, ctx) { ... }`, and parameter-level destructuring
+ * like `(input, { fire }) => ...`.
+ */
+const extractContextParamNode = (blazeBody) => {
+    const params = blazeBody['params'];
+    if (!params || params.length < 2) {
+        return null;
+    }
+    return params[1] ?? null;
+};
+/** Extract the local name bound to `fire` inside an ObjectPattern Property. */
+const extractFireLocalName = (prop) => {
+    if (prop.type !== 'Property') {
+        return null;
+    }
+    const { key } = prop;
+    const { value } = prop;
+    const keyName = identifierName(key);
+    if (keyName !== 'fire') {
+        return null;
+    }
+    // `{ fire }` → key and value are the same Identifier (shorthand).
+    // `{ fire: emit }` → value is a distinct Identifier.
+    return identifierName(value) ?? keyName;
+};
+/** Collect `fire` local names from an ObjectPattern's properties into `names`. */
+const collectFireNamesFromPattern = (pattern, names) => {
+    const { properties } = pattern;
+    if (!properties) {
+        return;
+    }
+    for (const prop of properties) {
+        const localName = extractFireLocalName(prop);
+        if (localName) {
+            names.add(localName);
+        }
+    }
+};
+/**
+ * Extract the second parameter name from a blaze function node.
+ *
+ * Returns null when the parameter is not a plain Identifier (e.g. when the
+ * author destructures `{ fire }` in the parameter list). Parameter-level
+ * destructuring is handled separately by `collectParamFireNames`.
+ *
+ * Also handles defaulted parameters like `(input, ctx = fallback) => ...`
+ * (AssignmentPattern whose `.left` is the Identifier). Without this, valid
+ * signatures would silently drop out of ctx-access analysis.
+ */
+const extractContextParamName = (blazeBody) => {
+    const param = extractContextParamNode(blazeBody);
+    if (!param) {
+        return null;
+    }
+    if (param.type === 'AssignmentPattern') {
+        const { left } = param;
+        return identifierName(left);
+    }
+    return identifierName(param);
+};
+/**
+ * Collect `fire` local names bound via parameter-level destructuring.
+ *
+ * Recognizes `(input, { fire }) => ...` and `(input, { fire: emit }) => ...`.
+ * When the blaze author destructures in the parameter list, there is no
+ * enclosing `ctx` identifier to track — we seed the fire local set directly
+ * from the ObjectPattern in `params[1]`.
+ */
+const collectParamFireNames = (body) => {
+    const param = extractContextParamNode(body);
+    if (!param || param.type !== 'ObjectPattern') {
+        return new Set();
+    }
+    const names = new Set();
+    collectFireNamesFromPattern(param, names);
+    return names;
+};
+/** Check if a callee is a member-style fire call: <ctxName>.fire(...). */
+const isMemberFireCall = (callee, ctxNames) => {
+    const pair = extractMemberPair(callee);
+    return !!pair && ctxNames.has(pair.objName) && pair.propName === 'fire';
+};
+/**
+ * Check if a node is a `<ctxName>.fire(...)` call and return the string signal ID.
+ *
+ * Also matches bare `<fireLocalName>(...)` calls, but only when the local name
+ * was verifiably destructured from the trail context (e.g. `const { fire } = ctx`
+ * or `const { fire: emit } = ctx`). Unrelated local `fire()` helpers are
+ * ignored — see `collectDestructuredFireNames`.
+ */
+const isTrackedFireCallee = (callee, ctxNames, fireLocalNames) => {
+    if (isMemberFireCall(callee, ctxNames)) {
+        return true;
+    }
+    const calleeName = identifierName(callee);
+    return !!calleeName && fireLocalNames.has(calleeName);
+};
+const extractFireCallId = (node, ctxNames, fireLocalNames) => {
+    if (node.type !== 'CallExpression') {
+        return null;
+    }
+    const callee = node['callee'];
+    if (!callee) {
+        return null;
+    }
+    return isTrackedFireCallee(callee, ctxNames, fireLocalNames)
+        ? extractFirstStringArg(node)
+        : null;
+};
+/**
+ * Walk a blaze body and collect local names bound to `ctx.fire` via destructure.
+ *
+ * Recognizes:
+ *   - `const { fire } = ctx;` → adds `fire`
+ *   - `const { fire: emit } = context;` → adds `emit`
+ *
+ * Only destructures whose init is one of the tracked ctx parameter names are
+ * accepted. This prevents unrelated local `fire` helpers from being treated as
+ * calls into the trail context.
+ */
+/** Check if a VariableDeclarator destructures from a known ctx identifier. */
+const getCtxDestructurePattern = (node, ctxNames) => {
+    if (node.type !== 'VariableDeclarator') {
+        return null;
+    }
+    const { id, init } = node;
+    if (!id || id.type !== 'ObjectPattern' || !init) {
+        return null;
+    }
+    const initName = identifierName(init);
+    if (!initName || !ctxNames.has(initName)) {
+        return null;
+    }
+    return id;
+};
+/**
+ * Collect `fire` local names destructured from ctx at the TOP LEVEL of the
+ * blaze body. Destructures inside nested functions are intentionally ignored
+ * to avoid leaking nested-scope bindings into the outer blaze scope — a
+ * `const { fire } = ctx` inside a nested helper should not cause an outer
+ * bare `fire('x')` to be treated as a ctx-bound call.
+ *
+ * Tradeoff: nested-scope destructures lose tracking entirely. Calls inside
+ * nested functions that rely on their own destructure will not be analyzed.
+ * This is a conservative precision loss; a full scope walker is a follow-up.
+ *
+ * Tradeoff: only `const` destructures are tracked. `let` and `var` bindings
+ * allow reassignment (`let { fire } = ctx; fire = other; fire('x')`) which
+ * this flow-insensitive walker cannot follow. Skipping them trades a small
+ * amount of precision — `let { fire } = ctx` is rare — for eliminating a
+ * class of false positives. The runtime + signal-id cross-check still
+ * validate real undeclared fires.
+ */
+/** Get the top-level statements of a blaze function's BlockStatement body. */
+const getTopLevelStatements = (body) => {
+    const blockBody = body.body;
+    if (!blockBody || blockBody.type !== 'BlockStatement') {
+        return [];
+    }
+    return blockBody.body ?? [];
+};
+/** Collect fire-local names from a single top-level VariableDeclaration. */
+const collectFireNamesFromDeclaration = (stmt, ctxNames, names) => {
+    if (stmt.type !== 'VariableDeclaration') {
+        return;
+    }
+    // Only track `const` destructures. `let` and `var` allow reassignment that
+    // a single-pass walker cannot track, so `let { fire } = ctx; fire = other;
+    // fire('x')` would otherwise be a false positive. Skipping non-const is a
+    // small precision loss (see TSDoc on `collectDestructuredFireNames`) in
+    // exchange for eliminating that class of false positives.
+    const { kind } = stmt;
+    if (kind !== 'const') {
+        return;
+    }
+    const declarations = stmt.declarations ??
+        [];
+    for (const decl of declarations) {
+        const pattern = getCtxDestructurePattern(decl, ctxNames);
+        if (pattern) {
+            collectFireNamesFromPattern(pattern, names);
+        }
+    }
+};
+const collectDestructuredFireNames = (body, ctxNames) => {
+    const names = new Set();
+    for (const stmt of getTopLevelStatements(body)) {
+        collectFireNamesFromDeclaration(stmt, ctxNames, names);
+    }
+    return names;
+};
+/**
+ * Build the set of context parameter names to match against.
+ *
+ * Returns ONLY the actual second-parameter name from the blaze signature.
+ * No seeded defaults: if the blaze has no second parameter, the returned set
+ * is empty and no `ctx.fire(...)` / `context.fire(...)` calls are tracked
+ * for that blaze. An unrelated closure-scoped `ctx` identifier is not the
+ * trail context and must not be treated as one.
+ */
+const buildCtxNames = (body) => {
+    const ctxNames = new Set();
+    const paramName = extractContextParamName(body);
+    if (paramName) {
+        ctxNames.add(paramName);
+    }
+    return ctxNames;
+};
+/**
+ * Walk blaze bodies and collect all statically resolvable ctx.fire() signal IDs.
+ *
+ * Traversal uses `walkScope`, which stops at nested function boundaries
+ * (FunctionDeclaration, FunctionExpression, ArrowFunctionExpression). This
+ * mirrors the top-level-only behavior of `collectDestructuredFireNames` and
+ * avoids false positives when a nested function parameter shadows `ctx` or a
+ * destructured `fire` local:
+ *
+ * ```ts
+ * blaze: async (_, ctx) => {
+ *   const { fire } = ctx;
+ *   function nested(fire) { fire('shadow'); } // ignored — shadowed
+ *   function other(ctx)  { ctx.fire('x'); }   // ignored — shadowed
+ *   return Result.ok({});
+ * }
+ * ```
+ *
+ * Tradeoff: legitimate helper-scoped fire calls are not statically analyzed
+ * today. This includes both direct `ctx.fire(...)` inside a nested helper and
+ * helper-local destructures like `const { fire } = ctx` inside that helper.
+ * The runtime + signal-id cross-check still validate them; the warden just
+ * can't prove them at lint time. A fuller helper-aware scope walker remains
+ * follow-up work if this precision loss becomes meaningful in practice.
+ */
+const extractCalledFires = (config) => {
+    const ids = new Set();
+    for (const body of findBlazeBodies(config)) {
+        const ctxNames = buildCtxNames(body);
+        const bodyFireNames = collectDestructuredFireNames(body, ctxNames);
+        const paramFireNames = collectParamFireNames(body);
+        const fireLocalNames = new Set([
+            ...bodyFireNames,
+            ...paramFireNames,
+        ]);
+        walkScope(body, (node) => {
+            const id = extractFireCallId(node, ctxNames, fireLocalNames);
+            if (id) {
+                ids.add(id);
+            }
+        });
+    }
+    return ids;
+};
+// ---------------------------------------------------------------------------
+// Diagnostic builders
+// ---------------------------------------------------------------------------
+const buildUndeclaredDiagnostic = (trailId, signalId, filePath, line, softened = false) => ({
+    filePath,
+    line,
+    message: softened
+        ? `Trail "${trailId}": ctx.fire('${signalId}') called but '${signalId}' is not declared in fires (may be declared via object-form fires entries)`
+        : `Trail "${trailId}": ctx.fire('${signalId}') called but '${signalId}' is not declared in fires`,
+    rule: 'fires-declarations',
+    severity: softened ? 'warn' : 'error',
+});
+const buildUnusedDiagnostic = (trailId, signalId, filePath, line) => ({
+    filePath,
+    line,
+    message: `Trail "${trailId}": '${signalId}' declared in fires but ctx.fire('${signalId}') never called`,
+    rule: 'fires-declarations',
+    severity: 'warn',
+});
+// ---------------------------------------------------------------------------
+// Comparison
+// ---------------------------------------------------------------------------
+/** Emit error for each called ID not present in declared set. */
+const reportUndeclared = (called, declared, ctx, diagnostics) => {
+    for (const id of called) {
+        if (!declared.has(id)) {
+            diagnostics.push(buildUndeclaredDiagnostic(ctx.trailId, id, ctx.filePath, ctx.line, ctx.softened));
+        }
+    }
+};
+/**
+ * Emit warning for each declared ID not present in called set.
+ *
+ * Note: unlike `reportUndeclared`, this function does NOT soften its
+ * diagnostics when `hasUnresolved` is true. The asymmetry is intentional —
+ * softening only applies to the undeclared direction because unresolved
+ * Signal-value entries might cover an unknown set of called IDs. In the
+ * unused direction, a declared string-literal that is never called is
+ * genuinely unused regardless of whether other entries are unresolved.
+ */
+const reportUnused = (declared, called, ctx, diagnostics) => {
+    for (const id of declared) {
+        if (!called.has(id)) {
+            diagnostics.push(buildUnusedDiagnostic(ctx.trailId, id, ctx.filePath, ctx.line));
+        }
+    }
+};
+const checkTrailDefinition = (def, filePath, sourceCode, diagnostics) => {
+    const declared = extractDeclaredFires(def.config, sourceCode);
+    const called = extractCalledFires(def.config);
+    if (declared.ids.size === 0 && !declared.hasUnresolved && called.size === 0) {
+        return;
+    }
+    const line = offsetToLine(sourceCode, def.start);
+    const ctx = { filePath, line, trailId: def.id };
+    // When the declared array contains object-form references we can't resolve,
+    // downgrade "undeclared" diagnostics from error to warn with a disclaimer
+    // instead of suppressing entirely. The developer still sees genuinely
+    // undeclared calls, but we can't statically prove the call isn't covered by
+    // a Signal-value entry the runtime will normalize.
+    reportUndeclared(called, declared.ids, { ...ctx, softened: declared.hasUnresolved }, diagnostics);
+    reportUnused(declared.ids, called, ctx, diagnostics);
+};
+// ---------------------------------------------------------------------------
+// Rule
+// ---------------------------------------------------------------------------
+/**
+ * Validates that `ctx.fire()` calls align with declared `fires` arrays.
+ */
+export const firesDeclarations = {
+    check(sourceCode, filePath) {
+        if (isTestFile(filePath)) {
+            return [];
+        }
+        const ast = parse(filePath, sourceCode);
+        if (!ast) {
+            return [];
+        }
+        const diagnostics = [];
+        for (const def of findTrailDefinitions(ast)) {
+            checkTrailDefinition(def, filePath, sourceCode, diagnostics);
+        }
+        return diagnostics;
+    },
+    description: 'Ensure ctx.fire() calls match the declared fires array in trail definitions.',
+    name: 'fires-declarations',
+    severity: 'error',
+};
+//# sourceMappingURL=fires-declarations.js.map

package/dist/rules/fires-declarations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fires-declarations.js","sourceRoot":"","sources":["../../src/rules/fires-declarations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,eAAe,EACf,oBAAoB,EACpB,cAAc,EACd,YAAY,EACZ,KAAK,EACL,iBAAiB,EACjB,SAAS,GACV,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAGvC,8EAA8E;AAC9E,8BAA8B;AAC9B,8EAA8E;AAE9E,8EAA8E;AAC9E,MAAM,wBAAwB,GAAG,CAC/B,EAAW,EACX,UAAkB,EACH,EAAE;IACjB,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,oBAAoB,GAAG,CAC3B,OAAgB,EAChB,UAAkB,EACH,EAAE;IACjB,MAAM,YAAY,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,OAAO,wBAAwB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACvD,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,8EAA8E;AAC9E,4BAA4B;AAC5B,8EAA8E;AAE9E,6EAA6E;AAC7E,MAAM,gBAAgB,GAAG,CAAC,MAAe,EAA6B,EAAE;IACtE,MAAM,SAAS,GAAG,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC;IAClC,IAAI,CAAC,SAAS,IAAK,SAAqB,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAI,SAAqB,CAAC,UAAU,CAErC,CAAC;IACd,OAAO,QAAQ,IAAI,IAAI,CAAC;AAC1B,CAAC,CAAC;AASF;;;;;;;GAOG;AACH,MAAM,4BAA4B,GAAG,CACnC,QAA4B,EAC5B,UAAkB,EACH,EAAE;IACjB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC3D,IAAI,QAAQ,EAAE,CAAC;YACb,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,aAAa,GAAG,IAAI,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,MAAe,EACf,UAAkB,EACH,EAAE;IACjB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC1C,OAAO,QAAQ;QACb,CAAC,CAAC,4BAA4B,CAAC,QAAQ,EAAE,UAAU,CAAC;QACpD,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF,8EAA8E;AAC9E,sDAAsD;AACtD,8EAA8E;AAE9E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,wBAAwB,EAAE,kBAAkB,CAAC,CAAC,CAAC;AAE7E,4EAA4E;AAC5E,MAAM,iBAAiB,GAAG,CACxB,MAAe,EAC+B,EAAE;IAChD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,CAC3B,MAA0C,CAAC,MAAM,CACnD,CAAC;IACF,MAAM,QAAQ,GAAG,cAAc,CAC5B,MAA4C,CAAC,QAAQ,CACvD,CAAC;IAEF,OAAO,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,uBAAuB,GAAG,CAAC,SAAkB,EAAkB,EAAE;IACrE,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAmC,CAAC;IACrE,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC3B,CAAC,CAAC;AAEF,+EAA+E;AAC/E,MAAM,oBAAoB,GAAG,CAAC,IAAa,EAAiB,EAAE;IAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,GAAG,EAAE,GAAG,IAAoC,CAAC;IACrD,MAAM,EAAE,KAAK,EAAE,GAAG,IAAsC,CAAC;IACzD,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,kEAAkE;IAClE,qDAAqD;IACrD,OAAO,cAAc,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC;AAC1C,CAAC,CAAC;AAEF,kFAAkF;AAClF,MAAM,2BAA2B,GAAG,CAClC,OAAgB,EAChB,KAAkB,EACZ,EAAE;IACR,MAAM,EAAE,UAAU,EAAE,GAAG,OAEtB,CAAC;IACF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,uBAAuB,GAAG,CAAC,SAAkB,EAAiB,EAAE;IACpE,MAAM,KAAK,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACvC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAsC,CAAC;QACxD,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,qBAAqB,GAAG,CAAC,IAAa,EAAuB,EAAE;IACnE,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC7C,OAAO,IAAI,GAAG,EAAE,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,2BAA2B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,0EAA0E;AAC1E,MAAM,gBAAgB,GAAG,CACvB,MAAe,EACf,QAA6B,EACpB,EAAE;IACX,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,CAAC;AAC1E,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,mBAAmB,GAAG,CAC1B,MAAe,EACf,QAA6B,EAC7B,cAAmC,EAC1B,EAAE;IACX,IAAI,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC1C,OAAO,CAAC,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AACxD,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAa,EACb,QAA6B,EAC7B,cAAmC,EACpB,EAAE;IACjB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAwB,CAAC;IACrD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,mBAAmB,CAAC,MAAM,EAAE,QAAQ,EAAE,cAAc,CAAC;QAC1D,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC7B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,8EAA8E;AAC9E,MAAM,wBAAwB,GAAG,CAC/B,IAAa,EACb,QAA6B,EACb,EAAE;IAClB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,IAGpB,CAAC;IACF,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,IAAI,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,8EAA8E;AAC9E,MAAM,qBAAqB,GAAG,CAAC,IAAa,EAAsB,EAAE;IAClE,MAAM,SAAS,GAAI,IAAsC,CAAC,IAAI,CAAC;IAC/D,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACtD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAQ,SAAsD,CAAC,IAAI,IAAI,EAAE,CAAC;AAC5E,CAAC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,+BAA+B,GAAG,CACtC,IAAa,EACb,QAA6B,EAC7B,KAAkB,EACZ,EAAE;IACR,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACxC,OAAO;IACT,CAAC;IACD,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,wEAAwE;IACxE,0DAA0D;IAC1D,MAAM,EAAE,IAAI,EAAE,GAAG,IAAoC,CAAC;IACtD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,OAAO;IACT,CAAC;IACD,MAAM,YAAY,GACf,IAAyD,CAAC,YAAY;QACvE,EAAE,CAAC;IACL,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,wBAAwB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzD,IAAI,OAAO,EAAE,CAAC;YACZ,2BAA2B,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAa,EACb,QAA6B,EACR,EAAE;IACvB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,+BAA+B,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,aAAa,GAAG,CAAC,IAAa,EAAuB,EAAE;IAC3D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,SAAS,EAAE,CAAC;QACd,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,kBAAkB,GAAG,CAAC,MAAe,EAAuB,EAAE;IAClE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,aAAa,GAAG,4BAA4B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnE,MAAM,cAAc,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAS;YACrC,GAAG,aAAa;YAChB,GAAG,cAAc;SAClB,CAAC,CAAC;QAEH,SAAS,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACvB,MAAM,EAAE,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;YAC7D,IAAI,EAAE,EAAE,CAAC;gBACP,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACd,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E,MAAM,yBAAyB,GAAG,CAChC,OAAe,EACf,QAAgB,EAChB,QAAgB,EAChB,IAAY,EACZ,QAAQ,GAAG,KAAK,EACE,EAAE,CAAC,CAAC;IACtB,QAAQ;IACR,IAAI;IACJ,OAAO,EAAE,QAAQ;QACf,CAAC,CAAC,UAAU,OAAO,gBAAgB,QAAQ,kBAAkB,QAAQ,4EAA4E;QACjJ,CAAC,CAAC,UAAU,OAAO,gBAAgB,QAAQ,kBAAkB,QAAQ,4BAA4B;IACnG,IAAI,EAAE,oBAAoB;IAC1B,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;CACtC,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,CAC5B,OAAe,EACf,QAAgB,EAChB,QAAgB,EAChB,IAAY,EACM,EAAE,CAAC,CAAC;IACtB,QAAQ;IACR,IAAI;IACJ,OAAO,EAAE,UAAU,OAAO,OAAO,QAAQ,qCAAqC,QAAQ,iBAAiB;IACvG,IAAI,EAAE,oBAAoB;IAC1B,QAAQ,EAAE,MAAM;CACjB,CAAC,CAAC;AAEH,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,iEAAiE;AACjE,MAAM,gBAAgB,GAAG,CACvB,MAA2B,EAC3B,QAA6B,EAC7B,GAKC,EACD,WAA+B,EACzB,EAAE;IACR,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,WAAW,CAAC,IAAI,CACd,yBAAyB,CACvB,GAAG,CAAC,OAAO,EACX,EAAE,EACF,GAAG,CAAC,QAAQ,EACZ,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,QAAQ,CACb,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,YAAY,GAAG,CACnB,QAA6B,EAC7B,MAA2B,EAC3B,GAAwD,EACxD,WAA+B,EACzB,EAAE;IACR,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACpB,WAAW,CAAC,IAAI,CACd,qBAAqB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAC/D,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,GAAmD,EACnD,QAAgB,EAChB,UAAkB,EAClB,WAA+B,EACzB,EAAE;IACR,MAAM,QAAQ,GAAG,oBAAoB,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAE9C,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,GAAG,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;IAEhD,4EAA4E;IAC5E,0EAA0E;IAC1E,sEAAsE;IACtE,4EAA4E;IAC5E,mDAAmD;IACnD,gBAAgB,CACd,MAAM,EACN,QAAQ,CAAC,GAAG,EACZ,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,aAAa,EAAE,EAC5C,WAAW,CACZ,CAAC;IACF,YAAY,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,8EAA8E;AAC9E,OAAO;AACP,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAe;IAC3C,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzB,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,WAAW,GAAuB,EAAE,CAAC;QAE3C,KAAK,MAAM,GAAG,IAAI,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,oBAAoB,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QAC/D,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,WAAW,EACT,8EAA8E;IAChF,IAAI,EAAE,oBAAoB;IAC1B,QAAQ,EAAE,OAAO;CAClB,CAAC"}

package/dist/rules/implementation-returns-result.d.ts

@@ -6,6 +6,15 @@
  * or a tracked Result-typed variable.
  */
 import type { WardenRule } from './types.js';
+/**
+ * Clear the module-level cache used by the `implementation-returns-result`
+ * rule to remember which exported names on a target file carry a `Result<...>`
+ * return annotation.
+ *
+ * Call this between runs in long-lived processes where the set of Trails
+ * source files may have changed on disk since the last check.
+ */
+export declare const clearImplementationReturnsResultCache: () => void;
 /**
  * Finds implementations that return raw values instead of `Result`.
  */

package/dist/rules/implementation-returns-result.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"implementation-returns-result.d.ts","sourceRoot":"","sources":["../../src/rules/implementation-returns-result.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAUH,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AA2W/D;;GAEG;AACH,eAAO,MAAM,2BAA2B,EAAE,UAiBzC,CAAC"}
+{"version":3,"file":"implementation-returns-result.d.ts","sourceRoot":"","sources":["../../src/rules/implementation-returns-result.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAiBH,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AAwR/D;;;;;;;GAOG;AACH,eAAO,MAAM,qCAAqC,QAAO,IAExD,CAAC;AA09BF;;GAEG;AACH,eAAO,MAAM,2BAA2B,EAAE,UAiBzC,CAAC"}