@ontrails/warden 1.0.0-beta.4 → 1.0.0-beta.42

package/dist/rules/implementation-returns-result.js

@@ -1,277 +0,0 @@
-/**
- * Finds implementations that return raw values instead of `Result`.
- *
- * Uses AST parsing to find `run:` bodies and check that
- * every return statement returns Result.ok(), Result.err(), ctx.follow(),
- * or a tracked Result-typed variable.
- */
-import { findRunBodies, findTrailDefinitions, offsetToLine, parse, walk, } from './ast.js';
-import { isTestFile } from './scan.js';
-// ---------------------------------------------------------------------------
-// Member expression helpers
-// ---------------------------------------------------------------------------
-/** Extract object.property names from a MemberExpression callee. */
-const extractMemberNames = (callee) => {
-    const obj = callee.object;
-    const prop = callee.property;
-    const objName = obj?.type === 'Identifier'
-        ? obj.name
-        : undefined;
-    const propName = prop?.type === 'Identifier'
-        ? prop.name
-        : undefined;
-    return { objName, propName };
-};
-const isMemberExpression = (callee) => callee.type === 'StaticMemberExpression' ||
-    callee.type === 'MemberExpression';
-const isResultMemberCall = (callee) => {
-    if (!isMemberExpression(callee)) {
-        return false;
-    }
-    const { objName, propName } = extractMemberNames(callee);
-    if (objName === 'Result' && (propName === 'ok' || propName === 'err')) {
-        return true;
-    }
-    if (objName === 'ctx' && propName === 'follow') {
-        return true;
-    }
-    return propName === 'run';
-};
-// ---------------------------------------------------------------------------
-// Expression classification
-// ---------------------------------------------------------------------------
-/** Check if an expression node is an allowed Result-returning expression. */
-const isResultExpression = (node) => {
-    if (node.type === 'CallExpression') {
-        const callee = node['callee'];
-        if (!callee) {
-            return false;
-        }
-        return isResultMemberCall(callee);
-    }
-    if (node.type === 'AwaitExpression') {
-        const arg = node.argument;
-        return arg ? isResultExpression(arg) : false;
-    }
-    return false;
-};
-/** Check if a node is a call to a known Result-returning helper. */
-const isHelperCall = (node, helperNames) => {
-    const target = node.type === 'AwaitExpression'
-        ? (node.argument ?? null)
-        : node;
-    if (!target || target.type !== 'CallExpression') {
-        return false;
-    }
-    const callee = target['callee'];
-    if (callee?.type === 'Identifier') {
-        const { name } = callee;
-        return helperNames.has(name);
-    }
-    return false;
-};
-/** Unwrap an optional AwaitExpression to get the inner identifier name. */
-const resolveIdentifierName = (node) => {
-    if (node.type === 'Identifier') {
-        return node.name;
-    }
-    if (node.type === 'AwaitExpression') {
-        const inner = node.argument;
-        if (inner?.type === 'Identifier') {
-            return inner.name;
-        }
-    }
-    return null;
-};
-/** Check if a return argument is an allowed Result value. */
-const isAllowedReturnArgument = (argument, helperNames, resultVars) => {
-    if (isResultExpression(argument)) {
-        return true;
-    }
-    if (isHelperCall(argument, helperNames)) {
-        return true;
-    }
-    const varName = resolveIdentifierName(argument);
-    return varName !== null && resultVars.has(varName);
-};
-// ---------------------------------------------------------------------------
-// Variable tracking
-// ---------------------------------------------------------------------------
-/** Track a VariableDeclarator, adding to resultVars if it produces a Result. */
-const trackResultVariable = (node, resultVars) => {
-    const { init } = node;
-    const { id } = node;
-    if (init && id?.type === 'Identifier') {
-        const { name } = id;
-        if (isResultExpression(init)) {
-            resultVars.add(name);
-        }
-    }
-};
-// ---------------------------------------------------------------------------
-// Shallow walk (stops at nested function boundaries)
-// ---------------------------------------------------------------------------
-const FUNCTION_BOUNDARY_TYPES = new Set([
-    'ArrowFunctionExpression',
-    'FunctionExpression',
-    'FunctionDeclaration',
-]);
-/** Check if a value is a function-boundary AST node that should not be recursed into. */
-const isFunctionBoundary = (val) => !!val &&
-    typeof val === 'object' &&
-    FUNCTION_BOUNDARY_TYPES.has(val.type);
-/** Recurse into a single AST property value, skipping function boundaries. */
-const visitValue = (val, visit, recurse) => {
-    if (Array.isArray(val)) {
-        for (const item of val) {
-            if (!isFunctionBoundary(item)) {
-                recurse(item, visit);
-            }
-        }
-    }
-    else if (val &&
-        typeof val === 'object' &&
-        val.type &&
-        !isFunctionBoundary(val)) {
-        recurse(val, visit);
-    }
-};
-/**
- * Walk an AST node tree without recursing into nested function bodies.
- *
- * This ensures that return statements inside `.map()`, `.filter()`, `.then()`
- * callbacks etc. are not mistakenly checked as implementation-level returns.
- */
-const walkShallow = (node, visit) => {
-    if (!node || typeof node !== 'object') {
-        return;
-    }
-    const n = node;
-    if (n.type) {
-        visit(n);
-    }
-    for (const val of Object.values(n)) {
-        visitValue(val, visit, walkShallow);
-    }
-};
-// ---------------------------------------------------------------------------
-// Return statement checking
-// ---------------------------------------------------------------------------
-/** Check return statements in a block body for non-Result returns. */
-const checkReturnStatements = (blockBody, trailInfo, filePath, sourceCode, helperNames, diagnostics) => {
-    const resultVars = new Set();
-    walkShallow(blockBody, (node) => {
-        if (node.type === 'VariableDeclarator') {
-            trackResultVariable(node, resultVars);
-        }
-        if (node.type !== 'ReturnStatement') {
-            return;
-        }
-        const { argument } = node;
-        // Bare return — not a value return
-        if (!argument) {
-            return;
-        }
-        if (isAllowedReturnArgument(argument, helperNames, resultVars)) {
-            return;
-        }
-        diagnostics.push({
-            filePath,
-            line: offsetToLine(sourceCode, node.start),
-            message: `${trailInfo.label} "${trailInfo.id}" implementation must return Result.ok(...) or Result.err(...), not a raw value.`,
-            rule: 'implementation-returns-result',
-            severity: 'error',
-        });
-    });
-};
-// ---------------------------------------------------------------------------
-// Result helper name collection
-// ---------------------------------------------------------------------------
-/** Check if a return type annotation mentions Result. */
-const hasResultReturnType = (node, sourceCode) => {
-    const { returnType } = node;
-    if (!returnType) {
-        return false;
-    }
-    const annotationText = sourceCode.slice(returnType.start, returnType.end);
-    return /\bResult\s*</.test(annotationText);
-};
-const isFunctionLikeExpression = (node) => node.type === 'ArrowFunctionExpression' || node.type === 'FunctionExpression';
-/** Collect names of top-level functions/consts with explicit Result return types. */
-const collectResultHelperNames = (ast, sourceCode) => {
-    const names = new Set();
-    walk(ast, (node) => {
-        if (node.type === 'VariableDeclarator') {
-            const { id } = node;
-            const { init } = node;
-            if (id?.type === 'Identifier' &&
-                init &&
-                isFunctionLikeExpression(init) &&
-                hasResultReturnType(init, sourceCode)) {
-                names.add(id.name);
-            }
-        }
-        if (node.type === 'FunctionDeclaration') {
-            const { id } = node;
-            if (id?.type === 'Identifier' && hasResultReturnType(node, sourceCode)) {
-                names.add(id.name);
-            }
-        }
-    });
-    return names;
-};
-// ---------------------------------------------------------------------------
-// Per-implementation checking
-// ---------------------------------------------------------------------------
-const checkImplementation = (implValue, info, filePath, sourceCode, helperNames, diagnostics) => {
-    const fnBody = implValue.body;
-    if (!fnBody) {
-        return;
-    }
-    if (fnBody.type === 'BlockStatement' || fnBody.type === 'FunctionBody') {
-        checkReturnStatements(fnBody, info, filePath, sourceCode, helperNames, diagnostics);
-        return;
-    }
-    if (!isResultExpression(fnBody) && !isHelperCall(fnBody, helperNames)) {
-        diagnostics.push({
-            filePath,
-            line: offsetToLine(sourceCode, implValue.start),
-            message: `${info.label} "${info.id}" implementation must return Result.ok(...) or Result.err(...), not a raw value.`,
-            rule: 'implementation-returns-result',
-            severity: 'error',
-        });
-    }
-};
-// ---------------------------------------------------------------------------
-// Rule
-// ---------------------------------------------------------------------------
-const checkAllDefinitions = (ast, filePath, sourceCode) => {
-    const diagnostics = [];
-    const helperNames = collectResultHelperNames(ast, sourceCode);
-    for (const def of findTrailDefinitions(ast)) {
-        const info = { id: def.id, label: 'Trail' };
-        for (const implValue of findRunBodies(def.config)) {
-            checkImplementation(implValue, info, filePath, sourceCode, helperNames, diagnostics);
-        }
-    }
-    return diagnostics;
-};
-/**
- * Finds implementations that return raw values instead of `Result`.
- */
-export const implementationReturnsResult = {
-    check(sourceCode, filePath) {
-        if (isTestFile(filePath)) {
-            return [];
-        }
-        const ast = parse(filePath, sourceCode);
-        if (!ast) {
-            return [];
-        }
-        return checkAllDefinitions(ast, filePath, sourceCode);
-    },
-    description: 'Disallow implementations that return raw values instead of Result.ok() or Result.err().',
-    name: 'implementation-returns-result',
-    severity: 'error',
-};
-//# sourceMappingURL=implementation-returns-result.js.map

package/dist/rules/implementation-returns-result.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"implementation-returns-result.js","sourceRoot":"","sources":["../../src/rules/implementation-returns-result.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,YAAY,EACZ,KAAK,EACL,IAAI,GACL,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAcvC,8EAA8E;AAC9E,4BAA4B;AAC5B,8EAA8E;AAE9E,oEAAoE;AACpE,MAAM,kBAAkB,GAAG,CACzB,MAAe,EACgD,EAAE;IACjE,MAAM,GAAG,GAAI,MAA0C,CAAC,MAAM,CAAC;IAC/D,MAAM,IAAI,GAAI,MAA4C,CAAC,QAAQ,CAAC;IACpE,MAAM,OAAO,GACX,GAAG,EAAE,IAAI,KAAK,YAAY;QACxB,CAAC,CAAE,GAAmC,CAAC,IAAI;QAC3C,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,QAAQ,GACZ,IAAI,EAAE,IAAI,KAAK,YAAY;QACzB,CAAC,CAAE,IAAoC,CAAC,IAAI;QAC5C,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,MAAe,EAAW,EAAE,CACtD,MAAM,CAAC,IAAI,KAAK,wBAAwB;IACxC,MAAM,CAAC,IAAI,KAAK,kBAAkB,CAAC;AAErC,MAAM,kBAAkB,GAAG,CAAC,MAAe,EAAW,EAAE;IACtD,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACzD,IAAI,OAAO,KAAK,QAAQ,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,KAAK,KAAK,CAAC;AAC5B,CAAC,CAAC;AAEF,8EAA8E;AAC9E,4BAA4B;AAC5B,8EAA8E;AAE9E,6EAA6E;AAC7E,MAAM,kBAAkB,GAAG,CAAC,IAAa,EAAW,EAAE;IACpD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAwB,CAAC;QACrD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,MAAM,GAAG,GAAI,IAA0C,CAAC,QAAQ,CAAC;QACjE,OAAO,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC/C,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,oEAAoE;AACpE,MAAM,YAAY,GAAG,CACnB,IAAa,EACb,WAAgC,EACvB,EAAE;IACX,MAAM,MAAM,GACV,IAAI,CAAC,IAAI,KAAK,iBAAiB;QAC7B,CAAC,CAAC,CAAE,IAA0C,CAAC,QAAQ,IAAI,IAAI,CAAC;QAChE,CAAC,CAAC,IAAI,CAAC;IAEX,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAwB,CAAC;IACvD,IAAI,MAAM,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,MAAM,EAAE,IAAI,EAAE,GAAG,MAAqC,CAAC;QACvD,OAAO,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,2EAA2E;AAC3E,MAAM,qBAAqB,GAAG,CAAC,IAAa,EAAiB,EAAE;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAQ,IAAoC,CAAC,IAAI,CAAC;IACpD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,MAAM,KAAK,GAAI,IAA0C,CAAC,QAAQ,CAAC;QACnE,IAAI,KAAK,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,OAAQ,KAAqC,CAAC,IAAI,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,6DAA6D;AAC7D,MAAM,uBAAuB,GAAG,CAC9B,QAAiB,EACjB,WAAgC,EAChC,UAA+B,EACtB,EAAE;IACX,IAAI,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAChD,OAAO,OAAO,KAAK,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AACrD,CAAC,CAAC;AAEF,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E,gFAAgF;AAChF,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAE,UAAuB,EAAQ,EAAE;IAC3E,MAAM,EAAE,IAAI,EAAE,GAAG,IAAqC,CAAC;IACvD,MAAM,EAAE,EAAE,EAAE,GAAG,IAAmC,CAAC;IACnD,IAAI,IAAI,IAAI,EAAE,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAiC,CAAC;QACnD,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,yBAAyB;IACzB,oBAAoB;IACpB,qBAAqB;CACtB,CAAC,CAAC;AAEH,yFAAyF;AACzF,MAAM,kBAAkB,GAAG,CAAC,GAAY,EAAW,EAAE,CACnD,CAAC,CAAC,GAAG;IACL,OAAO,GAAG,KAAK,QAAQ;IACvB,uBAAuB,CAAC,GAAG,CAAE,GAAe,CAAC,IAAI,CAAC,CAAC;AAErD,8EAA8E;AAC9E,MAAM,UAAU,GAAG,CACjB,GAAY,EACZ,KAA8B,EAC9B,OAAgE,EAC1D,EAAE;IACR,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IACL,GAAG;QACH,OAAO,GAAG,KAAK,QAAQ;QACtB,GAAe,CAAC,IAAI;QACrB,CAAC,kBAAkB,CAAC,GAAG,CAAC,EACxB,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACtB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,GAAG,CAAC,IAAa,EAAE,KAA8B,EAAQ,EAAE;IAC1E,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO;IACT,CAAC;IACD,MAAM,CAAC,GAAG,IAAe,CAAC;IAC1B,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,KAAK,CAAC,CAAC,CAAC,CAAC;IACX,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACtC,CAAC;AACH,CAAC,CAAC;AAEF,8EAA8E;AAC9E,4BAA4B;AAC5B,8EAA8E;AAE9E,sEAAsE;AACtE,MAAM,qBAAqB,GAAG,CAC5B,SAAkB,EAClB,SAAwC,EACxC,QAAgB,EAChB,UAAkB,EAClB,WAAgC,EAChC,WAA+B,EACzB,EAAE;IACR,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,WAAW,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACvC,mBAAmB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACxC,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACpC,OAAO;QACT,CAAC;QAED,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAyC,CAAC;QAC/D,mCAAmC;QACnC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO;QACT,CAAC;QAED,IAAI,uBAAuB,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;YAC/D,OAAO;QACT,CAAC;QAED,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ;YACR,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;YAC1C,OAAO,EAAE,GAAG,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,kFAAkF;YAC9H,IAAI,EAAE,+BAA+B;YACrC,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,8EAA8E;AAC9E,gCAAgC;AAChC,8EAA8E;AAE9E,yDAAyD;AACzD,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAE,UAAkB,EAAW,EAAE;IACzE,MAAM,EAAE,UAAU,EAAE,GAAG,IAA2C,CAAC;IACnE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,cAAc,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;IAC1E,OAAO,cAAc,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,IAAa,EAAW,EAAE,CAC1D,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,CAAC;AAEhF,qFAAqF;AACrF,MAAM,wBAAwB,GAAG,CAC/B,GAAY,EACZ,UAAkB,EACG,EAAE;IACvB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACvC,MAAM,EAAE,EAAE,EAAE,GAAG,IAAmC,CAAC;YACnD,MAAM,EAAE,IAAI,EAAE,GAAG,IAAqC,CAAC;YACvD,IACE,EAAE,EAAE,IAAI,KAAK,YAAY;gBACzB,IAAI;gBACJ,wBAAwB,CAAC,IAAI,CAAC;gBAC9B,mBAAmB,CAAC,IAAI,EAAE,UAAU,CAAC,EACrC,CAAC;gBACD,KAAK,CAAC,GAAG,CAAE,EAAkC,CAAC,IAAI,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxC,MAAM,EAAE,EAAE,EAAE,GAAG,IAAmC,CAAC;YACnD,IAAI,EAAE,EAAE,IAAI,KAAK,YAAY,IAAI,mBAAmB,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;gBACvE,KAAK,CAAC,GAAG,CAAE,EAAkC,CAAC,IAAI,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,8EAA8E;AAC9E,8BAA8B;AAC9B,8EAA8E;AAE9E,MAAM,mBAAmB,GAAG,CAC1B,SAAkB,EAClB,IAAmC,EACnC,QAAgB,EAChB,UAAkB,EAClB,WAAgC,EAChC,WAA+B,EACzB,EAAE;IACR,MAAM,MAAM,GAAI,SAA2C,CAAC,IAAI,CAAC;IACjE,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;IACT,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACvE,qBAAqB,CACnB,MAAM,EACN,IAAI,EACJ,QAAQ,EACR,UAAU,EACV,WAAW,EACX,WAAW,CACZ,CAAC;QACF,OAAO;IACT,CAAC;IAED,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;QACtE,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ;YACR,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC;YAC/C,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,EAAE,kFAAkF;YACpH,IAAI,EAAE,+BAA+B;YACrC,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC;AAEF,8EAA8E;AAC9E,OAAO;AACP,8EAA8E;AAE9E,MAAM,mBAAmB,GAAG,CAC1B,GAAY,EACZ,QAAgB,EAChB,UAAkB,EACE,EAAE;IACtB,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,WAAW,GAAG,wBAAwB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAE9D,KAAK,MAAM,GAAG,IAAI,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAC5C,KAAK,MAAM,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,MAAiB,CAAC,EAAE,CAAC;YAC7D,mBAAmB,CACjB,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,UAAU,EACV,WAAW,EACX,WAAW,CACZ,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAe;IACrD,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,OAAO,mBAAmB,CAAC,GAAc,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACnE,CAAC;IACD,WAAW,EACT,yFAAyF;IAC3F,IAAI,EAAE,+BAA+B;IACrC,QAAQ,EAAE,OAAO;CAClB,CAAC"}

package/dist/rules/index.d.ts

@@ -1,15 +0,0 @@
-import type { WardenRule } from './types.js';
-export type { ProjectAwareWardenRule, ProjectContext, WardenDiagnostic, WardenRule, WardenSeverity, } from './types.js';
-export { noThrowInImplementation } from './no-throw-in-implementation.js';
-export { contextNoSurfaceTypes } from './context-no-surface-types.js';
-export { validDetourRefs } from './valid-detour-refs.js';
-export { noDirectImplInRoute } from './no-direct-impl-in-route.js';
-export { noDirectImplementationCall } from './no-direct-implementation-call.js';
-export { noSyncResultAssumption } from './no-sync-result-assumption.js';
-export { implementationReturnsResult } from './implementation-returns-result.js';
-export { noThrowInDetourTarget } from './no-throw-in-detour-target.js';
-export { preferSchemaInference } from './prefer-schema-inference.js';
-export { validDescribeRefs } from './valid-describe-refs.js';
-/** All built-in warden rules, keyed by rule name. */
-export declare const wardenRules: ReadonlyMap<string, WardenRule>;
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAI7C,YAAY,EACV,sBAAsB,EACtB,cAAc,EACd,gBAAgB,EAChB,UAAU,EACV,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,qDAAqD;AACrD,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CActD,CAAC"}

package/dist/rules/index.js

@@ -1,34 +0,0 @@
-import { contextNoSurfaceTypes } from './context-no-surface-types.js';
-import { implementationReturnsResult } from './implementation-returns-result.js';
-import { noDirectImplInRoute } from './no-direct-impl-in-route.js';
-import { noDirectImplementationCall } from './no-direct-implementation-call.js';
-import { noSyncResultAssumption } from './no-sync-result-assumption.js';
-import { noThrowInDetourTarget } from './no-throw-in-detour-target.js';
-import { noThrowInImplementation } from './no-throw-in-implementation.js';
-import { preferSchemaInference } from './prefer-schema-inference.js';
-import { validDescribeRefs } from './valid-describe-refs.js';
-import { validDetourRefs } from './valid-detour-refs.js';
-export { noThrowInImplementation } from './no-throw-in-implementation.js';
-export { contextNoSurfaceTypes } from './context-no-surface-types.js';
-export { validDetourRefs } from './valid-detour-refs.js';
-export { noDirectImplInRoute } from './no-direct-impl-in-route.js';
-export { noDirectImplementationCall } from './no-direct-implementation-call.js';
-export { noSyncResultAssumption } from './no-sync-result-assumption.js';
-export { implementationReturnsResult } from './implementation-returns-result.js';
-export { noThrowInDetourTarget } from './no-throw-in-detour-target.js';
-export { preferSchemaInference } from './prefer-schema-inference.js';
-export { validDescribeRefs } from './valid-describe-refs.js';
-/** All built-in warden rules, keyed by rule name. */
-export const wardenRules = new Map([
-    [noThrowInImplementation.name, noThrowInImplementation],
-    [contextNoSurfaceTypes.name, contextNoSurfaceTypes],
-    [preferSchemaInference.name, preferSchemaInference],
-    [validDescribeRefs.name, validDescribeRefs],
-    [validDetourRefs.name, validDetourRefs],
-    [noDirectImplementationCall.name, noDirectImplementationCall],
-    [noSyncResultAssumption.name, noSyncResultAssumption],
-    [implementationReturnsResult.name, implementationReturnsResult],
-    [noThrowInDetourTarget.name, noThrowInDetourTarget],
-    [noDirectImplInRoute.name, noDirectImplInRoute],
-]);
-//# sourceMappingURL=index.js.map

package/dist/rules/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAErE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAUzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,qDAAqD;AACrD,MAAM,CAAC,MAAM,WAAW,GAAoC,IAAI,GAAG,CAGjE;IACA,CAAC,uBAAuB,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvD,CAAC,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACnD,CAAC,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACnD,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC;IACvC,CAAC,0BAA0B,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAC7D,CAAC,sBAAsB,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACrD,CAAC,2BAA2B,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC/D,CAAC,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACnD,CAAC,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,CAAC;CAChD,CAAC,CAAC"}

package/dist/rules/no-direct-impl-in-route.d.ts

@@ -1,12 +0,0 @@
-/**
- * Detects trail implementations with `follow` that call `.run()` directly.
- *
- * Uses AST parsing to find trail definitions that declare `follow` and check for
- * `.run()` call expressions in their bodies.
- */
-import type { WardenRule } from './types.js';
-/**
- * Detects trails with `follow` that call another trail's `.run()` directly.
- */
-export declare const noDirectImplInRoute: WardenRule;
-//# sourceMappingURL=no-direct-impl-in-route.d.ts.map

package/dist/rules/no-direct-impl-in-route.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"no-direct-impl-in-route.d.ts","sourceRoot":"","sources":["../../src/rules/no-direct-impl-in-route.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAWH,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AAkC/D;;GAEG;AACH,eAAO,MAAM,mBAAmB,EAAE,UA2BjC,CAAC"}

package/dist/rules/no-direct-impl-in-route.js

@@ -1,47 +0,0 @@
-/**
- * Detects trail implementations with `follow` that call `.run()` directly.
- *
- * Uses AST parsing to find trail definitions that declare `follow` and check for
- * `.run()` call expressions in their bodies.
- */
-import { findConfigProperty, findRunBodies, findTrailDefinitions, isRunCall, offsetToLine, parse, walk, } from './ast.js';
-const findImplCallsInTrailWithFollow = (def, filePath, sourceCode, diagnostics) => {
-    for (const body of findRunBodies(def.config)) {
-        walk(body, (node) => {
-            if (isRunCall(node)) {
-                diagnostics.push({
-                    filePath,
-                    line: offsetToLine(sourceCode, node.start),
-                    message: 'Use ctx.follow("trailId", input) instead of direct .run() calls. ctx.follow() validates input and propagates tracing.',
-                    rule: 'no-direct-impl-in-route',
-                    severity: 'warn',
-                });
-            }
-        });
-    }
-};
-const hasFollowProperty = (config) => findConfigProperty(config, 'follow') !== null;
-/**
- * Detects trails with `follow` that call another trail's `.run()` directly.
- */
-export const noDirectImplInRoute = {
-    check(sourceCode, filePath) {
-        if (!/\btrail\s*\(/.test(sourceCode)) {
-            return [];
-        }
-        const ast = parse(filePath, sourceCode);
-        if (!ast) {
-            return [];
-        }
-        const diagnostics = [];
-        const followDefs = findTrailDefinitions(ast).filter((d) => hasFollowProperty(d.config));
-        for (const def of followDefs) {
-            findImplCallsInTrailWithFollow(def, filePath, sourceCode, diagnostics);
-        }
-        return diagnostics;
-    },
-    description: 'Prefer ctx.follow() over direct .run() calls in trail bodies with follow.',
-    name: 'no-direct-impl-in-route',
-    severity: 'warn',
-};
-//# sourceMappingURL=no-direct-impl-in-route.js.map

package/dist/rules/no-direct-impl-in-route.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"no-direct-impl-in-route.js","sourceRoot":"","sources":["../../src/rules/no-direct-impl-in-route.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,oBAAoB,EACpB,SAAS,EACT,YAAY,EACZ,KAAK,EACL,IAAI,GACL,MAAM,UAAU,CAAC;AAUlB,MAAM,8BAA8B,GAAG,CACrC,GAAiC,EACjC,QAAgB,EAChB,UAAkB,EAClB,WAA+B,EACzB,EAAE;IACR,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,MAAiB,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAClB,IAAI,SAAS,CAAC,IAAe,CAAC,EAAE,CAAC;gBAC/B,WAAW,CAAC,IAAI,CAAC;oBACf,QAAQ;oBACR,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;oBAC1C,OAAO,EACL,uHAAuH;oBACzH,IAAI,EAAE,yBAAyB;oBAC/B,QAAQ,EAAE,MAAM;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,MAAe,EAAW,EAAE,CACrD,kBAAkB,CAAC,MAAiB,EAAE,QAAQ,CAAC,KAAK,IAAI,CAAC;AAE3D;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAe;IAC7C,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACrC,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;QAC3C,MAAM,UAAU,GAAG,oBAAoB,CAAC,GAAc,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACnE,iBAAiB,CAAC,CAAC,CAAC,MAAiB,CAAC,CACvC,CAAC;QAEF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,8BAA8B,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACzE,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,WAAW,EACT,2EAA2E;IAC7E,IAAI,EAAE,yBAAyB;IAE/B,QAAQ,EAAE,MAAM;CACjB,CAAC"}

package/dist/rules/no-direct-implementation-call.d.ts

@@ -1,12 +0,0 @@
-/**
- * Flags direct `.run()` calls in application code.
- *
- * Uses AST parsing to find `.run()` call expressions,
- * ignoring occurrences in strings and comments.
- */
-import type { WardenRule } from './types.js';
-/**
- * Flags direct `.run()` calls in application code.
- */
-export declare const noDirectImplementationCall: WardenRule;
-//# sourceMappingURL=no-direct-implementation-call.d.ts.map

package/dist/rules/no-direct-implementation-call.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"no-direct-implementation-call.d.ts","sourceRoot":"","sources":["../../src/rules/no-direct-implementation-call.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AAE/D;;GAEG;AACH,eAAO,MAAM,0BAA0B,EAAE,UAgCxC,CAAC"}

package/dist/rules/no-direct-implementation-call.js

@@ -1,39 +0,0 @@
-/**
- * Flags direct `.run()` calls in application code.
- *
- * Uses AST parsing to find `.run()` call expressions,
- * ignoring occurrences in strings and comments.
- */
-import { isRunCall, offsetToLine, parse, walk } from './ast.js';
-import { isFrameworkInternalFile, isTestFile } from './scan.js';
-/**
- * Flags direct `.run()` calls in application code.
- */
-export const noDirectImplementationCall = {
-    check(sourceCode, filePath) {
-        if (isTestFile(filePath) || isFrameworkInternalFile(filePath)) {
-            return [];
-        }
-        const ast = parse(filePath, sourceCode);
-        if (!ast) {
-            return [];
-        }
-        const diagnostics = [];
-        walk(ast, (node) => {
-            if (isRunCall(node)) {
-                diagnostics.push({
-                    filePath,
-                    line: offsetToLine(sourceCode, node.start),
-                    message: 'Use ctx.follow("trailId", input) instead of direct .run() calls. Direct implementation access bypasses validation, tracing, and layers.',
-                    rule: 'no-direct-implementation-call',
-                    severity: 'warn',
-                });
-            }
-        });
-        return diagnostics;
-    },
-    description: 'Disallow direct .run() calls in application code. Use ctx.follow() instead.',
-    name: 'no-direct-implementation-call',
-    severity: 'warn',
-};
-//# sourceMappingURL=no-direct-implementation-call.js.map

package/dist/rules/no-direct-implementation-call.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"no-direct-implementation-call.js","sourceRoot":"","sources":["../../src/rules/no-direct-implementation-call.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAGhE;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAe;IACpD,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,uBAAuB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9D,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,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;YACjB,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,WAAW,CAAC,IAAI,CAAC;oBACf,QAAQ;oBACR,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;oBAC1C,OAAO,EACL,yIAAyI;oBAC3I,IAAI,EAAE,+BAA+B;oBACrC,QAAQ,EAAE,MAAM;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,WAAW,EACT,6EAA6E;IAC/E,IAAI,EAAE,+BAA+B;IACrC,QAAQ,EAAE,MAAM;CACjB,CAAC"}

package/dist/rules/no-sync-result-assumption.d.ts

@@ -1,6 +0,0 @@
-import type { WardenRule } from './types.js';
-/**
- * Flags code that assumes `.run()` returns a synchronous result.
- */
-export declare const noSyncResultAssumption: WardenRule;
-//# sourceMappingURL=no-sync-result-assumption.d.ts.map

package/dist/rules/no-sync-result-assumption.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"no-sync-result-assumption.d.ts","sourceRoot":"","sources":["../../src/rules/no-sync-result-assumption.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AA6I/D;;GAEG;AACH,eAAO,MAAM,sBAAsB,EAAE,UAWpC,CAAC"}

package/dist/rules/no-sync-result-assumption.js

@@ -1,98 +0,0 @@
-import { isFrameworkInternalFile, isTestFile, stripQuotedContent, } from './scan.js';
-const RESULT_ACCESS_PATTERN = /\.(?:isOk|isErr|match|map)\s*\(|\.(?:value|error)\b/;
-const IMPLEMENTATION_CALL_PATTERN = /\.run\s*\(/;
-const isAwaitedImplementationCall = (line) => {
-    const callIndex = line.indexOf('.run(');
-    if (callIndex === -1) {
-        return false;
-    }
-    const awaitIndex = line.indexOf('await');
-    return awaitIndex !== -1 && awaitIndex < callIndex;
-};
-const isDirectResultAccess = (line) => IMPLEMENTATION_CALL_PATTERN.test(line) &&
-    RESULT_ACCESS_PATTERN.test(line) &&
-    !isAwaitedImplementationCall(line);
-const isPendingUse = (line, variableName) => {
-    const escaped = variableName.replaceAll(/[.*+?^${}()|[\]\\]/g, '\\$&');
-    const pendingPattern = new RegExp(`\\b${escaped}\\s*(?:\\.(?:isOk|isErr|match|map)\\s*\\(|\\.(?:value|error)\\b)`);
-    return pendingPattern.test(line);
-};
-const MISSING_AWAIT_MESSAGE = 'Missing await: .run() returns Promise<Result> after normalization. Use `const result = await trail.run(input, ctx)`.';
-const createMissingAwaitDiagnostic = (filePath, line) => ({
-    filePath,
-    line,
-    message: MISSING_AWAIT_MESSAGE,
-    rule: 'no-sync-result-assumption',
-    severity: 'error',
-});
-const trackPendingCall = (line) => {
-    const match = line.match(/\b(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*=\s*([^;]*)/);
-    if (!match?.[1] || !match[2] || !IMPLEMENTATION_CALL_PATTERN.test(match[2])) {
-        return undefined;
-    }
-    if (isAwaitedImplementationCall(match[2])) {
-        return undefined;
-    }
-    return match[1];
-};
-const addPendingCall = (pendingCalls, variableName, lineNumber) => {
-    pendingCalls.push({
-        line: lineNumber,
-        remainingLines: 6,
-        variableName,
-    });
-};
-const advancePendingCalls = (line, filePath, lineNumber, pendingCalls, diagnostics) => {
-    for (let j = pendingCalls.length - 1; j >= 0; j -= 1) {
-        const pendingCall = pendingCalls[j];
-        if (pendingCall && isPendingUse(line, pendingCall.variableName)) {
-            diagnostics.push(createMissingAwaitDiagnostic(filePath, lineNumber));
-            pendingCalls.splice(j, 1);
-        }
-        else if (pendingCall) {
-            pendingCall.remainingLines -= 1;
-            if (pendingCall.remainingLines <= 0) {
-                pendingCalls.splice(j, 1);
-            }
-        }
-    }
-};
-const processLine = (line, filePath, lineNumber, pendingCalls, diagnostics) => {
-    if (isDirectResultAccess(line)) {
-        diagnostics.push(createMissingAwaitDiagnostic(filePath, lineNumber));
-        return;
-    }
-    const variableName = trackPendingCall(line);
-    if (variableName) {
-        addPendingCall(pendingCalls, variableName, lineNumber);
-    }
-    advancePendingCalls(line, filePath, lineNumber, pendingCalls, diagnostics);
-};
-const scanSourceCode = (sourceCode, filePath) => {
-    const diagnostics = [];
-    const lines = sourceCode.split('\n');
-    const pendingCalls = [];
-    for (let i = 0; i < lines.length; i += 1) {
-        const line = lines[i];
-        if (!line) {
-            continue;
-        }
-        processLine(line, filePath, i + 1, pendingCalls, diagnostics);
-    }
-    return diagnostics;
-};
-/**
- * Flags code that assumes `.run()` returns a synchronous result.
- */
-export const noSyncResultAssumption = {
-    check(sourceCode, filePath) {
-        if (isTestFile(filePath) || isFrameworkInternalFile(filePath)) {
-            return [];
-        }
-        return scanSourceCode(stripQuotedContent(sourceCode), filePath);
-    },
-    description: 'Disallow treating .run() as synchronous after normalization. Always await the returned Promise<Result>.',
-    name: 'no-sync-result-assumption',
-    severity: 'error',
-};
-//# sourceMappingURL=no-sync-result-assumption.js.map

package/dist/rules/no-sync-result-assumption.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"no-sync-result-assumption.js","sourceRoot":"","sources":["../../src/rules/no-sync-result-assumption.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,UAAU,EACV,kBAAkB,GACnB,MAAM,WAAW,CAAC;AAEnB,MAAM,qBAAqB,GACzB,qDAAqD,CAAC;AACxD,MAAM,2BAA2B,GAAG,YAAY,CAAC;AAEjD,MAAM,2BAA2B,GAAG,CAAC,IAAY,EAAW,EAAE;IAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,UAAU,KAAK,CAAC,CAAC,IAAI,UAAU,GAAG,SAAS,CAAC;AACrD,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAW,EAAE,CACrD,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC;IACtC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;IAChC,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;AAErC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,YAAoB,EAAW,EAAE;IACnE,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACvE,MAAM,cAAc,GAAG,IAAI,MAAM,CAC/B,MAAM,OAAO,kEAAkE,CAChF,CAAC;IACF,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC,CAAC;AAQF,MAAM,qBAAqB,GACzB,sHAAsH,CAAC;AAEzH,MAAM,4BAA4B,GAAG,CACnC,QAAgB,EAChB,IAAY,EACM,EAAE,CAAC,CAAC;IACtB,QAAQ;IACR,IAAI;IACJ,OAAO,EAAE,qBAAqB;IAC9B,IAAI,EAAE,2BAA2B;IACjC,QAAQ,EAAE,OAAO;CAClB,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAsB,EAAE;IAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CACtB,wDAAwD,CACzD,CAAC;IACF,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,2BAA2B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,YAA2B,EAC3B,YAAoB,EACpB,UAAkB,EACZ,EAAE;IACR,YAAY,CAAC,IAAI,CAAC;QAChB,IAAI,EAAE,UAAU;QAChB,cAAc,EAAE,CAAC;QACjB,YAAY;KACb,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAY,EACZ,QAAgB,EAChB,UAAkB,EAClB,YAA2B,EAC3B,WAA+B,EACzB,EAAE;IACR,KAAK,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,WAAW,IAAI,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC;YAChE,WAAW,CAAC,IAAI,CAAC,4BAA4B,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;YACrE,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,CAAC;aAAM,IAAI,WAAW,EAAE,CAAC;YACvB,WAAW,CAAC,cAAc,IAAI,CAAC,CAAC;YAChC,IAAI,WAAW,CAAC,cAAc,IAAI,CAAC,EAAE,CAAC;gBACpC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,IAAY,EACZ,QAAgB,EAChB,UAAkB,EAClB,YAA2B,EAC3B,WAA+B,EACzB,EAAE;IACR,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,WAAW,CAAC,IAAI,CAAC,4BAA4B,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;QACrE,OAAO;IACT,CAAC;IAED,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,YAAY,EAAE,CAAC;QACjB,cAAc,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;IACzD,CAAC;IAED,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;AAC7E,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,UAAkB,EAClB,QAAgB,EACa,EAAE;IAC/B,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,YAAY,GAAkB,EAAE,CAAC;IAEvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;IAChE,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAe;IAChD,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,uBAAuB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9D,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,cAAc,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;IAClE,CAAC;IACD,WAAW,EACT,yGAAyG;IAC3G,IAAI,EAAE,2BAA2B;IACjC,QAAQ,EAAE,OAAO;CAClB,CAAC"}

package/dist/rules/no-throw-in-detour-target.d.ts

@@ -1,12 +0,0 @@
-/**
- * Flags throws in implementations that are used as detour targets.
- *
- * Uses AST parsing for accurate detection of detour target IDs and
- * throw statements within those trail implementations.
- */
-import type { ProjectAwareWardenRule } from './types.js';
-/**
- * Flags throws in implementations that are used as detour targets.
- */
-export declare const noThrowInDetourTarget: ProjectAwareWardenRule;
-//# sourceMappingURL=no-throw-in-detour-target.d.ts.map

package/dist/rules/no-throw-in-detour-target.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"no-throw-in-detour-target.d.ts","sourceRoot":"","sources":["../../src/rules/no-throw-in-detour-target.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAUH,OAAO,KAAK,EACV,sBAAsB,EAGvB,MAAM,YAAY,CAAC;AAyFpB;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,sBAsCnC,CAAC"}